0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.08	c [STEP] solving
0.00/0.08	c #variables 9940 #constraints 24510
0.00/0.08	c SMALL=int, LARGE=long long
0.00/0.08	c bounds - >= -70 @ 0.046622
0.00/0.08	c stratification level: 131872229
0.97/1.03	c bounds 377138475 >= -70 @ 0.990231
0.97/1.03	c stratification level: 128787625
0.97/1.04	c bounds 376932013 >= -70 @ 0.997354
0.97/1.04	c stratification level: 126506008
0.97/1.06	c bounds 376824317 >= -70 @ 1.0145
0.97/1.06	c stratification level: 125751501
0.97/1.07	c bounds 376709777 >= -70 @ 1.02887
0.97/1.07	c stratification level: 125000000
1.16/1.28	c bounds 376687765 >= -70 @ 1.22784
1.16/1.28	c stratification level: 124251499
1.86/1.95	c bounds 376684511 >= -70 @ 1.89294
1.86/1.95	c stratification level: 123505992
2.16/2.26	c bounds 376375607 >= -70 @ 2.1954
2.16/2.26	c stratification level: 122023936
2.27/2.30	c bounds 376355401 >= -70 @ 2.23263
2.27/2.30	c stratification level: 107171875
2.27/2.33	c bounds 376249975 >= -70 @ 2.2647
2.27/2.33	c stratification level: 106496424
3.97/4.07	c bounds 376247147 >= -70 @ 3.97711
3.97/4.07	c stratification level: 105823817
4.07/4.14	c bounds 376244587 >= -70 @ 4.05194
4.07/4.14	c stratification level: 105154048
4.16/4.20	c bounds 376111753 >= -70 @ 4.11166
4.16/4.20	c stratification level: 103823000
4.96/5.07	c bounds 376036811 >= -70 @ 4.96445
4.96/5.07	c stratification level: 103161709
5.16/5.22	c bounds 376015389 >= -70 @ 5.11127
5.16/5.22	c stratification level: 102503232
5.16/5.28	c bounds 376005283 >= -70 @ 5.17352
5.16/5.28	c stratification level: 101847563
5.26/5.36	c bounds 376000619 >= -70 @ 5.25311
5.26/5.36	c stratification level: 99252847
5.35/5.46	c bounds 375985619 >= -70 @ 5.34897
5.35/5.46	c stratification level: 97972181
5.45/5.52	c bounds 375956067 >= -70 @ 5.41192
5.45/5.52	c stratification level: 97336000
5.56/5.68	c bounds 375896597 >= -70 @ 5.56523
5.56/5.68	c stratification level: 96071912
5.75/5.81	c bounds 375889779 >= -70 @ 5.69263
5.75/5.81	c stratification level: 95443993
6.96/7.06	c bounds 93794885 >= -70 @ 6.93171
6.96/7.06	c stratification level: 93576664
8.05/8.10	c bounds 93741703 >= -70 @ 7.95883
8.05/8.10	c stratification level: 92959677
8.15/8.23	c bounds 93728627 >= -70 @ 8.08305
8.15/8.23	c stratification level: 92345408
8.65/8.77	c bounds 93717683 >= -70 @ 8.61992
8.65/8.77	c stratification level: 91733851
8.95/9.01	c bounds 93554847 >= -70 @ 8.85048
8.95/9.01	c stratification level: 91125000
9.24/9.38	c #Conflicts:       1000 | #Constraints:      25534
9.24/9.38	c bounds 93547579 >= -70 @ 9.22268
9.24/9.38	c stratification level: 90518849
9.44/9.53	c bounds 93365275 >= -70 @ 9.37112
9.44/9.53	c stratification level: 89314623
9.54/9.62	c bounds 93181883 >= -70 @ 9.45749
9.54/9.62	c stratification level: 88716536
9.95/10.08	c bounds 92956153 >= -70 @ 9.91568
9.95/10.08	c stratification level: 88121125
10.14/10.24	c bounds 92928023 >= -70 @ 10.0776
10.14/10.24	c stratification level: 87528384
10.44/10.52	c bounds 51383501 >= -70 @ 10.3533
10.44/10.52	c stratification level: 51064811
10.64/10.73	c bounds 51365049 >= -70 @ 10.558
10.64/10.73	c stratification level: 50653000
11.84/11.97	c bounds 43822525 >= -70 @ 11.784
11.84/11.97	c stratification level: 43614208
12.04/12.11	c bounds 43769541 >= -70 @ 11.9184
12.04/12.11	c stratification level: 43243551
12.53/12.65	c bounds 43700277 >= -70 @ 12.4497
12.53/12.65	c stratification level: 42875000
12.74/12.87	c bounds 43698855 >= -70 @ 12.6671
12.74/12.87	c stratification level: 42508549
12.94/13.01	c bounds 43687605 >= -70 @ 12.807
12.94/13.01	c stratification level: 42144192
13.04/13.15	c bounds 40720135 >= -70 @ 12.947
13.04/13.15	c stratification level: 40707584
13.33/13.44	c bounds 40717583 >= -70 @ 13.2279
13.33/13.44	c stratification level: 40353607
13.43/13.59	c bounds 40706971 >= -70 @ 13.3813
13.43/13.59	c stratification level: 40001688
14.04/14.11	c bounds 40486691 >= -70 @ 13.8908
14.04/14.11	c stratification level: 39651821
14.13/14.23	c bounds 40482467 >= -70 @ 14.0181
14.13/14.23	c stratification level: 39304000
14.23/14.36	c bounds 40453055 >= -70 @ 14.1459
14.23/14.36	c stratification level: 38958219
14.33/14.49	c bounds 40384031 >= -70 @ 14.2698
14.33/14.49	c stratification level: 38614472
37.17/37.39	c #Conflicts:       2000 | #Constraints:      26553
37.17/37.39	c INPROCESSING
37.17/37.39	c GARBAGE COLLECT
37.17/37.39	c #Conflicts:       3000 | #Constraints:      24360
37.17/37.39	c bounds 32754489 >= -70 @ 36.9776
37.17/37.39	c stratification level: 32461759
37.46/37.62	c bounds 32743869 >= -70 @ 37.2005
37.46/37.62	c stratification level: 32157432
56.51/56.75	c #Conflicts:       4000 | #Constraints:      25362
56.51/56.75	c INPROCESSING
56.51/56.75	c GARBAGE COLLECT
56.51/56.75	c bounds 28276945 >= -70 @ 56.1961
56.51/56.75	c stratification level: 28094464
57.01/57.23	c bounds 28269883 >= -70 @ 56.6615
57.01/57.23	c stratification level: 27818127
57.11/57.36	c bounds 28264171 >= -70 @ 56.7983
57.11/57.36	c stratification level: 27543608
57.31/57.50	c bounds 28256827 >= -70 @ 56.9341
57.31/57.50	c stratification level: 27270901
58.61/58.87	c bounds 28180551 >= -70 @ 58.2953
58.61/58.87	c stratification level: 27000000
58.81/59.02	c bounds 28176055 >= -70 @ 58.4397
58.81/59.02	c stratification level: 26730899
58.92/59.15	c bounds 28172599 >= -70 @ 58.5673
58.92/59.15	c stratification level: 26463592
59.21/59.44	c bounds 28155133 >= -70 @ 58.861
59.21/59.44	c stratification level: 26198073
59.40/59.63	c bounds 28151533 >= -70 @ 59.0409
59.40/59.63	c stratification level: 25934336
59.50/59.78	c bounds 28139005 >= -70 @ 59.1974
59.50/59.78	c stratification level: 25672375
60.30/60.56	c bounds 28103703 >= -70 @ 59.9674
60.30/60.56	c stratification level: 25412184
60.60/60.88	c bounds 28037115 >= -70 @ 60.2861
60.60/60.88	c stratification level: 25153757
63.30/63.53	c bounds 28035521 >= -70 @ 62.9207
63.30/63.53	c stratification level: 24897088
63.50/63.72	c bounds 28029809 >= -70 @ 63.1103
63.50/63.72	c stratification level: 24642171
64.00/64.24	c bounds 27893431 >= -70 @ 63.6259
64.00/64.24	c stratification level: 24389000
72.77/73.06	c #Conflicts:       5000 | #Constraints:      24138
72.77/73.06	c bounds 27845579 >= -70 @ 72.3964
72.77/73.06	c stratification level: 24137569
74.27/74.59	c bounds 27789801 >= -70 @ 73.9208
74.27/74.59	c stratification level: 23887872
82.35/82.67	c bounds 27760485 >= -70 @ 81.9369
82.35/82.67	c stratification level: 23639903
83.04/83.39	c bounds 27748317 >= -70 @ 82.6483
83.04/83.39	c stratification level: 23393656
83.44/83.70	c bounds 27730959 >= -70 @ 82.9587
83.44/83.70	c stratification level: 23149125
83.64/83.99	c bounds 27726079 >= -70 @ 83.2513
83.64/83.99	c stratification level: 22906304
84.43/84.72	c #Conflicts:       6000 | #Constraints:      25144
84.43/84.72	c bounds 27691351 >= -70 @ 83.977
84.43/84.72	c stratification level: 22665187
90.32/90.64	c bounds 27687023 >= -70 @ 89.8503
90.32/90.64	c stratification level: 22425768
90.62/90.91	c bounds 27674495 >= -70 @ 90.1189
90.62/90.91	c stratification level: 22188041
121.53/121.99	c INPROCESSING
121.53/121.99	c GARBAGE COLLECT
121.53/121.99	c #Conflicts:       7000 | #Constraints:      23549
121.53/121.99	c bounds 27627907 >= -70 @ 121.026
121.53/121.99	c stratification level: 21952000
122.13/122.56	c bounds 27627091 >= -70 @ 121.588
122.13/122.56	c stratification level: 21717639
127.42/127.84	c #Conflicts:       8000 | #Constraints:      24551
127.42/127.84	c bounds 25162737 >= -70 @ 126.84
127.42/127.84	c stratification level: 21484952
127.72/128.19	c bounds 25155481 >= -70 @ 127.184
127.72/128.19	c stratification level: 21253933
128.01/128.48	c bounds 25151515 >= -70 @ 127.471
128.01/128.48	c stratification level: 21024576
128.31/128.76	c bounds 25117411 >= -70 @ 127.755
128.31/128.76	c stratification level: 20796875
129.41/129.89	c bounds 25114399 >= -70 @ 128.871
129.41/129.89	c stratification level: 20570824
129.81/130.24	c bounds 25105079 >= -70 @ 129.223
129.81/130.24	c stratification level: 20346417
130.11/130.58	c bounds 25066701 >= -70 @ 129.555
130.11/130.58	c stratification level: 20123648
130.61/131.00	c bounds 25062061 >= -70 @ 129.981
130.61/131.00	c stratification level: 19902511
143.07/143.59	c bounds 25058567 >= -70 @ 142.524
143.07/143.59	c stratification level: 19683000
143.87/144.38	c bounds 24885439 >= -70 @ 143.313
143.87/144.38	c stratification level: 19465109
144.87/145.32	c bounds 24866309 >= -70 @ 144.245
144.87/145.32	c stratification level: 19248832
145.16/145.61	c bounds 24838765 >= -70 @ 144.532
145.16/145.61	c stratification level: 19034163
149.95/150.45	c bounds 24833875 >= -70 @ 149.347
149.95/150.45	c stratification level: 18821096
150.65/151.12	c bounds 24682425 >= -70 @ 150.019
150.65/151.12	c stratification level: 18609625
160.12/160.64	c #Conflicts:       9000 | #Constraints:      25565
160.12/160.64	c INPROCESSING
160.12/160.64	c GARBAGE COLLECT
160.12/160.64	c bounds 17469509 >= -70 @ 159.484
160.12/160.64	c stratification level: 17373979
160.32/160.83	c bounds 17469221 >= -70 @ 159.671
160.32/160.83	c stratification level: 17173512
160.52/161.01	c bounds 17468813 >= -70 @ 159.851
160.52/161.01	c stratification level: 16974593
160.72/161.20	c bounds 17467909 >= -70 @ 160.035
160.72/161.20	c stratification level: 16777216
160.82/161.36	c bounds 17453693 >= -70 @ 160.201
160.82/161.36	c stratification level: 16581375
161.02/161.51	c bounds 17451997 >= -70 @ 160.35
161.02/161.51	c stratification level: 16387064
161.32/161.87	c bounds 17433393 >= -70 @ 160.701
161.32/161.87	c stratification level: 16194277
161.52/162.06	c bounds 17429351 >= -70 @ 160.896
161.52/162.06	c stratification level: 16003008
161.72/162.29	c bounds 17428887 >= -70 @ 161.126
161.72/162.29	c stratification level: 15813251
162.02/162.59	c bounds 17419751 >= -70 @ 161.423
162.02/162.59	c stratification level: 15625000
162.53/163.02	c bounds 17389661 >= -70 @ 161.852
162.53/163.02	c stratification level: 15438249
162.82/163.39	c bounds 17382935 >= -70 @ 162.214
162.82/163.39	c stratification level: 15252992
175.38/175.92	c #Conflicts:      10000 | #Constraints:      23845
175.38/175.92	c bounds 17254713 >= -70 @ 174.672
175.38/175.92	c stratification level: 15069223
185.55/186.11	c #Conflicts:      11000 | #Constraints:      24846
185.55/186.11	c bounds 13589183 >= -70 @ 184.806
185.55/186.11	c stratification level: 13481272
185.85/186.49	c bounds 13581383 >= -70 @ 185.186
185.85/186.49	c stratification level: 13312053
186.25/186.89	c bounds 13531277 >= -70 @ 185.586
186.25/186.89	c stratification level: 13144256
187.55/188.13	c bounds 13530935 >= -70 @ 186.813
187.55/188.13	c stratification level: 12977875
187.94/188.56	c bounds 13516495 >= -70 @ 187.237
187.94/188.56	c stratification level: 12812904
188.75/189.38	c bounds 13471925 >= -70 @ 188.059
188.75/189.38	c stratification level: 12649337
189.14/189.77	c bounds 13468017 >= -70 @ 188.442
189.14/189.77	c stratification level: 12487168
189.55/190.15	c bounds 13466217 >= -70 @ 188.824
189.55/190.15	c stratification level: 12326391
189.94/190.59	c bounds 13448777 >= -70 @ 189.261
189.94/190.59	c stratification level: 12167000
190.34/190.98	c bounds 13444869 >= -70 @ 189.645
190.34/190.98	c stratification level: 12008989
190.73/191.36	c bounds 13443069 >= -70 @ 190.029
190.73/191.36	c stratification level: 11852352
191.13/191.79	c bounds 13402157 >= -70 @ 190.457
191.13/191.79	c stratification level: 11697083
191.73/192.30	c bounds 13375813 >= -70 @ 190.96
191.73/192.30	c stratification level: 11543176
192.24/192.82	c bounds 13373281 >= -70 @ 191.477
192.24/192.82	c stratification level: 11390625
279.48/280.38	c #Conflicts:      12000 | #Constraints:      25860
279.48/280.38	c INPROCESSING
279.48/280.38	c GARBAGE COLLECT
279.48/280.38	c #Conflicts:      13000 | #Constraints:      22452
279.48/280.38	c #Conflicts:      14000 | #Constraints:      23452
279.48/280.38	c #Conflicts:      15000 | #Constraints:      24452
279.48/280.38	c INPROCESSING
279.48/280.38	c GARBAGE COLLECT
279.48/280.38	c #Conflicts:      16000 | #Constraints:      22659
279.48/280.38	c #Conflicts:      17000 | #Constraints:      23659
279.48/280.38	c bounds 12136579 >= -70 @ 278.582
279.48/280.38	c stratification level: 11239424
280.68/281.57	c bounds 12127553 >= -70 @ 279.764
280.68/281.57	c stratification level: 11089567
280.98/281.85	c bounds 12126417 >= -70 @ 280.039
280.98/281.85	c stratification level: 10941048
281.47/282.35	c bounds 12111241 >= -70 @ 280.533
281.47/282.35	c stratification level: 10793861
281.77/282.64	c bounds 12109353 >= -70 @ 280.826
281.77/282.64	c stratification level: 10648000
282.07/282.90	c bounds 12104143 >= -70 @ 281.084
282.07/282.90	c stratification level: 10503459
283.47/284.32	c bounds 12089611 >= -70 @ 282.493
283.47/284.32	c stratification level: 10360232
287.27/288.15	c bounds 10464265 >= -70 @ 286.293
287.27/288.15	c stratification level: 10218313
287.66/288.54	c bounds 10435779 >= -70 @ 286.674
287.66/288.54	c stratification level: 10077696
287.96/288.84	c bounds 10433193 >= -70 @ 286.977
287.96/288.84	c stratification level: 9938375
295.63/296.56	c #Conflicts:      18000 | #Constraints:      24669
295.63/296.56	c INPROCESSING
295.63/296.56	c GARBAGE COLLECT
295.63/296.56	c bounds 10148365 >= -70 @ 294.649
295.63/296.56	c stratification level: 9800344
296.03/296.93	c bounds 10142965 >= -70 @ 295.013
296.03/296.93	c stratification level: 9663597
296.24/297.16	c bounds 10136991 >= -70 @ 295.241
296.24/297.16	c stratification level: 9528128
296.43/297.30	c bounds 10136647 >= -70 @ 295.379
296.43/297.30	c stratification level: 9393931
296.53/297.44	c bounds 10136613 >= -70 @ 295.519
296.53/297.44	c stratification level: 9261000
298.03/298.92	c bounds 9891221 >= -70 @ 296.984
298.03/298.92	c stratification level: 9129329
298.82/299.74	c bounds 9876305 >= -70 @ 297.803
298.82/299.74	c stratification level: 8998912
299.02/300.00	c bounds 9867491 >= -70 @ 298.057
299.02/300.00	c stratification level: 8869743
299.23/300.15	c bounds 9865587 >= -70 @ 298.213
299.23/300.15	c stratification level: 8741816
326.25/327.22	c #Conflicts:      19000 | #Constraints:      21959
326.25/327.22	c #Conflicts:      20000 | #Constraints:      22959
326.25/327.22	c bounds 9858293 >= -70 @ 325.141
326.25/327.22	c stratification level: 8615125
328.35/329.35	c bounds 9848479 >= -70 @ 327.263
328.35/329.35	c stratification level: 8489664
328.64/329.69	c bounds 9844359 >= -70 @ 327.603
328.64/329.69	c stratification level: 8365427
342.80/343.85	c #Conflicts:      21000 | #Constraints:      23962
342.80/343.85	c INPROCESSING
342.80/343.85	c GARBAGE COLLECT
342.80/343.85	c bounds 9806761 >= -70 @ 341.686
342.80/343.85	c stratification level: 8242408
343.90/344.97	c bounds 9806383 >= -70 @ 342.799
343.90/344.97	c stratification level: 8120601
344.50/345.54	c bounds 9791295 >= -70 @ 343.368
344.50/345.54	c stratification level: 8000000
345.19/346.23	c bounds 9789987 >= -70 @ 344.049
345.19/346.23	c stratification level: 7880599
499.85/501.36	c #Conflicts:      22000 | #Constraints:      21643
499.85/501.36	c #Conflicts:      23000 | #Constraints:      22643
499.85/501.36	c #Conflicts:      24000 | #Constraints:      23643
499.85/501.36	c #Conflicts:      25000 | #Constraints:      24643
499.85/501.36	c INPROCESSING
499.85/501.36	c GARBAGE COLLECT
499.85/501.36	c #Conflicts:      26000 | #Constraints:      22134
499.85/501.36	c #Conflicts:      27000 | #Constraints:      23134
499.85/501.36	c #Conflicts:      28000 | #Constraints:      24134
499.85/501.36	c #Conflicts:      29000 | #Constraints:      25134
499.85/501.36	c INPROCESSING
499.85/501.36	c GARBAGE COLLECT
499.85/501.36	c #Conflicts:      30000 | #Constraints:      22545
499.85/501.36	c #Conflicts:      31000 | #Constraints:      23545
499.85/501.36	c #Conflicts:      32000 | #Constraints:      24545
499.85/501.36	c bounds 8260759 >= -70 @ 498.49
499.85/501.36	c stratification level: 7762392
500.25/501.78	c bounds 8256189 >= -70 @ 498.913
500.25/501.78	c stratification level: 7645373
500.74/502.21	c bounds 8250335 >= -70 @ 499.332
500.74/502.21	c stratification level: 7529536
559.17/560.86	c #Conflicts:      33000 | #Constraints:      25548
559.17/560.86	c INPROCESSING
559.17/560.86	c GARBAGE COLLECT
559.17/560.86	c #Conflicts:      34000 | #Constraints:      22401
559.17/560.86	c #Conflicts:      35000 | #Constraints:      23401
559.17/560.86	c #Conflicts:      36000 | #Constraints:      24401
559.17/560.86	c bounds 7690675 >= -70 @ 557.65
559.17/560.86	c stratification level: 7414875
573.24/574.93	c #Conflicts:      37000 | #Constraints:      25402
573.24/574.93	c INPROCESSING
573.24/574.93	c GARBAGE COLLECT
573.24/574.93	c bounds 7556081 >= -70 @ 571.628
573.24/574.93	c stratification level: 7301384
573.44/575.15	c bounds 7554681 >= -70 @ 571.848
573.44/575.15	c stratification level: 7189057
585.10/586.82	c #Conflicts:      38000 | #Constraints:      22190
585.10/586.82	c bounds 7543871 >= -70 @ 583.454
585.10/586.82	c stratification level: 7077888
585.40/587.18	c bounds 7540289 >= -70 @ 583.813
585.40/587.18	c stratification level: 6967871
585.90/587.61	c bounds 7533819 >= -70 @ 584.25
585.90/587.61	c stratification level: 6859000
586.41/588.15	c bounds 7527313 >= -70 @ 584.781
586.41/588.15	c stratification level: 6751269
588.19/589.96	c bounds 7520877 >= -70 @ 586.579
588.19/589.96	c stratification level: 6644672
595.77/597.54	c #Conflicts:      39000 | #Constraints:      23195
595.77/597.54	c bounds 7490599 >= -70 @ 594.131
595.77/597.54	c stratification level: 6539203
610.62/612.42	c bounds 7465747 >= -70 @ 608.919
610.62/612.42	c stratification level: 6434856
611.02/612.81	c bounds 7458419 >= -70 @ 609.309
611.02/612.81	c stratification level: 6331625
611.52/613.30	c bounds 7457019 >= -70 @ 609.795
611.52/613.30	c stratification level: 6229504
654.69/656.62	c #Conflicts:      40000 | #Constraints:      24199
654.69/656.62	c #Conflicts:      41000 | #Constraints:      25199
654.69/656.62	c INPROCESSING
654.69/656.62	c GARBAGE COLLECT
654.69/656.62	c #Conflicts:      42000 | #Constraints:      21982
654.69/656.62	c bounds 7346761 >= -70 @ 652.884
654.69/656.62	c stratification level: 6128487
693.89/695.92	c #Conflicts:      43000 | #Constraints:      22983
693.89/695.92	c bounds 7329181 >= -70 @ 691.968
693.89/695.92	c stratification level: 6028568
694.38/696.41	c bounds 7293685 >= -70 @ 692.456
694.38/696.41	c stratification level: 5929741
1583.32/1588.09	c #Conflicts:      44000 | #Constraints:      23985
1583.32/1588.09	c #Conflicts:      45000 | #Constraints:      24985
1583.32/1588.09	c #Conflicts:      46000 | #Constraints:      25985
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      47000 | #Constraints:      22485
1583.32/1588.09	c #Conflicts:      48000 | #Constraints:      23485
1583.32/1588.09	c #Conflicts:      49000 | #Constraints:      24485
1583.32/1588.09	c #Conflicts:      50000 | #Constraints:      25485
1583.32/1588.09	c #Conflicts:      51000 | #Constraints:      26485
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      52000 | #Constraints:      22766
1583.32/1588.09	c #Conflicts:      53000 | #Constraints:      23766
1583.32/1588.09	c #Conflicts:      54000 | #Constraints:      24766
1583.32/1588.09	c #Conflicts:      55000 | #Constraints:      25766
1583.32/1588.09	c #Conflicts:      56000 | #Constraints:      26766
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      57000 | #Constraints:      22928
1583.32/1588.09	c #Conflicts:      58000 | #Constraints:      23928
1583.32/1588.09	c #Conflicts:      59000 | #Constraints:      24928
1583.32/1588.09	c #Conflicts:      60000 | #Constraints:      25928
1583.32/1588.09	c #Conflicts:      61000 | #Constraints:      26928
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      62000 | #Constraints:      22789
1583.32/1588.09	c #Conflicts:      63000 | #Constraints:      23789
1583.32/1588.09	c #Conflicts:      64000 | #Constraints:      24789
1583.32/1588.09	c #Conflicts:      65000 | #Constraints:      25789
1583.32/1588.09	c #Conflicts:      66000 | #Constraints:      26789
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      67000 | #Constraints:      22549
1583.32/1588.09	c #Conflicts:      68000 | #Constraints:      23549
1583.32/1588.09	c #Conflicts:      69000 | #Constraints:      24549
1583.32/1588.09	c #Conflicts:      70000 | #Constraints:      25549
1583.32/1588.09	c #Conflicts:      71000 | #Constraints:      26549
1583.32/1588.09	c #Conflicts:      72000 | #Constraints:      27549
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      73000 | #Constraints:      23107
1583.32/1588.09	c #Conflicts:      74000 | #Constraints:      24107
1583.32/1588.09	c #Conflicts:      75000 | #Constraints:      25107
1583.32/1588.09	c #Conflicts:      76000 | #Constraints:      26107
1583.32/1588.09	c #Conflicts:      77000 | #Constraints:      27107
1583.32/1588.09	c #Conflicts:      78000 | #Constraints:      28107
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      79000 | #Constraints:      23607
1583.32/1588.09	c #Conflicts:      80000 | #Constraints:      24607
1583.32/1588.09	c #Conflicts:      81000 | #Constraints:      25607
1583.32/1588.09	c #Conflicts:      82000 | #Constraints:      26607
1583.32/1588.09	c #Conflicts:      83000 | #Constraints:      27607
1583.32/1588.09	c #Conflicts:      84000 | #Constraints:      28607
1583.32/1588.09	c INPROCESSING
1583.32/1588.09	c GARBAGE COLLECT
1583.32/1588.09	c #Conflicts:      85000 | #Constraints:      23790
1583.32/1588.09	c #Conflicts:      86000 | #Constraints:      24790
1583.32/1588.09	c #Conflicts:      87000 | #Constraints:      25790
1583.32/1588.09	c bounds 7270145 >= -70 @ 1580.16
1583.32/1588.09	c stratification level: 5832000
1585.01/1589.76	c bounds 6841989 >= -70 @ 1581.82
1585.01/1589.76	c stratification level: 5735339
1611.03/1615.88	c #Conflicts:      88000 | #Constraints:      26792
1611.03/1615.88	c #Conflicts:      89000 | #Constraints:      27792
1611.03/1615.88	c bounds 6537401 >= -70 @ 1607.81
1611.03/1615.88	c stratification level: 5639752
1662.77/1667.79	c #Conflicts:      90000 | #Constraints:      28793
1662.77/1667.79	c INPROCESSING
1662.77/1667.79	c GARBAGE COLLECT
1662.77/1667.79	c #Conflicts:      91000 | #Constraints:      23649
1662.77/1667.79	c #Conflicts:      92000 | #Constraints:      24649
1662.77/1667.79	c bounds 6501707 >= -70 @ 1659.43
1662.77/1667.79	c stratification level: 5545233
1663.27/1668.26	c bounds 6500009 >= -70 @ 1659.9
1663.27/1668.26	c stratification level: 5451776
1663.77/1668.74	c bounds 6488075 >= -70 @ 1660.38
1663.77/1668.74	c stratification level: 5359375
1664.17/1669.13	c bounds 6458643 >= -70 @ 1660.77
1664.17/1669.13	c stratification level: 5268024
1664.76/1669.75	c bounds 6452393 >= -70 @ 1661.39
1664.76/1669.75	c stratification level: 5177717
1665.17/1670.19	c bounds 6155807 >= -70 @ 1661.83
1665.17/1670.19	c stratification level: 5088448
1665.86/1670.88	c bounds 5706225 >= -70 @ 1662.51
1665.86/1670.88	c stratification level: 5000211
1666.36/1671.39	c bounds 5704633 >= -70 @ 1663.02
1666.36/1671.39	c stratification level: 4913000
1666.86/1671.83	c bounds 5694527 >= -70 @ 1663.46
1666.86/1671.83	c stratification level: 4826809
1669.45/1674.45	c bounds 5690367 >= -70 @ 1666.06
1669.45/1674.45	c stratification level: 4741632
1670.15/1675.11	c bounds 5677199 >= -70 @ 1666.72
1670.15/1675.11	c stratification level: 4657463
1671.44/1676.44	c bounds 5669431 >= -70 @ 1668.05
1671.44/1676.44	c stratification level: 4574296
1672.05/1677.04	c bounds 5654149 >= -70 @ 1668.64
1672.05/1677.04	c stratification level: 4492125
1672.74/1677.79	c #Conflicts:      93000 | #Constraints:      25662
1672.74/1677.79	c bounds 5636145 >= -70 @ 1669.38
1672.74/1677.79	c stratification level: 4410944
1677.62/1682.69	c bounds 5632285 >= -70 @ 1674.27
1677.62/1682.69	c stratification level: 4330747
1680.82/1685.82	c bounds 5622705 >= -70 @ 1677.38
1680.82/1685.82	c stratification level: 4251528
1681.32/1686.31	c bounds 5617661 >= -70 @ 1677.86
1681.32/1686.31	c stratification level: 4173281
1687.89/1692.94	c bounds 5608777 >= -70 @ 1684.46
1687.89/1692.94	c stratification level: 4096000
1699.07/1704.15	c #Conflicts:      94000 | #Constraints:      26667
1699.07/1704.15	c bounds 5608409 >= -70 @ 1695.61
1699.07/1704.15	c stratification level: 4019679
1700.07/1705.10	c bounds 5584999 >= -70 @ 1696.56
1700.07/1705.10	c stratification level: 3944312
1700.66/1705.75	c bounds 5584783 >= -70 @ 1697.2
1700.66/1705.75	c stratification level: 3869893
1702.55/1707.66	c bounds 5579341 >= -70 @ 1699.11
1702.55/1707.66	c stratification level: 3796416
1703.15/1708.29	c bounds 5578933 >= -70 @ 1699.74
1703.15/1708.29	c stratification level: 3723875
1707.14/1712.27	c bounds 5575433 >= -70 @ 1703.69
1707.14/1712.27	c stratification level: 3652264
1707.64/1712.76	c bounds 5569267 >= -70 @ 1704.18
1707.64/1712.76	c stratification level: 3581577
1708.14/1713.26	c bounds 5566459 >= -70 @ 1704.67
1708.14/1713.26	c stratification level: 3511808
1728.98/1734.13	c #Conflicts:      95000 | #Constraints:      27675
1728.98/1734.13	c bounds 5563733 >= -70 @ 1725.44
1728.98/1734.13	c stratification level: 3442951
1747.11/1752.30	c bounds 5545987 >= -70 @ 1743.52
1747.11/1752.30	c stratification level: 3375000
1760.07/1765.32	c #Conflicts:      96000 | #Constraints:      28677
1760.07/1765.32	c bounds 5539009 >= -70 @ 1756.47
1760.07/1765.32	c stratification level: 3307949
1760.67/1765.91	c bounds 5533325 >= -70 @ 1757.06
1760.67/1765.91	c stratification level: 3241792
1764.66/1769.95	c bounds 5527691 >= -70 @ 1761.08
1764.66/1769.95	c stratification level: 3176523
1765.26/1770.55	c bounds 5523431 >= -70 @ 1761.68
1765.26/1770.55	c stratification level: 3112136
1765.86/1771.12	c bounds 5519649 >= -70 @ 1762.25
1765.86/1771.12	c stratification level: 3048625
1767.25/1772.53	c bounds 5490251 >= -70 @ 1763.65
1767.25/1772.53	c stratification level: 2985984
1811.03/1816.40	c INPROCESSING
1811.03/1816.40	c GARBAGE COLLECT
1811.03/1816.40	c #Conflicts:      97000 | #Constraints:      23163
1811.03/1816.40	c #Conflicts:      98000 | #Constraints:      24163
1811.03/1816.40	c bounds 5475567 >= -70 @ 1807.27
1811.03/1816.40	c stratification level: 2924207
1813.22/1818.64	c bounds 5450045 >= -70 @ 1809.5
1813.22/1818.64	c stratification level: 2863288
1884.41/1890.08	c #Conflicts:      99000 | #Constraints:      25165
1884.41/1890.08	c #Conflicts:     100000 | #Constraints:      26165
1884.41/1890.08	c bounds 5449983 >= -70 @ 1880.57
1884.41/1890.08	c stratification level: 2803221
1886.20/1891.84	c bounds 5429261 >= -70 @ 1882.33
1886.20/1891.84	c stratification level: 2744000
1887.40/1893.00	c bounds 5421463 >= -70 @ 1883.49
1887.40/1893.00	c stratification level: 2685619
1888.19/1893.85	c bounds 5419723 >= -70 @ 1884.32
1888.19/1893.85	c stratification level: 2628072
1904.73/1910.42	c #Conflicts:     101000 | #Constraints:      27169
1904.73/1910.42	c bounds 5414445 >= -70 @ 1900.81
1904.73/1910.42	c stratification level: 2571353
1905.23/1911.00	c bounds 5403967 >= -70 @ 1901.39
1905.23/1911.00	c stratification level: 2515456
1985.38/1991.37	c #Conflicts:     102000 | #Constraints:      28171
1985.38/1991.37	c #Conflicts:     103000 | #Constraints:      29171
1985.38/1991.37	c bounds 5350271 >= -70 @ 1981.34
1985.38/1991.37	c stratification level: 2460375
2005.03/2011.03	c INPROCESSING
2005.03/2011.03	c GARBAGE COLLECT
2005.03/2011.03	c #Conflicts:     104000 | #Constraints:      23588
2005.03/2011.03	c bounds 5340487 >= -70 @ 2000.89
2005.03/2011.03	c stratification level: 2406104
2006.02/2012.02	c bounds 5339055 >= -70 @ 2001.88
2006.02/2012.02	c stratification level: 2352637
2009.12/2015.17	c bounds 5337991 >= -70 @ 2005.01
2009.12/2015.17	c stratification level: 2299968
2024.97/2031.00	c #Conflicts:     105000 | #Constraints:      24591
2024.97/2031.00	c bounds 5335861 >= -70 @ 2020.77
2024.97/2031.00	c stratification level: 2248091
2025.97/2032.06	c bounds 5334867 >= -70 @ 2021.82
2025.97/2032.06	c stratification level: 2197000
2027.45/2033.51	c bounds 5332573 >= -70 @ 2023.26
2027.45/2033.51	c stratification level: 2146689
2027.75/2033.82	c bounds 5331981 >= -70 @ 2023.57
2027.75/2033.82	c stratification level: 2097152
2029.06/2035.12	c bounds 5312773 >= -70 @ 2024.87
2029.06/2035.12	c stratification level: 2048383
2029.35/2035.47	c bounds 5312181 >= -70 @ 2025.21
2029.35/2035.47	c stratification level: 2000376
2029.65/2035.79	c bounds 5311863 >= -70 @ 2025.53
2029.65/2035.79	c stratification level: 1953125
2036.93/2043.01	c bounds 5214033 >= -70 @ 2032.72
2036.93/2043.01	c stratification level: 1906624
2037.22/2043.39	c bounds 5213863 >= -70 @ 2033.09
2037.22/2043.39	c stratification level: 1860867
2037.63/2043.74	c bounds 5211055 >= -70 @ 2033.44
2037.63/2043.74	c stratification level: 1815848
3103.59/3112.60	c #Conflicts:     106000 | #Constraints:      25601
3103.59/3112.60	c #Conflicts:     107000 | #Constraints:      26601
3103.59/3112.60	c #Conflicts:     108000 | #Constraints:      27601
3103.59/3112.60	c #Conflicts:     109000 | #Constraints:      28601
3103.59/3112.60	c #Conflicts:     110000 | #Constraints:      29601
3103.59/3112.60	c INPROCESSING
3103.59/3112.60	c GARBAGE COLLECT
3103.59/3112.60	c #Conflicts:     111000 | #Constraints:      24024
3103.59/3112.60	c #Conflicts:     112000 | #Constraints:      25024
3103.59/3112.60	c #Conflicts:     113000 | #Constraints:      26024
3103.59/3112.60	c #Conflicts:     114000 | #Constraints:      27024
3103.59/3112.60	c #Conflicts:     115000 | #Constraints:      28024
3103.59/3112.60	c #Conflicts:     116000 | #Constraints:      29024
3103.59/3112.60	c #Conflicts:     117000 | #Constraints:      30024
3103.59/3112.60	c INPROCESSING
3103.59/3112.60	c GARBAGE COLLECT
3103.59/3112.60	c #Conflicts:     118000 | #Constraints:      24237
3103.59/3112.60	c #Conflicts:     119000 | #Constraints:      25237
3103.59/3112.60	c #Conflicts:     120000 | #Constraints:      26237
3103.59/3112.60	c #Conflicts:     121000 | #Constraints:      27237
3103.59/3112.60	c #Conflicts:     122000 | #Constraints:      28237
3103.59/3112.60	c #Conflicts:     123000 | #Constraints:      29237
3103.59/3112.60	c #Conflicts:     124000 | #Constraints:      30237
3103.59/3112.60	c INPROCESSING
3103.59/3112.60	c GARBAGE COLLECT
3103.59/3112.60	c #Conflicts:     125000 | #Constraints:      24145
3103.59/3112.60	c #Conflicts:     126000 | #Constraints:      25145
3103.59/3112.60	c #Conflicts:     127000 | #Constraints:      26145
3103.59/3112.60	c #Conflicts:     128000 | #Constraints:      27145
3103.59/3112.60	c #Conflicts:     129000 | #Constraints:      28145
3103.59/3112.60	c #Conflicts:     130000 | #Constraints:      29145
3103.59/3112.60	c #Conflicts:     131000 | #Constraints:      30145
3103.59/3112.60	c INPROCESSING
3103.59/3112.60	c GARBAGE COLLECT
3103.59/3112.60	c #Conflicts:     132000 | #Constraints:      23931
3103.59/3112.60	c #Conflicts:     133000 | #Constraints:      24931
3103.59/3112.60	c bounds 5210127 >= -70 @ 3097.92
3103.59/3112.60	c stratification level: 1771561
3186.17/3195.40	c #Conflicts:     134000 | #Constraints:      25932
3186.17/3195.40	c #Conflicts:     135000 | #Constraints:      26932
3186.17/3195.40	c bounds 5204049 >= -70 @ 3180.41
3186.17/3195.40	c stratification level: 1728000
3193.34/3202.65	c bounds 5197085 >= -70 @ 3187.63
3193.34/3202.65	c stratification level: 1685159
3348.32/3358.02	c #Conflicts:     136000 | #Constraints:      27934
3348.32/3358.02	c #Conflicts:     137000 | #Constraints:      28934
3348.32/3358.02	c bounds 5196797 >= -70 @ 3342.43
3348.32/3358.02	c stratification level: 1643032
3358.49/3368.26	c #Conflicts:     138000 | #Constraints:      29935
3358.49/3368.26	c bounds 5179825 >= -70 @ 3352.62
3358.49/3368.26	c stratification level: 1601613
3359.29/3369.05	c bounds 5179385 >= -70 @ 3353.42
3359.29/3369.05	c stratification level: 1560896
3600.02/3610.40	c #Conflicts:     139000 | #Constraints:      30937
3600.02/3610.40	c INPROCESSING
3600.02/3610.40	c GARBAGE COLLECT
3600.02/3610.40	c #Conflicts:     140000 | #Constraints:      24638
3600.02/3610.40	c #Conflicts:     141000 | #Constraints:      25638
3600.02/3610.40	c #Conflicts:     142000 | #Constraints:      26638
3600.02/3610.40	c #Conflicts:     143000 | #Constraints:      27638
3600.02/3610.40	c Program interrupted by user.
3600.02/3610.40	c cpu time 3593.81 s
3600.02/3610.40	c deterministic time 467249034092 4.67e+11
3600.02/3610.40	c optimization time 167.553 s
3600.02/3610.40	c total solve time 3426.21 s
3600.02/3610.40	c core-guided solve time 3426.21 s
3600.02/3610.40	c propagation time 2984.72 s
3600.02/3610.40	c conflict analysis time 487.228 s
3600.02/3610.40	c propagations 43288208
3600.02/3610.40	c resolve steps 1906574
3600.02/3610.40	c decisions 3421328
3600.02/3610.40	c conflicts 143565
3600.02/3610.40	c restarts 381
3600.02/3610.40	c inprocessing phases 29
3600.02/3610.40	c input clauses 21876
3600.02/3610.40	c input cardinalities 9
3600.02/3610.40	c input general constraints 2847
3600.02/3610.40	c input average constraint length 72.50
3600.02/3610.40	c input average constraint degree 235406076.08
3600.02/3610.40	c learned clauses 6979
3600.02/3610.40	c learned cardinalities 199
3600.02/3610.40	c learned general constraints 136386
3600.02/3610.40	c learned average constraint length 5198.03
3600.02/3610.40	c learned average constraint degree 7618371627.14
3600.02/3610.40	c watched constraints 19774
3600.02/3610.40	c counting constraints 119459
3600.02/3610.40	c gcd simplifications 1029
3600.02/3610.40	c detected cardinalities 9
3600.02/3610.40	c weakened non-implied lits 17746372
3600.02/3610.40	c weakened non-implying lits 114462
3600.02/3610.40	c original variables 9940
3600.02/3610.40	c clausal propagations 23886540
3600.02/3610.40	c cardinality propagations 526115
3600.02/3610.40	c watched propagations 1042403
3600.02/3610.40	c counting propagations 17779703
3600.02/3610.40	c watch lookups 38140330493
3600.02/3610.40	c watch backjump lookups 38061501292
3600.02/3610.40	c watch checks 55125270331
3600.02/3610.40	c propagation checks 334058969562
3600.02/3610.40	c constraint additions 1769409672
3600.02/3610.40	c trail pops 46843205
3600.02/3610.40	c formula constraints 24510
3600.02/3610.40	c learned constraints 143564
3600.02/3610.40	c bound constraints 222
3600.02/3610.40	c core-guided constraints 0
3600.02/3610.40	c encountered formula constraints 1691634
3600.02/3610.40	c encountered learned constraints 357224
3600.02/3610.40	c encountered bound constraints 1281
3600.02/3610.40	c encountered core-guided constraints 0
3600.02/3610.40	c LP total time 0 s
3600.02/3610.40	c LP solve time 0 s
3600.02/3610.40	c LP constraints added 0
3600.02/3610.40	c LP constraints removed 0
3600.02/3610.40	c LP pivots internal 0
3600.02/3610.40	c LP pivots root 0
3600.02/3610.40	c LP calls 0
3600.02/3610.40	c LP optimalities 0
3600.02/3610.40	c LP no pivot count 0
3600.02/3610.40	c LP infeasibilities 0
3600.02/3610.40	c LP valid Farkas constraints 0
3600.02/3610.40	c LP learned Farkas constraints 0
3600.02/3610.40	c LP basis resets 0
3600.02/3610.40	c LP cycling count 0
3600.02/3610.40	c LP singular count 0
3600.02/3610.40	c LP no primal count 0
3600.02/3610.40	c LP no farkas count 0
3600.02/3610.40	c LP other issue count 0
3600.02/3610.40	c LP Gomory cuts 0
3600.02/3610.40	c LP learned cuts 0
3600.02/3610.40	c LP deleted cuts 0
3600.02/3610.40	c LP encountered Gomory constraints 0
3600.02/3610.40	c LP encountered Farkas constraints 0
3600.02/3610.40	c LP encountered learned Farkas constraints 0
3600.02/3610.40	c CG auxiliary variables introduced 0
3600.02/3610.40	c CG solutions found 222
3600.02/3610.40	c CG cores constructed 0
3600.02/3610.40	c CG core cardinality constraints returned 0
3600.02/3610.40	c CG unit cores 0
3600.02/3610.40	c CG single cores 0
3600.02/3610.40	c CG blocks removed during cardinality reduction 0
3600.02/3610.40	c CG first core best 0
3600.02/3610.40	c CG decision core best 0
3600.02/3610.40	c CG core reduction tie 0
3600.02/3610.40	c CG core degree average 0.00
3600.02/3610.40	c CG core slack average 0.00
3600.02/3610.40	c CG exhausted 0
3600.02/3610.40	c CG exhaust time 0 s
3600.02/3610.40	c CG trimmed 0
3600.02/3610.40	c CG trim time 0 s
3600.02/3610.40	c CG minimized 0
3600.02/3610.40	c CG minimize time 0 s
3600.02/3610.40	c CG am1 prop time 0.006713 s
3600.02/3610.40	c CG # am1s reformulated 0
3600.02/3610.40	c CG lower bound derived from am1s 0
3600.02/3610.40	c CG # clausal cores 0
3600.02/3610.40	c CG # cardinality cores 0
3600.02/3610.40	c CG # pb cores 0
3600.02/3610.40	c CG # pb reforms 0
3600.02/3610.40	c CG # cores discarded because of pb reform 0
3600.02/3610.40	d LOWERBOUND -70
3600.02/3610.40	d NCORES 0
3600.02/3610.40	d NPBCORES 0
3600.02/3610.40	d NPBREFORM 0
3600.02/3610.40	d NTRIMMED 0
3600.02/3610.40	d NEXHAUSTED 0
3600.02/3610.40	d NAM1S 0
3600.02/3610.40	d AM1LB 0
3600.02/3610.40	o 5179385
3600.02/3610.40	s SATISFIABLE
3600.02/3610.40	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

OK	5179385

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 (50801 MiB free)
  memory of node 1: 64465 MiB (55630 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504200-1751441985/watcher-4504200-1751441985 -o /tmp/evaluation-result-4504200-1751441985/solver-4504200-1751441985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751441985-61112 --watchdog 3760 pb-oll-rs HOME/instance-4504200-1751441985.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 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
Current StackSize limit: 8192 KiB

solver pid=61156, runsolver pid=61148

[startup+0.100058 s]*
/proc/loadavg: 1.54 1.96 2.05 5/261 61167
/proc/meminfo: memFree=108973988/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=24720 memory=11668 CPUtime=0.08 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 2342 0 0 0 6 2 0 0 20 0 1 0 59877066 25313280 2917 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 6180 2917 1344 243 0 2429 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 11668 KiB

[startup+0.205371 s]*
/proc/loadavg: 1.54 1.96 2.05 6/265 61171
/proc/meminfo: memFree=108921100/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=24720 memory=13820 CPUtime=0.18 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 2356 0 0 0 16 2 0 0 20 0 1 0 59877066 25313280 3455 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 6180 3455 1344 243 0 2429 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 13820 KiB

[startup+0.305153 s]*
/proc/loadavg: 1.54 1.96 2.05 6/265 61171
/proc/meminfo: memFree=108917068/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=24720 memory=13820 CPUtime=0.28 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 2356 0 0 0 26 2 0 0 20 0 1 0 59877066 25313280 3455 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 6180 3455 1344 243 0 2429 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 13820 KiB

[startup+0.700139 s]
/proc/loadavg: 1.54 1.96 2.05 6/265 61171
/proc/meminfo: memFree=108899112/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=24720 memory=13820 CPUtime=0.67 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 2357 0 0 0 65 2 0 0 20 0 1 0 59877066 25313280 3455 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 6180 3455 1344 243 0 2429 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 13820 KiB

[startup+1.50015 s]
/proc/loadavg: 1.54 1.96 2.05 6/265 61171
/proc/meminfo: memFree=108862256/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=42172 memory=31808 CPUtime=1.47 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 6364 0 0 0 144 3 0 0 20 0 1 0 59877066 43184128 7952 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 10543 7952 1344 243 0 6792 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42172 KiB
Current children cumulated memory: 31808 KiB

[startup+3.10542 s]
/proc/loadavg: 1.54 1.96 2.05 6/265 61171
/proc/meminfo: memFree=108646972/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=83260 memory=64652 CPUtime=3.07 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 13039 0 0 0 303 4 0 0 20 0 1 0 59877066 85258240 16163 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 20815 16163 1344 243 0 17064 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 83260 KiB
Current children cumulated memory: 64652 KiB

[startup+6.30016 s]
/proc/loadavg: 1.73 2.00 2.06 6/264 61171
/proc/meminfo: memFree=108462808/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=135988 memory=119060 CPUtime=6.26 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 22036 0 0 0 617 9 0 0 20 0 1 0 59877066 139251712 29765 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 33997 29765 1344 243 0 30246 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 135988 KiB
Current children cumulated memory: 119060 KiB

[startup+12.7002 s]
/proc/loadavg: 1.92 2.03 2.07 6/264 61171
/proc/meminfo: memFree=108164604/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=223560 memory=207744 CPUtime=12.63 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 35546 0 0 0 1249 14 0 0 20 0 1 0 59877066 228925440 51936 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 55890 51936 1344 243 0 52139 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 223560 KiB
Current children cumulated memory: 207744 KiB

[startup+25.5002 s]
/proc/loadavg: 2.38 2.13 2.10 6/264 61171
/proc/meminfo: memFree=107492300/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=310736 memory=283316 CPUtime=25.4 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 45754 0 0 0 2516 24 0 0 20 0 1 0 59877066 318193664 70829 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 77684 70829 1344 243 0 73933 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 310736 KiB
Current children cumulated memory: 283316 KiB

[startup+51.1056 s]
/proc/loadavg: 2.99 2.29 2.16 6/265 61173
/proc/meminfo: memFree=106495948/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=518520 memory=456828 CPUtime=50.94 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 74302 0 0 0 5057 37 0 0 20 0 1 0 59877066 530964480 114207 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 129630 114207 1344 243 0 125879 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 518520 KiB
Current children cumulated memory: 456828 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.58 2.26 6/266 61175
/proc/meminfo: memFree=104630528/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=703980 memory=574124 CPUtime=101.99 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 90394 0 0 0 10143 56 0 0 20 0 1 0 59877066 720875520 143531 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 175995 143531 1344 243 0 172244 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 703980 KiB
Current children cumulated memory: 574124 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.85 2.38 6/266 61177
/proc/meminfo: memFree=104243356/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=712592 memory=590232 CPUtime=161.82 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 92373 0 0 0 16112 70 0 0 20 0 1 0 59877066 729694208 147558 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 178148 147558 1344 243 0 174397 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 712592 KiB
Current children cumulated memory: 590232 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.08 2.49 6/266 61179
/proc/meminfo: memFree=103458244/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=835688 memory=682928 CPUtime=221.65 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 113001 0 0 0 22075 90 0 0 20 0 1 0 59877066 855744512 170732 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 208922 170732 1344 243 0 205171 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 835688 KiB
Current children cumulated memory: 682928 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.27 2.59 6/266 61183
/proc/meminfo: memFree=103379208/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=835824 memory=683696 CPUtime=281.47 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 113218 0 0 0 28047 100 0 0 20 0 1 0 59877066 855883776 170924 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 208956 170924 1344 243 0 205205 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 835824 KiB
Current children cumulated memory: 683696 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.43 2.69 6/264 61189
/proc/meminfo: memFree=103214808/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=929280 memory=793156 CPUtime=341.31 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 131912 0 0 0 34014 117 0 0 20 0 1 0 59877066 951582720 198289 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 232320 198289 1344 243 0 228569 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 929280 KiB
Current children cumulated memory: 793156 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.55 2.78 6/262 61191
/proc/meminfo: memFree=102931100/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=929280 memory=793156 CPUtime=401.13 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 131930 0 0 0 39986 127 0 0 20 0 1 0 59877066 951582720 198289 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 232320 198289 1344 243 0 228569 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 929280 KiB
Current children cumulated memory: 793156 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.67 2.87 6/262 61193
/proc/meminfo: memFree=102206052/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=933504 memory=796484 CPUtime=460.96 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 132759 0 0 0 45962 134 0 0 20 0 1 0 59877066 955908096 199121 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 233376 199121 1344 243 0 229625 0
Current children cumulated CPU time: 460.96 s

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

Current children cumulated memory: 1499440 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/264 61361
/proc/meminfo: memFree=92016364/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1641268 memory=1499440 CPUtime=2853.99 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 222054 0 0 0 284864 535 0 0 20 0 1 0 59877066 1680658432 374860 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 410317 374860 1344 243 0 406566 0
Current children cumulated CPU time: 2853.99 s
Current children cumulated vsize: 1641268 KiB
Current children cumulated memory: 1499440 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/263 61363
/proc/meminfo: memFree=92015752/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1641268 memory=1499440 CPUtime=2913.82 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 222078 0 0 0 290842 540 0 0 20 0 1 0 59877066 1680658432 374860 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 410317 374860 1344 243 0 406566 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 1641268 KiB
Current children cumulated memory: 1499440 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.08 4.01 6/263 61365
/proc/meminfo: memFree=91765112/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1641268 memory=1499440 CPUtime=2973.65 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 222100 0 0 0 296817 548 0 0 20 0 1 0 59877066 1680658432 374860 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 410317 374860 1344 243 0 406566 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 1641268 KiB
Current children cumulated memory: 1499440 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/262 61367
/proc/meminfo: memFree=90324120/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1660360 memory=1510448 CPUtime=3033.48 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 225114 0 0 0 302792 556 0 0 20 0 1 0 59877066 1700208640 377612 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 415090 377612 1344 243 0 411339 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 1660360 KiB
Current children cumulated memory: 1510448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.02 6/262 61369
/proc/meminfo: memFree=89254488/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1697208 memory=1548528 CPUtime=3093.32 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 231075 0 0 0 308765 567 0 0 20 0 1 0 59877066 1737940992 387132 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 424302 387132 1344 243 0 420551 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 1697208 KiB
Current children cumulated memory: 1548528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/263 61372
/proc/meminfo: memFree=89026492/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1697208 memory=1548528 CPUtime=3153.16 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 231075 0 0 0 314742 574 0 0 20 0 1 0 59877066 1737940992 387132 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 424302 387132 1344 243 0 420551 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 1697208 KiB
Current children cumulated memory: 1548528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/263 61374
/proc/meminfo: memFree=88884144/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1697208 memory=1548528 CPUtime=3212.99 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 231075 0 0 0 320719 580 0 0 20 0 1 0 59877066 1737940992 387132 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 424302 387132 1344 243 0 420551 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 1697208 KiB
Current children cumulated memory: 1548528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.02 6/263 61378
/proc/meminfo: memFree=88883564/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1697208 memory=1548528 CPUtime=3272.82 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 231289 0 0 0 326698 584 0 0 20 0 1 0 59877066 1737940992 387132 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 424302 387132 1344 243 0 420551 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 1697208 KiB
Current children cumulated memory: 1548528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.02 6/263 61384
/proc/meminfo: memFree=88886172/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1697208 memory=1548528 CPUtime=3332.66 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 231306 0 0 0 332676 590 0 0 20 0 1 0 59877066 1737940992 387132 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 424302 387132 1344 243 0 420551 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 1697208 KiB
Current children cumulated memory: 1548528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.02 6/263 61386
/proc/meminfo: memFree=88885580/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1697872 memory=1549040 CPUtime=3392.5 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 231442 0 0 0 338654 596 0 0 20 0 1 0 59877066 1738620928 387260 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 424468 387260 1344 243 0 420717 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 1697872 KiB
Current children cumulated memory: 1549040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.02 6/262 61388
/proc/meminfo: memFree=88832504/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1706684 memory=1580652 CPUtime=3452.33 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 233222 0 0 0 344629 604 0 0 20 0 1 0 59877066 1747644416 395163 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 426671 395163 1344 243 0 422920 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 1706684 KiB
Current children cumulated memory: 1580652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/262 61390
/proc/meminfo: memFree=88835068/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1706684 memory=1580652 CPUtime=3512.16 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 233350 0 0 0 350603 613 0 0 20 0 1 0 59877066 1747644416 395163 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 426671 395163 1344 243 0 422920 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 1706684 KiB
Current children cumulated memory: 1580652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/262 61392
/proc/meminfo: memFree=88841612/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1706684 memory=1580652 CPUtime=3572 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 233412 0 0 0 356580 620 0 0 20 0 1 0 59877066 1747644416 395163 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 426671 395163 1344 243 0 422920 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 1706684 KiB
Current children cumulated memory: 1580652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.06 4.08 4.03 6/262 61393
/proc/meminfo: memFree=88828072/131249988 swapFree=33010416/33010684
[pid=61156] ppid=61148 vsize=1706684 memory=1580652 CPUtime=3600.02 cores=0,2
/proc/61156/stat : 61156 (pb-oll-rs) R 61148 61156 61102 0 -1 4194304 233423 0 0 0 359380 622 0 0 20 0 1 0 59877066 1747644416 395163 18446744073709551615 4218880 5211445 140725192565072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 33173504 140725192571292 140725192571369 140725192571369 140725192576971 0
/proc/61156/statm: 426671 395163 1344 243 0 422920 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1706684 KiB
Current children cumulated memory: 1580652 KiB

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

[startup+3610.42 s]
# the end of solver process 61156 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3593.81 s, system=6.2437 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3610.42
CPU time (s): 3600.05
CPU user time (s): 3593.81
CPU system time (s): 6.2437
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 1706684
Max. memory (cumulated for all children) (KiB): 1580652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.81
system time used= 6.2437
maximum resident set size= 1580908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221
involuntary context switches= 7972


# summary of solver processes directly reported to runsolver:
#   pid: 61156
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3593.81
#   total CPU system time (s): 6.2437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09494 second user time and 15.9491 second system time

The end

Begin job on nodeC031 at 2025-07-02 09:39:45
IDJOB=4504200
IDBENCH=155636
IDSOLVER=3345
FILE ID=nodeC031/4504200-1751441985
RUNJOBID= nodeC031-1751441985-61112
SLURM_JOB_ID= 9598408
Free space on /tmp= 432096 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504200-1751441985/watcher-4504200-1751441985 -o /tmp/evaluation-result-4504200-1751441985/solver-4504200-1751441985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751441985-61112 --watchdog 3760  pb-oll-rs HOME/instance-4504200-1751441985.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=822580656

nodeC031 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.887
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		: 3599.524
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		: 3598.646
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		: 3599.888
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.885
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.897
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		: 3597.335
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		: 3600.130
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:       131249988 kB
MemFree:        108999896 kB
MemAvailable:   129609792 kB
Buffers:            2128 kB
Cached:         21295724 kB
SwapCached:           12 kB
Active:           496052 kB
Inactive:       20889416 kB
Active(anon):      95236 kB
Inactive(anon):    10472 kB
Active(file):     400816 kB
Inactive(file): 20878944 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22092 kB
Writeback:             4 kB
AnonPages:         90808 kB
Mapped:           103840 kB
Shmem:             18052 kB
KReclaimable:     338748 kB
Slab:             430596 kB
SReclaimable:     338748 kB
SUnreclaim:        91848 kB
KernelStack:        4080 kB
PageTables:         2832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     357360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432036 MiB
End job on nodeC031 at 2025-07-02 10:39:56