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-4502327-1751416036.opb'
0.19/0.24 c read 15.73MB (235.18ms)
0.19/0.24 c [cnf: #variables 10080 #clauses 453 #duplicates 280 #arr 1039360]
0.19/0.24 c output proof to 'PROOFDIR/proof-4502327-1751416036'
0.19/0.25 c
0.19/0.25 c make graph and approximate orbits
0.19/0.30 c [group: #orbits ~= 672] (58.06ms)
0.19/0.30 c
0.19/0.30 c detect special group actions
0.19/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 (20.12ms)
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.33 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.36 c [group: #symmetries 4.16*10^1066 #generators 3417] (32.59ms)
0.28/0.36 c
0.28/0.36 c optimize generators (opt_passes=64, conjugate_limit=256)
0.28/0.36 c ran it=0, +gens=3
0.39/0.47 c con best_support=4, best_gens=3360, +gens=71
0.39/0.47 c (115.11ms)
0.39/0.47 c
0.39/0.47 c finalize break order and special generators
0.39/0.47 c
0.39/0.47 c add generic predicates (break_depth=20)
0.39/0.47 c added predicates for 3491 generators (0.61ms)
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.67 c
0.58/0.67 c write result to 'HOME/instance-4502327-1751416036.opb.pre'
0.58/0.68 c wrote 9.26MB (19.36ms)
0.58/0.68 c ------------------------------------------------------------------
0.58/0.68 c 235.18ms 34.79% parse
0.58/0.68 c 194.27ms 28.73% other
0.58/0.68 c 115.11ms 17.03% optimize_gens
0.58/0.68 c 58.06ms 8.59% approx_orbits
0.58/0.68 c 32.59ms 4.82% detect_generic
0.58/0.68 c 20.12ms 2.98% detect_special
0.58/0.68 c 19.36ms 2.86% output
0.58/0.68 c 0.79ms 0.12% finalize_order
0.58/0.68 c 0.61ms 0.09% break_generic
0.58/0.68 c ───────────────────────────────────────────────
0.58/0.68 c 676.10ms 100% total
0.58/0.68 c ------------------------------------------------------------------
0.67/0.72 c RoundingSat 2
0.67/0.72 c branch pb25
0.67/0.72 c commit 63f22ad
1.05/1.18 c #variables 10080 #constraints 676
1.05/1.18 c objective is ce32
30.46/30.64 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
30.46/30.64 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
30.46/30.64 c bounds 16 >= 0 @ 29.7957
40.11/40.31 c #Conflicts: 1000 | #Constraints: 1676
40.11/40.31 c #Conflicts: 2000 | #Constraints: 2676
40.11/40.31 c INPROCESSING
40.11/40.31 c GARBAGE COLLECT
40.11/40.31 c rational objective 13.8628
47.60/47.87 c bounds 16 >= 2 @ 46.5407
47.60/47.90 c bounds 16 >= 6 @ 46.5646
47.69/47.95 c bounds 16 >= 7 @ 46.6138
48.00/48.24 c bounds 16 >= 8 @ 46.8945
50.89/51.15 c bounds 16 >= 9 @ 49.713
58.87/59.15 c #Conflicts: 3000 | #Constraints: 2726
58.87/59.15 c bounds 16 >= 10 @ 57.5062
62.35/62.65 c #Conflicts: 4000 | #Constraints: 3749
62.35/62.65 c INPROCESSING
62.35/62.65 c GARBAGE COLLECT
62.35/62.65 c rational objective 13.8692
105.72/106.30 c #Conflicts: 5000 | #Constraints: 3140
105.72/106.30 c #Conflicts: 6000 | #Constraints: 4145
105.72/106.30 c INPROCESSING
105.72/106.30 c GARBAGE COLLECT
105.72/106.30 c #Conflicts: 7000 | #Constraints: 3140
105.72/106.30 c #Conflicts: 8000 | #Constraints: 4141
105.72/106.30 c #Conflicts: 9000 | #Constraints: 5144
105.72/106.30 c INPROCESSING
105.72/106.30 c GARBAGE COLLECT
105.72/106.30 c rational objective 13.8692
132.85/133.78 c #Conflicts: 10000 | #Constraints: 3839
132.85/133.78 c #Conflicts: 11000 | #Constraints: 4847
132.85/133.78 c #Conflicts: 12000 | #Constraints: 5853
132.85/133.78 c INPROCESSING
132.85/133.78 c GARBAGE COLLECT
132.85/133.78 c rational objective 13.8692
166.53/167.71 c #Conflicts: 13000 | #Constraints: 4306
166.53/167.71 c #Conflicts: 14000 | #Constraints: 5306
166.53/167.71 c #Conflicts: 15000 | #Constraints: 6306
166.53/167.71 c INPROCESSING
166.53/167.71 c GARBAGE COLLECT
166.53/167.71 c rational objective 13.8692
203.60/205.16 c #Conflicts: 16000 | #Constraints: 4524
203.60/205.16 c #Conflicts: 17000 | #Constraints: 5527
203.60/205.16 c #Conflicts: 18000 | #Constraints: 6529
203.60/205.16 c INPROCESSING
203.60/205.16 c GARBAGE COLLECT
203.60/205.16 c rational objective 13.8692
244.36/246.28 c #Conflicts: 19000 | #Constraints: 4534
244.36/246.28 c #Conflicts: 20000 | #Constraints: 5534
244.36/246.28 c #Conflicts: 21000 | #Constraints: 6536
244.36/246.28 c INPROCESSING
244.36/246.28 c GARBAGE COLLECT
244.36/246.28 c rational objective 13.8692
279.59/281.98 c #Conflicts: 22000 | #Constraints: 4328
279.59/281.98 c #Conflicts: 23000 | #Constraints: 5331
279.59/281.98 c #Conflicts: 24000 | #Constraints: 6335
279.59/281.98 c #Conflicts: 25000 | #Constraints: 7336
279.59/281.98 c INPROCESSING
279.59/281.98 c GARBAGE COLLECT
279.59/281.98 c rational objective 13.8692
319.62/322.38 c #Conflicts: 26000 | #Constraints: 4944
319.62/322.38 c #Conflicts: 27000 | #Constraints: 5950
319.62/322.38 c #Conflicts: 28000 | #Constraints: 6957
319.62/322.38 c #Conflicts: 29000 | #Constraints: 7964
319.62/322.38 c INPROCESSING
319.62/322.38 c GARBAGE COLLECT
319.62/322.38 c rational objective 13.8692
379.97/383.29 c #Conflicts: 30000 | #Constraints: 5387
379.97/383.29 c #Conflicts: 31000 | #Constraints: 6387
379.97/383.29 c #Conflicts: 32000 | #Constraints: 7388
379.97/383.29 c #Conflicts: 33000 | #Constraints: 8390
379.97/383.29 c INPROCESSING
379.97/383.29 c GARBAGE COLLECT
379.97/383.29 c rational objective 13.8692
429.13/432.90 c #Conflicts: 34000 | #Constraints: 5579
429.13/432.90 c #Conflicts: 35000 | #Constraints: 6582
429.13/432.90 c #Conflicts: 36000 | #Constraints: 7593
429.13/432.90 c #Conflicts: 37000 | #Constraints: 8611
429.13/432.90 c INPROCESSING
429.13/432.90 c GARBAGE COLLECT
429.13/432.90 c rational objective 13.8692
483.67/487.62 c #Conflicts: 38000 | #Constraints: 5580
483.67/487.62 c #Conflicts: 39000 | #Constraints: 6595
483.67/487.62 c #Conflicts: 40000 | #Constraints: 7601
483.67/487.62 c #Conflicts: 41000 | #Constraints: 8612
483.67/487.62 c INPROCESSING
483.67/487.62 c GARBAGE COLLECT
483.67/487.62 c rational objective 13.8692
534.28/538.76 c #Conflicts: 42000 | #Constraints: 5439
534.28/538.76 c #Conflicts: 43000 | #Constraints: 6470
534.28/538.76 c #Conflicts: 44000 | #Constraints: 7470
534.28/538.76 c #Conflicts: 45000 | #Constraints: 8470
534.28/538.76 c #Conflicts: 46000 | #Constraints: 9471
534.28/538.76 c bounds 16 >= 11 @ 526.688
536.78/541.22 c INPROCESSING
536.78/541.22 c GARBAGE COLLECT
536.78/541.22 c rational objective 13.8692
588.26/597.13 c #Conflicts: 47000 | #Constraints: 6011
588.26/597.13 c #Conflicts: 48000 | #Constraints: 7020
588.26/597.13 c #Conflicts: 49000 | #Constraints: 8028
588.26/597.13 c #Conflicts: 50000 | #Constraints: 9039
588.26/597.13 c #Conflicts: 51000 | #Constraints: 10039
588.26/597.13 c INPROCESSING
588.26/597.13 c GARBAGE COLLECT
588.26/597.13 c rational objective 13.8692
653.65/662.93 c #Conflicts: 52000 | #Constraints: 6394
653.65/662.93 c #Conflicts: 53000 | #Constraints: 7401
653.65/662.93 c #Conflicts: 54000 | #Constraints: 8424
653.65/662.93 c #Conflicts: 55000 | #Constraints: 9440
653.65/662.93 c #Conflicts: 56000 | #Constraints: 10440
653.65/662.93 c INPROCESSING
653.65/662.93 c GARBAGE COLLECT
653.65/662.93 c rational objective 13.8692
713.07/722.75 c #Conflicts: 57000 | #Constraints: 6598
713.07/722.75 c #Conflicts: 58000 | #Constraints: 7598
713.07/722.75 c #Conflicts: 59000 | #Constraints: 8599
713.07/722.75 c #Conflicts: 60000 | #Constraints: 9715
713.07/722.75 c #Conflicts: 61000 | #Constraints: 10724
713.07/722.75 c INPROCESSING
713.07/722.75 c GARBAGE COLLECT
713.07/722.75 c rational objective 13.8692
776.50/786.31 c #Conflicts: 62000 | #Constraints: 6627
776.50/786.31 c #Conflicts: 63000 | #Constraints: 7630
776.50/786.31 c #Conflicts: 64000 | #Constraints: 8636
776.50/786.31 c #Conflicts: 65000 | #Constraints: 9646
776.50/786.31 c #Conflicts: 66000 | #Constraints: 10650
776.50/786.31 c INPROCESSING
776.50/786.31 c GARBAGE COLLECT
776.50/786.31 c rational objective 13.8692
842.53/852.85 c #Conflicts: 67000 | #Constraints: 6398
842.53/852.85 c #Conflicts: 68000 | #Constraints: 7401
842.53/852.85 c #Conflicts: 69000 | #Constraints: 8402
842.53/852.85 c #Conflicts: 70000 | #Constraints: 9402
842.53/852.85 c #Conflicts: 71000 | #Constraints: 10403
842.53/852.85 c #Conflicts: 72000 | #Constraints: 11407
842.53/852.85 c INPROCESSING
842.53/852.85 c GARBAGE COLLECT
842.53/852.85 c rational objective 13.8692
966.13/976.92 c #Conflicts: 73000 | #Constraints: 6963
966.13/976.92 c #Conflicts: 74000 | #Constraints: 7966
966.13/976.92 c #Conflicts: 75000 | #Constraints: 8966
966.13/976.92 c #Conflicts: 76000 | #Constraints: 9972
966.13/976.92 c #Conflicts: 77000 | #Constraints: 10981
966.13/976.92 c #Conflicts: 78000 | #Constraints: 11988
966.13/976.92 c INPROCESSING
966.13/976.92 c GARBAGE COLLECT
966.13/976.92 c #Conflicts: 79000 | #Constraints: 7367
966.13/976.92 c #Conflicts: 80000 | #Constraints: 8371
966.13/976.92 c #Conflicts: 81000 | #Constraints: 9374
966.13/976.92 c #Conflicts: 82000 | #Constraints: 10388
966.13/976.92 c #Conflicts: 83000 | #Constraints: 11403
966.13/976.92 c #Conflicts: 84000 | #Constraints: 12406
966.13/976.92 c INPROCESSING
966.13/976.92 c GARBAGE COLLECT
966.13/976.92 c rational objective 13.8692
1025.47/1036.49 c #Conflicts: 85000 | #Constraints: 7602
1025.47/1036.49 c #Conflicts: 86000 | #Constraints: 8604
1025.47/1036.49 c #Conflicts: 87000 | #Constraints: 9615
1025.47/1036.49 c #Conflicts: 88000 | #Constraints: 10628
1025.47/1036.49 c #Conflicts: 89000 | #Constraints: 11632
1025.47/1036.49 c #Conflicts: 90000 | #Constraints: 12635
1025.47/1036.49 c INPROCESSING
1025.47/1036.49 c GARBAGE COLLECT
1025.47/1036.49 c rational objective 13.8692
1083.52/1094.60 c #Conflicts: 91000 | #Constraints: 7590
1083.52/1094.60 c #Conflicts: 92000 | #Constraints: 8593
1083.52/1094.60 c #Conflicts: 93000 | #Constraints: 9598
1083.52/1094.60 c #Conflicts: 94000 | #Constraints: 10604
1083.52/1094.60 c #Conflicts: 95000 | #Constraints: 11610
1083.52/1094.60 c #Conflicts: 96000 | #Constraints: 12614
1083.52/1094.60 c INPROCESSING
1083.52/1094.60 c GARBAGE COLLECT
1083.52/1094.60 c rational objective 13.8692
1156.73/1168.08 c #Conflicts: 97000 | #Constraints: 7384
1156.73/1168.08 c #Conflicts: 98000 | #Constraints: 8465
1156.73/1168.08 c #Conflicts: 99000 | #Constraints: 9466
1156.73/1168.08 c #Conflicts: 100000 | #Constraints: 10466
1156.73/1168.08 c #Conflicts: 101000 | #Constraints: 11466
1156.73/1168.08 c #Conflicts: 102000 | #Constraints: 12466
1156.73/1168.08 c #Conflicts: 103000 | #Constraints: 13466
1156.73/1168.08 c INPROCESSING
1156.73/1168.08 c GARBAGE COLLECT
1156.73/1168.08 c rational objective 13.8692
1229.91/1241.64 c #Conflicts: 104000 | #Constraints: 7994
1229.91/1241.64 c #Conflicts: 105000 | #Constraints: 8998
1229.91/1241.64 c #Conflicts: 106000 | #Constraints: 10005
1229.91/1241.64 c #Conflicts: 107000 | #Constraints: 11008
1229.91/1241.64 c #Conflicts: 108000 | #Constraints: 12017
1229.91/1241.64 c #Conflicts: 109000 | #Constraints: 13021
1229.91/1241.64 c #Conflicts: 110000 | #Constraints: 14022
1229.91/1241.64 c INPROCESSING
1229.91/1241.64 c GARBAGE COLLECT
1229.91/1241.64 c rational objective 13.8692
1306.59/1318.52 c #Conflicts: 111000 | #Constraints: 8397
1306.59/1318.52 c #Conflicts: 112000 | #Constraints: 9409
1306.59/1318.52 c #Conflicts: 113000 | #Constraints: 10420
1306.59/1318.52 c #Conflicts: 114000 | #Constraints: 11426
1306.59/1318.52 c #Conflicts: 115000 | #Constraints: 12431
1306.59/1318.52 c #Conflicts: 116000 | #Constraints: 13443
1306.59/1318.52 c #Conflicts: 117000 | #Constraints: 14451
1306.59/1318.52 c INPROCESSING
1306.59/1318.52 c GARBAGE COLLECT
1306.59/1318.52 c rational objective 13.8692
1411.46/1423.93 c #Conflicts: 118000 | #Constraints: 8607
1411.46/1423.93 c #Conflicts: 119000 | #Constraints: 9617
1411.46/1423.93 c #Conflicts: 120000 | #Constraints: 10725
1411.46/1423.93 c #Conflicts: 121000 | #Constraints: 11725
1411.46/1423.93 c #Conflicts: 122000 | #Constraints: 12725
1411.46/1423.93 c #Conflicts: 123000 | #Constraints: 13727
1411.46/1423.93 c #Conflicts: 124000 | #Constraints: 14728
1411.46/1423.93 c INPROCESSING
1411.46/1423.93 c GARBAGE COLLECT
1411.46/1423.93 c rational objective 13.8692
1500.90/1514.51 c #Conflicts: 125000 | #Constraints: 8633
1500.90/1514.51 c #Conflicts: 126000 | #Constraints: 9639
1500.90/1514.51 c #Conflicts: 127000 | #Constraints: 10647
1500.90/1514.51 c #Conflicts: 128000 | #Constraints: 11653
1500.90/1514.51 c #Conflicts: 129000 | #Constraints: 12665
1500.90/1514.51 c #Conflicts: 130000 | #Constraints: 13682
1500.90/1514.51 c #Conflicts: 131000 | #Constraints: 14688
1500.90/1514.51 c INPROCESSING
1500.90/1514.51 c GARBAGE COLLECT
1500.90/1514.51 c rational objective 13.8693
1603.42/1617.31 c #Conflicts: 132000 | #Constraints: 8423
1603.42/1617.31 c #Conflicts: 133000 | #Constraints: 9439
1603.42/1617.31 c #Conflicts: 134000 | #Constraints: 10441
1603.42/1617.31 c #Conflicts: 135000 | #Constraints: 11450
1603.42/1617.31 c #Conflicts: 136000 | #Constraints: 12460
1603.42/1617.31 c #Conflicts: 137000 | #Constraints: 13466
1603.42/1617.31 c #Conflicts: 138000 | #Constraints: 14468
1603.42/1617.31 c #Conflicts: 139000 | #Constraints: 15485
1603.42/1617.31 c INPROCESSING
1603.42/1617.31 c GARBAGE COLLECT
1603.42/1617.31 c rational objective 13.8694
1698.98/1713.82 c #Conflicts: 140000 | #Constraints: 9019
1698.98/1713.82 c #Conflicts: 141000 | #Constraints: 10026
1698.98/1713.82 c #Conflicts: 142000 | #Constraints: 11032
1698.98/1713.82 c #Conflicts: 143000 | #Constraints: 12034
1698.98/1713.82 c #Conflicts: 144000 | #Constraints: 13036
1698.98/1713.82 c #Conflicts: 145000 | #Constraints: 14038
1698.98/1713.82 c #Conflicts: 146000 | #Constraints: 15041
1698.98/1713.82 c #Conflicts: 147000 | #Constraints: 16041
1698.98/1713.82 c INPROCESSING
1698.98/1713.82 c GARBAGE COLLECT
1698.98/1713.82 c rational objective 13.8695
1786.61/1802.22 c #Conflicts: 148000 | #Constraints: 9413
1786.61/1802.22 c #Conflicts: 149000 | #Constraints: 10422
1786.61/1802.22 c #Conflicts: 150000 | #Constraints: 11424
1786.61/1802.22 c #Conflicts: 151000 | #Constraints: 12430
1786.61/1802.22 c #Conflicts: 152000 | #Constraints: 13431
1786.61/1802.22 c #Conflicts: 153000 | #Constraints: 14431
1786.61/1802.22 c #Conflicts: 154000 | #Constraints: 15438
1786.61/1802.22 c #Conflicts: 155000 | #Constraints: 16449
1786.61/1802.22 c INPROCESSING
1786.61/1802.22 c GARBAGE COLLECT
1786.61/1802.22 c rational objective 13.8695
1882.64/1898.53 c #Conflicts: 156000 | #Constraints: 9602
1882.64/1898.53 c #Conflicts: 157000 | #Constraints: 10611
1882.64/1898.53 c #Conflicts: 158000 | #Constraints: 11620
1882.64/1898.53 c #Conflicts: 159000 | #Constraints: 12637
1882.64/1898.53 c #Conflicts: 160000 | #Constraints: 13642
1882.64/1898.53 c #Conflicts: 161000 | #Constraints: 14647
1882.64/1898.53 c #Conflicts: 162000 | #Constraints: 15663
1882.64/1898.53 c #Conflicts: 163000 | #Constraints: 16670
1882.64/1898.53 c INPROCESSING
1882.64/1898.53 c GARBAGE COLLECT
1882.64/1898.53 c rational objective 13.8695
1988.14/2004.35 c #Conflicts: 164000 | #Constraints: 9603
1988.14/2004.35 c #Conflicts: 165000 | #Constraints: 10606
1988.14/2004.35 c #Conflicts: 166000 | #Constraints: 11606
1988.14/2004.35 c #Conflicts: 167000 | #Constraints: 12608
1988.14/2004.35 c #Conflicts: 168000 | #Constraints: 13609
1988.14/2004.35 c #Conflicts: 169000 | #Constraints: 14610
1988.14/2004.35 c #Conflicts: 170000 | #Constraints: 15611
1988.14/2004.35 c #Conflicts: 171000 | #Constraints: 16611
1988.14/2004.35 c INPROCESSING
1988.14/2004.35 c GARBAGE COLLECT
1988.14/2004.35 c rational objective 13.8695
2087.16/2103.63 c #Conflicts: 172000 | #Constraints: 9366
2087.16/2103.63 c #Conflicts: 173000 | #Constraints: 10366
2087.16/2103.63 c #Conflicts: 174000 | #Constraints: 11366
2087.16/2103.63 c #Conflicts: 175000 | #Constraints: 12368
2087.16/2103.63 c #Conflicts: 176000 | #Constraints: 13378
2087.16/2103.63 c #Conflicts: 177000 | #Constraints: 14387
2087.16/2103.63 c #Conflicts: 178000 | #Constraints: 15388
2087.16/2103.63 c #Conflicts: 179000 | #Constraints: 16390
2087.16/2103.63 c #Conflicts: 180000 | #Constraints: 17391
2087.16/2103.63 c INPROCESSING
2087.16/2103.63 c GARBAGE COLLECT
2087.16/2103.63 c rational objective 13.8695
2196.55/2213.33 c #Conflicts: 181000 | #Constraints: 9974
2196.55/2213.33 c #Conflicts: 182000 | #Constraints: 10980
2196.55/2213.33 c #Conflicts: 183000 | #Constraints: 11984
2196.55/2213.33 c #Conflicts: 184000 | #Constraints: 12984
2196.55/2213.33 c #Conflicts: 185000 | #Constraints: 13984
2196.55/2213.33 c #Conflicts: 186000 | #Constraints: 14984
2196.55/2213.33 c #Conflicts: 187000 | #Constraints: 15984
2196.55/2213.33 c #Conflicts: 188000 | #Constraints: 16984
2196.55/2213.33 c #Conflicts: 189000 | #Constraints: 17992
2196.55/2213.33 c INPROCESSING
2196.55/2213.33 c GARBAGE COLLECT
2196.55/2213.33 c rational objective 13.8695
2298.36/2315.46 c #Conflicts: 190000 | #Constraints: 10463
2298.36/2315.46 c #Conflicts: 191000 | #Constraints: 11478
2298.36/2315.46 c #Conflicts: 192000 | #Constraints: 12482
2298.36/2315.46 c #Conflicts: 193000 | #Constraints: 13494
2298.36/2315.46 c #Conflicts: 194000 | #Constraints: 14501
2298.36/2315.46 c #Conflicts: 195000 | #Constraints: 15514
2298.36/2315.46 c #Conflicts: 196000 | #Constraints: 16532
2298.36/2315.46 c #Conflicts: 197000 | #Constraints: 17539
2298.36/2315.46 c #Conflicts: 198000 | #Constraints: 18542
2298.36/2315.46 c INPROCESSING
2298.36/2315.46 c GARBAGE COLLECT
2298.36/2315.46 c rational objective 13.8695
2398.68/2416.06 c #Conflicts: 199000 | #Constraints: 10654
2398.68/2416.06 c #Conflicts: 200000 | #Constraints: 11673
2398.68/2416.06 c #Conflicts: 201000 | #Constraints: 12703
2398.68/2416.06 c #Conflicts: 202000 | #Constraints: 13716
2398.68/2416.06 c #Conflicts: 203000 | #Constraints: 14727
2398.68/2416.06 c #Conflicts: 204000 | #Constraints: 15729
2398.68/2416.06 c #Conflicts: 205000 | #Constraints: 16742
2398.68/2416.06 c #Conflicts: 206000 | #Constraints: 17748
2398.68/2416.06 c #Conflicts: 207000 | #Constraints: 18752
2398.68/2416.06 c INPROCESSING
2398.68/2416.06 c GARBAGE COLLECT
2398.68/2416.06 c rational objective 13.8695
2515.75/2533.47 c #Conflicts: 208000 | #Constraints: 10653
2515.75/2533.47 c #Conflicts: 209000 | #Constraints: 11657
2515.75/2533.47 c #Conflicts: 210000 | #Constraints: 12657
2515.75/2533.47 c #Conflicts: 211000 | #Constraints: 13659
2515.75/2533.47 c #Conflicts: 212000 | #Constraints: 14662
2515.75/2533.47 c #Conflicts: 213000 | #Constraints: 15667
2515.75/2533.47 c #Conflicts: 214000 | #Constraints: 16671
2515.75/2533.47 c #Conflicts: 215000 | #Constraints: 17671
2515.75/2533.47 c #Conflicts: 216000 | #Constraints: 18671
2515.75/2533.47 c INPROCESSING
2515.75/2533.47 c GARBAGE COLLECT
2515.75/2533.47 c rational objective 13.8695
2618.55/2636.53 c #Conflicts: 217000 | #Constraints: 10405
2618.55/2636.53 c #Conflicts: 218000 | #Constraints: 11408
2618.55/2636.53 c #Conflicts: 219000 | #Constraints: 12414
2618.55/2636.53 c #Conflicts: 220000 | #Constraints: 13421
2618.55/2636.53 c #Conflicts: 221000 | #Constraints: 14426
2618.55/2636.53 c #Conflicts: 222000 | #Constraints: 15435
2618.55/2636.53 c #Conflicts: 223000 | #Constraints: 16438
2618.55/2636.53 c #Conflicts: 224000 | #Constraints: 17440
2618.55/2636.53 c #Conflicts: 225000 | #Constraints: 18445
2618.55/2636.53 c #Conflicts: 226000 | #Constraints: 19458
2618.55/2636.53 c INPROCESSING
2618.55/2636.53 c GARBAGE COLLECT
2618.55/2636.53 c rational objective 13.8695
2640.68/2658.77 c #Conflicts: 227000 | #Constraints: 11005
2640.68/2658.77 c #Conflicts: 228000 | #Constraints: 12017
2640.68/2658.77 c bounds 15 >= 11 @ 2610.74
2753.37/2771.78 c #Conflicts: 229000 | #Constraints: 13043
2753.37/2771.78 c #Conflicts: 230000 | #Constraints: 14052
2753.37/2771.78 c #Conflicts: 231000 | #Constraints: 15057
2753.37/2771.78 c #Conflicts: 232000 | #Constraints: 16061
2753.37/2771.78 c #Conflicts: 233000 | #Constraints: 17061
2753.37/2771.78 c #Conflicts: 234000 | #Constraints: 18070
2753.37/2771.78 c #Conflicts: 235000 | #Constraints: 19071
2753.37/2771.78 c #Conflicts: 236000 | #Constraints: 20075
2753.37/2771.78 c INPROCESSING
2753.37/2771.78 c GARBAGE COLLECT
2753.37/2771.78 c rational objective 13.8695
2901.28/2920.60 c #Conflicts: 237000 | #Constraints: 11416
2901.28/2920.60 c #Conflicts: 238000 | #Constraints: 12417
2901.28/2920.60 c #Conflicts: 239000 | #Constraints: 13421
2901.28/2920.60 c #Conflicts: 240000 | #Constraints: 14421
2901.28/2920.60 c #Conflicts: 241000 | #Constraints: 15424
2901.28/2920.60 c #Conflicts: 242000 | #Constraints: 16424
2901.28/2920.60 c #Conflicts: 243000 | #Constraints: 17425
2901.28/2920.60 c #Conflicts: 244000 | #Constraints: 18427
2901.28/2920.60 c #Conflicts: 245000 | #Constraints: 19427
2901.28/2920.60 c #Conflicts: 246000 | #Constraints: 20427
2901.28/2920.60 c INPROCESSING
2901.28/2920.60 c GARBAGE COLLECT
2901.28/2920.60 c rational objective 13.8695
3036.64/3057.87 c #Conflicts: 247000 | #Constraints: 11759
3036.64/3057.87 c #Conflicts: 248000 | #Constraints: 12921
3036.64/3057.87 c #Conflicts: 249000 | #Constraints: 13925
3036.64/3057.87 c #Conflicts: 250000 | #Constraints: 14932
3036.64/3057.87 c #Conflicts: 251000 | #Constraints: 15935
3036.64/3057.87 c #Conflicts: 252000 | #Constraints: 16938
3036.64/3057.87 c #Conflicts: 253000 | #Constraints: 17941
3036.64/3057.87 c #Conflicts: 254000 | #Constraints: 18943
3036.64/3057.87 c #Conflicts: 255000 | #Constraints: 19947
3036.64/3057.87 c #Conflicts: 256000 | #Constraints: 20949
3036.64/3057.87 c INPROCESSING
3036.64/3057.87 c GARBAGE COLLECT
3036.64/3057.87 c rational objective 13.8703
3193.96/3216.92 c #Conflicts: 257000 | #Constraints: 11739
3193.96/3216.92 c #Conflicts: 258000 | #Constraints: 12744
3193.96/3216.92 c #Conflicts: 259000 | #Constraints: 13747
3193.96/3216.92 c #Conflicts: 260000 | #Constraints: 14747
3193.96/3216.92 c #Conflicts: 261000 | #Constraints: 15747
3193.96/3216.92 c #Conflicts: 262000 | #Constraints: 16747
3193.96/3216.92 c #Conflicts: 263000 | #Constraints: 17748
3193.96/3216.92 c #Conflicts: 264000 | #Constraints: 18751
3193.96/3216.92 c #Conflicts: 265000 | #Constraints: 19755
3193.96/3216.92 c #Conflicts: 266000 | #Constraints: 20755
3193.96/3216.92 c INPROCESSING
3193.96/3216.92 c GARBAGE COLLECT
3193.96/3216.92 c rational objective 13.8703
3407.33/3432.44 c #Conflicts: 267000 | #Constraints: 11434
3407.33/3432.44 c #Conflicts: 268000 | #Constraints: 12834
3407.33/3432.44 c #Conflicts: 269000 | #Constraints: 14160
3407.33/3432.44 c #Conflicts: 270000 | #Constraints: 15161
3407.33/3432.44 c #Conflicts: 271000 | #Constraints: 16167
3407.33/3432.44 c #Conflicts: 272000 | #Constraints: 17173
3407.33/3432.44 c #Conflicts: 273000 | #Constraints: 18179
3407.33/3432.44 c #Conflicts: 274000 | #Constraints: 19179
3407.33/3432.44 c #Conflicts: 275000 | #Constraints: 20180
3407.33/3432.44 c #Conflicts: 276000 | #Constraints: 21181
3407.33/3432.44 c #Conflicts: 277000 | #Constraints: 22181
3407.33/3432.44 c INPROCESSING
3407.33/3432.44 c GARBAGE COLLECT
3407.33/3432.44 c rational objective 13.8722
3564.90/3591.42 c #Conflicts: 278000 | #Constraints: 12373
3564.90/3591.42 c #Conflicts: 279000 | #Constraints: 13376
3564.90/3591.42 c #Conflicts: 280000 | #Constraints: 14379
3564.90/3591.42 c #Conflicts: 281000 | #Constraints: 15380
3564.90/3591.42 c #Conflicts: 282000 | #Constraints: 16381
3564.90/3591.42 c #Conflicts: 283000 | #Constraints: 17387
3564.90/3591.42 c #Conflicts: 284000 | #Constraints: 18391
3564.90/3591.42 c #Conflicts: 285000 | #Constraints: 19391
3564.90/3591.42 c #Conflicts: 286000 | #Constraints: 20392
3564.90/3591.42 c #Conflicts: 287000 | #Constraints: 21395
3564.90/3591.42 c #Conflicts: 288000 | #Constraints: 22395
3564.90/3591.42 c INPROCESSING
3564.90/3591.42 c GARBAGE COLLECT
3564.90/3591.42 c rational objective 13.8722
3600.04/3626.80 c #Conflicts: 289000 | #Constraints: 12554
3600.04/3626.80 c #Conflicts: 290000 | #Constraints: 13559
3600.04/3626.80 c cpu time 3560.06 s
3600.04/3626.80 c deterministic time 312333922475 3.12e+11
3600.04/3626.80 c optimization time 57.0658 s
3600.04/3626.80 c total solve time 3502.58 s
3600.04/3626.80 c core-guided solve time 1458.74 s
3600.04/3626.80 c propagation time 1923.16 s
3600.04/3626.80 c conflict analysis time 1100.12 s
3600.04/3626.80 c propagations 294278966
3600.04/3626.80 c resolve steps 895932
3600.04/3626.80 c decisions 17593156
3600.04/3626.80 c conflicts 290363
3600.04/3626.80 c restarts 699
3600.04/3626.80 c inprocessing phases 45
3600.04/3626.80 c garbage collections 45 ,( 100.00 )
3600.04/3626.80 c input clauses 238 ,( 32.12 )
3600.04/3626.80 c input cardinalities 482 ,( 65.05 )
3600.04/3626.80 c input general constraints 21 ,( 2.83 )
3600.04/3626.80 c input average constraint length 1611.51
3600.04/3626.80 c input average constraint degree 680.06
3600.04/3626.80 c learned clauses 19616 ,( 6.69 )
3600.04/3626.80 c learned cardinalities 1663 ,( 0.57 )
3600.04/3626.80 c learned general constraints 272035 ,( 92.75 )
3600.04/3626.80 c learned average constraint length 4815.21
3600.04/3626.80 c learned average constraint degree 71836154955.90
3600.04/3626.80 c watched CF 32, 64, 128, Arb: 37690 , 0 , 0 , 0
3600.04/3626.80 c counting CF 32, 64, 128, Arb: 234367 , 0 , 0 , 0
3600.04/3626.80 c watched constraints 37690 ,( 13.85 )
3600.04/3626.80 c counting constraints 234366 ,( 86.15 )
3600.04/3626.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2312025 , 27227092 , 1469756681 ,( 222328114 , 1247428567 )
3600.04/3626.80 c gcd simplifications 831
3600.04/3626.80 c detected cardinalities 28
3600.04/3626.80 c weakened non-implied lits 734134260
3600.04/3626.80 c weakened non-implying lits 945421
3600.04/3626.80 c original variables 10080
3600.04/3626.80 c clausal propagations 254845
3600.04/3626.80 c cardinality propagations 38818708
3600.04/3626.80 c watched propagations 7562504
3600.04/3626.80 c counting propagations 227256614
3600.04/3626.80 c watch lookups 158784652356
3600.04/3626.80 c watch backjump lookups 0
3600.04/3626.80 c watch checks 70900114633
3600.04/3626.80 c propagation checks 76250416137
3600.04/3626.80 c constraint additions 5774263543
3600.04/3626.80 c trail pops 312153675
3600.04/3626.80 c formula constraints 676
3600.04/3626.80 c learned constraints 289149
3600.04/3626.80 c bound constraints 9
3600.04/3626.80 c core-guided constraints 56
3600.04/3626.80 c encountered formula constraints 126650
3600.04/3626.80 c encountered learned constraints 881557
3600.04/3626.80 c encountered bound constraints 9
3600.04/3626.80 c encountered core-guided constraints 60598
3600.04/3626.80 c LP total time 528.919 s
3600.04/3626.80 c LP solve time 207.11 s
3600.04/3626.80 c LP constraints added 720
3600.04/3626.80 c LP constraints removed 40
3600.04/3626.80 c LP pivots internal 292012
3600.04/3626.80 c LP pivots root 157996
3600.04/3626.80 c LP calls 2992
3600.04/3626.80 c LP optimalities 46
3600.04/3626.80 c LP no pivot count 0
3600.04/3626.80 c LP infeasibilities 2926
3600.04/3626.80 c LP valid Farkas constraints 2907
3600.04/3626.80 c LP learned Farkas constraints 1215
3600.04/3626.80 c LP basis resets 35
3600.04/3626.80 c LP cycling count 10
3600.04/3626.80 c LP singular count 6
3600.04/3626.80 c LP no primal count 0
3600.04/3626.80 c LP no farkas count 19
3600.04/3626.80 c LP other issue count 0
3600.04/3626.80 c LP Gomory cuts 43
3600.04/3626.80 c LP learned cuts 1
3600.04/3626.80 c LP deleted cuts 40
3600.04/3626.80 c LP encountered Gomory constraints 0
3600.04/3626.80 c LP encountered Farkas constraints 110612
3600.04/3626.80 c LP encountered learned Farkas constraints 5654
3600.04/3626.80 c CG auxiliary variables introduced 21
3600.04/3626.80 c CG solutions found 1
3600.04/3626.80 c CG cores constructed 7
3600.04/3626.80 c CG core cardinality constraints returned 2
3600.04/3626.80 c CG unit cores 0
3600.04/3626.80 c CG single cores 6
3600.04/3626.80 c CG blocks removed during cardinality reduction 0
3600.04/3626.80 c CG first core best 0
3600.04/3626.80 c CG decision core best 1
3600.04/3626.80 c CG core reduction tie 0
3600.04/3626.80 c CG core degree average 1.57
3600.04/3626.80 c CG core slack average 1440.43
3600.04/3626.80 c CG core upper bound improvements 0
3600.04/3626.80 c STR number of successful calls 0
3600.04/3626.80 c STR number of unsuccessful calls 0
3600.04/3626.80 c STR number of inconclusive calls 0
3600.04/3626.80 c STR number of successful attempts 0
3600.04/3626.80 c STR number of unsuccessful attempts 0
3600.04/3626.80 c STR number of inconclusive attempts 0
3600.04/3626.80 c STR average degree increase per successful call inf
3600.04/3626.80 c STR average degree increase per successful attempt inf
3600.04/3626.80 c STR total number of conflicts for successful attempts 0
3600.04/3626.80 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3626.80 c STR total number of conflicts for inconclusive attempts 0
3600.04/3626.80 c STR average number of conflicts per successful attempt inf
3600.04/3626.80 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3626.80 c STR average number of conflicts per inconclusive attempt inf
3600.04/3626.80 c AVG.sumWPerc 69.56
3600.04/3626.80 c bigint constraints 0
3600.04/3626.80 o 15
3600.04/3626.80 s SATISFIABLE
3600.04/3626.80 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/3626.80 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: 63708 MiB (62695 MiB free)
memory of node 1: 64465 MiB (59576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502327-1751416036/watcher-4502327-1751416036 -o /tmp/evaluation-result-4502327-1751416036/solver-4502327-1751416036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751412424-60136 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4502327-1751416036.opb PROOFDIR/proof-4502327-1751416036
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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
Starting watchdog thread
solver pid=60670, runsolver pid=60667
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 3.12 3.62 3.84 4/265 60672
/proc/meminfo: memFree=125198620/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60672] ppid=60670 vsize=22396 memory=14948 CPUtime=0.09 cores=4,6
/proc/60672/stat : 60672 (pbsuma) R 60670 60670 59669 0 -1 4194304 3914 0 0 0 8 1 0 0 20 0 1 0 57281478 22933504 3737 18446744073709551615 4210688 4653049 140737016390512 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 24748032 140737016391907 140737016392242 140737016392242 140737016397807 0
/proc/60672/statm: 5599 3737 960 108 0 3007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26588 KiB
Current children cumulated memory: 17892 KiB
[startup+0.205697 s]*
/proc/loadavg: 3.12 3.62 3.84 4/265 60672
/proc/meminfo: memFree=125192824/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60672] ppid=60670 vsize=32624 memory=24604 CPUtime=0.19 cores=4,6
/proc/60672/stat : 60672 (pbsuma) R 60670 60670 59669 0 -1 4194304 6309 0 0 0 17 2 0 0 20 0 1 0 57281478 33406976 6151 18446744073709551615 4210688 4653049 140737016390512 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 24748032 140737016391907 140737016392242 140737016392242 140737016397807 0
/proc/60672/statm: 8156 6151 960 108 0 5564 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36816 KiB
Current children cumulated memory: 27548 KiB
[startup+0.305578 s]*
/proc/loadavg: 3.12 3.62 3.84 4/265 60672
/proc/meminfo: memFree=125168692/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60672] ppid=60670 vsize=59084 memory=43168 CPUtime=0.28 cores=4,6
/proc/60672/stat : 60672 (pbsuma) R 60670 60670 59669 0 -1 4194304 9976 0 0 0 26 2 0 0 20 0 1 0 57281478 60502016 10792 18446744073709551615 4210688 4653049 140737016390512 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 24748032 140737016391907 140737016392242 140737016392242 140737016397807 0
/proc/60672/statm: 14771 10792 992 108 0 12179 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63276 KiB
Current children cumulated memory: 46112 KiB
[startup+0.700197 s]
/proc/loadavg: 3.12 3.62 3.84 4/265 60672
/proc/meminfo: memFree=125156720/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60672] ppid=60670 vsize=58460 memory=43264 CPUtime=0.67 cores=4,6
/proc/60672/stat : 60672 (pbsuma) D 60670 60670 59669 0 -1 4194304 11887 0 0 0 63 4 0 0 20 0 1 0 57281478 59863040 10816 18446744073709551615 4210688 4653049 140737016390512 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 24748032 140737016391907 140737016392242 140737016392242 140737016397807 0
/proc/60672/statm: 14615 10816 992 108 0 12023 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62652 KiB
Current children cumulated memory: 46208 KiB
[startup+1.5002 s]
/proc/loadavg: 3.12 3.62 3.84 4/265 60673
/proc/meminfo: memFree=125141348/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=128036 memory=86744 CPUtime=0.77 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 19257 0 0 0 73 4 0 0 20 0 1 0 57281549 131108864 21686 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 32009 21686 2336 1147 0 19436 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 132228 KiB
Current children cumulated memory: 89688 KiB
[startup+3.10559 s]
/proc/loadavg: 3.12 3.62 3.84 4/265 60673
/proc/meminfo: memFree=125077920/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=128036 memory=86744 CPUtime=2.37 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 19257 0 0 0 233 4 0 0 20 0 1 0 57281549 131108864 21686 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 32009 21686 2336 1147 0 19436 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 132228 KiB
Current children cumulated memory: 89688 KiB
[startup+6.3002 s]
/proc/loadavg: 3.11 3.61 3.84 4/265 60673
/proc/meminfo: memFree=125070360/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=128036 memory=86744 CPUtime=5.55 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 19257 0 0 0 551 4 0 0 20 0 1 0 57281549 131108864 21686 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 32009 21686 2336 1147 0 19436 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 132228 KiB
Current children cumulated memory: 89688 KiB
[startup+12.7002 s]
/proc/loadavg: 3.10 3.60 3.83 4/265 60674
/proc/meminfo: memFree=125066676/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=128036 memory=86744 CPUtime=11.94 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 19257 0 0 0 1190 4 0 0 20 0 1 0 57281549 131108864 21686 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 32009 21686 2336 1147 0 19436 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 132228 KiB
Current children cumulated memory: 89688 KiB
[startup+25.5002 s]
/proc/loadavg: 3.08 3.57 3.82 4/265 60674
/proc/meminfo: memFree=125004476/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=128036 memory=86744 CPUtime=24.7 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 19258 0 0 0 2466 4 0 0 20 0 1 0 57281549 131108864 21686 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 32009 21686 2336 1147 0 19436 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 132228 KiB
Current children cumulated memory: 89688 KiB
[startup+51.1056 s]
/proc/loadavg: 3.12 3.54 3.80 4/264 60674
/proc/meminfo: memFree=124412536/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=511892 memory=442264 CPUtime=50.22 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 98655 0 0 0 4966 56 0 0 20 0 1 0 57281549 524177408 110566 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 127973 110566 2464 1147 0 115400 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 516084 KiB
Current children cumulated memory: 445208 KiB
[startup+102.3 s]
/proc/loadavg: 3.12 3.47 3.77 4/265 60677
/proc/meminfo: memFree=123548688/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=881540 memory=740860 CPUtime=101.07 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 154439 0 0 0 9958 149 0 0 20 0 1 0 57281549 902696960 185215 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 220385 185215 2464 1147 0 207812 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 885732 KiB
Current children cumulated memory: 743804 KiB
[startup+162.3 s]
/proc/loadavg: 3.18 3.43 3.73 4/264 60681
/proc/meminfo: memFree=122730320/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=988584 memory=871840 CPUtime=160.47 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 180685 0 0 0 15806 241 0 0 20 0 1 0 57281549 1012310016 217960 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 247146 217960 2560 1147 0 234573 0
Current children cumulated CPU time: 161.14 s
Current children cumulated vsize: 992776 KiB
Current children cumulated memory: 874784 KiB
[startup+222.3 s]
/proc/loadavg: 3.10 3.36 3.69 4/264 60684
/proc/meminfo: memFree=121828800/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=1121744 memory=975192 CPUtime=219.86 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 205533 0 0 0 21674 312 0 0 20 0 1 0 57281549 1148665856 243798 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 280436 243798 2560 1147 0 267863 0
################
# More data... #
################
[pid=60673] ppid=60670 vsize=3936056 memory=3452640 CPUtime=3079.82 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 496155 0 0 0 304571 3411 0 0 20 0 1 0 57281549 4030521344 863160 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 984014 863160 2560 1147 0 971441 0
Current children cumulated CPU time: 3080.49 s
Current children cumulated vsize: 3940248 KiB
Current children cumulated memory: 3455584 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.09 3.10 4/271 60955
/proc/meminfo: memFree=83869496/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=3982600 memory=3478880 CPUtime=3139.24 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 503051 0 0 0 310454 3470 0 0 20 0 1 0 57281549 4078182400 869720 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 995650 869720 2560 1147 0 983077 0
Current children cumulated CPU time: 3139.91 s
Current children cumulated vsize: 3986792 KiB
Current children cumulated memory: 3481824 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.08 3.09 4/269 60958
/proc/meminfo: memFree=82881276/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4077836 memory=3540448 CPUtime=3198.68 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 518476 0 0 0 316354 3514 0 0 20 0 1 0 57281549 4175704064 885112 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1019459 885112 2560 1147 0 1006886 0
Current children cumulated CPU time: 3199.35 s
Current children cumulated vsize: 4082028 KiB
Current children cumulated memory: 3543392 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.08 3.09 4/269 60962
/proc/meminfo: memFree=82142212/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4077836 memory=3540448 CPUtime=3258.24 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 519736 0 0 0 322266 3558 0 0 20 0 1 0 57281549 4175704064 885112 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1019459 885112 2560 1147 0 1006886 0
Current children cumulated CPU time: 3258.91 s
Current children cumulated vsize: 4082028 KiB
Current children cumulated memory: 3543392 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.08 3.09 4/269 60965
/proc/meminfo: memFree=80370872/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4153160 memory=3617104 CPUtime=3317.47 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 522064 0 0 0 328127 3620 0 0 20 0 1 0 57281549 4252835840 904276 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1038290 904276 2560 1147 0 1025717 0
Current children cumulated CPU time: 3318.14 s
Current children cumulated vsize: 4157352 KiB
Current children cumulated memory: 3620048 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.08 3.09 4/269 60967
/proc/meminfo: memFree=79069364/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4409944 memory=3856676 CPUtime=3376.64 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 564262 0 0 0 333973 3691 0 0 20 0 1 0 57281549 4515782656 964169 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1102486 964169 2560 1147 0 1089913 0
Current children cumulated CPU time: 3377.31 s
Current children cumulated vsize: 4414136 KiB
Current children cumulated memory: 3859620 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.09 3.09 4/269 60969
/proc/meminfo: memFree=77679604/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4506720 memory=3995584 CPUtime=3436.24 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 584957 0 0 0 339855 3769 0 0 20 0 1 0 57281549 4614881280 998896 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1126680 998896 2560 1147 0 1114107 0
Current children cumulated CPU time: 3436.91 s
Current children cumulated vsize: 4510912 KiB
Current children cumulated memory: 3998528 KiB
[startup+3522.3 s]
/proc/loadavg: 3.04 3.07 3.08 4/268 60971
/proc/meminfo: memFree=76577452/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4506720 memory=3995584 CPUtime=3495.6 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 585034 0 0 0 345722 3838 0 0 20 0 1 0 57281549 4614881280 998896 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1126680 998896 2560 1147 0 1114107 0
Current children cumulated CPU time: 3496.27 s
Current children cumulated vsize: 4510912 KiB
Current children cumulated memory: 3998528 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.09 3.09 4/268 60973
/proc/meminfo: memFree=75709744/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4506720 memory=3995584 CPUtime=3555.16 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 585710 0 0 0 351634 3882 0 0 20 0 1 0 57281549 4614881280 998896 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1126680 998896 2560 1147 0 1114107 0
Current children cumulated CPU time: 3555.83 s
Current children cumulated vsize: 4510912 KiB
Current children cumulated memory: 3998528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3626.8 s]
/proc/loadavg: 3.13 3.09 3.09 4/268 60975
/proc/meminfo: memFree=74617680/131249996 swapFree=33005272/33010684
[pid=60670] ppid=60667 vsize=4192 memory=2944 CPUtime=0.67 cores=4,6
/proc/60670/stat : 60670 (run-opt-ls-log.) S 60667 60670 59669 0 -1 4194304 243 11890 0 0 0 0 63 4 20 0 1 0 57281478 4292608 736 18446744073709551615 94487082872832 94487083767365 140736514111184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487084006416 94487084054160 94487084302336 140736514115867 140736514116065 140736514116065 140736514121667 0
/proc/60670/statm: 1048 736 672 219 0 110 0
[pid=60673] ppid=60670 vsize=4560624 memory=4049600 CPUtime=3599.37 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60670 60670 59669 0 -1 4194304 587672 0 0 0 356006 3931 0 0 20 0 1 0 57281549 4670078976 1012400 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 1140156 1012400 2560 1147 0 1127583 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4564816 KiB
Current children cumulated memory: 4052544 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3626.8 s]
# the end of solver process 60670 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.632662 s, system=0.049982 s
Sleeping 2 seconds
[startup+3627.21 s]
# the end of solver process 60673 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.7 s, system=39.4521 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+3627.2 s]
/proc/loadavg: 3.13 3.09 3.09 3/267 60975
/proc/meminfo: memFree=74616512/131249996 swapFree=33005272/33010684
[pid=60673] ppid=60667 vsize=2952440 memory=1864580 CPUtime=3599.45 cores=4,6
/proc/60673/stat : 60673 (roundingsat) R 60667 60670 59669 0 -1 4194304 587675 0 0 0 356007 3938 0 0 20 0 1 0 57281549 3023298560 466145 18446744073709551615 4227072 8923433 140728305523184 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40779776 140728305527030 140728305527336 140728305527336 140728305532906 0
/proc/60673/statm: 738110 466145 2624 1147 0 725537 0
Current cumulated CPU time of completed processes: 0.682644 s
Current children cumulated CPU time: 3599.45 s
Current children cumulated vsize: 2952440 KiB
Current children cumulated memory: 1864580 KiB
Child status: 2
Real time (s): 3627.21
CPU time (s): 3600.16
CPU user time (s): 3560.7
CPU system time (s): 39.4521
CPU usage (%): 99.254
Max. virtual memory (cumulated for all children) (KiB): 4564816
Max. memory (cumulated for all children) (KiB): 4052544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.7
system time used= 39.4521
maximum resident set size= 4049856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599823
page faults= 0
swaps= 0
block input operations= 8
block output operations= 66275080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11107
involuntary context switches= 5467
# summary of solver processes directly reported to runsolver:
# pid: 60670,60673
# total CPU time (s): 3600.16
# total CPU user time (s): 3560.7
# total CPU system time (s): 39.4521
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41026 second user time and 16.06 second system time
The end
Begin job on nodeC023 at 2025-07-02 02:27:16
IDJOB=4502327
IDBENCH=155319
IDSOLVER=3356
FILE ID=nodeC023/4502327-1751416036
RUNJOBID= nodeC023-1751412424-60136
SLURM_JOB_ID= 9598321
Free space on /tmp= 432056 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4502327-1751416036/watcher-4502327-1751416036 -o /tmp/evaluation-result-4502327-1751416036/solver-4502327-1751416036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751412424-60136 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4502327-1751416036.opb PROOFDIR/proof-4502327-1751416036
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=2091202891
nodeC023 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.886
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.78
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 : 3602.777
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.78
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 : 3714.639
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.78
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 : 3610.747
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.78
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 : 3599.901
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.78
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.881
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.78
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 : 3596.961
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.78
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 : 3738.002
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125206428 kB
MemAvailable: 129263120 kB
Buffers: 1328 kB
Cached: 4852652 kB
SwapCached: 372 kB
Active: 727304 kB
Inactive: 4683676 kB
Active(anon): 515896 kB
Inactive(anon): 54564 kB
Active(file): 211408 kB
Inactive(file): 4629112 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88044 kB
Writeback: 24 kB
AnonPages: 557284 kB
Mapped: 109364 kB
Shmem: 13436 kB
KReclaimable: 110820 kB
Slab: 201560 kB
SReclaimable: 110820 kB
SUnreclaim: 90740 kB
KernelStack: 4272 kB
PageTables: 4104 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 895096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 421888 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432048 MiB
End job on nodeC023 at 2025-07-02 03:27:44