0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	--- Begin Solver configuration ---
0.12/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.12	Learn all clauses as in MiniSAT
0.12/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	Expensive reason simplification
0.12/0.12	Glucose 2.1 dynamic restart strategy
0.12/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	timeout=2147483s
0.12/0.12	DB Simplification allowed=false
0.12/0.12	Listener: none
0.12/0.12	--- End Solver configuration ---
0.12/0.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c Expensive reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4457577-1721886864.opb
0.12/0.13	c reading problem ... 
0.18/1.13	c using VERIPB proof format
0.18/1.13	c  objective function found
0.32/1.22	c ... done. Wall clock time 1.088s.
0.32/1.22	c declared #vars     10000
0.32/1.22	c #constraints  1
0.32/1.22	c constraints type 
0.32/1.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.32/1.22	c 1 constraints processed.
0.32/1.23	c objective function length is 10000 literals
0.50/1.31	c SATISFIABLE
0.50/1.31	c OPTIMIZING...
0.50/1.31	c Got one! Elapsed wall clock time (in seconds):1.18
0.50/1.31	o -535719
0.89/1.52	c Got one! Elapsed wall clock time (in seconds):1.386
0.89/1.52	o -535769
0.89/1.56	c Got one! Elapsed wall clock time (in seconds):1.425
0.89/1.56	o -536708
1.48/1.80	c Got one! Elapsed wall clock time (in seconds):1.679
1.48/1.80	o -536786
1.48/1.86	c Got one! Elapsed wall clock time (in seconds):1.729
1.48/1.86	o -537702
1.48/1.89	c Got one! Elapsed wall clock time (in seconds):1.76
1.48/1.89	o -537720
2.05/2.15	c Got one! Elapsed wall clock time (in seconds):2.027
2.05/2.16	o -537806
2.42/2.39	c Got one! Elapsed wall clock time (in seconds):2.259
2.42/2.39	o -537808
2.76/2.58	c Got one! Elapsed wall clock time (in seconds):2.456
2.76/2.59	o -537811
3.29/2.86	c Got one! Elapsed wall clock time (in seconds):2.722
3.29/2.86	o -537816
3.63/3.03	c Got one! Elapsed wall clock time (in seconds):2.9
3.63/3.03	o -538820
4.07/3.32	c Got one! Elapsed wall clock time (in seconds):3.196
4.07/3.32	o -538823
4.34/3.55	c Got one! Elapsed wall clock time (in seconds):3.425
4.34/3.55	o -538825
4.66/3.78	c Got one! Elapsed wall clock time (in seconds):3.651
4.66/3.78	o -538831
4.99/3.95	c Got one! Elapsed wall clock time (in seconds):3.828
4.99/3.95	o -538832
5.28/4.13	c Got one! Elapsed wall clock time (in seconds):4.004
5.28/4.13	o -539838
5.57/4.33	c Got one! Elapsed wall clock time (in seconds):4.203
5.57/4.33	o -539848
5.88/4.51	c Got one! Elapsed wall clock time (in seconds):4.38
5.88/4.51	o -539849
6.04/4.68	c Got one! Elapsed wall clock time (in seconds):4.555
6.04/4.68	o -539850
6.36/4.87	c Got one! Elapsed wall clock time (in seconds):4.743
6.36/4.87	o -539851
6.67/5.08	c Got one! Elapsed wall clock time (in seconds):4.946
6.67/5.08	o -540857
6.93/5.26	c Got one! Elapsed wall clock time (in seconds):5.129
6.93/5.26	o -540858
7.13/5.49	c Got one! Elapsed wall clock time (in seconds):5.367
7.13/5.49	o -540871
7.34/5.68	c Got one! Elapsed wall clock time (in seconds):5.555
7.34/5.68	o -541875
7.55/5.88	c Got one! Elapsed wall clock time (in seconds):5.752
7.55/5.88	o -541876
7.76/6.08	c Got one! Elapsed wall clock time (in seconds):5.95
7.76/6.08	o -541897
7.95/6.27	c Got one! Elapsed wall clock time (in seconds):6.143
7.95/6.27	o -541900
8.22/9.88	c Got one! Elapsed wall clock time (in seconds):9.755
8.22/9.88	o -542907
8.48/10.13	c Got one! Elapsed wall clock time (in seconds):10.003
8.48/10.13	o -542910
8.69/10.37	c Got one! Elapsed wall clock time (in seconds):10.241
8.69/10.37	o -542911
9.14/10.79	c Got one! Elapsed wall clock time (in seconds):10.661
9.14/10.79	o -542912
9.34/10.98	c Got one! Elapsed wall clock time (in seconds):10.85
9.34/10.98	o -542918
9.54/11.18	c Got one! Elapsed wall clock time (in seconds):11.052
9.54/11.18	o -542924
10.04/11.69	c Got one! Elapsed wall clock time (in seconds):11.566
10.04/11.69	o -543927
13.16/14.70	c Got one! Elapsed wall clock time (in seconds):14.576
13.16/14.70	o -543952
15.53/17.07	c Got one! Elapsed wall clock time (in seconds):16.947
15.53/17.07	o -543955
17.03/18.51	c Got one! Elapsed wall clock time (in seconds):18.387
17.03/18.51	o -544949
17.74/19.26	c Got one! Elapsed wall clock time (in seconds):19.138
17.74/19.26	o -544951
18.37/19.85	c Got one! Elapsed wall clock time (in seconds):19.722
18.37/19.85	o -544954
19.26/20.76	c Got one! Elapsed wall clock time (in seconds):20.631
19.26/20.76	o -545964
20.21/21.60	c Got one! Elapsed wall clock time (in seconds):21.473
20.21/21.60	o -545978
21.01/22.40	c Got one! Elapsed wall clock time (in seconds):22.273
21.01/22.40	o -545979
22.99/24.22	c Got one! Elapsed wall clock time (in seconds):24.09
22.99/24.22	o -546017
23.99/25.23	c Got one! Elapsed wall clock time (in seconds):25.102
23.99/25.23	o -546997
25.23/26.42	c Got one! Elapsed wall clock time (in seconds):26.293
25.23/26.42	o -547036
26.43/27.59	c Got one! Elapsed wall clock time (in seconds):27.468
26.43/27.59	o -547038
26.83/27.95	c Got one! Elapsed wall clock time (in seconds):27.824
26.83/27.95	o -548050
27.28/28.36	c Got one! Elapsed wall clock time (in seconds):28.227
27.28/28.36	o -548056
27.74/28.76	c Got one! Elapsed wall clock time (in seconds):28.63
27.74/28.76	o -548057
28.58/29.47	c Got one! Elapsed wall clock time (in seconds):29.345
28.58/29.47	o -548071
29.58/30.41	c Got one! Elapsed wall clock time (in seconds):30.283
29.58/30.41	o -548079
31.13/31.83	c Got one! Elapsed wall clock time (in seconds):31.704
31.13/31.83	o -548090
32.81/33.44	c Got one! Elapsed wall clock time (in seconds):33.313
32.81/33.44	o -548091
34.45/34.91	c Got one! Elapsed wall clock time (in seconds):34.782
34.45/34.91	o -548092
34.95/35.44	c Got one! Elapsed wall clock time (in seconds):35.311
34.95/35.44	o -548094
36.45/36.88	c Got one! Elapsed wall clock time (in seconds):36.759
36.45/36.88	o -548096
39.78/39.98	c Got one! Elapsed wall clock time (in seconds):39.854
39.78/39.98	o -548102
40.78/40.90	c Got one! Elapsed wall clock time (in seconds):40.774
40.78/40.90	o -549090
42.57/97.85	c Got one! Elapsed wall clock time (in seconds):97.727
42.57/97.85	o -549094
43.50/98.77	c Got one! Elapsed wall clock time (in seconds):98.64
43.50/98.77	o -549099
47.89/102.84	c Got one! Elapsed wall clock time (in seconds):102.714
47.89/102.84	o -549109
50.96/105.58	c Got one! Elapsed wall clock time (in seconds):105.451
50.96/105.58	o -549114
57.82/112.04	c Got one! Elapsed wall clock time (in seconds):111.919
57.82/112.04	o -549133
62.25/116.18	c Got one! Elapsed wall clock time (in seconds):116.05
62.25/116.18	o -550146
64.79/118.37	c Got one! Elapsed wall clock time (in seconds):118.247
64.79/118.37	o -551153
69.28/122.95	c Got one! Elapsed wall clock time (in seconds):122.826
69.28/122.95	o -551186
71.45/124.90	c Got one! Elapsed wall clock time (in seconds):124.771
71.45/124.90	o -552187
74.31/127.64	c Got one! Elapsed wall clock time (in seconds):127.513
74.31/127.64	o -552255
77.60/130.75	c Got one! Elapsed wall clock time (in seconds):130.622
77.60/130.75	o -552265
79.30/132.42	c Got one! Elapsed wall clock time (in seconds):132.296
79.30/132.42	o -553202
82.06/135.07	c Got one! Elapsed wall clock time (in seconds):134.944
82.06/135.07	o -553263
85.44/138.28	c Got one! Elapsed wall clock time (in seconds):138.156
85.44/138.28	o -553354
90.49/142.98	c Got one! Elapsed wall clock time (in seconds):142.852
90.49/142.98	o -554332
92.29/144.75	c Got one! Elapsed wall clock time (in seconds):144.62
92.29/144.75	o -555268
95.75/147.81	c Got one! Elapsed wall clock time (in seconds):147.686
95.75/147.81	o -555336
102.16/154.26	c Got one! Elapsed wall clock time (in seconds):154.139
102.16/154.26	o -555340
105.75/157.81	c Got one! Elapsed wall clock time (in seconds):157.69
105.75/157.81	o -556345
108.62/160.37	c Got one! Elapsed wall clock time (in seconds):160.247
108.62/160.37	o -557321
111.05/162.76	c Got one! Elapsed wall clock time (in seconds):162.635
111.05/162.76	o -557399
113.43/164.97	c Got one! Elapsed wall clock time (in seconds):164.84
113.43/164.97	o -558387
117.32/168.62	c Got one! Elapsed wall clock time (in seconds):168.491
117.32/168.62	o -558395
118.93/170.29	c Got one! Elapsed wall clock time (in seconds):170.167
118.93/170.29	o -558401
123.39/174.37	c Got one! Elapsed wall clock time (in seconds):174.241
123.39/174.37	o -558413
126.94/177.59	c Got one! Elapsed wall clock time (in seconds):177.465
126.94/177.59	o -559391
129.04/179.69	c Got one! Elapsed wall clock time (in seconds):179.569
129.04/179.70	o -560408
132.20/183.19	c Got one! Elapsed wall clock time (in seconds):183.068
132.20/183.19	o -560423
135.80/186.35	c Got one! Elapsed wall clock time (in seconds):186.229
135.80/186.35	o -560425
138.19/188.75	c Got one! Elapsed wall clock time (in seconds):188.623
138.19/188.75	o -560435
143.25/193.42	c Got one! Elapsed wall clock time (in seconds):193.299
143.25/193.42	o -560453
149.82/199.63	c Got one! Elapsed wall clock time (in seconds):199.506
149.82/199.63	o -560489
152.33/202.19	c Got one! Elapsed wall clock time (in seconds):202.061
152.33/202.19	o -561449
158.44/207.81	c Got one! Elapsed wall clock time (in seconds):207.684
158.44/207.81	o -561531
161.77/210.73	c Got one! Elapsed wall clock time (in seconds):210.604
161.77/210.73	o -562525
164.56/213.93	c Got one! Elapsed wall clock time (in seconds):213.806
164.56/213.93	o -562538
167.93/216.95	c Got one! Elapsed wall clock time (in seconds):216.822
167.93/216.95	o -562551
171.59/220.43	c Got one! Elapsed wall clock time (in seconds):220.302
171.59/220.43	o -562553
174.48/223.17	c Got one! Elapsed wall clock time (in seconds):223.048
174.48/223.17	o -562557
176.37/225.03	c Got one! Elapsed wall clock time (in seconds):224.909
176.37/225.03	o -563538
181.13/228.07	c Got one! Elapsed wall clock time (in seconds):227.941
181.13/228.07	o -563543
187.48/231.23	c Got one! Elapsed wall clock time (in seconds):231.106
187.48/231.23	o -563546
199.90/237.56	c cleaning 14057 clauses out of 28114 with flag 2341/28114
202.37/239.52	c Got one! Elapsed wall clock time (in seconds):239.395
202.37/239.52	o -563631
205.02/242.28	c Got one! Elapsed wall clock time (in seconds):242.156
205.02/242.28	o -564608
207.42/244.59	c Got one! Elapsed wall clock time (in seconds):244.462
207.42/244.59	o -564609
215.51/251.91	c Got one! Elapsed wall clock time (in seconds):251.783
215.51/251.91	o -564708
224.75/260.80	c Got one! Elapsed wall clock time (in seconds):260.675
224.75/260.80	o -564713
236.20/267.17	c Got one! Elapsed wall clock time (in seconds):267.044
236.20/267.17	o -565703
243.90/271.81	c Got one! Elapsed wall clock time (in seconds):271.683
243.90/271.81	o -566709
255.88/283.01	c Got one! Elapsed wall clock time (in seconds):282.888
255.88/283.01	o -566793
262.34/288.89	c cleaning 11431 clauses out of 22864 with flag 2596/36921
267.45/293.88	c Got one! Elapsed wall clock time (in seconds):293.76
267.45/293.88	o -567775
270.72/296.72	c Got one! Elapsed wall clock time (in seconds):296.596
270.72/296.72	o -568795
274.12/300.19	c Got one! Elapsed wall clock time (in seconds):300.062
274.12/300.19	o -569801
282.97/308.60	c Got one! Elapsed wall clock time (in seconds):308.478
282.97/308.60	o -569894
290.91/316.20	c Got one! Elapsed wall clock time (in seconds):316.074
290.91/316.20	o -570917
300.11/322.37	c Got one! Elapsed wall clock time (in seconds):322.24
300.11/322.37	o -570976
309.64/327.59	c Got one! Elapsed wall clock time (in seconds):327.465
309.64/327.59	o -571881
313.03/330.90	c Got one! Elapsed wall clock time (in seconds):330.776
313.03/330.90	o -571909
317.39/335.45	c Got one! Elapsed wall clock time (in seconds):335.326
317.39/335.45	o -571931
325.01/342.09	c Got one! Elapsed wall clock time (in seconds):341.964
325.01/342.09	o -571932
333.47/348.26	c cleaning 10756 clauses out of 21514 with flag 2442/47002
337.44/350.26	c Got one! Elapsed wall clock time (in seconds):350.131
337.44/350.26	o -571939
348.11/355.71	c Got one! Elapsed wall clock time (in seconds):355.587
348.11/355.71	o -571958
351.40/359.05	c Got one! Elapsed wall clock time (in seconds):358.922
351.40/359.05	o -571962
361.28/368.60	c Got one! Elapsed wall clock time (in seconds):368.471
361.38/368.60	o -572086
369.18/376.13	c Got one! Elapsed wall clock time (in seconds):376.006
369.18/376.13	o -572975
374.52/381.15	c Got one! Elapsed wall clock time (in seconds):381.028
374.52/381.15	o -573033
379.96/386.20	c Got one! Elapsed wall clock time (in seconds):386.074
379.96/386.20	o -573048
389.96/393.14	c Got one! Elapsed wall clock time (in seconds):393.01
389.96/393.14	o -574079
401.72/400.32	c Got one! Elapsed wall clock time (in seconds):400.194
401.72/400.32	o -574111
405.79/404.02	c Got one! Elapsed wall clock time (in seconds):403.897
405.79/404.02	o -575100
410.92/409.02	c Got one! Elapsed wall clock time (in seconds):408.895
410.92/409.02	o -575103
414.53/412.42	c Got one! Elapsed wall clock time (in seconds):412.292
414.53/412.42	o -576054
421.83/418.99	c Got one! Elapsed wall clock time (in seconds):418.867
421.83/418.99	o -576142
427.60/424.38	c Got one! Elapsed wall clock time (in seconds):424.259
427.60/424.38	o -577172
433.07/429.93	c Got one! Elapsed wall clock time (in seconds):429.8
433.07/429.93	o -578203
436.93/433.43	c Got one! Elapsed wall clock time (in seconds):433.309
436.93/433.43	o -578216
442.35/438.51	c Got one! Elapsed wall clock time (in seconds):438.385
442.35/438.51	o -578286
447.78/443.88	c Got one! Elapsed wall clock time (in seconds):443.755
447.78/443.88	o -578303
452.52/448.48	c Got one! Elapsed wall clock time (in seconds):448.359
452.52/448.48	o -578376
456.48/452.09	c Got one! Elapsed wall clock time (in seconds):451.968
456.48/452.09	o -579261
459.77/455.32	c Got one! Elapsed wall clock time (in seconds):455.194
459.77/455.32	o -579264
468.73/460.47	c Got one! Elapsed wall clock time (in seconds):460.342
468.73/460.47	o -580295
479.85/466.08	c Got one! Elapsed wall clock time (in seconds):465.952
479.85/466.08	o -580382
486.19/469.38	c Got one! Elapsed wall clock time (in seconds):469.259
486.19/469.38	o -581401
489.76/472.77	c Got one! Elapsed wall clock time (in seconds):472.646
489.76/472.77	o -581406
495.87/478.52	c cleaning 16397 clauses out of 32797 with flag 2840/69041
496.38/479.04	c Got one! Elapsed wall clock time (in seconds):478.914
496.38/479.04	o -581525
499.41/481.90	c Got one! Elapsed wall clock time (in seconds):481.777
499.41/481.90	o -582437
506.58/488.94	c Got one! Elapsed wall clock time (in seconds):488.811
506.58/488.94	o -582445
510.47/492.84	c Got one! Elapsed wall clock time (in seconds):492.714
510.47/492.84	o -582496
522.52/499.55	c Got one! Elapsed wall clock time (in seconds):499.421
522.52/499.55	o -582502
530.04/504.09	c Got one! Elapsed wall clock time (in seconds):503.967
530.04/504.09	o -583517
536.89/510.53	c Got one! Elapsed wall clock time (in seconds):510.4
536.89/510.53	o -583518
541.60/514.87	c Got one! Elapsed wall clock time (in seconds):514.747
541.60/514.87	o -583543
551.00/523.44	c Got one! Elapsed wall clock time (in seconds):523.313
551.00/523.44	o -583639
555.98/528.28	c Got one! Elapsed wall clock time (in seconds):528.154
555.98/528.28	o -584619
561.16/533.20	c Got one! Elapsed wall clock time (in seconds):533.072
561.16/533.20	o -584622
566.65/538.35	c Got one! Elapsed wall clock time (in seconds):538.226
566.65/538.35	o -584630
578.57/545.54	c cleaning 13711 clauses out of 27421 with flag 2344/80062
580.16/546.39	c Got one! Elapsed wall clock time (in seconds):546.262
580.16/546.39	o -585614
596.26/556.61	c Got one! Elapsed wall clock time (in seconds):556.481
596.26/556.61	o -585794
602.04/562.02	c Got one! Elapsed wall clock time (in seconds):561.892
602.04/562.02	o -586679
607.54/567.30	c Got one! Elapsed wall clock time (in seconds):567.172
607.54/567.30	o -587720
613.17/572.65	c Got one! Elapsed wall clock time (in seconds):572.528
613.17/572.65	o -587808
622.30/581.48	c Got one! Elapsed wall clock time (in seconds):581.356
622.30/581.48	o -588858
631.70/589.30	c Got one! Elapsed wall clock time (in seconds):589.159
631.70/589.30	o -588864
644.20/595.66	c cleaning 10971 clauses out of 21943 with flag 2226/88295
646.19/596.63	c Got one! Elapsed wall clock time (in seconds):596.503
646.19/596.63	o -589916
652.78/602.69	c Got one! Elapsed wall clock time (in seconds):602.566
652.78/602.69	o -589924
659.23/608.70	c Got one! Elapsed wall clock time (in seconds):608.572
659.23/608.70	o -589927
666.34/615.20	c Got one! Elapsed wall clock time (in seconds):615.075
666.34/615.20	o -590942
674.22/622.77	c Got one! Elapsed wall clock time (in seconds):622.642
674.22/622.77	o -591006
681.47/629.65	c Got one! Elapsed wall clock time (in seconds):629.524
681.47/629.65	o -591036
687.54/635.38	c cleaning 8921 clauses out of 17841 with flag 2848/95164
690.04/637.84	c Got one! Elapsed wall clock time (in seconds):637.713
690.04/637.84	o -592094
697.80/653.87	c Got one! Elapsed wall clock time (in seconds):653.742
697.80/653.87	o -593146
704.75/660.25	c Got one! Elapsed wall clock time (in seconds):660.121
704.75/660.25	o -594180
719.35/669.73	c Got one! Elapsed wall clock time (in seconds):669.6
719.35/669.73	o -594181
724.83/675.06	c Got one! Elapsed wall clock time (in seconds):674.93
724.83/675.06	o -594231
730.90/680.79	c Got one! Elapsed wall clock time (in seconds):680.668
730.90/680.79	o -595215
741.82/690.71	c Got one! Elapsed wall clock time (in seconds):690.583
741.82/690.71	o -595292
748.47/697.03	c cleaning 8876 clauses out of 17753 with flag 2343/103997
748.76/697.38	c Got one! Elapsed wall clock time (in seconds):697.254
748.76/697.38	o -596333
756.36/704.98	c Got one! Elapsed wall clock time (in seconds):704.854
756.36/704.98	o -596336
767.22/715.40	c Got one! Elapsed wall clock time (in seconds):715.278
767.22/715.40	o -596372
777.39/724.81	c Got one! Elapsed wall clock time (in seconds):724.687
777.39/724.81	o -597406
787.94/735.68	c Got one! Elapsed wall clock time (in seconds):735.554
787.94/735.68	o -598465
794.35/741.62	c cleaning 8084 clauses out of 16167 with flag 2223/111287
797.38/744.56	c Got one! Elapsed wall clock time (in seconds):744.439
797.38/744.56	o -598479
807.88/754.60	c Got one! Elapsed wall clock time (in seconds):754.473
807.88/754.60	o -599532
822.25/766.56	c Got one! Elapsed wall clock time (in seconds):766.431
822.25/766.56	o -600593
834.33/775.98	c Got one! Elapsed wall clock time (in seconds):775.853
834.33/775.98	o -600595
840.59/781.86	c Got one! Elapsed wall clock time (in seconds):781.736
840.59/781.86	o -600657
847.96/788.80	c Got one! Elapsed wall clock time (in seconds):788.678
847.96/788.80	o -601656
854.87/795.16	c cleaning 8300 clauses out of 16655 with flag 2227/119859
857.73/797.92	c Got one! Elapsed wall clock time (in seconds):797.792
857.73/797.92	o -601812
866.22/806.06	c Got one! Elapsed wall clock time (in seconds):805.936
866.22/806.06	o -602717
875.08/814.58	c Got one! Elapsed wall clock time (in seconds):814.452
875.08/814.58	o -602730
882.86/821.97	c Got one! Elapsed wall clock time (in seconds):821.841
882.86/821.97	o -603791
891.38/830.79	c Got one! Elapsed wall clock time (in seconds):830.666
891.38/830.79	o -603799
897.67/836.68	c cleaning 7514 clauses out of 15034 with flag 3769/126538
898.96/837.96	c Got one! Elapsed wall clock time (in seconds):837.83
898.96/837.96	o -604862
910.11/848.62	c Got one! Elapsed wall clock time (in seconds):848.494
910.11/848.62	o -604959
922.73/861.20	c Got one! Elapsed wall clock time (in seconds):861.078
922.73/861.20	o -604981
930.78/868.96	c Got one! Elapsed wall clock time (in seconds):868.836
930.78/868.96	o -605973
938.73/876.51	c Got one! Elapsed wall clock time (in seconds):876.385
938.73/876.51	o -606142
944.87/882.31	c cleaning 7414 clauses out of 14831 with flag 2221/133849
956.21/891.69	c Got one! Elapsed wall clock time (in seconds):891.567
956.21/891.69	o -607051
966.66/900.59	c Got one! Elapsed wall clock time (in seconds):900.467
966.66/900.59	o -607089
975.26/908.61	c Got one! Elapsed wall clock time (in seconds):908.488
975.26/908.61	o -608095
985.88/919.11	c Got one! Elapsed wall clock time (in seconds):918.984
985.88/919.11	o -609147
992.14/925.01	c cleaning 7192 clauses out of 14423 with flag 2627/140855
997.32/930.10	c Got one! Elapsed wall clock time (in seconds):929.977
997.32/930.10	o -609199
1007.25/939.59	c Got one! Elapsed wall clock time (in seconds):939.466
1007.25/939.59	o -609256
1021.20/953.55	c Got one! Elapsed wall clock time (in seconds):953.422
1021.20/953.55	o -609257
1030.94/962.59	c Got one! Elapsed wall clock time (in seconds):962.462
1030.94/962.59	o -610179
1037.51/968.73	c cleaning 7091 clauses out of 14182 with flag 2513/147806
1044.84/975.92	c Got one! Elapsed wall clock time (in seconds):975.798
1044.84/975.92	o -610281
1065.14/995.93	c Got one! Elapsed wall clock time (in seconds):995.805
1065.14/995.93	o -611237
1075.56/1005.65	c Got one! Elapsed wall clock time (in seconds):1005.529
1075.56/1005.65	o -611372
1080.96/1014.41	c cleaning 6900 clauses out of 13800 with flag 2492/154515
1088.57/1022.01	c Got one! Elapsed wall clock time (in seconds):1021.888
1088.57/1022.01	o -612388
1104.47/1034.01	c Got one! Elapsed wall clock time (in seconds):1033.883
1104.47/1034.01	o -612614
1115.12/1044.16	c Got one! Elapsed wall clock time (in seconds):1044.036
1115.12/1044.16	o -613613
1122.96/1052.22	c Got one! Elapsed wall clock time (in seconds):1052.098
1122.96/1052.22	o -614545
1128.49/1057.47	c cleaning 6851 clauses out of 13733 with flag 2236/161348
1135.08/1063.90	c Got one! Elapsed wall clock time (in seconds):1063.773
1135.08/1063.90	o -614546
1145.25/1073.34	c Got one! Elapsed wall clock time (in seconds):1073.214
1145.25/1073.34	o -614569
1164.49/1093.05	c Got one! Elapsed wall clock time (in seconds):1092.925
1164.49/1093.05	o -614591
1170.76/1098.91	c cleaning 6604 clauses out of 13208 with flag 2738/167674
1181.93/1110.39	c Got one! Elapsed wall clock time (in seconds):1110.267
1181.93/1110.39	o -614634
1199.58/1127.33	c Got one! Elapsed wall clock time (in seconds):1127.205
1199.58/1127.33	o -614651
1212.57/1140.36	c cleaning 6417 clauses out of 12841 with flag 6224/173911
1212.87/1140.68	c Got one! Elapsed wall clock time (in seconds):1140.551
1212.87/1140.68	o -615554
1225.16/1152.48	c Got one! Elapsed wall clock time (in seconds):1152.353
1225.16/1152.48	o -615694
1236.52/1163.26	c Got one! Elapsed wall clock time (in seconds):1163.134
1236.52/1163.26	o -615696
1248.55/1175.87	c Got one! Elapsed wall clock time (in seconds):1175.748
1248.55/1175.87	o -616686
1264.38/1186.67	c Got one! Elapsed wall clock time (in seconds):1186.543
1264.38/1186.67	o -617025
1270.38/1192.08	c cleaning 7287 clauses out of 14573 with flag 2246/182060
1279.93/1201.75	c Got one! Elapsed wall clock time (in seconds):1201.623
1279.93/1201.75	o -617833
1290.98/1212.22	c Got one! Elapsed wall clock time (in seconds):1212.098
1290.98/1212.22	o -618887
1307.76/1228.12	c Got one! Elapsed wall clock time (in seconds):1227.998
1307.76/1228.12	o -618899
1313.72/1234.52	c cleaning 6921 clauses out of 13847 with flag 2253/188621
1317.36/1238.13	c Got one! Elapsed wall clock time (in seconds):1238.009
1317.36/1238.13	o -619941
1328.64/1248.80	c Got one! Elapsed wall clock time (in seconds):1248.671
1328.64/1248.80	o -620035
1342.83/1263.09	c Got one! Elapsed wall clock time (in seconds):1262.963
1342.83/1263.09	o -620310
1353.45/1273.16	c Got one! Elapsed wall clock time (in seconds):1273.034
1353.45/1273.16	o -621213
1359.45/1278.93	c cleaning 7035 clauses out of 14069 with flag 2243/195764
1363.19/1282.64	c Got one! Elapsed wall clock time (in seconds):1282.513
1363.19/1282.64	o -621951
1372.84/1291.89	c Got one! Elapsed wall clock time (in seconds):1291.762
1372.84/1291.89	o -622124
1383.23/1302.44	c Got one! Elapsed wall clock time (in seconds):1302.316
1383.23/1302.44	o -622231
1401.37/1315.24	c Got one! Elapsed wall clock time (in seconds):1315.119
1401.37/1315.24	o -622255
1407.14/1320.60	c cleaning 6869 clauses out of 13738 with flag 2547/202468
1413.91/1329.96	c Got one! Elapsed wall clock time (in seconds):1329.837
1413.91/1329.96	o -623317
1428.48/1343.60	c Got one! Elapsed wall clock time (in seconds):1343.476
1428.48/1343.60	o -624360
1439.43/1354.29	c Got one! Elapsed wall clock time (in seconds):1354.165
1439.43/1354.29	o -625393
1445.70/1360.96	c cleaning 6460 clauses out of 12993 with flag 2238/208592
1450.22/1365.41	c Got one! Elapsed wall clock time (in seconds):1365.284
1450.22/1365.41	o -625469
1462.75/1377.24	c Got one! Elapsed wall clock time (in seconds):1377.11
1462.75/1377.24	o -627154
1475.11/1389.30	c Got one! Elapsed wall clock time (in seconds):1389.175
1475.11/1389.30	o -627719
1490.84/1404.86	c Got one! Elapsed wall clock time (in seconds):1404.734
1490.84/1404.86	o -628697
1497.41/1411.05	c cleaning 7165 clauses out of 14329 with flag 3457/216388
1509.10/1426.03	c Got one! Elapsed wall clock time (in seconds):1425.908
1509.10/1426.03	o -628959
1526.42/1442.61	c Got one! Elapsed wall clock time (in seconds):1442.488
1526.42/1442.61	o -629826
1540.07/1455.03	c Got one! Elapsed wall clock time (in seconds):1454.903
1540.07/1455.03	o -629940
1550.52/1461.17	c cleaning 7062 clauses out of 14124 with flag 2313/223348
1555.65/1466.22	c Got one! Elapsed wall clock time (in seconds):1466.095
1555.65/1466.22	o -630822
1573.78/1483.35	c Got one! Elapsed wall clock time (in seconds):1483.221
1573.78/1483.35	o -631048
1591.19/1500.13	c Got one! Elapsed wall clock time (in seconds):1500.008
1591.19/1500.13	o -632012
1597.65/1506.27	c cleaning 6936 clauses out of 13872 with flag 2993/230158
1606.42/1514.73	c Got one! Elapsed wall clock time (in seconds):1514.608
1606.42/1514.73	o -632179
1621.88/1529.86	c Got one! Elapsed wall clock time (in seconds):1529.733
1621.88/1529.86	o -633077
1636.00/1543.43	c cleaning 6217 clauses out of 12440 with flag 6064/235662
1637.52/1544.98	c Got one! Elapsed wall clock time (in seconds):1544.856
1637.52/1544.98	o -633300
1654.40/1561.37	c Got one! Elapsed wall clock time (in seconds):1561.245
1654.40/1561.37	o -634213
1668.55/1575.22	c Got one! Elapsed wall clock time (in seconds):1575.098
1668.55/1575.22	o -634242
1674.93/1581.98	c cleaning 5945 clauses out of 11953 with flag 2263/241392
1682.48/1589.40	c Got one! Elapsed wall clock time (in seconds):1589.278
1682.48/1589.40	o -635248
1699.83/1603.16	c Got one! Elapsed wall clock time (in seconds):1603.03
1699.83/1603.16	o -635374
1715.60/1618.89	c Got one! Elapsed wall clock time (in seconds):1618.765
1715.60/1618.89	o -635427
1722.26/1625.15	c cleaning 6180 clauses out of 12360 with flag 3542/247744
1732.32/1634.95	c Got one! Elapsed wall clock time (in seconds):1634.825
1732.32/1634.95	o -635539
1745.73/1647.96	c Got one! Elapsed wall clock time (in seconds):1647.83
1745.73/1647.96	o -636413
1758.88/1660.43	c Got one! Elapsed wall clock time (in seconds):1660.302
1758.88/1660.43	o -637472
1770.22/1671.74	c Got one! Elapsed wall clock time (in seconds):1671.612
1770.22/1671.74	o -637595
1776.93/1678.05	c cleaning 7064 clauses out of 14172 with flag 2302/255736
1784.35/1685.27	c Got one! Elapsed wall clock time (in seconds):1685.144
1784.35/1685.27	o -638592
1799.12/1699.38	c Got one! Elapsed wall clock time (in seconds):1699.255
1799.12/1699.38	o -638600
1809.43/1709.49	c Got one! Elapsed wall clock time (in seconds):1709.366
1809.43/1709.49	o -639689
1816.09/1715.78	c cleaning 6376 clauses out of 12791 with flag 2543/261419
1823.86/1723.48	c Got one! Elapsed wall clock time (in seconds):1723.359
1823.86/1723.48	o -639697
1840.48/1739.52	c Got one! Elapsed wall clock time (in seconds):1739.398
1840.48/1739.52	o -639723
1854.50/1752.88	c cleaning 6043 clauses out of 12110 with flag 6336/267114
1856.69/1755.08	c Got one! Elapsed wall clock time (in seconds):1754.957
1856.69/1755.08	o -639738
1870.48/1768.46	c Got one! Elapsed wall clock time (in seconds):1768.333
1870.48/1768.46	o -639873
1886.56/1780.55	c Got one! Elapsed wall clock time (in seconds):1780.424
1886.56/1780.55	o -640866
1901.16/1794.79	c cleaning 6161 clauses out of 12343 with flag 5433/273390
1903.80/1797.38	c Got one! Elapsed wall clock time (in seconds):1797.258
1903.80/1797.38	o -641907
1923.08/1815.92	c Got one! Elapsed wall clock time (in seconds):1815.793
1923.08/1815.92	o -642054
1937.64/1830.19	c Got one! Elapsed wall clock time (in seconds):1830.061
1937.64/1830.19	o -642115
1944.51/1836.62	c cleaning 6144 clauses out of 12325 with flag 2595/279533
1956.05/1847.74	c Got one! Elapsed wall clock time (in seconds):1847.613
1956.05/1847.74	o -643093
1974.73/1866.04	c Got one! Elapsed wall clock time (in seconds):1865.912
1974.73/1866.04	o -644179
1988.65/1879.26	c cleaning 6321 clauses out of 12654 with flag 4431/286006
2005.02/1895.50	c Got one! Elapsed wall clock time (in seconds):1895.374
2005.02/1895.50	o -645253
2023.82/1913.71	c Got one! Elapsed wall clock time (in seconds):1913.582
2023.82/1913.71	o -645300
2030.33/1920.14	c cleaning 6141 clauses out of 12332 with flag 2297/292005
2040.47/1929.82	c Got one! Elapsed wall clock time (in seconds):1929.69
2040.47/1929.82	o -645351
2054.70/1943.57	c Got one! Elapsed wall clock time (in seconds):1943.447
2054.70/1943.57	o -646338
2074.28/1959.06	c Got one! Elapsed wall clock time (in seconds):1958.937
2074.28/1959.06	o -646339
2079.96/1964.43	c cleaning 6401 clauses out of 12849 with flag 2313/298663
2087.07/1971.51	c Got one! Elapsed wall clock time (in seconds):1971.38
2087.07/1971.51	o -646344
2104.79/1988.76	c Got one! Elapsed wall clock time (in seconds):1988.632
2104.79/1988.76	o -646347
2119.50/2002.76	c cleaning 6042 clauses out of 12088 with flag 4459/304303
2144.32/2028.28	c Got one! Elapsed wall clock time (in seconds):2028.159
2144.32/2028.28	o -646381
2157.43/2040.81	c cleaning 5711 clauses out of 11433 with flag 4339/309690
2175.10/2058.06	c Got one! Elapsed wall clock time (in seconds):2057.935
2175.10/2058.06	o -646444
2196.36/2078.77	c cleaning 5613 clauses out of 11227 with flag 7424/315195
2197.67/2080.06	c Got one! Elapsed wall clock time (in seconds):2079.931
2197.67/2080.06	o -646452
2219.31/2100.82	c Got one! Elapsed wall clock time (in seconds):2100.693
2219.31/2100.82	o -647523
2233.20/2114.20	c cleaning 5449 clauses out of 10907 with flag 4376/320488
2254.85/2132.58	c Got one! Elapsed wall clock time (in seconds):2132.453
2254.85/2132.58	o -648512
2277.01/2154.29	c Got one! Elapsed wall clock time (in seconds):2154.168
2277.01/2154.29	o -648676
2283.61/2160.40	c cleaning 5977 clauses out of 12010 with flag 2294/327040
2329.37/2205.67	c Got one! Elapsed wall clock time (in seconds):2205.546
2329.37/2205.67	o -649509
2336.03/2211.91	c cleaning 5665 clauses out of 11366 with flag 2326/332373
2352.28/2227.78	c Got one! Elapsed wall clock time (in seconds):2227.656
2352.28/2227.78	o -649628
2372.21/2247.05	c Got one! Elapsed wall clock time (in seconds):2246.921
2372.21/2247.05	o -649635
2378.58/2253.26	c cleaning 5665 clauses out of 11351 with flag 2859/338023
2445.16/2318.38	c cleaning 5858 clauses out of 11716 with flag 16274/344053
2512.58/2385.08	c Got one! Elapsed wall clock time (in seconds):2384.952
2512.58/2385.08	o -649637
2544.91/2414.58	c Got one! Elapsed wall clock time (in seconds):2414.458
2544.91/2414.58	o -649646
2562.93/2428.78	c cleaning 8310 clauses out of 16620 with flag 4325/354815
2634.59/2499.38	c cleaning 7082 clauses out of 14309 with flag 18259/360814
2692.48/2555.84	c cleaning 7094 clauses out of 14206 with flag 36352/367793
2745.03/2602.11	c cleaning 7549 clauses out of 15112 with flag 54393/375793
2804.76/2659.65	c cleaning 8284 clauses out of 16568 with flag 75773/384798
2874.15/2720.60	c cleaning 9140 clauses out of 18279 with flag 98428/394793
2943.63/2788.25	c cleaning 10070 clauses out of 20142 with flag 123769/405796
3019.13/2855.29	c cleaning 11035 clauses out of 22073 with flag 150682/417797
3110.32/2935.27	c cleaning 12017 clauses out of 24034 with flag 181437/430793
3223.28/3037.83	c cleaning 13007 clauses out of 26017 with flag 214566/444793
3338.78/3141.63	c cleaning 14009 clauses out of 28018 with flag 252137/459801
3474.92/3265.38	c cleaning 15005 clauses out of 30009 with flag 297077/475801
3600.09/3379.12	c starts		: 3940
3600.09/3379.12	c conflicts		: 490830
3600.09/3379.12	c decisions		: 28208659
3600.09/3379.12	c propagations		: 51942624
3600.09/3379.12	c inspects		: 213574596
3600.09/3379.12	c shortcuts		: 0
3600.09/3379.12	c learnt literals	: 0
3600.09/3379.12	c learnt binary clauses	: 0
3600.09/3379.12	c learnt ternary clauses	: 0
3600.09/3379.12	c learnt constraints	: 490830
3600.09/3379.12	c ignored constraints	: 0
3600.09/3379.12	c root simplifications	: 0
3600.09/3379.13	c removed literals (reason simplification)	: 48092589
3600.09/3379.13	c reason swapping (by a shorter reason)	: 0
3600.09/3379.13	c Calls to reduceDB	: 57
3600.09/3379.13	c Number of update (reduction) of LBD	: 28341
3600.09/3379.13	c Imported unit clauses	: 0
3600.09/3379.13	c No decision after first conflict	: false
3600.09/3379.13	c number of reductions to clauses (during analyze)	: 0
3600.09/3379.13	c number of learned constraints concerned by reduction	: 0
3600.09/3379.13	c number of learning phase by resolution	: 0
3600.09/3379.13	c number of learning phase by cutting planes	: 0
3600.09/3379.13	c number of rounding to 1 operations	: 0
3600.09/3379.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3379.13	c number of reductions of the coefficients by power 2 	: 0
3600.09/3379.13	c number of right shift for reduction by power 2 	: 0
3600.09/3379.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3379.13	c number of ending skipping 	: 0
3600.09/3379.13	c number of internal skipping 	: 0
3600.09/3379.13	c number of derivation steps 	: 0
3600.09/3379.13	c number of skipped derivation steps 	: 0
3600.09/3379.13	c number of remaining unassigned 	: 0
3600.09/3379.13	c number of remaining assigned 	: 0
3600.09/3379.13	c number of falsified literals weakened from reason	: 0
3600.09/3379.13	c number of falsified literals weakened from conflict	: 0
3600.09/3379.13	c time for arithmetic operations	: 0
3600.09/3379.13	c minimum degree of deleted constraints	: null
3600.09/3379.13	c maximum degree of deleted constraints	: null
3600.09/3379.13	c number of deleted constraints	: 0
3600.09/3379.13	c speed (assignments/second)	: 15377.32613234786
3600.09/3379.13	c non guided choices	: 884
3600.09/3379.15	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 30033
3600.09/3379.15	s SATISFIABLE
3600.09/3379.15	c Found 288 solution(s)
3600.09/3379.16	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 x7349 -x7350 -x7351 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 x8158 -x8159 -x8160 -x8161 x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 x8532 -x8533 -x8534 -x8535 -x8536 -x8537 x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 x9205 -x9206 -x9207 -x9208 -x9209 x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 x9748 -x9749 -x9750 x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
3600.09/3379.18	c timeout
3600.09/3379.18	c objective function=-649646
3600.09/3379.18	c Total wall clock time (in seconds): 3379.058

OK	-649646

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: 63968 MiB (57029 MiB free)
  memory of node 1: 64473 MiB (57760 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457577-1721886864/watcher-4457577-1721886864 -o /tmp/evaluation-result-4457577-1721886864/solver-4457577-1721886864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721886864-277998 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4457577-1721886864 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457577-1721886864.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=278059, runsolver pid=278044
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 2.38 3.67 3.96 12/326 278129
/proc/meminfo: memFree=117365920/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=18975048 memory=64944 CPUtime=0.12 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 7270 0 0 0 11 1 0 0 20 0 18 0 25209419 19430449152 16236 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4743762 16236 5624 1 0 549329 0
[pid=278059/tid=278062] ppid=278044 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) S 278044 278059 277987 0 -1 1077936192 5791 0 0 0 7 1 0 0 20 0 18 0 25209420 19430449152 16236 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25209421 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16236 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16236 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64944 KiB

[startup+0.206372 s]*
/proc/loadavg: 2.38 3.67 3.96 4/326 278129
/proc/meminfo: memFree=117361492/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=18975048 memory=66140 CPUtime=0.18 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 7471 0 0 0 16 2 0 0 20 0 18 0 25209419 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4743762 16535 5690 1 0 549484 0
[pid=278059/tid=278062] ppid=278044 vsize=18975048 memory=664970851429515395 CPUtime=0.1 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) D 278044 278059 277987 0 -1 1078198336 5907 0 0 0 9 1 0 0 20 0 18 0 25209420 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 25209421 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=18975048 memory=770575 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66140 KiB

[startup+0.305313 s]*
/proc/loadavg: 2.38 3.67 3.96 2/326 278129
/proc/meminfo: memFree=117360544/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=18975048 memory=66140 CPUtime=0.18 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 7471 0 0 0 16 2 0 0 20 0 18 0 25209419 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4743762 16535 5690 1 0 549484 0
[pid=278059/tid=278062] ppid=278044 vsize=18975048 memory=-8888252319055717052 CPUtime=0.1 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) D 278044 278059 277987 0 -1 1078198336 5907 0 0 0 9 1 0 0 20 0 18 0 25209420 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 25209421 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=18975048 memory=1469087630579761753 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66140 KiB

[startup+0.700348 s]
/proc/loadavg: 2.38 3.67 3.96 4/326 278129
/proc/meminfo: memFree=117360280/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=18975048 memory=66140 CPUtime=0.18 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 7471 0 0 0 16 2 0 0 20 0 18 0 25209419 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4743762 16535 5690 1 0 549484 0
[pid=278059/tid=278062] ppid=278044 vsize=18975048 memory=5592 CPUtime=0.1 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) D 278044 278059 277987 0 -1 1078198336 5907 0 0 0 9 1 0 0 20 0 18 0 25209420 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25209421 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=18975048 memory=12264 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16535 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66140 KiB

[startup+1.50019 s]
/proc/loadavg: 2.38 3.67 3.96 4/326 278129
/proc/meminfo: memFree=117359800/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=19041612 memory=97180 CPUtime=0.89 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 10244 0 0 0 87 2 0 0 20 0 19 0 25209419 19498610688 24295 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4760403 24295 5822 1 0 551606 0
[pid=278059/tid=278062] ppid=278044 vsize=19041612 memory=0 CPUtime=0.44 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 6110 0 0 0 42 2 0 0 20 0 19 0 25209420 19498610688 24295 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25209421 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25209423 19498610688 24295 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19041612 memory=12264 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 25209423 19498610688 24295 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97180 KiB

[startup+3.10613 s]
/proc/loadavg: 3.07 3.79 4.00 12/333 278203
/proc/meminfo: memFree=116648120/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=177056 CPUtime=3.81 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 16923 0 0 0 376 5 0 0 20 0 20 0 25209419 19566772224 44264 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 44264 5891 1 0 552359 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=12264 CPUtime=2 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 7021 0 0 0 197 3 0 0 20 0 20 0 25209420 19566772224 44264 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25209421 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=-8888252319055717052 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 44264 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 44264 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 44264 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177056 KiB

[startup+6.30024 s]
/proc/loadavg: 3.07 3.79 4.00 7/334 278204
/proc/meminfo: memFree=114507492/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=207068 CPUtime=8.05 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 18736 0 0 0 799 6 0 0 20 0 20 0 25209419 19566772224 51767 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 51767 5891 1 0 552584 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=0 CPUtime=5.14 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 7160 0 0 0 510 4 0 0 20 0 20 0 25209420 19566772224 51767 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25209421 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=175248 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 51767 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 51767 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 51767 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207068 KiB

[startup+12.7011 s]
/proc/loadavg: 3.21 3.80 4.00 9/335 278207
/proc/meminfo: memFree=112276720/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=250080 CPUtime=11.18 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 19097 0 0 0 1110 8 0 0 20 0 20 0 25209419 19566772224 62520 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 62520 5891 1 0 552584 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=11616 CPUtime=8.04 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 7431 0 0 0 800 4 0 0 20 0 20 0 25209420 19566772224 62520 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 25209763 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=74032 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 62520 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=177084 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 62520 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=758332 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 62520 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 11.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 250080 KiB

[startup+25.5003 s]
/proc/loadavg: 3.33 3.80 4.00 7/335 278209
/proc/meminfo: memFree=108370908/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=570548 CPUtime=24.34 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 30562 0 0 0 2415 19 0 0 20 0 20 0 25209419 19566772224 142637 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 142637 5891 1 0 552649 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=402356 CPUtime=20.59 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 10766 0 0 0 2048 11 0 0 20 0 20 0 25209420 19566772224 142637 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25209763 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=280742013828512 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 142637 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=74032 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 142637 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 142637 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 24.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 570548 KiB

[startup+51.106 s]
/proc/loadavg: 3.70 3.85 4.01 4/336 278214
/proc/meminfo: memFree=100459720/131524600 swapFree=131071728/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=4254400 CPUtime=42.34 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 36914 0 0 0 4126 108 0 0 20 0 20 0 25209419 19566772224 1063600 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 1063600 5891 1 0 1359530 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=305840 CPUtime=36.11 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) D 278044 278059 277987 0 -1 4194368 12363 0 0 0 3535 76 0 0 20 0 20 0 25209420 19566772224 1063600 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25209763 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=1100568 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1063600 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=4123328 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1063600 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=3026680 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 1063600 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0

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

/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 1308384 0 0 0 271402 2722 0 0 20 0 20 0 25209420 19566772224 4069164 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25221592 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=25656 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069164 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 626 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069164 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 4069164 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3227.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16276656 KiB

[startup+3102.3 s]
/proc/loadavg: 4.60 4.67 4.60 6/339 280091
/proc/meminfo: memFree=44632644/131524600 swapFree=131061696/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=16276664 CPUtime=3297.85 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 2393409 0 0 0 326674 3111 0 0 20 0 20 0 25209419 19566772224 4069166 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 4069166 5950 1 0 4082262 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=16276656 CPUtime=2796.92 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 1699755 0 0 0 276887 2805 0 0 20 0 20 0 25209420 19566772224 4069166 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 25221664 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=16276664 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069166 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=16276664 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 626 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069166 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 4069166 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3297.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16276664 KiB

[startup+3162.3 s]
/proc/loadavg: 4.27 4.56 4.56 6/336 280102
/proc/meminfo: memFree=43470580/131524600 swapFree=131061696/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=16276680 CPUtime=3360.24 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 2464281 0 0 0 332862 3162 0 0 20 0 20 0 25209419 19566772224 4069170 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 4069170 5950 1 0 4082262 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=16276664 CPUtime=2852.64 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 1767461 0 0 0 282410 2854 0 0 20 0 20 0 25209420 19566772224 4069170 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25221729 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=16276664 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069170 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=16276680 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 626 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069170 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=16276680 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 4069170 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3360.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16276680 KiB

[startup+3222.3 s]
/proc/loadavg: 4.42 4.55 4.55 6/338 280114
/proc/meminfo: memFree=42429088/131524600 swapFree=131061696/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=16276732 CPUtime=3430.28 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 2507496 0 0 0 339806 3222 0 0 20 0 20 0 25209419 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 4069183 5950 1 0 4082262 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=16276664 CPUtime=2908.88 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 1768765 0 0 0 287982 2906 0 0 20 0 20 0 25209420 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 25221794 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=74032 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=25656 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 689 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3430.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16276732 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.48 4.53 6/339 280128
/proc/meminfo: memFree=41402652/131524600 swapFree=131061696/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=16276732 CPUtime=3492.28 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 2509233 0 0 0 345948 3280 0 0 20 0 20 0 25209419 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 4069183 5950 1 0 4082262 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=16276732 CPUtime=2964.89 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 1769891 0 0 0 293528 2961 0 0 20 0 20 0 25209420 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25221851 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=16276732 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 689 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=74032 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 4069183 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3492.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16276732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.45 4.52 6/339 280139
/proc/meminfo: memFree=40076848/131524600 swapFree=131061696/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=16276752 CPUtime=3562.1 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 2510664 0 0 0 352873 3337 0 0 20 0 20 0 25209419 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 4069188 5950 1 0 4082262 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=5592 CPUtime=3020.44 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 1770344 0 0 0 299030 3014 0 0 20 0 20 0 25209420 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 25221915 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=74032 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 689 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=16276752 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3562.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16276752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3379.11 s]
/proc/loadavg: 4.20 4.41 4.50 7/342 280149
/proc/meminfo: memFree=39461940/131524600 swapFree=131061696/131071996
[pid=278059] ppid=278044 vsize=19108176 memory=16276752 CPUtime=3600.09 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 2511021 0 0 0 356640 3369 0 0 20 0 20 0 25209419 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4777044 4069188 5950 1 0 4082262 0
[pid=278059/tid=278062] ppid=278044 vsize=19108176 memory=-7736759364931380095 CPUtime=3055.23 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) R 278044 278059 277987 0 -1 4194368 1770371 0 0 0 302479 3044 0 0 20 0 20 0 25209420 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25221941 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19108176 memory=8064 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 689 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278132] ppid=278044 vsize=19108176 memory=74032 CPUtime=0 cores=4,6
/proc/278059/task/278132/stat : 278132 (Timer-0) S 278044 278059 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209545 19566772224 4069188 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16276752 KiB

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

[startup+3379.44 s]
# the end of solver process 278059 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3566.56 s, system=33.8262 s

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

[startup+3379.2 s]
/proc/loadavg: 4.20 4.41 4.50 7/342 280149
/proc/meminfo: memFree=39461940/131524600 swapFree=131061696/131071996
[pid=278059] ppid=278044 vsize=19307868 memory=16277312 CPUtime=3600.27 cores=4,6
/proc/278059/stat : 278059 (java) S 278044 278059 277987 0 -1 1077936128 2513787 0 0 0 356656 3371 0 0 20 0 15 0 25209419 19771256832 4069328 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
/proc/278059/statm: 4826967 4069328 5949 1 0 4083197 0
[pid=278059/tid=278062] ppid=278044 vsize=19307868 memory=16276680 CPUtime=3055.33 cores=4,6
/proc/278059/task/278062/stat : 278062 (java) D 278044 278059 277987 0 -1 4194368 1770501 0 0 0 302487 3046 0 0 20 0 15 0 25209420 19771256832 4069328 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25221941 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278097] ppid=278044 vsize=19307868 memory=20252 CPUtime=0 cores=4,6
/proc/278059/task/278097/stat : 278097 (Finalizer) S 278044 278059 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 25209423 19771256832 4069328 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
[pid=278059/tid=278128] ppid=278044 vsize=19307868 memory=16276680 CPUtime=0 cores=4,6
/proc/278059/task/278128/stat : 278128 (Common-Cleaner) S 278044 278059 277987 0 -1 1077936192 689 0 0 0 0 0 0 0 20 0 15 0 25209423 19771256832 4069328 134679101440 94710800441344 94710800445040 140736676085376 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94710800452856 94710800453648 94710812626944 140736676090795 140736676090977 140736676090977 140736676097992 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16277312 KiB

[startup+3379.4 s]*
/proc/loadavg: 4.20 4.41 4.50 5/324 280153
/proc/meminfo: memFree=53639508/131524600 swapFree=131061696/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3379.44
CPU time (s): 3600.39
CPU user time (s): 3566.56
CPU system time (s): 33.8262
CPU usage (%): 106.538
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16277312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.56
system time used= 33.8262
maximum resident set size= 16278116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2513836
page faults= 0
swaps= 0
block input operations= 8
block output operations= 74216520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144743
involuntary context switches= 30943


# summary of solver processes directly reported to runsolver:
#   pid: 278059
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3566.56
#   total CPU system time (s): 33.8262

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1242 second user time and 19.1224 second system time

The end

Begin job on nodeC024 at 2024-07-25 07:54:24
IDJOB=4457577
IDBENCH=176418
IDSOLVER=3079
FILE ID=nodeC024/4457577-1721886864
RUNJOBID= nodeC024-1721886864-277998
SLURM_JOB_ID= 8089288
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/normalized-knapPI_5_2000_10000_5_-952740.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457577-1721886864/watcher-4457577-1721886864 -o /tmp/evaluation-result-4457577-1721886864/solver-4457577-1721886864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721886864-277998 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4457577-1721886864 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457577-1721886864.opb

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

MD5SUM BENCH= e208dfd6470fdaec043d153d73efd29c
RANDOM SEED=303067873

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3501.572
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3623.420
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3235.734
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3586.879
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3767.744
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3669.732
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3729.346
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3607.486
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117546836 kB
MemAvailable:   129639072 kB
Buffers:          303136 kB
Cached:         12547388 kB
SwapCached:           92 kB
Active:          2709424 kB
Inactive:       10516184 kB
Active(anon):       1456 kB
Inactive(anon):   427640 kB
Active(file):    2707968 kB
Inactive(file): 10088544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:              2948 kB
Writeback:             0 kB
AnonPages:        374536 kB
Mapped:           118916 kB
Shmem:             54012 kB
KReclaimable:     271092 kB
Slab:             393804 kB
SReclaimable:     271092 kB
SUnreclaim:       122712 kB
KernelStack:        3896 kB
PageTables:        10300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     758948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC024 at 2024-07-25 08:50:44