0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532003-1752683088.opb'
0.18/0.24 c read 15.73MB (233.31ms)
0.18/0.24 c [cnf: #variables 10080 #clauses 453 #duplicates 280 #arr 1039360]
0.18/0.24 c output proof to '/tmp/proof-4532003-1752683088'
0.18/0.24 c
0.18/0.24 c make graph and approximate orbits
0.18/0.30 c [group: #orbits ~= 672] (54.76ms)
0.18/0.30 c
0.18/0.30 c detect special group actions
0.18/0.30 c probe for Johnson action (limit=64)
0.28/0.31 c probe for row-column symmetry (limit=64, splits=16.78M)
0.28/0.31 c probe for row symmetry (limit=64, splits=16.78M)
0.28/0.32 c (19.68ms)
0.28/0.32 c
0.28/0.32 c detect symmetries on remainder
0.28/0.32 c [graph: #vertices 40773 #edges 2139200]
0.28/0.32 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.35 c [group: #symmetries 4.16*10^1066 #generators 3417] (32.54ms)
0.28/0.35 c
0.28/0.35 c optimize generators (opt_passes=64, conjugate_limit=256)
0.28/0.35 c ran it=0, +gens=3
0.38/0.47 c con best_support=4, best_gens=3360, +gens=71
0.38/0.47 c (114.52ms)
0.38/0.47 c
0.38/0.47 c finalize break order and special generators
0.38/0.47 c
0.38/0.47 c add generic predicates (break_depth=20)
0.38/0.47 c added predicates for 3491 generators (0.60ms)
0.58/0.66 c
0.58/0.66 c generation finished
0.58/0.66 c [sbp: #constraints 224 #add_vars 0]
0.58/0.66 c
0.58/0.66 c write result to 'HOME/instance-4532003-1752683088.opb.pre'
0.58/0.68 c wrote 9.26MB (19.24ms)
0.58/0.68 c ------------------------------------------------------------------
0.58/0.68 c 233.31ms 34.91% parse
0.58/0.68 c 192.90ms 28.86% other
0.58/0.68 c 114.52ms 17.14% optimize_gens
0.58/0.68 c 54.76ms 8.19% approx_orbits
0.58/0.68 c 32.54ms 4.87% detect_generic
0.58/0.68 c 19.68ms 2.94% detect_special
0.58/0.68 c 19.24ms 2.88% output
0.58/0.68 c 0.73ms 0.11% finalize_order
0.58/0.68 c 0.60ms 0.09% break_generic
0.58/0.68 c ───────────────────────────────────────────────
0.58/0.68 c 668.29ms 100% total
0.58/0.68 c ------------------------------------------------------------------
0.58/0.69 c RoundingSat 2
0.58/0.69 c branch pb25
0.58/0.69 c commit 0f876b3
1.05/1.13 c #variables 10080 #constraints 676
1.05/1.13 c objective is ce32
31.05/31.21 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
31.05/31.21 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
31.05/31.21 c bounds 16 >= 0 @ 30.3897
40.33/40.59 c #Conflicts: 1000 | #Constraints: 1676
40.33/40.59 c #Conflicts: 2000 | #Constraints: 2676
40.33/40.59 c INPROCESSING
40.33/40.59 c GARBAGE COLLECT
40.33/40.59 c rational objective 13.8628
47.91/48.15 c bounds 16 >= 2 @ 46.8802
47.91/48.18 c bounds 16 >= 6 @ 46.899
48.01/48.24 c bounds 16 >= 7 @ 46.9513
48.31/48.51 c bounds 16 >= 8 @ 47.2121
51.09/51.38 c bounds 16 >= 9 @ 49.9714
59.07/59.30 c #Conflicts: 3000 | #Constraints: 2726
59.07/59.30 c bounds 16 >= 10 @ 57.6662
62.46/62.78 c #Conflicts: 4000 | #Constraints: 3749
62.46/62.78 c INPROCESSING
62.46/62.78 c GARBAGE COLLECT
62.46/62.78 c rational objective 13.8692
106.12/106.55 c #Conflicts: 5000 | #Constraints: 3140
106.12/106.55 c #Conflicts: 6000 | #Constraints: 4145
106.12/106.55 c INPROCESSING
106.12/106.55 c GARBAGE COLLECT
106.12/106.55 c #Conflicts: 7000 | #Constraints: 3140
106.12/106.55 c #Conflicts: 8000 | #Constraints: 4141
106.12/106.55 c #Conflicts: 9000 | #Constraints: 5144
106.12/106.55 c INPROCESSING
106.12/106.55 c GARBAGE COLLECT
106.12/106.55 c rational objective 13.8692
132.85/133.37 c #Conflicts: 10000 | #Constraints: 3839
132.85/133.37 c #Conflicts: 11000 | #Constraints: 4847
132.85/133.37 c #Conflicts: 12000 | #Constraints: 5853
132.85/133.37 c INPROCESSING
132.85/133.37 c GARBAGE COLLECT
132.85/133.37 c rational objective 13.8692
166.14/166.70 c #Conflicts: 13000 | #Constraints: 4306
166.14/166.70 c #Conflicts: 14000 | #Constraints: 5306
166.14/166.70 c #Conflicts: 15000 | #Constraints: 6306
166.14/166.70 c INPROCESSING
166.14/166.70 c GARBAGE COLLECT
166.14/166.70 c rational objective 13.8692
202.64/203.40 c #Conflicts: 16000 | #Constraints: 4524
202.64/203.40 c #Conflicts: 17000 | #Constraints: 5527
202.64/203.40 c #Conflicts: 18000 | #Constraints: 6529
202.64/203.40 c INPROCESSING
202.64/203.40 c GARBAGE COLLECT
202.64/203.40 c rational objective 13.8692
242.73/243.51 c #Conflicts: 19000 | #Constraints: 4534
242.73/243.51 c #Conflicts: 20000 | #Constraints: 5534
242.73/243.51 c #Conflicts: 21000 | #Constraints: 6536
242.73/243.51 c INPROCESSING
242.73/243.51 c GARBAGE COLLECT
242.73/243.51 c rational objective 13.8692
277.63/278.59 c #Conflicts: 22000 | #Constraints: 4328
277.63/278.59 c #Conflicts: 23000 | #Constraints: 5331
277.63/278.59 c #Conflicts: 24000 | #Constraints: 6335
277.63/278.59 c #Conflicts: 25000 | #Constraints: 7336
277.63/278.59 c INPROCESSING
277.63/278.59 c GARBAGE COLLECT
277.63/278.59 c rational objective 13.8692
317.31/318.32 c #Conflicts: 26000 | #Constraints: 4944
317.31/318.32 c #Conflicts: 27000 | #Constraints: 5950
317.31/318.32 c #Conflicts: 28000 | #Constraints: 6957
317.31/318.32 c #Conflicts: 29000 | #Constraints: 7964
317.31/318.32 c INPROCESSING
317.31/318.32 c GARBAGE COLLECT
317.31/318.32 c rational objective 13.8692
377.12/378.33 c #Conflicts: 30000 | #Constraints: 5387
377.12/378.33 c #Conflicts: 31000 | #Constraints: 6387
377.12/378.33 c #Conflicts: 32000 | #Constraints: 7388
377.12/378.33 c #Conflicts: 33000 | #Constraints: 8390
377.12/378.33 c INPROCESSING
377.12/378.33 c GARBAGE COLLECT
377.12/378.33 c rational objective 13.8692
425.47/426.85 c #Conflicts: 34000 | #Constraints: 5579
425.47/426.85 c #Conflicts: 35000 | #Constraints: 6582
425.47/426.85 c #Conflicts: 36000 | #Constraints: 7593
425.47/426.85 c #Conflicts: 37000 | #Constraints: 8611
425.47/426.85 c INPROCESSING
425.47/426.85 c GARBAGE COLLECT
425.47/426.85 c rational objective 13.8692
479.70/481.24 c #Conflicts: 38000 | #Constraints: 5580
479.70/481.24 c #Conflicts: 39000 | #Constraints: 6595
479.70/481.24 c #Conflicts: 40000 | #Constraints: 7601
479.70/481.24 c #Conflicts: 41000 | #Constraints: 8612
479.70/481.24 c INPROCESSING
479.70/481.24 c GARBAGE COLLECT
479.70/481.24 c rational objective 13.8692
530.04/531.74 c #Conflicts: 42000 | #Constraints: 5439
530.04/531.74 c #Conflicts: 43000 | #Constraints: 6470
530.04/531.74 c #Conflicts: 44000 | #Constraints: 7470
530.04/531.74 c #Conflicts: 45000 | #Constraints: 8470
530.04/531.74 c #Conflicts: 46000 | #Constraints: 9471
530.04/531.74 c bounds 16 >= 11 @ 522.43
532.45/534.17 c INPROCESSING
532.45/534.17 c GARBAGE COLLECT
532.45/534.17 c rational objective 13.8692
583.58/585.49 c #Conflicts: 47000 | #Constraints: 6011
583.58/585.49 c #Conflicts: 48000 | #Constraints: 7020
583.58/585.49 c #Conflicts: 49000 | #Constraints: 8028
583.58/585.49 c #Conflicts: 50000 | #Constraints: 9039
583.58/585.49 c #Conflicts: 51000 | #Constraints: 10039
583.58/585.49 c INPROCESSING
583.58/585.49 c GARBAGE COLLECT
583.58/585.49 c rational objective 13.8692
648.68/650.77 c #Conflicts: 52000 | #Constraints: 6394
648.68/650.77 c #Conflicts: 53000 | #Constraints: 7401
648.68/650.77 c #Conflicts: 54000 | #Constraints: 8424
648.68/650.77 c #Conflicts: 55000 | #Constraints: 9440
648.68/650.77 c #Conflicts: 56000 | #Constraints: 10440
648.68/650.77 c INPROCESSING
648.68/650.77 c GARBAGE COLLECT
648.68/650.77 c rational objective 13.8692
710.29/712.51 c #Conflicts: 57000 | #Constraints: 6598
710.29/712.51 c #Conflicts: 58000 | #Constraints: 7598
710.29/712.51 c #Conflicts: 59000 | #Constraints: 8599
710.29/712.51 c #Conflicts: 60000 | #Constraints: 9715
710.29/712.51 c #Conflicts: 61000 | #Constraints: 10724
710.29/712.51 c INPROCESSING
710.29/712.51 c GARBAGE COLLECT
710.29/712.51 c rational objective 13.8692
775.79/778.22 c #Conflicts: 62000 | #Constraints: 6627
775.79/778.22 c #Conflicts: 63000 | #Constraints: 7630
775.79/778.22 c #Conflicts: 64000 | #Constraints: 8636
775.79/778.22 c #Conflicts: 65000 | #Constraints: 9646
775.79/778.22 c #Conflicts: 66000 | #Constraints: 10650
775.79/778.22 c INPROCESSING
775.79/778.22 c GARBAGE COLLECT
775.79/778.22 c rational objective 13.8692
845.38/848.05 c #Conflicts: 67000 | #Constraints: 6398
845.38/848.05 c #Conflicts: 68000 | #Constraints: 7401
845.38/848.05 c #Conflicts: 69000 | #Constraints: 8402
845.38/848.05 c #Conflicts: 70000 | #Constraints: 9402
845.38/848.05 c #Conflicts: 71000 | #Constraints: 10403
845.38/848.05 c #Conflicts: 72000 | #Constraints: 11407
845.38/848.05 c INPROCESSING
845.38/848.05 c GARBAGE COLLECT
845.38/848.05 c rational objective 13.8692
973.27/976.31 c #Conflicts: 73000 | #Constraints: 6963
973.27/976.31 c #Conflicts: 74000 | #Constraints: 7966
973.27/976.31 c #Conflicts: 75000 | #Constraints: 8966
973.27/976.31 c #Conflicts: 76000 | #Constraints: 9972
973.27/976.31 c #Conflicts: 77000 | #Constraints: 10981
973.27/976.31 c #Conflicts: 78000 | #Constraints: 11988
973.27/976.31 c INPROCESSING
973.27/976.31 c GARBAGE COLLECT
973.27/976.31 c #Conflicts: 79000 | #Constraints: 7367
973.27/976.31 c #Conflicts: 80000 | #Constraints: 8371
973.27/976.31 c #Conflicts: 81000 | #Constraints: 9374
973.27/976.31 c #Conflicts: 82000 | #Constraints: 10388
973.27/976.31 c #Conflicts: 83000 | #Constraints: 11403
973.27/976.31 c #Conflicts: 84000 | #Constraints: 12406
973.27/976.31 c INPROCESSING
973.27/976.31 c GARBAGE COLLECT
973.27/976.31 c rational objective 13.8692
1035.88/1039.14 c #Conflicts: 85000 | #Constraints: 7602
1035.88/1039.14 c #Conflicts: 86000 | #Constraints: 8604
1035.88/1039.14 c #Conflicts: 87000 | #Constraints: 9615
1035.88/1039.14 c #Conflicts: 88000 | #Constraints: 10628
1035.88/1039.14 c #Conflicts: 89000 | #Constraints: 11632
1035.88/1039.14 c #Conflicts: 90000 | #Constraints: 12635
1035.88/1039.14 c INPROCESSING
1035.88/1039.14 c GARBAGE COLLECT
1035.88/1039.14 c rational objective 13.8692
1096.49/1099.94 c #Conflicts: 91000 | #Constraints: 7590
1096.49/1099.94 c #Conflicts: 92000 | #Constraints: 8593
1096.49/1099.94 c #Conflicts: 93000 | #Constraints: 9598
1096.49/1099.94 c #Conflicts: 94000 | #Constraints: 10604
1096.49/1099.94 c #Conflicts: 95000 | #Constraints: 11610
1096.49/1099.94 c #Conflicts: 96000 | #Constraints: 12614
1096.49/1099.94 c INPROCESSING
1096.49/1099.94 c GARBAGE COLLECT
1096.49/1099.94 c rational objective 13.8692
1173.75/1177.40 c #Conflicts: 97000 | #Constraints: 7384
1173.75/1177.40 c #Conflicts: 98000 | #Constraints: 8465
1173.75/1177.40 c #Conflicts: 99000 | #Constraints: 9466
1173.75/1177.40 c #Conflicts: 100000 | #Constraints: 10466
1173.75/1177.40 c #Conflicts: 101000 | #Constraints: 11466
1173.75/1177.40 c #Conflicts: 102000 | #Constraints: 12466
1173.75/1177.40 c #Conflicts: 103000 | #Constraints: 13466
1173.75/1177.40 c INPROCESSING
1173.75/1177.40 c GARBAGE COLLECT
1173.75/1177.40 c rational objective 13.8692
1249.42/1253.30 c #Conflicts: 104000 | #Constraints: 7994
1249.42/1253.30 c #Conflicts: 105000 | #Constraints: 8998
1249.42/1253.30 c #Conflicts: 106000 | #Constraints: 10005
1249.42/1253.30 c #Conflicts: 107000 | #Constraints: 11008
1249.42/1253.30 c #Conflicts: 108000 | #Constraints: 12017
1249.42/1253.30 c #Conflicts: 109000 | #Constraints: 13021
1249.42/1253.30 c #Conflicts: 110000 | #Constraints: 14022
1249.42/1253.30 c INPROCESSING
1249.42/1253.30 c GARBAGE COLLECT
1249.42/1253.30 c rational objective 13.8692
1328.77/1332.99 c #Conflicts: 111000 | #Constraints: 8397
1328.77/1332.99 c #Conflicts: 112000 | #Constraints: 9409
1328.77/1332.99 c #Conflicts: 113000 | #Constraints: 10420
1328.77/1332.99 c #Conflicts: 114000 | #Constraints: 11426
1328.77/1332.99 c #Conflicts: 115000 | #Constraints: 12431
1328.77/1332.99 c #Conflicts: 116000 | #Constraints: 13443
1328.77/1332.99 c #Conflicts: 117000 | #Constraints: 14451
1328.77/1332.99 c INPROCESSING
1328.77/1332.99 c GARBAGE COLLECT
1328.77/1332.99 c rational objective 13.8692
1438.43/1442.90 c #Conflicts: 118000 | #Constraints: 8607
1438.43/1442.90 c #Conflicts: 119000 | #Constraints: 9617
1438.43/1442.90 c #Conflicts: 120000 | #Constraints: 10725
1438.43/1442.90 c #Conflicts: 121000 | #Constraints: 11725
1438.43/1442.90 c #Conflicts: 122000 | #Constraints: 12725
1438.43/1442.90 c #Conflicts: 123000 | #Constraints: 13727
1438.43/1442.90 c #Conflicts: 124000 | #Constraints: 14728
1438.43/1442.90 c INPROCESSING
1438.43/1442.90 c GARBAGE COLLECT
1438.43/1442.90 c rational objective 13.8692
1529.84/1534.60 c #Conflicts: 125000 | #Constraints: 8633
1529.84/1534.60 c #Conflicts: 126000 | #Constraints: 9639
1529.84/1534.60 c #Conflicts: 127000 | #Constraints: 10647
1529.84/1534.60 c #Conflicts: 128000 | #Constraints: 11653
1529.84/1534.60 c #Conflicts: 129000 | #Constraints: 12665
1529.84/1534.60 c #Conflicts: 130000 | #Constraints: 13682
1529.84/1534.60 c #Conflicts: 131000 | #Constraints: 14688
1529.84/1534.60 c INPROCESSING
1529.84/1534.60 c GARBAGE COLLECT
1529.84/1534.60 c rational objective 13.8693
1634.82/1639.99 c #Conflicts: 132000 | #Constraints: 8423
1634.82/1639.99 c #Conflicts: 133000 | #Constraints: 9439
1634.82/1639.99 c #Conflicts: 134000 | #Constraints: 10441
1634.82/1639.99 c #Conflicts: 135000 | #Constraints: 11450
1634.82/1639.99 c #Conflicts: 136000 | #Constraints: 12460
1634.82/1639.99 c #Conflicts: 137000 | #Constraints: 13466
1634.82/1639.99 c #Conflicts: 138000 | #Constraints: 14468
1634.82/1639.99 c #Conflicts: 139000 | #Constraints: 15485
1634.82/1639.99 c INPROCESSING
1634.82/1639.99 c GARBAGE COLLECT
1634.82/1639.99 c rational objective 13.8694
1736.10/1741.56 c #Conflicts: 140000 | #Constraints: 9019
1736.10/1741.56 c #Conflicts: 141000 | #Constraints: 10026
1736.10/1741.56 c #Conflicts: 142000 | #Constraints: 11032
1736.10/1741.56 c #Conflicts: 143000 | #Constraints: 12034
1736.10/1741.56 c #Conflicts: 144000 | #Constraints: 13036
1736.10/1741.56 c #Conflicts: 145000 | #Constraints: 14038
1736.10/1741.56 c #Conflicts: 146000 | #Constraints: 15041
1736.10/1741.56 c #Conflicts: 147000 | #Constraints: 16041
1736.10/1741.56 c INPROCESSING
1736.10/1741.56 c GARBAGE COLLECT
1736.10/1741.56 c rational objective 13.8695
1826.61/1832.34 c #Conflicts: 148000 | #Constraints: 9413
1826.61/1832.34 c #Conflicts: 149000 | #Constraints: 10422
1826.61/1832.34 c #Conflicts: 150000 | #Constraints: 11424
1826.61/1832.34 c #Conflicts: 151000 | #Constraints: 12430
1826.61/1832.34 c #Conflicts: 152000 | #Constraints: 13431
1826.61/1832.34 c #Conflicts: 153000 | #Constraints: 14431
1826.61/1832.34 c #Conflicts: 154000 | #Constraints: 15438
1826.61/1832.34 c #Conflicts: 155000 | #Constraints: 16449
1826.61/1832.34 c INPROCESSING
1826.61/1832.34 c GARBAGE COLLECT
1826.61/1832.34 c rational objective 13.8695
1925.70/1931.74 c #Conflicts: 156000 | #Constraints: 9602
1925.70/1931.74 c #Conflicts: 157000 | #Constraints: 10611
1925.70/1931.74 c #Conflicts: 158000 | #Constraints: 11620
1925.70/1931.74 c #Conflicts: 159000 | #Constraints: 12637
1925.70/1931.74 c #Conflicts: 160000 | #Constraints: 13642
1925.70/1931.74 c #Conflicts: 161000 | #Constraints: 14647
1925.70/1931.74 c #Conflicts: 162000 | #Constraints: 15663
1925.70/1931.74 c #Conflicts: 163000 | #Constraints: 16670
1925.70/1931.74 c INPROCESSING
1925.70/1931.74 c GARBAGE COLLECT
1925.70/1931.74 c rational objective 13.8695
2034.88/2041.29 c #Conflicts: 164000 | #Constraints: 9603
2034.88/2041.29 c #Conflicts: 165000 | #Constraints: 10606
2034.88/2041.29 c #Conflicts: 166000 | #Constraints: 11606
2034.88/2041.29 c #Conflicts: 167000 | #Constraints: 12608
2034.88/2041.29 c #Conflicts: 168000 | #Constraints: 13609
2034.88/2041.29 c #Conflicts: 169000 | #Constraints: 14610
2034.88/2041.29 c #Conflicts: 170000 | #Constraints: 15611
2034.88/2041.29 c #Conflicts: 171000 | #Constraints: 16611
2034.88/2041.29 c INPROCESSING
2034.88/2041.29 c GARBAGE COLLECT
2034.88/2041.29 c rational objective 13.8695
2134.97/2141.61 c #Conflicts: 172000 | #Constraints: 9366
2134.97/2141.61 c #Conflicts: 173000 | #Constraints: 10366
2134.97/2141.61 c #Conflicts: 174000 | #Constraints: 11366
2134.97/2141.61 c #Conflicts: 175000 | #Constraints: 12368
2134.97/2141.61 c #Conflicts: 176000 | #Constraints: 13378
2134.97/2141.61 c #Conflicts: 177000 | #Constraints: 14387
2134.97/2141.61 c #Conflicts: 178000 | #Constraints: 15388
2134.97/2141.61 c #Conflicts: 179000 | #Constraints: 16390
2134.97/2141.61 c #Conflicts: 180000 | #Constraints: 17391
2134.97/2141.61 c INPROCESSING
2134.97/2141.61 c GARBAGE COLLECT
2134.97/2141.61 c rational objective 13.8695
2248.21/2255.27 c #Conflicts: 181000 | #Constraints: 9974
2248.21/2255.27 c #Conflicts: 182000 | #Constraints: 10980
2248.21/2255.27 c #Conflicts: 183000 | #Constraints: 11984
2248.21/2255.27 c #Conflicts: 184000 | #Constraints: 12984
2248.21/2255.27 c #Conflicts: 185000 | #Constraints: 13984
2248.21/2255.27 c #Conflicts: 186000 | #Constraints: 14984
2248.21/2255.27 c #Conflicts: 187000 | #Constraints: 15984
2248.21/2255.27 c #Conflicts: 188000 | #Constraints: 16984
2248.21/2255.27 c #Conflicts: 189000 | #Constraints: 17992
2248.21/2255.27 c INPROCESSING
2248.21/2255.27 c GARBAGE COLLECT
2248.21/2255.27 c rational objective 13.8695
2353.58/2360.90 c #Conflicts: 190000 | #Constraints: 10463
2353.58/2360.90 c #Conflicts: 191000 | #Constraints: 11478
2353.58/2360.90 c #Conflicts: 192000 | #Constraints: 12482
2353.58/2360.90 c #Conflicts: 193000 | #Constraints: 13494
2353.58/2360.90 c #Conflicts: 194000 | #Constraints: 14501
2353.58/2360.90 c #Conflicts: 195000 | #Constraints: 15514
2353.58/2360.90 c #Conflicts: 196000 | #Constraints: 16532
2353.58/2360.90 c #Conflicts: 197000 | #Constraints: 17539
2353.58/2360.90 c #Conflicts: 198000 | #Constraints: 18542
2353.58/2360.90 c INPROCESSING
2353.58/2360.90 c GARBAGE COLLECT
2353.58/2360.90 c rational objective 13.8695
2458.06/2465.73 c #Conflicts: 199000 | #Constraints: 10654
2458.06/2465.73 c #Conflicts: 200000 | #Constraints: 11673
2458.06/2465.73 c #Conflicts: 201000 | #Constraints: 12703
2458.06/2465.73 c #Conflicts: 202000 | #Constraints: 13716
2458.06/2465.73 c #Conflicts: 203000 | #Constraints: 14727
2458.06/2465.73 c #Conflicts: 204000 | #Constraints: 15729
2458.06/2465.73 c #Conflicts: 205000 | #Constraints: 16742
2458.06/2465.73 c #Conflicts: 206000 | #Constraints: 17748
2458.06/2465.73 c #Conflicts: 207000 | #Constraints: 18752
2458.06/2465.73 c INPROCESSING
2458.06/2465.73 c GARBAGE COLLECT
2458.06/2465.73 c rational objective 13.8695
2579.38/2587.47 c #Conflicts: 208000 | #Constraints: 10653
2579.38/2587.47 c #Conflicts: 209000 | #Constraints: 11657
2579.38/2587.47 c #Conflicts: 210000 | #Constraints: 12657
2579.38/2587.47 c #Conflicts: 211000 | #Constraints: 13659
2579.38/2587.47 c #Conflicts: 212000 | #Constraints: 14662
2579.38/2587.47 c #Conflicts: 213000 | #Constraints: 15667
2579.38/2587.47 c #Conflicts: 214000 | #Constraints: 16671
2579.38/2587.47 c #Conflicts: 215000 | #Constraints: 17671
2579.38/2587.47 c #Conflicts: 216000 | #Constraints: 18671
2579.38/2587.47 c INPROCESSING
2579.38/2587.47 c GARBAGE COLLECT
2579.38/2587.47 c rational objective 13.8695
2682.78/2691.14 c #Conflicts: 217000 | #Constraints: 10405
2682.78/2691.14 c #Conflicts: 218000 | #Constraints: 11408
2682.78/2691.14 c #Conflicts: 219000 | #Constraints: 12414
2682.78/2691.14 c #Conflicts: 220000 | #Constraints: 13421
2682.78/2691.14 c #Conflicts: 221000 | #Constraints: 14426
2682.78/2691.14 c #Conflicts: 222000 | #Constraints: 15435
2682.78/2691.14 c #Conflicts: 223000 | #Constraints: 16438
2682.78/2691.14 c #Conflicts: 224000 | #Constraints: 17440
2682.78/2691.14 c #Conflicts: 225000 | #Constraints: 18445
2682.78/2691.14 c #Conflicts: 226000 | #Constraints: 19458
2682.78/2691.14 c INPROCESSING
2682.78/2691.14 c GARBAGE COLLECT
2682.78/2691.14 c rational objective 13.8695
2706.00/2714.42 c #Conflicts: 227000 | #Constraints: 11005
2706.00/2714.42 c #Conflicts: 228000 | #Constraints: 12017
2706.00/2714.42 c bounds 15 >= 11 @ 2672.83
2821.35/2830.13 c #Conflicts: 229000 | #Constraints: 13043
2821.35/2830.13 c #Conflicts: 230000 | #Constraints: 14052
2821.35/2830.13 c #Conflicts: 231000 | #Constraints: 15057
2821.35/2830.13 c #Conflicts: 232000 | #Constraints: 16061
2821.35/2830.13 c #Conflicts: 233000 | #Constraints: 17061
2821.35/2830.13 c #Conflicts: 234000 | #Constraints: 18070
2821.35/2830.13 c #Conflicts: 235000 | #Constraints: 19071
2821.35/2830.13 c #Conflicts: 236000 | #Constraints: 20075
2821.35/2830.13 c INPROCESSING
2821.35/2830.13 c GARBAGE COLLECT
2821.35/2830.13 c rational objective 13.8695
2973.57/2982.83 c #Conflicts: 237000 | #Constraints: 11416
2973.57/2982.83 c #Conflicts: 238000 | #Constraints: 12417
2973.57/2982.83 c #Conflicts: 239000 | #Constraints: 13421
2973.57/2982.83 c #Conflicts: 240000 | #Constraints: 14421
2973.57/2982.83 c #Conflicts: 241000 | #Constraints: 15424
2973.57/2982.83 c #Conflicts: 242000 | #Constraints: 16424
2973.57/2982.83 c #Conflicts: 243000 | #Constraints: 17425
2973.57/2982.83 c #Conflicts: 244000 | #Constraints: 18427
2973.57/2982.83 c #Conflicts: 245000 | #Constraints: 19427
2973.57/2982.83 c #Conflicts: 246000 | #Constraints: 20427
2973.57/2982.83 c INPROCESSING
2973.57/2982.83 c GARBAGE COLLECT
2973.57/2982.83 c rational objective 13.8695
3112.53/3122.28 c #Conflicts: 247000 | #Constraints: 11759
3112.53/3122.28 c #Conflicts: 248000 | #Constraints: 12921
3112.53/3122.28 c #Conflicts: 249000 | #Constraints: 13925
3112.53/3122.28 c #Conflicts: 250000 | #Constraints: 14932
3112.53/3122.28 c #Conflicts: 251000 | #Constraints: 15935
3112.53/3122.28 c #Conflicts: 252000 | #Constraints: 16938
3112.53/3122.28 c #Conflicts: 253000 | #Constraints: 17941
3112.53/3122.28 c #Conflicts: 254000 | #Constraints: 18943
3112.53/3122.28 c #Conflicts: 255000 | #Constraints: 19947
3112.53/3122.28 c #Conflicts: 256000 | #Constraints: 20949
3112.53/3122.28 c INPROCESSING
3112.53/3122.28 c GARBAGE COLLECT
3112.53/3122.28 c rational objective 13.8703
3274.93/3285.18 c #Conflicts: 257000 | #Constraints: 11739
3274.93/3285.18 c #Conflicts: 258000 | #Constraints: 12744
3274.93/3285.18 c #Conflicts: 259000 | #Constraints: 13747
3274.93/3285.18 c #Conflicts: 260000 | #Constraints: 14747
3274.93/3285.18 c #Conflicts: 261000 | #Constraints: 15747
3274.93/3285.18 c #Conflicts: 262000 | #Constraints: 16747
3274.93/3285.18 c #Conflicts: 263000 | #Constraints: 17748
3274.93/3285.18 c #Conflicts: 264000 | #Constraints: 18751
3274.93/3285.18 c #Conflicts: 265000 | #Constraints: 19755
3274.93/3285.18 c #Conflicts: 266000 | #Constraints: 20755
3274.93/3285.18 c INPROCESSING
3274.93/3285.18 c GARBAGE COLLECT
3274.93/3285.18 c rational objective 13.8703
3491.84/3502.68 c #Conflicts: 267000 | #Constraints: 11434
3491.84/3502.68 c #Conflicts: 268000 | #Constraints: 12834
3491.84/3502.68 c #Conflicts: 269000 | #Constraints: 14160
3491.84/3502.68 c #Conflicts: 270000 | #Constraints: 15161
3491.84/3502.68 c #Conflicts: 271000 | #Constraints: 16167
3491.84/3502.68 c #Conflicts: 272000 | #Constraints: 17173
3491.84/3502.68 c #Conflicts: 273000 | #Constraints: 18179
3491.84/3502.68 c #Conflicts: 274000 | #Constraints: 19179
3491.84/3502.68 c #Conflicts: 275000 | #Constraints: 20180
3491.84/3502.68 c #Conflicts: 276000 | #Constraints: 21181
3491.84/3502.68 c #Conflicts: 277000 | #Constraints: 22181
3491.84/3502.68 c INPROCESSING
3491.84/3502.68 c GARBAGE COLLECT
3491.84/3502.68 c rational objective 13.8722
3600.04/3611.10 c #Conflicts: 278000 | #Constraints: 12373
3600.04/3611.10 c #Conflicts: 279000 | #Constraints: 13376
3600.04/3611.10 c #Conflicts: 280000 | #Constraints: 14379
3600.04/3611.10 c #Conflicts: 281000 | #Constraints: 15380
3600.04/3611.10 c #Conflicts: 282000 | #Constraints: 16381
3600.04/3611.10 c #Conflicts: 283000 | #Constraints: 17387
3600.04/3611.10 c #Conflicts: 284000 | #Constraints: 18391
3600.04/3611.10 c #Conflicts: 285000 | #Constraints: 19391
3600.04/3611.10 c cpu time 3556.27 s
3600.04/3611.10 c deterministic time 304494632488 3.04e+11
3600.04/3611.10 c optimization time 128.874 s
3600.04/3611.10 c total solve time 3427 s
3600.04/3611.10 c core-guided solve time 1344.38 s
3600.04/3611.10 c propagation time 1917.6 s
3600.04/3611.10 c conflict analysis time 1108.05 s
3600.04/3611.10 c propagations 286870848
3600.04/3611.10 c resolve steps 879980
3600.04/3611.10 c decisions 17280430
3600.04/3611.10 c conflicts 285804
3600.04/3611.10 c restarts 683
3600.04/3611.10 c inprocessing phases 44
3600.04/3611.10 c garbage collections 44 ,( 100.00 )
3600.04/3611.10 c input clauses 238 ,( 32.12 )
3600.04/3611.10 c input cardinalities 482 ,( 65.05 )
3600.04/3611.10 c input general constraints 21 ,( 2.83 )
3600.04/3611.10 c input average constraint length 1611.51
3600.04/3611.10 c input average constraint degree 680.06
3600.04/3611.10 c learned clauses 19277 ,( 6.68 )
3600.04/3611.11 c learned cardinalities 1645 ,( 0.57 )
3600.04/3611.11 c learned general constraints 267824 ,( 92.75 )
3600.04/3611.11 c learned average constraint length 4818.49
3600.04/3611.11 c learned average constraint degree 71051713587.96
3600.04/3611.11 c watched CF 32, 64, 128, Arb: 37379 , 0 , 0 , 0
3600.04/3611.11 c counting CF 32, 64, 128, Arb: 230467 , 0 , 0 , 0
3600.04/3611.11 c watched constraints 37379 ,( 13.96 )
3600.04/3611.11 c counting constraints 230466 ,( 86.04 )
3600.04/3611.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2220661 , 26816431 , 1437003812 ,( 218675859 , 1218327953 )
3600.04/3611.11 c gcd simplifications 783
3600.04/3611.11 c detected cardinalities 28
3600.04/3611.11 c weakened non-implied lits 721490159
3600.04/3611.11 c weakened non-implying lits 936949
3600.04/3611.11 c original variables 10080
3600.04/3611.11 c clausal propagations 247326
3600.04/3611.11 c cardinality propagations 37937213
3600.04/3611.11 c watched propagations 7444695
3600.04/3611.11 c counting propagations 221232189
3600.04/3611.11 c watch lookups 153659225073
3600.04/3611.11 c watch backjump lookups 0
3600.04/3611.11 c watch checks 69752294777
3600.04/3611.11 c propagation checks 74791895407
3600.04/3611.11 c constraint additions 5682200376
3600.04/3611.11 c trail pops 304427576
3600.04/3611.11 c formula constraints 676
3600.04/3611.11 c learned constraints 284597
3600.04/3611.11 c bound constraints 9
3600.04/3611.11 c core-guided constraints 56
3600.04/3611.11 c encountered formula constraints 124266
3600.04/3611.11 c encountered learned constraints 867389
3600.04/3611.11 c encountered bound constraints 9
3600.04/3611.11 c encountered core-guided constraints 58542
3600.04/3611.11 c LP total time 517.102 s
3600.04/3611.11 c LP solve time 201.75 s
3600.04/3611.11 c LP constraints added 719
3600.04/3611.11 c LP constraints removed 39
3600.04/3611.11 c LP pivots internal 286038
3600.04/3611.11 c LP pivots root 151962
3600.04/3611.11 c LP calls 2981
3600.04/3611.11 c LP optimalities 45
3600.04/3611.11 c LP no pivot count 0
3600.04/3611.11 c LP infeasibilities 2917
3600.04/3611.11 c LP valid Farkas constraints 2899
3600.04/3611.11 c LP learned Farkas constraints 1208
3600.04/3611.11 c LP basis resets 33
3600.04/3611.11 c LP cycling count 10
3600.04/3611.11 c LP singular count 5
3600.04/3611.11 c LP no primal count 0
3600.04/3611.11 c LP no farkas count 18
3600.04/3611.11 c LP other issue count 0
3600.04/3611.11 c LP Gomory cuts 42
3600.04/3611.11 c LP learned cuts 1
3600.04/3611.11 c LP deleted cuts 39
3600.04/3611.11 c LP encountered Gomory constraints 0
3600.04/3611.11 c LP encountered Farkas constraints 108797
3600.04/3611.11 c LP encountered learned Farkas constraints 5573
3600.04/3611.11 c CG auxiliary variables introduced 21
3600.04/3611.11 c CG solutions found 1
3600.04/3611.11 c CG cores constructed 7
3600.04/3611.11 c CG core cardinality constraints returned 2
3600.04/3611.11 c CG unit cores 0
3600.04/3611.11 c CG single cores 6
3600.04/3611.11 c CG blocks removed during cardinality reduction 0
3600.04/3611.11 c CG first core best 0
3600.04/3611.11 c CG decision core best 1
3600.04/3611.11 c CG core reduction tie 0
3600.04/3611.11 c CG core degree average 1.57
3600.04/3611.11 c CG core slack average 1440.43
3600.04/3611.11 c CG core upper bound improvements 0
3600.04/3611.11 c STR number of successful calls 0
3600.04/3611.11 c STR number of unsuccessful calls 0
3600.04/3611.11 c STR number of inconclusive calls 0
3600.04/3611.11 c STR number of successful attempts 0
3600.04/3611.11 c STR number of unsuccessful attempts 0
3600.04/3611.11 c STR number of inconclusive attempts 0
3600.04/3611.11 c STR average degree increase per successful call inf
3600.04/3611.11 c STR average degree increase per successful attempt inf
3600.04/3611.11 c STR total number of conflicts for successful attempts 0
3600.04/3611.11 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.11 c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.11 c STR average number of conflicts per successful attempt inf
3600.04/3611.11 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.11 c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.11 c AVG.sumWPerc 69.35
3600.04/3611.11 c bigint constraints 0
3600.04/3611.11 o 15
3600.04/3611.11 s SATISFIABLE
3600.04/3611.11 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080
3600.04/3611.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (49005 MiB free)
memory of node 1: 64507 MiB (49918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532003-1752683088/watcher-4532003-1752683088 -o /tmp/evaluation-result-4532003-1752683088/solver-4532003-1752683088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752683053-135154 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532003-1752683088.opb /tmp/proof-4532003-1752683088
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=135454, runsolver pid=135451
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.10 0.61 0.27 5/265 135462
/proc/meminfo: memFree=101278044/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135456] ppid=135454 vsize=22132 memory=14488 CPUtime=0.07 cores=1,3
/proc/135456/stat : 135456 (pbsuma) R 135454 135454 135079 0 -1 4194304 3771 0 0 0 7 0 0 0 20 0 1 0 183988705 22663168 3622 18446744073709551615 4210688 4653049 140729491798112 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 22401024 140729491802375 140729491802672 140729491802672 140729491808239 0
/proc/135456/statm: 5533 3622 960 108 0 2941 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 26324 KiB
Current children cumulated memory: 17560 KiB
[startup+0.205576 s]*
/proc/loadavg: 2.10 0.61 0.27 5/264 135462
/proc/meminfo: memFree=101266212/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135456] ppid=135454 vsize=32624 memory=24956 CPUtime=0.18 cores=1,3
/proc/135456/stat : 135456 (pbsuma) R 135454 135454 135079 0 -1 4194304 6386 0 0 0 17 1 0 0 20 0 1 0 183988705 33406976 6239 18446744073709551615 4210688 4653049 140729491798112 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 22401024 140729491802375 140729491802672 140729491802672 140729491808239 0
/proc/135456/statm: 8156 6239 960 108 0 5564 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 36816 KiB
Current children cumulated memory: 28028 KiB
[startup+0.305415 s]*
/proc/loadavg: 2.10 0.61 0.27 5/264 135462
/proc/meminfo: memFree=101246304/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135456] ppid=135454 vsize=59088 memory=42508 CPUtime=0.28 cores=1,3
/proc/135456/stat : 135456 (pbsuma) R 135454 135454 135079 0 -1 4194304 8797 0 0 0 26 2 0 0 20 0 1 0 183988705 60506112 10627 18446744073709551615 4210688 4653049 140729491798112 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 22401024 140729491802375 140729491802672 140729491802672 140729491808239 0
/proc/135456/statm: 14772 10627 992 108 0 12180 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63280 KiB
Current children cumulated memory: 45580 KiB
[startup+0.700158 s]
/proc/loadavg: 2.10 0.61 0.27 4/264 135463
/proc/meminfo: memFree=101226080/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.50021 s]
/proc/loadavg: 2.34 0.68 0.29 5/263 135478
/proc/meminfo: memFree=101209072/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=127980 memory=86552 CPUtime=0.79 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 19245 0 0 0 76 3 0 0 20 0 1 0 183988773 131051520 21638 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 31995 21638 2304 1147 0 19421 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 132172 KiB
Current children cumulated memory: 89624 KiB
[startup+3.10545 s]
/proc/loadavg: 2.34 0.68 0.29 5/263 135478
/proc/meminfo: memFree=101132336/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=127980 memory=86552 CPUtime=2.39 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 19245 0 0 0 236 3 0 0 20 0 1 0 183988773 131051520 21638 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 31995 21638 2304 1147 0 19421 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 132172 KiB
Current children cumulated memory: 89624 KiB
[startup+6.3002 s]
/proc/loadavg: 2.47 0.74 0.31 5/263 135478
/proc/meminfo: memFree=101102580/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=127980 memory=86552 CPUtime=5.58 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 19245 0 0 0 555 3 0 0 20 0 1 0 183988773 131051520 21638 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 31995 21638 2304 1147 0 19421 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 132172 KiB
Current children cumulated memory: 89624 KiB
[startup+12.7002 s]
/proc/loadavg: 2.67 0.81 0.34 5/271 135522
/proc/meminfo: memFree=101550756/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=127980 memory=86552 CPUtime=11.96 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 19245 0 0 0 1193 3 0 0 20 0 1 0 183988773 131051520 21638 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 31995 21638 2304 1147 0 19421 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 132172 KiB
Current children cumulated memory: 89624 KiB
[startup+25.5002 s]
/proc/loadavg: 2.88 0.92 0.38 5/271 135523
/proc/meminfo: memFree=100757468/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=127980 memory=86552 CPUtime=24.72 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 19245 0 0 0 2469 3 0 0 20 0 1 0 183988773 131051520 21638 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 31995 21638 2304 1147 0 19421 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 132172 KiB
Current children cumulated memory: 89624 KiB
[startup+51.1056 s]
/proc/loadavg: 3.46 1.25 0.51 5/271 135523
/proc/meminfo: memFree=99186744/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=511680 memory=443164 CPUtime=50.25 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 97911 0 0 0 4969 56 0 0 20 0 1 0 183988773 523960320 110791 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 127920 110791 2432 1147 0 115346 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 515872 KiB
Current children cumulated memory: 446236 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 1.75 0.72 5/271 135525
/proc/meminfo: memFree=96791788/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=880020 memory=737176 CPUtime=101.29 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 153068 0 0 0 9975 154 0 0 20 0 1 0 183988773 901140480 184294 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 220005 184294 2432 1147 0 207431 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 884212 KiB
Current children cumulated memory: 740248 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 2.24 0.95 5/271 135527
/proc/meminfo: memFree=94131968/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=1007488 memory=884316 CPUtime=161.11 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 182296 0 0 0 15859 252 0 0 20 0 1 0 183988773 1031667712 221079 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 251872 221079 2528 1147 0 239298 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1011680 KiB
Current children cumulated memory: 887388 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 2.65 1.18 5/271 135529
/proc/meminfo: memFree=91823952/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=1121088 memory=974932 CPUtime=220.94 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 203941 0 0 0 21765 329 0 0 20 0 1 0 183988773 1147994112 243733 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 280272 243733 2528 1147 0 267698 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1125280 KiB
Current children cumulated memory: 978004 KiB
################
# More data... #
################
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=3937744 memory=3367812 CPUtime=3092.04 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 532328 0 0 0 305509 3695 0 0 20 0 1 0 183988773 4032249856 841953 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 984436 841953 2528 1147 0 971862 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 3941936 KiB
Current children cumulated memory: 3370884 KiB
[startup+3162.3 s]
/proc/loadavg: 4.32 4.38 4.25 5/269 135695
/proc/meminfo: memFree=1602396/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=3937744 memory=3370756 CPUtime=3151.85 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 533327 0 0 0 311414 3771 0 0 20 0 1 0 183988773 4032249856 842689 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 984436 842689 2528 1147 0 971862 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 3941936 KiB
Current children cumulated memory: 3373828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.36 4.38 4.26 5/270 135698
/proc/meminfo: memFree=864772/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=3947300 memory=3378948 CPUtime=3211.66 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 535478 0 0 0 317324 3842 0 0 20 0 1 0 183988773 4042035200 844737 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 986825 844737 2528 1147 0 974251 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 3951492 KiB
Current children cumulated memory: 3382020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.34 4.37 4.26 5/270 135700
/proc/meminfo: memFree=951268/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=4081452 memory=3468804 CPUtime=3271.48 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 558492 0 0 0 323246 3902 0 0 20 0 1 0 183988773 4179406848 867201 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 1020363 867201 2528 1147 0 1007789 0
Current children cumulated CPU time: 3272.13 s
Current children cumulated vsize: 4085644 KiB
Current children cumulated memory: 3471876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.37 4.27 5/270 135702
/proc/meminfo: memFree=929756/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=4081964 memory=3469316 CPUtime=3331.33 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 558936 0 0 0 329184 3949 0 0 20 0 1 0 183988773 4179931136 867329 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 1020491 867329 2528 1147 0 1007917 0
Current children cumulated CPU time: 3331.98 s
Current children cumulated vsize: 4086156 KiB
Current children cumulated memory: 3472388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.36 4.27 5/270 135704
/proc/meminfo: memFree=877852/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=4157288 memory=3545672 CPUtime=3391.17 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 571656 0 0 0 335105 4012 0 0 20 0 1 0 183988773 4257062912 886418 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 1039322 886418 2528 1147 0 1026748 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 4161480 KiB
Current children cumulated memory: 3548744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.40 4.37 4.28 5/270 135706
/proc/meminfo: memFree=983368/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=4348020 memory=3734028 CPUtime=3451 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 619180 0 0 0 341001 4099 0 0 20 0 1 0 183988773 4452372480 933507 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 1087005 933507 2528 1147 0 1074431 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 4352212 KiB
Current children cumulated memory: 3737100 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.36 4.28 5/269 135707
/proc/meminfo: memFree=843276/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=4512124 memory=3941876 CPUtime=3510.83 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 673745 0 0 0 346895 4188 0 0 20 0 1 0 183988773 4620414976 985469 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 1128031 985469 2528 1147 0 1115457 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 4516316 KiB
Current children cumulated memory: 3944948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.36 4.28 5/270 135716
/proc/meminfo: memFree=862716/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=4512124 memory=3941876 CPUtime=3570.67 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 678299 0 0 0 352781 4286 0 0 20 0 1 0 183988773 4620414976 985469 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 1128031 985469 2528 1147 0 1115457 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 4516316 KiB
Current children cumulated memory: 3944948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.20 4.32 4.27 4/262 135748
/proc/meminfo: memFree=1693188/131250000 swapFree=33010416/33010684
[pid=135454] ppid=135451 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/135454/stat : 135454 (run-opt-ls-log.) S 135451 135454 135079 0 -1 4194304 238 11694 0 0 0 0 62 3 20 0 1 0 183988704 4292608 768 18446744073709551615 93902471020544 93902471915077 140729023323776 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93902472154128 93902472201872 93902500347904 140729023326527 140729023326687 140729023326687 140729023332291 0
/proc/135454/statm: 1048 768 704 219 0 110 0
[pid=135478] ppid=135454 vsize=4512124 memory=3941876 CPUtime=3599.39 cores=1,3
/proc/135478/stat : 135478 (roundingsat) R 135454 135454 135079 0 -1 4194304 681514 0 0 0 355626 4313 0 0 20 0 1 0 183988773 4620414976 985469 18446744073709551615 4227072 8923577 140727490844672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 38281216 140727490853146 140727490853414 140727490853414 140727490858986 0
/proc/135478/statm: 1128031 985469 2528 1147 0 1115457 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4516316 KiB
Current children cumulated memory: 3944948 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.11 s]
# the end of solver process 135454 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.628188 s, system=0.042532 s
Sleeping 2 seconds
[startup+3611.23 s]
# the end of solver process 135478 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3556.91 s, system=43.2976 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]*
/proc/loadavg: 4.20 4.32 4.27 4/261 135748
/proc/meminfo: memFree=4765300/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.67072 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3611.23
CPU time (s): 3600.2
CPU user time (s): 3556.91
CPU system time (s): 43.2976
CPU usage (%): 99.6945
Max. virtual memory (cumulated for all children) (KiB): 4516316
Max. memory (cumulated for all children) (KiB): 3944948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.91
system time used= 43.2976
maximum resident set size= 3942132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 694329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64704368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259
involuntary context switches= 4710
# summary of solver processes directly reported to runsolver:
# pid: 135454,135478
# total CPU time (s): 3600.2
# total CPU user time (s): 3556.91
# total CPU system time (s): 43.2976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40029 second user time and 16.3501 second system time
The end
Begin job on nodeC027 at 2025-07-16 18:24:48
IDJOB=4532003
IDBENCH=155319
IDSOLVER=3392
FILE ID=nodeC027/4532003-1752683088
RUNJOBID= nodeC027-1752683053-135154
SLURM_JOB_ID= 9686922
Free space on /tmp= 432196 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532003-1752683088/watcher-4532003-1752683088 -o /tmp/evaluation-result-4532003-1752683088/solver-4532003-1752683088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752683053-135154 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532003-1752683088.opb /tmp/proof-4532003-1752683088
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=762675988
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.634
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.675
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3572.699
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.757
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.048
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.606
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.747
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 101298820 kB
MemAvailable: 129598580 kB
Buffers: 2488 kB
Cached: 29068300 kB
SwapCached: 12 kB
Active: 1003868 kB
Inactive: 28240380 kB
Active(anon): 196992 kB
Inactive(anon): 2792 kB
Active(file): 806876 kB
Inactive(file): 28237588 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 559124 kB
Writeback: 32768 kB
AnonPages: 176656 kB
Mapped: 114080 kB
Shmem: 26248 kB
KReclaimable: 188668 kB
Slab: 286200 kB
SReclaimable: 188668 kB
SUnreclaim: 97532 kB
KernelStack: 4192 kB
PageTables: 3380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 476052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 324716 MiB
End job on nodeC027 at 2025-07-16 19:25:00