Trace number 4433373

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_no_SoPlex 2024-07-05SAT (TO)4392960 3600.05 3612.51

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUM5c8d8ce64a950076da07daccd75facb4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4052992
Best CPU time to get the best result obtained on this benchmark71226.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.10/0.15	o 30192712
0.10/0.17	o 13845141
0.10/0.17	o 13704853
0.10/0.17	o 13582997
0.10/0.17	o 13501077
0.10/0.17	o 13358741
0.10/0.18	o 13283989
0.10/0.18	o 13174421
0.10/0.18	o 13079189
0.10/0.18	o 12946069
0.10/0.18	o 12810901
0.10/0.19	o 12698261
0.10/0.19	o 12556949
0.10/0.19	o 12472981
0.10/0.19	o 12385941
0.10/0.19	o 12230293
0.10/0.20	o 12223214
0.10/0.20	o 12143342
0.10/0.21	o 12142066
0.21/0.30	o 12142018
0.68/0.72	o 12112198
0.68/0.74	o 12112195
0.68/0.74	o 12112189
0.68/0.75	o 12112185
0.68/0.75	o 12005689
0.68/0.76	o 11929913
0.68/0.76	o 11826489
0.68/0.77	o 11698489
0.68/0.77	o 11573561
0.68/0.77	o 11500857
0.68/0.77	o 11347257
0.68/0.78	o 11254073
0.68/0.78	o 11144505
0.68/0.78	o 11062585
0.68/0.78	o 10930489
0.68/0.79	o 10818873
0.68/0.79	o 10670393
0.68/0.79	o 10529081
0.68/0.79	o 10446137
0.68/0.80	o 10311993
0.78/0.80	o 10204473
0.78/0.80	o 10053945
0.78/0.80	o 9953593
0.78/0.80	o 9818425
0.78/0.81	o 9745721
0.78/0.81	o 9631033
0.78/0.81	o 9496889
0.78/0.89	o 9496885
0.88/0.93	o 9496877
0.88/0.94	o 9496861
1.68/1.73	o 9496860
2.99/3.03	o 9496854
3.09/3.19	o 9496842
3.18/3.23	o 9494794
3.67/3.73	o 9494490
3.67/3.76	o 9494410
3.67/3.79	o 9334679
15.83/15.98	o 9334655
15.83/16.00	o 9334615
15.95/16.03	o 9334611
15.95/16.04	o 9334607
15.95/16.06	o 9334603
16.53/16.64	o 9334587
16.53/16.66	o 9334558
16.53/16.68	o 9334554
21.12/21.23	o 9333018
21.42/21.54	o 9318713
21.42/21.57	o 9318707
21.52/21.68	o 9318691
22.92/23.03	o 9318685
22.92/23.05	o 9318683
23.41/23.55	o 9309586
23.51/23.60	o 9309584
23.51/23.62	o 9309582
23.51/23.65	o 9309580
23.51/23.67	o 9217420
23.92/24.07	o 9217416
23.92/24.10	o 9217414
24.02/24.17	o 9217412
24.20/24.38	o 9217156
25.50/25.61	o 9137344
25.50/25.66	o 9137324
25.60/25.75	o 9137308
27.00/27.18	o 9137294
27.19/27.34	o 9137290
27.19/27.38	o 9137276
27.40/27.57	o 9135484
27.70/27.84	o 9135372
28.49/28.62	o 9135368
28.49/28.65	o 9135366
28.69/28.87	o 9134477
28.90/29.07	o 9134476
29.00/29.11	o 9134468
29.00/29.17	o 9134464
29.09/29.27	o 9134208
30.58/30.70	o 9134198
30.78/30.93	o 9015414
30.78/31.00	o 9015400
30.89/31.03	o 9015393
30.89/31.07	o 9013601
31.28/31.48	o 9000257
31.38/31.52	o 9000255
31.58/31.79	o 8908102
31.68/31.83	o 8908099
31.68/31.87	o 8908095
31.78/31.91	o 8908093
31.78/31.94	o 8908089
32.57/32.76	o 8908081
42.25/42.47	o 8908069
42.35/42.52	o 8907733
43.14/43.39	o 8907725
43.44/43.66	o 8907701
43.64/43.80	o 8907697
43.74/44.00	o 8907690
44.74/44.91	o 8907679
44.74/44.99	o 8907551
45.04/45.26	o 8907535
45.24/45.49	o 8900367
45.34/45.56	o 8900366
45.34/45.59	o 8898318
45.74/45.94	o 8898314
45.74/45.97	o 8898312
45.85/46.01	o 8898311
45.85/46.03	o 8898310
45.85/46.06	o 8898309
47.63/47.86	o 8898305
47.63/47.88	o 8898304
47.73/47.91	o 8898303
47.73/47.97	o 8898299
47.73/48.01	o 8898291
47.84/48.04	o 8898284
51.22/51.40	o 8898272
51.83/52.05	o 8866166
51.83/52.10	o 8866164
52.01/52.29	o 8810908
52.11/52.33	o 8810907
52.11/52.35	o 8810898
55.92/56.19	o 8810882
69.26/69.55	o 8810858
69.26/69.57	o 8810794
71.65/71.99	o 8810793
71.76/72.09	o 8810729
71.86/72.16	o 8761704
71.86/72.18	o 8728936
71.95/72.20	o 8728928
72.15/72.44	o 8728864
72.15/72.46	o 8728860
72.15/72.48	o 8728858
72.55/72.88	o 8728857
72.65/72.90	o 8728853
72.65/72.95	o 8728849
72.65/72.97	o 8728846
72.65/72.98	o 8728798
72.65/72.99	o 8728670
72.95/73.21	o 8728630
72.95/73.26	o 8728628
72.95/73.27	o 8728624
73.25/73.51	o 8728596
73.25/73.57	o 8728476
73.35/73.62	o 8728465
73.35/73.65	o 8728453
73.94/74.26	o 8728449
74.04/74.36	o 8728425
74.04/74.38	o 8728415
74.14/74.41	o 8728412
74.14/74.44	o 8728299
74.14/74.46	o 8728107
74.34/74.60	o 8716080
74.34/74.62	o 8716075
74.34/74.63	o 8716073
75.44/75.76	o 8716069
75.64/76.00	o 8711973
75.75/76.04	o 8711749
75.85/76.15	o 8711743
76.14/76.43	o 8711736
76.53/76.81	o 8711720
76.53/76.89	o 8711688
76.63/76.91	o 8711685
76.63/76.93	o 8711675
76.63/76.96	o 8711547
76.63/76.99	o 8711525
76.75/77.01	o 8711521
76.75/77.11	o 8711489
76.85/77.18	o 8711479
76.93/77.22	o 8711447
76.93/77.28	o 8710935
77.03/77.30	o 8710679
77.03/77.33	o 8709655
77.03/77.38	o 8709527
77.13/77.43	o 8709495
77.53/77.81	o 8709479
78.03/78.39	o 8709435
78.13/78.41	o 8709371
79.02/79.31	o 8709365
79.52/79.87	o 8707317
79.62/79.90	o 8707309
80.12/80.42	o 8707307
80.12/80.47	o 8707305
81.02/81.34	o 8691952
90.59/90.98	o 8691950
90.59/90.99	o 8616174
90.70/91.04	o 8616172
90.70/91.06	o 8616165
90.70/91.10	o 8614117
90.80/91.13	o 8613605
90.89/91.27	o 8613589
90.89/91.28	o 8613573
90.89/91.29	o 8613445
90.98/91.32	o 8613317
90.98/91.33	o 8613313
91.48/91.80	o 8613309
91.48/91.83	o 8613307
91.48/91.85	o 8613275
91.48/91.87	o 8613259
91.58/91.93	o 8536459
92.48/92.89	o 8536379
94.78/95.19	o 8536355
95.27/95.68	o 8536347
95.47/95.82	o 8536339
101.85/102.21	o 8536333
112.91/113.32	o 8536330
112.91/113.33	o 8536324
112.91/113.35	o 8536319
112.91/113.36	o 8536312
112.91/113.39	o 8477032
113.01/113.40	o 8476968
113.01/113.42	o 8476936
113.11/113.52	o 8476934
113.11/113.56	o 8476930
113.11/113.57	o 8474434
113.21/113.62	o 8474432
113.21/113.63	o 8474421
113.21/113.64	o 8474420
113.21/113.65	o 8323892
113.31/113.72	o 8323884
113.31/113.73	o 8323883
113.31/113.78	o 8323873
113.41/113.80	o 8323745
113.41/113.82	o 8323729
113.91/114.31	o 8323726
114.01/114.44	o 8323723
114.01/114.45	o 8323720
114.31/114.74	o 8323715
114.31/114.79	o 8323710
114.41/114.82	o 8323709
114.80/115.20	o 8323704
116.80/117.27	o 8323703
116.90/117.33	o 8323702
117.61/118.04	o 8323693
118.19/118.66	o 8323692
119.09/119.50	o 8323689
119.19/119.62	o 8323687
119.39/119.83	o 8320613
119.49/119.92	o 8320612
119.79/120.24	o 8320611
119.99/120.48	o 8320605
120.09/120.52	o 8227445
121.28/121.73	o 8227442
121.69/122.18	o 8203547
121.98/122.43	o 8203541
167.14/167.76	o 8202773
167.14/167.77	o 8202581
167.14/167.78	o 8202485
167.24/167.86	o 8202483
167.45/168.05	o 8202479
167.45/168.06	o 8202477
167.55/168.12	o 8202463
167.55/168.14	o 8190175
167.64/168.23	o 8190171
167.64/168.25	o 8187611
167.64/168.27	o 8187605
167.83/168.45	o 8187599
168.33/169.00	o 8187589
168.44/169.04	o 8187547
168.83/169.49	o 8187541
168.93/169.51	o 8187517
169.83/170.46	o 8187510
170.03/170.65	o 8187504
170.33/170.92	o 8187496
170.33/170.99	o 8187490
170.44/171.03	o 8187483
170.44/171.05	o 8187476
170.44/171.06	o 8187462
172.43/173.08	o 8187456
179.99/180.60	o 8187453
188.48/189.18	o 8187449
188.48/189.19	o 8187442
188.56/189.20	o 8187357
188.66/189.30	o 8187350
189.16/189.87	o 8187298
189.16/189.87	o 8187290
189.16/189.89	o 8187288
189.26/189.90	o 8187284
189.86/190.59	o 8187270
189.96/190.61	o 8187266
190.96/191.65	o 8187263
203.12/203.86	o 8187250
203.12/203.87	o 8187239
203.12/203.87	o 8187226
203.12/203.88	o 8187213
203.12/203.89	o 8186765
204.42/205.13	o 8186701
204.71/205.40	o 8186669
204.71/205.42	o 8153925
205.01/205.76	o 8143673
205.01/205.77	o 8143671
205.01/205.78	o 8143647
205.01/205.79	o 8086291
205.11/205.80	o 8083229
205.21/205.92	o 8083214
205.21/205.95	o 8083154
205.21/205.98	o 8083141
205.81/206.52	o 8083140
206.60/207.39	o 8083139
206.90/207.63	o 8083107
207.00/207.73	o 8083100
207.00/207.78	o 8074908
207.80/208.58	o 8074906
208.20/208.94	o 8074905
208.20/208.96	o 8074898
208.60/209.32	o 8074386
211.19/211.95	o 8074374
211.19/211.99	o 8074362
211.30/212.09	o 8009306
211.59/212.35	o 8009146
216.17/216.95	o 8009135
216.17/216.99	o 8009127
216.28/217.03	o 8009123
216.28/217.06	o 8009110
216.97/217.71	o 8009098
217.38/218.15	o 8009096
217.57/218.32	o 7969650
217.57/218.36	o 7969648
217.67/218.40	o 7969647
217.67/218.46	o 7969624
225.64/226.43	o 7969368
225.94/226.71	o 7969357
225.94/226.73	o 7969353
225.94/226.74	o 7880265
228.53/229.32	o 7880249
228.53/229.33	o 7880247
228.73/229.54	o 7880243
228.73/229.55	o 7880241
228.73/229.56	o 7880239
228.73/229.57	o 7880215
228.83/229.60	o 7880187
228.83/229.61	o 7880165
234.81/235.64	o 7880163
238.99/239.89	o 7880155
243.38/244.23	o 7880150
253.54/254.44	o 7880144
253.64/254.59	o 7880138
256.04/256.93	o 7880134
256.04/256.97	o 7880110
256.04/257.01	o 7880098
256.25/257.19	o 7879458
256.33/257.23	o 7879202
287.23/288.22	o 7878178
287.53/288.59	o 7878174
287.63/288.60	o 7876638
287.63/288.61	o 7875870
287.93/288.94	o 7875863
287.93/288.95	o 7875844
287.93/288.99	o 7875828
288.04/289.06	o 7875316
288.14/289.18	o 7875284
288.23/289.25	o 7875265
296.50/297.59	o 7875261
306.98/308.03	o 7844186
306.98/308.06	o 7769434
306.98/308.08	o 7702874
306.98/308.10	o 7576922
307.08/308.11	o 7504218
307.37/308.43	o 7504207
307.37/308.46	o 7504203
307.37/308.49	o 7504199
316.44/317.59	o 7504196
324.92/326.05	o 7504192
324.92/326.06	o 7504190
325.02/326.13	o 7504187
325.02/326.13	o 7504178
325.02/326.17	o 7503986
325.11/326.20	o 7503985
325.11/326.21	o 7503981
325.11/326.29	o 7503978
325.21/326.33	o 7503957
325.30/326.46	o 7503953
325.30/326.48	o 7503441
325.30/326.49	o 7503185
325.40/326.59	o 7501137
325.50/326.62	o 7501073
325.60/326.73	o 7501057
325.92/327.02	o 7501050
326.70/327.83	o 7501047
328.10/329.27	o 7501045
328.19/329.39	o 7501041
328.29/329.46	o 7501037
328.39/329.52	o 7500653
329.09/330.22	o 7500651
329.39/330.56	o 7500647
345.14/346.36	o 7500635
346.23/347.49	o 7500632
346.33/347.56	o 7500624
352.21/353.42	o 7494544
352.31/353.50	o 7494540
352.41/353.69	o 7494537
352.92/354.11	o 7494525
353.01/354.21	o 7494510
353.01/354.23	o 7494492
353.01/354.25	o 7494480
353.11/354.30	o 7494446
353.11/354.33	o 7494396
353.11/354.36	o 7494374
353.11/354.38	o 7494368
372.15/373.45	o 7494365
373.04/374.35	o 7494345
373.34/374.63	o 7494338
373.34/374.66	o 7494335
376.53/377.86	o 7494332
389.29/390.64	o 7494328
389.29/390.66	o 7494304
389.29/390.66	o 7494176
389.29/390.70	o 7493904
389.39/390.75	o 7493896
389.49/390.80	o 7493888
389.49/390.81	o 7485741
389.49/390.82	o 7485725
390.09/391.47	o 7485721
390.19/391.57	o 7485713
390.39/391.76	o 7485705
390.48/391.81	o 7469335
390.58/391.92	o 7450782
390.58/391.94	o 7450750
390.80/392.14	o 7450743
390.80/392.16	o 7450719
390.80/392.19	o 7450711
391.28/392.65	o 7450699
391.69/393.07	o 7450696
391.88/393.20	o 7450692
391.88/393.21	o 7450691
391.98/393.34	o 7450688
392.58/393.90	o 7450685
392.58/393.92	o 7426109
392.69/394.01	o 7422013
392.69/394.07	o 7421989
392.69/394.10	o 7421949
394.87/396.20	o 7421935
394.87/396.24	o 7421933
412.51/413.95	o 7421929
424.47/425.96	o 7421917
425.37/426.88	o 7421913
425.58/427.03	o 7421865
425.87/427.35	o 7421861
426.16/427.63	o 7421857
426.16/427.66	o 7421847
426.16/427.69	o 7421836
426.26/427.73	o 7421812
426.36/427.86	o 7421810
426.36/427.87	o 7421799
426.36/427.89	o 7421797
427.16/428.67	o 7421785
428.76/430.23	o 7421761
428.85/430.35	o 7421749
428.85/430.39	o 7421747
428.95/430.42	o 7421745
435.43/436.93	o 7421741
435.83/437.34	o 7421260
435.83/437.39	o 7421259
435.93/437.42	o 7421257
437.13/438.67	o 7414371
437.23/438.73	o 7414365
437.23/438.76	o 7414362
437.23/438.79	o 7332442
463.74/465.39	o 7332431
463.84/465.40	o 7332419
464.04/465.63	o 7332417
464.04/465.64	o 7332409
464.04/465.65	o 7242297
464.14/465.77	o 7242292
464.84/466.40	o 7242291
464.84/466.41	o 7242286
464.84/466.42	o 7240238
465.24/466.87	o 7240235
467.33/468.99	o 7240231
468.54/470.13	o 7239719
470.53/472.19	o 7239718
470.62/472.23	o 7239715
472.01/473.61	o 7239713
472.42/474.01	o 7239641
473.21/474.86	o 7239631
473.31/474.90	o 7239627
473.31/474.94	o 7239567
473.61/475.20	o 7239553
474.42/476.07	o 7239421
474.52/476.13	o 7239393
474.52/476.18	o 7239389
474.60/476.26	o 7239386
474.70/476.31	o 7237722
474.80/476.44	o 7237706
475.30/476.97	o 7237704
475.41/477.02	o 7237700
476.30/477.98	o 7105604
476.60/478.23	o 7105252
477.10/478.75	o 7103716
477.51/479.20	o 7103524
477.99/479.66	o 7103508
478.09/479.77	o 7103476
478.19/479.86	o 7097844
478.29/479.91	o 7097812
478.29/479.97	o 7097786
480.09/481.78	o 7097782
483.28/484.98	o 7097780
483.77/485.47	o 7078536
488.27/489.90	o 7078526
489.66/491.33	o 7078518
492.15/493.84	o 7078500
495.84/497.54	o 7078436
507.60/509.36	o 7078434
507.60/509.37	o 7078427
509.31/511.05	o 7068483
509.31/511.07	o 7068475
509.41/511.14	o 7068470
509.49/511.23	o 7068468
519.56/521.33	o 7068466
537.00/538.84	o 7068202
537.00/538.86	o 7068186
537.00/538.87	o 7068184
539.39/541.22	o 7068180
539.39/541.23	o 7068176
560.82/562.76	o 7068160
562.13/564.04	o 7068156
562.13/564.06	o 7068146
562.13/564.07	o 7068050
562.13/564.08	o 7068018
564.31/566.22	o 7055506
577.67/579.61	o 7055500
577.67/579.62	o 7055497
577.67/579.63	o 7055492
597.20/599.21	o 7055364
597.20/599.25	o 7055359
597.20/599.26	o 7055357
597.50/599.52	o 7055293
597.50/599.57	o 7055261
597.60/599.60	o 7055255
597.90/599.92	o 7055246
598.01/600.08	o 7033996
598.29/600.37	o 7033993
598.59/600.62	o 7033990
598.59/600.66	o 7033985
598.89/600.95	o 7033969
598.89/600.99	o 7033968
599.10/601.19	o 7033965
599.19/601.23	o 7033964
601.28/603.39	o 7033961
601.38/603.42	o 7027817
601.38/603.44	o 7024745
602.09/604.18	o 7024742
602.18/604.20	o 7024733
602.18/604.28	o 7024732
602.68/604.76	o 7024684
604.37/606.49	o 7024683
621.72/623.82	o 7024363
622.92/625.04	o 7024355
622.92/625.06	o 7024347
622.92/625.08	o 7024337
622.92/625.09	o 7024331
622.92/625.10	o 7024283
622.92/625.11	o 7024251
623.31/625.40	o 7024248
623.31/625.42	o 7024242
623.31/625.43	o 7024230
623.31/625.44	o 7024227
625.30/627.40	o 7024225
625.30/627.41	o 7024219
625.30/627.45	o 6953869
625.80/627.98	o 6953853
625.91/628.02	o 6953837
626.20/628.37	o 6953829
626.30/628.40	o 6953813
626.30/628.41	o 6953797
627.30/629.48	o 6953781
627.60/629.76	o 6953770
632.08/634.27	o 6953768
632.18/634.35	o 6953746
640.75/642.94	o 6953735
645.14/647.30	o 6953732
660.19/662.46	o 6953688
660.19/662.47	o 6953681
660.19/662.48	o 6953669
661.28/663.58	o 6953653
661.48/663.71	o 6953635
661.48/663.75	o 6953630
661.58/663.81	o 6953625
668.66/670.98	o 6953622
669.66/671.99	o 6953614
670.05/672.37	o 6953610
671.65/673.97	o 6953101
671.65/674.00	o 6953098
672.86/675.12	o 6953086
684.41/686.71	o 6953070
684.41/686.73	o 6953062
684.41/686.75	o 6952934
684.41/686.77	o 6952886
685.40/687.73	o 6952876
685.40/687.74	o 6952868
685.60/687.91	o 6952861
685.60/687.96	o 6952847
685.90/688.21	o 6952839
685.90/688.22	o 6952831
686.50/688.82	o 6952830
686.50/688.84	o 6952829
686.90/689.28	o 6952788
687.00/689.30	o 6952781
687.00/689.35	o 6906660
687.10/689.49	o 6906646
689.19/691.51	o 6906639
689.59/692.00	o 6906635
689.80/692.19	o 6900491
689.89/692.28	o 6900489
689.99/692.31	o 6900487
699.67/702.08	o 6900475
715.31/717.77	o 6900474
715.31/717.78	o 6900473
717.31/719.73	o 6900472
717.41/719.86	o 6900470
717.81/720.24	o 6900453
717.81/720.27	o 6900442
718.61/721.01	o 6900440
719.50/722.01	o 6900418
719.61/722.03	o 6900400
723.09/725.51	o 6900393
729.77/732.21	o 6900382
745.12/747.63	o 6900381
755.59/758.13	o 6900369
756.98/759.50	o 6900345
757.08/759.62	o 6900293
757.08/759.64	o 6900287
757.08/759.66	o 6895219
757.08/759.66	o 6895139
768.14/770.75	o 6895091
768.14/770.76	o 6895051
768.14/770.77	o 6895007
769.33/771.90	o 6895006
769.63/772.26	o 6894962
769.73/772.32	o 6894940
769.73/772.35	o 6894935
769.73/772.37	o 6894933
771.13/773.77	o 6894917
771.13/773.79	o 6894909
771.23/773.81	o 6894901
771.23/773.83	o 6894893
771.23/773.87	o 6894885
772.82/775.44	o 6894880
772.92/775.54	o 6894875
773.43/776.09	o 6894867
774.82/777.42	o 6894856
775.31/777.98	o 6894850
776.42/779.06	o 6894818
776.61/779.22	o 6894816
778.20/780.81	o 6894800
778.80/781.46	o 6894792
778.90/781.51	o 6894791
778.90/781.55	o 6893767
782.09/784.71	o 6893763
782.09/784.75	o 6893760
782.19/784.81	o 6893755
790.16/792.82	o 6893754
802.13/804.83	o 6893750
803.22/805.99	o 6893745
803.72/806.46	o 6893744
803.82/806.52	o 6893742
803.82/806.54	o 6893710
803.82/806.59	o 6893707
803.92/806.61	o 6893706
803.92/806.62	o 6893704
803.92/806.65	o 6893694
803.92/806.66	o 6893692
803.92/806.69	o 6893661
804.02/806.70	o 6893659
804.02/806.71	o 6893657
804.12/806.82	o 6893652
804.52/807.20	o 6893628
805.71/808.42	o 6892924
806.71/809.48	o 6892916
806.81/809.50	o 6892914
829.04/831.81	o 6892909
829.04/831.82	o 6892903
829.04/831.84	o 6892898
829.93/832.70	o 6892892
830.03/832.86	o 6892887
830.34/833.11	o 6892867
830.73/833.52	o 6892861
830.73/833.54	o 6892850
831.03/833.88	o 6892843
831.34/834.13	o 6892838
831.83/834.66	o 6892825
831.83/834.68	o 6892822
833.33/836.11	o 6892820
833.62/836.41	o 6892817
833.62/836.43	o 6892815
833.92/836.79	o 6892810
834.02/836.84	o 6892807
834.62/837.46	o 6892800
834.62/837.48	o 6892795
835.02/837.82	o 6892791
836.71/839.57	o 6892784
836.81/839.61	o 6892781
837.32/840.17	o 6892777
837.91/840.71	o 6892769
840.50/843.30	o 6892738
842.49/845.37	o 6892733
843.20/846.05	o 6892732
843.79/846.69	o 6892726
845.29/848.17	o 6892569
845.38/848.23	o 6892566
845.58/848.45	o 6892554
847.08/849.94	o 6892552
847.19/850.02	o 6886408
847.29/850.13	o 6886405
849.97/852.82	o 6886403
855.35/858.23	o 6886398
855.45/858.30	o 6886395
855.55/858.40	o 6886391
855.55/858.46	o 6886386
855.65/858.51	o 6886383
860.73/863.69	o 6886379
860.93/863.85	o 6886350
861.43/864.36	o 6886348
861.53/864.43	o 6886340
861.73/864.60	o 6886317
884.16/887.18	o 6886307
884.35/887.30	o 6886297
884.35/887.31	o 6886287
884.35/887.37	o 6886277
884.45/887.40	o 6886229
884.45/887.41	o 6886213
885.24/888.28	o 6886201
893.61/896.63	o 6886195
894.21/897.28	o 6886185
926.90/930.08	o 6886177
927.19/930.35	o 6886173
927.19/930.36	o 6886161
927.19/930.36	o 6886157
927.19/930.37	o 6886145
928.00/931.19	o 6886144
928.18/931.32	o 6886134
928.18/931.33	o 6886132
928.18/931.35	o 6886130
928.58/931.71	o 6886020
928.58/931.77	o 6885976
931.67/934.89	o 6885965
933.47/936.62	o 6885954
939.25/942.42	o 6885950
958.48/961.78	o 6879246
958.48/961.79	o 6879245
959.18/962.43	o 6878733
959.18/962.44	o 6878732
959.18/962.45	o 6878727
959.89/963.20	o 6878723
959.98/963.21	o 6878722
959.98/963.25	o 6878717
959.98/963.26	o 6870525
959.98/963.28	o 6868477
961.79/965.05	o 6868474
961.79/965.06	o 6868468
961.79/965.07	o 6868420
961.79/965.09	o 6868396
961.79/965.10	o 6868384
962.07/965.35	o 6868382
966.56/969.82	o 6842778
966.56/969.86	o 6842772
966.66/969.93	o 6842765
967.95/971.23	o 6842762
968.45/971.72	o 6842746
969.35/972.67	o 6835108
969.45/972.70	o 6835084
969.45/972.73	o 6835072
969.55/972.87	o 6835070
969.65/972.99	o 6835069
969.76/973.02	o 6835067
969.95/973.22	o 6835064
969.95/973.26	o 6835061
970.05/973.30	o 6835049
976.92/980.26	o 6835043
977.02/980.34	o 6835031
988.99/992.36	o 6834999
1000.66/1004.03	o 6834991
1000.76/1004.16	o 6834985
1003.65/1007.01	o 6834983
1015.71/1019.11	o 6834919
1015.71/1019.16	o 6834897
1017.10/1020.50	o 6834861
1017.20/1020.63	o 6834849
1017.40/1020.83	o 6834841
1017.49/1021.00	o 6834838
1017.71/1021.13	o 6834836
1017.71/1021.16	o 6795154
1017.79/1021.26	o 6794832
1018.29/1021.71	o 6794824
1018.39/1021.83	o 6794822
1018.39/1021.85	o 6794814
1018.39/1021.87	o 6794750
1019.49/1022.92	o 6794739
1019.99/1023.44	o 6794734
1019.99/1023.46	o 6794733
1020.70/1024.17	o 6794731
1020.78/1024.27	o 6794728
1021.59/1025.03	o 6794727
1021.59/1025.10	o 6794719
1021.88/1025.35	o 6794715
1022.18/1025.68	o 6794699
1022.28/1025.72	o 6794697
1022.38/1025.88	o 6787018
1022.48/1025.97	o 6787009
1022.78/1026.21	o 6786998
1023.08/1026.51	o 6786992
1023.08/1026.59	o 6786989
1030.05/1033.54	o 6786983
1040.12/1043.65	o 6786975
1041.22/1044.71	o 6786973
1041.22/1044.77	o 6786968
1041.22/1044.79	o 6786966
1041.32/1044.82	o 6786957
1041.32/1044.83	o 6786925
1041.32/1044.83	o 6785901
1041.32/1044.84	o 6785645
1048.69/1052.20	o 6785637
1054.49/1058.04	o 6785125
1058.86/1062.45	o 6784869
1058.86/1062.46	o 6784773
1058.86/1062.46	o 6784772
1062.46/1066.01	o 6784516
1074.11/1077.76	o 6784484
1074.11/1077.77	o 6784436
1074.11/1077.78	o 6784308
1074.61/1078.26	o 6784304
1077.51/1081.11	o 6784302
1077.80/1081.47	o 6784294
1078.29/1081.99	o 6784292
1078.41/1082.05	o 6784290
1078.41/1082.08	o 6784266
1078.41/1082.10	o 6784265
1078.59/1082.22	o 6772425
1078.59/1082.27	o 6772419
1078.59/1082.29	o 6772415
1078.79/1082.47	o 6772413
1079.09/1082.80	o 6772409
1079.40/1083.08	o 6772406
1079.50/1083.15	o 6772318
1079.50/1083.19	o 6772317
1079.69/1083.30	o 6772311
1079.79/1083.49	o 6772308
1079.89/1083.51	o 6772302
1079.89/1083.53	o 6772295
1079.89/1083.55	o 6772291
1079.99/1083.60	o 6772275
1080.09/1083.76	o 6772261
1080.09/1083.78	o 6772254
1080.19/1083.80	o 6772247
1080.79/1084.40	o 6769553
1080.79/1084.45	o 6769550
1081.78/1085.45	o 6769547
1081.78/1085.49	o 6765451
1082.18/1085.83	o 6765437
1082.39/1086.04	o 6765436
1082.58/1086.23	o 6765433
1082.58/1086.26	o 6765432
1082.68/1086.33	o 6765376
1083.78/1087.47	o 6765372
1084.57/1088.25	o 6765369
1086.27/1089.96	o 6765367
1086.38/1090.01	o 6765365
1086.38/1090.06	o 6751029
1086.38/1090.10	o 6750005
1087.86/1091.50	o 6750003
1112.30/1116.07	o 6749995
1112.30/1116.08	o 6749993
1118.56/1122.32	o 6749992
1118.86/1122.67	o 6749948
1118.96/1122.70	o 6749946
1118.96/1122.73	o 6749944
1118.96/1122.76	o 6749942
1119.46/1123.23	o 6749940
1119.46/1123.25	o 6749938
1119.96/1123.73	o 6749935
1120.46/1124.24	o 6749933
1122.15/1126.00	o 6749929
1122.26/1126.03	o 6749925
1122.26/1126.05	o 6749917
1122.65/1126.42	o 6749907
1123.26/1127.08	o 6749895
1123.65/1127.48	o 6748871
1127.93/1131.75	o 6748870
1137.11/1140.95	o 6726342
1137.11/1140.98	o 6575814
1137.11/1140.98	o 6575786
1137.32/1141.18	o 6575785
1137.40/1141.24	o 6575782
1137.40/1141.28	o 6575774
1137.70/1141.57	o 6575772
1137.70/1141.58	o 6575744
1137.70/1141.59	o 6575730
1137.80/1141.63	o 6574716
1137.80/1141.64	o 6574492
1137.80/1141.65	o 6572700
1137.90/1141.80	o 6572686
1138.00/1141.83	o 6572658
1138.00/1141.84	o 6572644
1138.21/1142.10	o 6572630
1138.90/1142.72	o 6572566
1139.00/1142.83	o 6572558
1139.00/1142.84	o 6572550
1139.00/1142.86	o 6572542
1139.00/1142.87	o 6572534
1139.40/1143.23	o 6572524
1139.40/1143.25	o 6572454
1139.50/1143.31	o 6572422
1139.50/1143.37	o 6572418
1139.99/1143.84	o 6572411
1139.99/1143.85	o 6572410
1139.99/1143.87	o 6572403
1139.99/1143.88	o 6572402
1140.09/1144.01	o 6571954
1140.31/1144.17	o 6571934
1140.31/1144.19	o 6571933
1140.49/1144.35	o 6571921
1141.39/1145.21	o 6571917
1142.69/1146.58	o 6571912
1143.30/1147.12	o 6571911
1146.19/1150.03	o 6571399
1157.84/1161.78	o 6571381
1158.15/1162.09	o 6571372
1158.15/1162.10	o 6571308
1158.25/1162.11	o 6571276
1158.33/1162.28	o 6571275
1158.43/1162.31	o 6571274
1158.53/1162.49	o 6571260
1159.24/1163.18	o 6571259
1159.83/1163.74	o 6571258
1160.03/1163.97	o 6571255
1160.03/1164.01	o 6571254
1160.14/1164.03	o 6571250
1160.14/1164.04	o 6571234
1160.63/1164.59	o 6571233
1162.23/1166.18	o 6571165
1162.32/1166.21	o 6571161
1163.23/1167.20	o 6571158
1165.41/1169.32	o 6571155
1165.51/1169.40	o 6571152
1165.51/1169.43	o 6571149
1165.51/1169.47	o 6571145
1167.01/1171.01	o 6571133
1167.22/1171.18	o 6571131
1169.40/1173.37	o 6571107
1169.50/1173.40	o 6571102
1169.50/1173.44	o 6571094
1169.60/1173.50	o 6571089
1174.68/1178.64	o 6571088
1196.51/1200.59	o 6571087
1196.61/1200.61	o 6571086
1196.61/1200.62	o 6571085
1203.59/1207.62	o 6571081
1203.59/1207.64	o 6571080
1203.59/1207.66	o 6571079
1210.27/1214.37	o 6571078
1210.37/1214.43	o 6571077
1227.71/1231.87	o 6571075
1237.38/1241.54	o 6571073
1237.38/1241.56	o 6571069
1237.38/1241.57	o 6571067
1237.38/1241.57	o 6571065
1237.38/1241.58	o 6571063
1237.48/1241.60	o 6571055
1237.48/1241.61	o 6571051
1263.29/1267.50	o 6521643
1263.29/1267.53	o 6521628
1266.18/1270.44	o 6521626
1284.22/1288.56	o 6521621
1284.22/1288.58	o 6521617
1284.32/1288.60	o 6519394
1284.32/1288.60	o 6519392
1284.32/1288.61	o 6512526
1284.32/1288.62	o 6512522
1285.83/1290.14	o 6497892
1285.83/1290.16	o 6497887
1285.83/1290.18	o 6497878
1355.79/1360.37	o 6459222
1355.79/1360.39	o 6459220
1355.89/1360.46	o 6459200
1356.09/1360.60	o 6459199
1356.09/1360.62	o 6459193
1356.50/1361.09	o 6458937
1358.18/1362.73	o 6439239
1358.18/1362.74	o 6439231
1358.18/1362.75	o 6439219
1358.18/1362.76	o 6439203
1358.18/1362.77	o 6439143
1358.18/1362.79	o 6439139
1358.28/1362.80	o 6439130
1358.28/1362.82	o 6439114
1358.28/1362.84	o 6435018
1358.28/1362.85	o 6434510
1358.38/1362.98	o 6434494
1358.38/1363.00	o 6434490
1358.49/1363.02	o 6434489
1358.59/1363.11	o 6428388
1358.59/1363.12	o 6428381
1358.59/1363.13	o 6428379
1358.59/1363.15	o 6428378
1358.78/1363.32	o 6428376
1358.78/1363.33	o 6428374
1358.78/1363.34	o 6428246
1359.28/1363.87	o 6428240
1359.59/1364.18	o 6428236
1359.68/1364.20	o 6428234
1359.68/1364.27	o 6428220
1359.78/1364.31	o 6428156
1359.98/1364.50	o 6428083
1369.74/1374.36	o 6428049
1369.74/1374.37	o 6428035
1369.74/1374.38	o 6428017
1370.24/1374.82	o 6409585
1370.24/1374.87	o 6409576
1370.34/1374.94	o 6409574
1370.45/1375.08	o 6317414
1370.45/1375.09	o 6317412
1370.45/1375.10	o 6317410
1370.55/1375.11	o 6317406
1372.45/1377.08	o 6317402
1372.45/1377.09	o 6317398
1372.63/1377.23	o 6317392
1372.83/1377.49	o 6317136
1372.93/1377.55	o 6317104
1373.33/1377.94	o 6317098
1373.33/1377.98	o 6317090
1374.33/1378.94	o 6317088
1374.33/1378.95	o 6317086
1375.72/1380.37	o 6316958
1375.82/1380.40	o 6316470
1376.32/1380.96	o 6316414
1377.02/1381.62	o 6316350
1377.02/1381.65	o 6316348
1377.12/1381.74	o 6316336
1377.22/1381.84	o 6316328
1377.72/1382.34	o 6316294
1377.72/1382.37	o 6316292
1377.82/1382.46	o 6316290
1377.92/1382.56	o 6316284
1384.79/1389.48	o 6316280
1398.55/1403.24	o 6316275
1398.55/1403.25	o 6316272
1398.95/1403.60	o 6312396
1399.05/1403.78	o 6312395
1399.05/1403.78	o 6312392
1399.05/1403.79	o 6312360
1399.15/1403.81	o 6312358
1399.36/1404.09	o 6312342
1399.36/1404.11	o 6312338
1399.46/1404.12	o 6312326
1399.55/1404.20	o 6312294
1407.22/1411.99	o 6312254
1407.52/1412.24	o 6246774
1407.52/1412.28	o 6130038
1407.72/1412.48	o 6130036
1407.82/1412.50	o 6130034
1407.82/1412.54	o 6129810
1407.82/1412.56	o 6129698
1407.82/1412.58	o 6129186
1407.82/1412.59	o 6129122
1407.92/1412.61	o 6129010
1407.92/1412.62	o 6128898
1408.12/1412.84	o 6128870
1408.12/1412.87	o 6128758
1408.12/1412.88	o 6128702
1408.33/1413.09	o 6128674
1408.43/1413.12	o 6128562
1408.62/1413.35	o 6128530
1408.72/1413.40	o 6128522
1408.72/1413.43	o 6128498
1409.22/1413.94	o 6128482
1417.49/1422.24	o 6128480
1420.78/1425.54	o 6128428
1420.78/1425.57	o 6128425
1423.07/1427.87	o 6128423
1423.47/1428.28	o 6128403
1423.57/1428.31	o 6128389
1423.87/1428.63	o 6128381
1423.87/1428.69	o 6128253
1429.55/1434.33	o 6128225
1455.77/1460.63	o 6128218
1455.77/1460.68	o 6128203
1455.97/1460.87	o 6128202
1456.07/1460.91	o 6128199
1456.07/1460.92	o 6128192
1456.07/1460.93	o 6128080
1456.07/1460.94	o 6127744
1456.18/1461.09	o 6127740
1456.28/1461.12	o 6127738
1456.28/1461.13	o 6127736
1456.28/1461.15	o 6127732
1456.56/1461.48	o 6127730
1456.66/1461.54	o 6127622
1456.66/1461.55	o 6127586
1456.76/1461.67	o 6124710
1456.76/1461.68	o 6124694
1456.76/1461.69	o 6124674
1456.86/1461.70	o 6124530
1456.86/1461.71	o 6124514
1456.86/1461.79	o 6124458
1456.96/1461.82	o 6124444
1457.06/1462.00	o 6067092
1457.17/1462.01	o 6067090
1459.95/1464.88	o 6067074
1460.05/1464.91	o 6067066
1460.05/1464.93	o 6067042
1460.05/1464.96	o 6066786
1460.05/1464.98	o 6066772
1460.05/1465.00	o 5958228
1462.26/1467.14	o 5958212
1470.32/1475.21	o 5958200
1470.32/1475.25	o 5958197
1511.19/1516.27	o 5958189
1511.49/1516.54	o 5958171
1511.49/1516.55	o 5958164
1511.69/1516.75	o 5958160
1511.69/1516.76	o 5958158
1511.89/1516.96	o 5958157
1511.89/1516.99	o 5861934
1511.89/1516.99	o 5861932
1511.89/1517.00	o 5861931
1512.28/1517.33	o 5861930
1512.58/1517.63	o 5861926
1512.68/1517.77	o 5861922
1512.78/1517.86	o 5861912
1512.88/1517.96	o 5861908
1512.88/1517.97	o 5861907
1512.88/1517.99	o 5861904
1512.88/1518.01	o 5861872
1512.99/1518.03	o 5861864
1513.28/1518.35	o 5861862
1513.28/1518.37	o 5861854
1514.18/1519.24	o 5861838
1515.87/1520.93	o 5861835
1516.77/1521.85	o 5861819
1516.87/1521.95	o 5861811
1516.87/1521.98	o 5861783
1520.46/1525.51	o 5861767
1532.12/1537.24	o 5861735
1532.12/1537.26	o 5861729
1532.12/1537.28	o 5861725
1532.32/1537.44	o 5861709
1532.42/1537.53	o 5861708
1532.42/1537.57	o 5861707
1532.72/1537.83	o 5861451
1532.82/1537.95	o 5861449
1532.82/1537.96	o 5861447
1533.31/1538.47	o 5861445
1533.61/1538.73	o 5861444
1533.61/1538.79	o 5861438
1533.71/1538.81	o 5861436
1533.71/1538.83	o 5861434
1534.61/1539.77	o 5861433
1534.81/1539.95	o 5861431
1534.81/1539.97	o 5861429
1534.92/1540.04	o 5861427
1535.21/1540.37	o 5861299
1535.31/1540.43	o 5861171
1535.92/1541.10	o 5861138
1536.02/1541.12	o 5861137
1536.10/1541.22	o 5861136
1536.10/1541.27	o 5860624
1536.20/1541.36	o 5860623
1536.50/1541.65	o 5860620
1536.60/1541.72	o 5860619
1537.20/1542.36	o 5860611
1537.80/1542.92	o 5860600
1537.80/1542.94	o 5767416
1537.80/1542.97	o 5767414
1539.09/1544.26	o 5767398
1539.09/1544.28	o 5767396
1539.69/1544.89	o 5767388
1540.19/1545.36	o 5767004
1540.39/1545.56	o 5766876
1542.28/1547.41	o 5766875
1552.86/1558.06	o 5766871
1554.04/1559.21	o 5766869
1554.04/1559.22	o 5766805
1554.04/1559.23	o 5766773
1554.04/1559.26	o 5766771
1554.14/1559.32	o 5681813
1554.24/1559.41	o 5681805
1554.74/1560.00	o 5681797
1554.85/1560.02	o 5681793
1555.04/1560.22	o 5681731
1555.14/1560.30	o 5681723
1555.34/1560.54	o 5681705
1555.85/1561.06	o 5681689
1555.85/1561.10	o 5681681
1556.34/1561.55	o 5681679
1556.34/1561.57	o 5681551
1556.34/1561.59	o 5681547
1558.03/1563.28	o 5657567
1558.13/1563.33	o 5625823
1558.13/1563.35	o 5625631
1558.23/1563.49	o 5625603
1558.33/1563.50	o 5625563
1559.13/1564.30	o 5625539
1559.13/1564.33	o 5625527
1559.13/1564.37	o 5625499
1559.95/1565.15	o 5625483
1559.95/1565.17	o 5625463
1560.33/1565.58	o 5625459
1560.63/1565.89	o 5625441
1560.73/1565.91	o 5625427
1560.73/1565.93	o 5625409
1560.73/1565.95	o 5625395
1563.22/1568.43	o 5625387
1563.22/1568.46	o 5625383
1564.22/1569.41	o 5625380
1580.27/1585.59	o 5625360
1580.37/1585.60	o 5625340
1580.97/1586.29	o 5625304
1592.93/1598.23	o 5625292
1592.93/1598.25	o 5625272
1607.48/1612.87	o 5625224
1608.18/1613.53	o 5625221
1616.15/1621.57	o 5625215
1617.85/1623.20	o 5624584
1617.85/1623.25	o 5624581
1617.85/1623.29	o 5624569
1640.37/1645.80	o 5624531
1640.37/1645.85	o 5624179
1643.76/1649.20	o 5624163
1643.96/1649.47	o 5624075
1644.96/1650.42	o 5624068
1644.96/1650.44	o 5624067
1645.16/1650.64	o 5624066
1645.16/1650.67	o 5624064
1645.16/1650.68	o 5624063
1645.26/1650.71	o 5624061
1645.26/1650.73	o 5624060
1645.96/1651.41	o 5624059
1650.94/1656.45	o 5623939
1651.04/1656.54	o 5623037
1651.04/1656.59	o 5623035
1653.33/1658.81	o 5623025
1657.42/1662.90	o 5623024
1658.02/1663.54	o 5623004
1658.02/1663.58	o 5623002
1658.12/1663.61	o 5623000
1658.21/1663.72	o 5622990
1658.21/1663.76	o 5622984
1659.01/1664.57	o 5622983
1667.29/1672.83	o 5622663
1667.29/1672.84	o 5622567
1667.29/1672.85	o 5622535
1667.39/1672.98	o 5622529
1667.60/1673.15	o 5561089
1667.68/1673.20	o 5560969
1669.59/1675.16	o 5560961
1669.68/1675.23	o 5560937
1670.77/1676.33	o 5560897
1677.05/1682.67	o 5560877
1685.54/1691.14	o 5560781
1685.54/1691.15	o 5560757
1685.54/1691.17	o 5560751
1685.82/1691.47	o 5560749
1689.31/1694.91	o 5560741
1689.52/1695.17	o 5560677
1697.40/1703.07	o 5523253
1707.85/1713.56	o 5523243
1707.95/1713.67	o 5523195
1708.05/1713.73	o 5523179
1708.05/1713.75	o 5523159
1708.75/1714.40	o 5523149
1708.75/1714.42	o 5523139
1708.75/1714.43	o 5522979
1708.75/1714.45	o 5522969
1709.46/1715.13	o 5522949
1715.13/1720.82	o 5522937
1715.13/1720.87	o 5522925
1723.90/1729.68	o 5522915
1739.65/1745.45	o 5522883
1740.14/1745.95	o 5522691
1740.14/1745.97	o 5522687
1740.44/1746.27	o 5522685
1740.74/1746.51	o 5521661
1740.74/1746.52	o 5521660
1741.44/1747.24	o 5521404
1741.44/1747.26	o 5521388
1746.24/1752.09	o 5521386
1746.52/1752.34	o 5521382
1746.72/1752.58	o 5521380
1746.82/1752.61	o 5521378
1746.82/1752.64	o 5521377
1746.82/1752.66	o 5520353
1747.52/1753.39	o 5520345
1747.62/1753.42	o 5520337
1747.82/1753.63	o 5520331
1748.82/1754.63	o 5520330
1748.92/1754.70	o 5520305
1748.92/1754.74	o 5520304
1750.22/1756.01	o 5520303
1750.22/1756.04	o 5520302
1750.22/1756.07	o 5520300
1750.61/1756.41	o 5520292
1759.48/1765.32	o 5520291
1762.67/1768.51	o 5520290
1762.87/1768.76	o 5520289
1766.17/1772.02	o 5520257
1778.23/1784.19	o 5520243
1794.08/1800.06	o 5520179
1794.47/1800.44	o 5520147
1796.96/1802.90	o 5520143
1796.96/1802.92	o 5520131
1797.26/1803.22	o 5479003
1797.26/1803.29	o 5479001
1797.66/1803.60	o 5478999
1797.66/1803.63	o 5478993
1797.66/1803.64	o 5478989
1798.25/1804.24	o 5478987
1798.45/1804.40	o 5478985
1798.45/1804.43	o 5478981
1798.45/1804.45	o 5478979
1798.65/1804.67	o 5478977
1798.95/1804.90	o 5478973
1798.95/1804.92	o 5478971
1798.95/1804.94	o 5478967
1798.95/1804.99	o 5478966
1799.25/1805.21	o 5403201
1799.25/1805.27	o 5403194
1799.35/1805.31	o 5403187
1799.85/1805.86	o 5403185
1801.84/1807.84	o 5403184
1827.16/1833.24	o 5403182
1906.00/1912.37	o 5403166
1908.59/1914.94	o 5403038
1917.26/1923.69	o 5403036
1917.36/1923.70	o 5403034
1917.36/1923.71	o 5402650
1917.36/1923.72	o 5402602
1919.06/1925.44	o 5402582
1919.15/1925.56	o 5402572
1919.45/1925.82	o 5402566
1919.45/1925.83	o 5402560
1919.85/1926.22	o 5402558
1919.85/1926.24	o 5402557
1919.85/1926.25	o 5402549
1920.05/1926.45	o 5402546
1920.35/1926.70	o 5402506
1920.35/1926.75	o 5402498
1920.45/1926.82	o 5382642
1921.05/1927.45	o 5382386
1923.24/1929.69	o 5382382
1923.34/1929.71	o 5382376
1923.34/1929.73	o 5382368
1923.34/1929.78	o 5382362
1924.14/1930.59	o 5382360
1924.34/1930.71	o 5382328
1924.34/1930.78	o 5382324
1924.44/1930.81	o 5382320
1924.44/1930.83	o 5382308
1924.65/1931.01	o 5382306
1925.03/1931.44	o 5382302
1925.64/1932.05	o 5382238
1926.93/1933.30	o 5382236
1931.51/1937.91	o 5382235
1944.17/1950.67	o 5376622
1944.17/1950.68	o 5376618
1944.17/1950.69	o 5376616
1944.27/1950.70	o 5376560
1944.27/1950.73	o 5370080
1944.87/1951.38	o 5370072
1946.68/1953.15	o 5370070
1953.55/1960.04	o 5370069
1953.74/1960.27	o 5370067
1983.46/1990.05	o 5340307
1983.46/1990.08	o 5340303
1983.56/1990.12	o 5340297
1983.84/1990.43	o 5274116
1983.84/1990.48	o 5274074
1983.84/1990.49	o 5274072
1988.23/1994.88	o 5274067
1988.33/1994.93	o 5272787
1988.33/1994.97	o 5272775
1988.63/1995.22	o 5272771
1988.63/1995.25	o 5272769
1989.23/1995.89	o 5272767
1989.32/1996.01	o 5272739
1989.44/1996.03	o 5272735
1989.44/1996.04	o 5272291
1989.44/1996.05	o 5272287
1989.44/1996.07	o 5271263
1989.44/1996.09	o 5271203
1990.12/1996.71	o 5255839
1990.12/1996.72	o 5255775
1990.12/1996.73	o 5255519
1990.12/1996.77	o 5254815
1990.12/1996.78	o 5254751
1990.12/1996.79	o 5254495
1991.22/1997.89	o 5254487
1992.43/1999.01	o 5254484
1994.31/2000.93	o 5254480
1994.42/2001.01	o 5251024
1994.52/2001.11	o 5250824
1994.52/2001.13	o 5250808
1994.52/2001.15	o 5250804
1994.52/2001.17	o 5250772
1998.41/2005.03	o 5250768
2002.68/2009.38	o 5161680
2002.78/2009.42	o 5161678
2002.78/2009.43	o 5161677
2002.78/2009.44	o 5161673
2002.78/2009.45	o 5161665
2002.88/2009.52	o 5160769
2004.18/2010.83	o 5160737
2004.18/2010.84	o 5160721
2008.06/2014.78	o 5160713
2022.62/2029.37	o 5160697
2028.70/2035.47	o 5160681
2033.98/2040.75	o 5160653
2033.98/2040.77	o 5160597
2037.57/2044.39	o 5160373
2064.48/2071.39	o 5159861
2064.98/2071.87	o 5159860
2065.97/2072.88	o 5159858
2066.07/2072.90	o 5159857
2066.07/2072.94	o 5159849
2066.47/2073.30	o 5159841
2066.87/2073.73	o 5159840
2066.87/2073.75	o 5159834
2066.87/2073.76	o 5159832
2066.87/2073.77	o 5159826
2066.87/2073.78	o 5159810
2067.07/2073.92	o 5159809
2067.47/2074.33	o 5159681
2067.67/2074.57	o 5159680
2080.33/2087.23	o 5159676
2093.10/2100.05	o 5159548
2094.88/2101.86	o 5159532
2095.48/2102.43	o 5159468
2095.48/2102.47	o 5159436
2095.98/2102.95	o 5159433
2095.98/2102.97	o 5159432
2095.98/2102.99	o 5159425
2096.19/2103.16	o 5158913
2098.18/2105.17	o 5158672
2108.05/2115.07	o 5158544
2108.33/2115.34	o 5150352
2108.33/2115.34	o 5150344
2108.33/2115.36	o 5148296
2108.43/2115.48	o 5148232
2118.39/2125.42	o 5148224
2121.68/2128.80	o 5147456
2122.38/2129.46	o 5147371
2122.38/2129.47	o 5147343
2122.38/2129.48	o 5147231
2122.68/2129.71	o 5147175
2123.77/2130.89	o 5147168
2123.87/2130.90	o 5074464
2123.99/2131.03	o 5074456
2123.99/2131.06	o 5074452
2123.99/2131.07	o 5074450
2124.27/2131.33	o 5074434
2124.37/2131.41	o 5074433
2124.87/2131.96	o 5072385
2141.41/2148.51	o 5071488
2141.61/2148.73	o 5011968
2147.39/2154.55	o 4998656
2161.03/2168.26	o 4973568
2164.42/2171.62	o 4973552
2164.72/2171.90	o 4973488
2173.29/2180.59	o 4973456
2173.39/2180.60	o 4973448
2173.90/2181.13	o 4972424
2173.90/2181.16	o 4971912
2173.90/2181.19	o 4971656
2175.58/2182.82	o 4971528
2176.79/2184.04	o 4971520
2213.54/2221.00	o 4958208
2290.64/2298.34	o 4956160
2298.81/2306.51	o 4956158
2307.68/2315.42	o 4955646
2340.77/2348.65	o 4949502
2340.77/2348.68	o 4949438
2340.87/2348.73	o 4949406
2340.97/2348.82	o 4948164
2341.07/2348.91	o 4948036
2341.07/2348.93	o 4947968
2341.07/2348.98	o 4947140
2451.40/2459.64	o 4947139
2459.98/2468.24	o 4947138
2461.67/2469.96	o 4947137
2461.67/2469.97	o 4947136
2461.78/2470.02	o 4947008
2461.78/2470.10	o 4947006
2461.88/2470.12	o 4947005
2461.88/2470.13	o 4947004
2462.17/2470.42	o 4946940
2462.27/2470.58	o 4942844
2462.37/2470.63	o 4942842
2462.78/2471.02	o 4828154
2462.78/2471.07	o 4828150
2462.88/2471.12	o 4828148
2462.88/2471.13	o 4828147
2462.88/2471.14	o 4828139
2463.07/2471.36	o 4828138
2463.07/2471.38	o 4828134
2463.17/2471.40	o 4828133
2464.06/2472.32	o 4828132
2464.36/2472.63	o 4827620
2465.16/2473.42	o 4827604
2465.46/2473.76	o 4827596
2465.56/2473.80	o 4827592
2466.65/2474.93	o 4827336
2466.65/2474.97	o 4827334
2466.65/2474.99	o 4827332
2467.55/2475.84	o 4758830
2467.65/2475.93	o 4758828
2467.65/2475.95	o 4758824
2467.65/2475.98	o 4758792
2467.86/2476.12	o 4758776
2467.86/2476.14	o 4758768
2467.86/2476.17	o 4758756
2469.76/2478.11	o 4758744
2478.42/2486.71	o 4758552
2478.42/2486.74	o 4758456
2478.52/2486.88	o 4758455
2478.73/2487.01	o 4758449
2478.83/2487.15	o 4758425
2478.83/2487.17	o 4758413
2479.31/2487.64	o 4758407
2479.31/2487.65	o 4758401
2479.31/2487.65	o 4758389
2479.41/2487.76	o 4754293
2479.41/2487.77	o 4754101
2479.41/2487.78	o 4754095
2484.81/2493.13	o 4754063
2513.71/2522.17	o 4754056
2513.71/2522.18	o 4754044
2513.80/2522.20	o 4754038
2513.80/2522.21	o 4753654
2513.80/2522.29	o 4753558
2513.90/2522.31	o 4753510
2514.30/2522.75	o 4753486
2514.50/2522.98	o 4753485
2514.71/2523.17	o 4753481
2516.79/2525.27	o 4753480
2516.79/2525.29	o 4753479
2516.89/2525.38	o 4753415
2516.99/2525.46	o 4728839
2528.66/2537.13	o 4728832
2743.99/2753.28	o 4654080
2802.59/2812.05	o 4641792
2855.67/2865.33	o 4606976
2855.97/2865.69	o 4598784
2927.22/2937.16	o 4596736
2947.73/2957.75	o 4453376
2986.78/2996.99	o 4392960
3600.03/3612.50	c Program interrupted by user.
3600.03/3612.50	s SATISFIABLE
3600.03/3612.50	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

Verifier Data 

OK	4392960

Watcher Data 

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: 64096 MiB (63292 MiB free)
  memory of node 1: 64473 MiB (62040 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433373-1721064699/watcher-4433373-1721064699 -o /tmp/evaluation-result-4433373-1721064699/solver-4433373-1721064699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809825 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1116363460 HOME/instance-4433373-1721064699.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=811897, runsolver pid=811894

[startup+0.104259 s]*
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128321008/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=37172 memory=17380 CPUtime=0.1 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 3525 0 0 0 10 0 0 0 20 0 1 0 158628761 38064128 4345 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 9293 4345 803 746 0 8357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37172 KiB
Current children cumulated memory: 17380 KiB

[startup+0.213333 s]*
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128312520/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=40016 memory=20196 CPUtime=0.21 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 4248 0 0 0 21 0 0 0 20 0 1 0 158628761 40976384 5049 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 10004 5049 851 746 0 9068 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40016 KiB
Current children cumulated memory: 20196 KiB

[startup+0.313337 s]*
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128307144/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=40940 memory=23296 CPUtime=0.31 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 4462 0 0 0 31 0 0 0 20 0 1 0 158628761 41922560 5824 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 10235 5824 851 746 0 9299 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40940 KiB
Current children cumulated memory: 23296 KiB

[startup+0.700316 s]
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128295716/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=41468 memory=25872 CPUtime=0.68 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 4604 0 0 0 68 0 0 0 20 0 1 0 158628761 42463232 6468 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 10367 6468 851 746 0 9431 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41468 KiB
Current children cumulated memory: 25872 KiB

[startup+1.50031 s]
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128266216/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=46224 memory=36752 CPUtime=1.48 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 5777 0 0 0 148 0 0 0 20 0 1 0 158628761 47333376 9188 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 11556 9188 851 746 0 10620 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46224 KiB
Current children cumulated memory: 36752 KiB

[startup+3.11317 s]
/proc/loadavg: 4.00 4.19 4.22 5/246 811898
/proc/meminfo: memFree=128196800/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=49020 memory=43716 CPUtime=3.09 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 6510 0 0 0 308 1 0 0 20 0 1 0 158628761 50196480 10929 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 12255 10929 851 746 0 11319 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49020 KiB
Current children cumulated memory: 43716 KiB

[startup+6.3003 s]
/proc/loadavg: 4.08 4.20 4.22 5/246 811898
/proc/meminfo: memFree=128112776/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=66540 memory=54864 CPUtime=6.26 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 8005 0 0 0 625 1 0 0 20 0 1 0 158628761 68136960 13716 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 16635 13716 851 746 0 15699 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66540 KiB
Current children cumulated memory: 54864 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.20 4.22 5/246 811899
/proc/meminfo: memFree=127950664/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=93488 memory=70624 CPUtime=12.65 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 9321 0 0 0 1262 3 0 0 20 0 1 0 158628761 95731712 17656 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 23372 17656 851 746 0 22436 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93488 KiB
Current children cumulated memory: 70624 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.21 4.22 5/246 811901
/proc/meminfo: memFree=127712816/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=155004 memory=113288 CPUtime=25.4 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 14835 0 0 0 2534 6 0 0 20 0 1 0 158628761 158724096 28322 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 38751 28322 851 746 0 37815 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 155004 KiB
Current children cumulated memory: 113288 KiB

[startup+51.1134 s]
/proc/loadavg: 4.16 4.20 4.22 5/246 811906
/proc/meminfo: memFree=127421920/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=246140 memory=174728 CPUtime=50.93 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 20688 0 0 0 5083 10 0 0 20 0 1 0 158628761 252047360 43682 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 61535 43682 851 746 0 60599 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 246140 KiB
Current children cumulated memory: 174728 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.19 4.21 5/247 811916
/proc/meminfo: memFree=127215320/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=248768 memory=177120 CPUtime=101.95 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 21428 0 0 0 10185 10 0 0 20 0 1 0 158628761 254738432 44280 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 62192 44280 851 746 0 61256 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 248768 KiB
Current children cumulated memory: 177120 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.20 5/245 811927
/proc/meminfo: memFree=127202816/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=251576 memory=184096 CPUtime=161.76 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 22204 0 0 0 16165 11 0 0 20 0 1 0 158628761 257613824 46024 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 62894 46024 851 746 0 61958 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 251576 KiB
Current children cumulated memory: 184096 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.19 5/245 811937
/proc/meminfo: memFree=127173564/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=252848 memory=185500 CPUtime=221.55 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 22568 0 0 0 22144 11 0 0 20 0 1 0 158628761 258916352 46375 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 63212 46375 851 746 0 62276 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 252848 KiB
Current children cumulated memory: 185500 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.19 5/242 811948
/proc/meminfo: memFree=127117524/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=254072 memory=188604 CPUtime=281.35 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 22918 0 0 0 28124 11 0 0 20 0 1 0 158628761 260169728 47151 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 63518 47151 851 746 0 62582 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 254072 KiB
Current children cumulated memory: 188604 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.13 4.17 5/242 811958
/proc/meminfo: memFree=127044488/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=256220 memory=190536 CPUtime=341.15 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 23463 0 0 0 34104 11 0 0 20 0 1 0 158628761 262369280 47634 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 64055 47634 851 746 0 63119 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 256220 KiB
Current children cumulated memory: 190536 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/242 811968
/proc/meminfo: memFree=127023236/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=256716 memory=191220 CPUtime=400.95 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 23651 0 0 0 40084 11 0 0 20 0 1 0 158628761 262877184 47805 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 64179 47805 851 746 0 63243 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 256716 KiB
Current children cumulated memory: 191220 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/242 811980
/proc/meminfo: memFree=126991520/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=258704 memory=205336 CPUtime=460.75 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 24177 0 0 0 46064 11 0 0 20 0 1 0 158628761 264912896 51334 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 64676 51334 851 746 0 63740 0

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

Current children cumulated memory: 267728 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.21 5/241 812997
/proc/meminfo: memFree=126687984/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=308976 memory=268144 CPUtime=2912.47 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 37743 0 0 0 291229 18 0 0 20 0 1 0 158628761 316391424 67036 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 77244 67036 851 746 0 76308 0
Current children cumulated CPU time: 2912.47 s
Current children cumulated vsize: 308976 KiB
Current children cumulated memory: 268144 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.17 4.20 5/243 813011
/proc/meminfo: memFree=126686296/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=308976 memory=268172 CPUtime=2972.24 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 37869 0 0 0 297206 18 0 0 20 0 1 0 158628761 316391424 67043 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 77244 67043 851 746 0 76308 0
Current children cumulated CPU time: 2972.24 s
Current children cumulated vsize: 308976 KiB
Current children cumulated memory: 268172 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.19 5/244 813023
/proc/meminfo: memFree=126668660/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=309824 memory=268988 CPUtime=3032.01 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 38139 0 0 0 303183 18 0 0 20 0 1 0 158628761 317259776 67247 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 77456 67247 851 746 0 76520 0
Current children cumulated CPU time: 3032.01 s
Current children cumulated vsize: 309824 KiB
Current children cumulated memory: 268988 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.18 5/244 813033
/proc/meminfo: memFree=126666900/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=311040 memory=270104 CPUtime=3091.78 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 38558 0 0 0 309160 18 0 0 20 0 1 0 158628761 318504960 67526 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 77760 67526 851 746 0 76824 0
Current children cumulated CPU time: 3091.78 s
Current children cumulated vsize: 311040 KiB
Current children cumulated memory: 270104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.18 5/244 813044
/proc/meminfo: memFree=126639516/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=311392 memory=270556 CPUtime=3151.55 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 38763 0 0 0 315137 18 0 0 20 0 1 0 158628761 318865408 67639 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 77848 67639 851 746 0 76912 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 311392 KiB
Current children cumulated memory: 270556 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.17 5/244 813054
/proc/meminfo: memFree=126634984/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=311652 memory=270732 CPUtime=3211.32 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 38914 0 0 0 321114 18 0 0 20 0 1 0 158628761 319131648 67683 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 77913 67683 851 746 0 76977 0
Current children cumulated CPU time: 3211.32 s
Current children cumulated vsize: 311652 KiB
Current children cumulated memory: 270732 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/244 813449
/proc/meminfo: memFree=126633532/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=312192 memory=271160 CPUtime=3271.09 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 39110 0 0 0 327091 18 0 0 20 0 1 0 158628761 319684608 67790 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78048 67790 851 746 0 77112 0
Current children cumulated CPU time: 3271.09 s
Current children cumulated vsize: 312192 KiB
Current children cumulated memory: 271160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.17 5/243 813459
/proc/meminfo: memFree=126628004/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=312512 memory=271556 CPUtime=3330.86 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 39295 0 0 0 333068 18 0 0 20 0 1 0 158628761 320012288 67889 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78128 67889 851 746 0 77192 0
Current children cumulated CPU time: 3330.86 s
Current children cumulated vsize: 312512 KiB
Current children cumulated memory: 271556 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.16 5/244 813470
/proc/meminfo: memFree=126626876/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=312676 memory=271744 CPUtime=3390.64 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 39428 0 0 0 339046 18 0 0 20 0 1 0 158628761 320180224 67936 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78169 67936 851 746 0 77233 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 312676 KiB
Current children cumulated memory: 271744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/246 813651
/proc/meminfo: memFree=126615060/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=312820 memory=271860 CPUtime=3450.41 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 39569 0 0 0 345023 18 0 0 20 0 1 0 158628761 320327680 67965 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78205 67965 851 746 0 77269 0
Current children cumulated CPU time: 3450.41 s
Current children cumulated vsize: 312820 KiB
Current children cumulated memory: 271860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/246 813717
/proc/meminfo: memFree=126612340/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=312820 memory=271988 CPUtime=3510.18 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 39671 0 0 0 351000 18 0 0 20 0 1 0 158628761 320327680 67997 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78205 67997 851 746 0 77269 0
Current children cumulated CPU time: 3510.18 s
Current children cumulated vsize: 312820 KiB
Current children cumulated memory: 271988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/244 813727
/proc/meminfo: memFree=126609004/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=313540 memory=272628 CPUtime=3569.95 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 39938 0 0 0 356977 18 0 0 20 0 1 0 158628761 321064960 68157 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78385 68157 851 746 0 77449 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 313540 KiB
Current children cumulated memory: 272628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.08 4.11 4.15 5/244 813871
/proc/meminfo: memFree=127915788/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=313972 memory=273016 CPUtime=3600.03 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 40147 0 0 0 359985 18 0 0 20 0 1 0 158628761 321507328 68254 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78493 68254 851 746 0 77557 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 313972 KiB
Current children cumulated memory: 273016 KiB

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

[startup+3612.51 s]
# the end of solver process 811897 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.86 s, system=0.187386 s

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

[startup+3612.5 s]
/proc/loadavg: 4.08 4.11 4.15 5/244 813871
/proc/meminfo: memFree=127915788/131655788 swapFree=131071996/131071996
[pid=811897] ppid=811894 vsize=313972 memory=273016 CPUtime=3600.03 cores=0,2
/proc/811897/stat : 811897 (Exact_nosoplex) R 811894 811897 809815 0 -1 4194304 40147 0 0 0 359985 18 0 0 20 0 1 0 158628761 321507328 68254 134679101440 4194304 7248369 140736914471808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 19017728 140736914473900 140736914474079 140736914474079 140736914481094 0
/proc/811897/statm: 78493 68254 851 746 0 77557 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 313972 KiB
Current children cumulated memory: 273016 KiB

Child status: 10

Real time (s): 3612.51
CPU time (s): 3600.05
CPU user time (s): 3599.86
CPU system time (s): 0.187386
CPU usage (%): 99.6552
Max. virtual memory (cumulated for all children) (KiB): 313972
Max. memory (cumulated for all children) (KiB): 273016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.187386
maximum resident set size= 273016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 25225


# summary of solver processes directly reported to runsolver:
#   pid: 811897
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.86
#   total CPU system time (s): 0.187386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4703 second user time and 34.7844 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-15 19:31:52
IDJOB=4433373
IDBENCH=146763
IDSOLVER=3061
FILE ID=nodeC005/4433373-1721064699
RUNJOBID= nodeC005-1721061099-809825
SLURM_JOB_ID= 7505509
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433373-1721064699/watcher-4433373-1721064699 -o /tmp/evaluation-result-4433373-1721064699/solver-4433373-1721064699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809825 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1116363460 HOME/instance-4433373-1721064699.opb

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

MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4
RANDOM SEED=1116363460

nodeC005.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	: 0xb00001f
cpu MHz		: 3551.414
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 3647.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.186
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.355
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 3655.765
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 3491.764
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.398
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.183
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128341736 kB
MemAvailable:   129780988 kB
Buffers:          353268 kB
Cached:          1913292 kB
SwapCached:            0 kB
Active:           589416 kB
Inactive:        2163952 kB
Active(anon):       3448 kB
Inactive(anon):   521060 kB
Active(file):     585968 kB
Inactive(file):  1642892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             26212 kB
Writeback:             4 kB
AnonPages:        485972 kB
Mapped:           114792 kB
Shmem:             37704 kB
KReclaimable:     101180 kB
Slab:             202000 kB
SReclaimable:     101180 kB
SUnreclaim:       100820 kB
KernelStack:        3964 kB
PageTables:        10344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     783456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC005 at 2024-07-15 20:32:04