Trace number 4518137

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
roundingsat-ls+pbsuma-log 63f22adOPT cert.-17191 70.0089 74.9794

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/
normalized-knapPI_15_2000_1000_5_-50838.opb
MD5SUMb64c15565e2e2abc4a6ec3aecc6a0814
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-17191
Best CPU time to get the best result obtained on this benchmark0.173537
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints1
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 constraints1
Minimum length of a constraint10000
Maximum length of a constraint10000
Number of terms in the objective function 10000
Biggest coefficient in the objective function 334
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1678816
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 50251
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 5076550
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4518137-1751530356.opb'
0.00/0.01	c 	read 0.21MB  (4.10ms)
0.00/0.01	c	 [cnf: #variables 10000 #clauses 2 #duplicates 0 #arr 20000]
0.00/0.01	c output proof to 'PROOFDIR/proof-4518137-1751530356'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 2000] (8.49ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	 found row 13x2, generating row predicate
0.00/0.05	c 	 found row 9x2, generating row predicate
0.00/0.07	c 	 found row 11x2, generating row predicate
0.00/0.07	c 	 found row 7x2, generating row predicate
0.00/0.10	c 	 found row 20x2, generating row predicate
0.08/0.11	c 	 found row 11x2, generating row predicate
0.08/0.12	c 	 found row 9x2, generating row predicate
0.08/0.13	c 	 found row 9x2, generating row predicate
0.08/0.15	c 	 found row 14x2, generating row predicate
0.08/0.17	c 	 found row 12x2, generating row predicate
0.08/0.18	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.20	c 	 found row 6x2, generating row predicate
0.19/0.21	c 	 found row 11x2, generating row predicate
0.19/0.22	c 	 found row 8x2, generating row predicate
0.19/0.24	c 	 found row 12x2, generating row predicate
0.19/0.25	c 	 found row 9x2, generating row predicate
0.19/0.26	c 	 found row 14x2, generating row predicate
0.19/0.28	c 	 found row 10x2, generating row predicate
0.19/0.29	c 	 found row 11x2, generating row predicate
0.29/0.31	c 	 found row 17x2, generating row predicate
0.29/0.32	c 	 found row 10x2, generating row predicate
0.29/0.33	c 	 found row 8x2, generating row predicate
0.29/0.35	c 	 found row 12x2, generating row predicate
0.29/0.36	c 	 found row 12x2, generating row predicate
0.29/0.38	c 	 found row 12x2, generating row predicate
0.29/0.40	c 	 found row 16x2, generating row predicate
0.39/0.41	c 	 found row 11x2, generating row predicate
0.39/0.42	c 	 found row 10x2, generating row predicate
0.39/0.44	c 	 found row 18x2, generating row predicate
0.39/0.46	c 	 found row 13x2, generating row predicate
0.39/0.47	c 	 found row 11x2, generating row predicate
0.39/0.47	c 	 (453.75ms)
0.39/0.47	c 
0.39/0.47	c detect symmetries on remainder
0.39/0.47	c 	[graph: #vertices 39994 #edges 99984]
0.39/0.47	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.39/0.49	c 	 [group: #symmetries 1.79*10^6509 #generators 8666] (12.45ms)
0.39/0.49	c 
0.39/0.49	c optimize generators (opt_passes=64, conjugate_limit=256)
0.39/0.49	c 	ran it=0, +gens=6 
0.49/0.59	c 	con best_support=4, best_gens=8666, +gens=144
0.49/0.59	c 	(105.59ms)
0.49/0.59	c 
0.49/0.59	c finalize break order and special generators
0.49/0.59	c 
0.49/0.59	c add generic predicates (break_depth=20)
0.49/0.59	c 	added predicates for 8816 generators (1.22ms)
0.59/0.62	c 
0.59/0.62	c generation finished
0.59/0.62	c 	[sbp: #constraints 9174 #add_vars 8]
0.59/0.62	c 
0.59/0.62	c write result to 'HOME/instance-4518137-1751530356.opb.pre'
0.59/0.62	c 	wrote 0.45MB (1.29ms)
0.59/0.62	c ------------------------------------------------------------------
0.59/0.62	c                 453.75ms 74.12% detect_special
0.59/0.62	c                 105.59ms 17.25% optimize_gens
0.59/0.62	c                  24.51ms  4.00% other
0.59/0.62	c                  12.45ms  2.03% detect_generic
0.59/0.62	c                   8.49ms  1.39% approx_orbits
0.59/0.62	c                   4.09ms  0.67% parse
0.59/0.62	c                   1.29ms  0.21% output
0.59/0.62	c                   1.22ms  0.20% break_generic
0.59/0.62	c                   0.79ms  0.13% finalize_order
0.59/0.62	c         ───────────────────────────────────────────────
0.59/0.62	c                 612.19ms   100% total
0.59/0.62	c ------------------------------------------------------------------
0.59/0.64	c RoundingSat 2
0.59/0.64	c branch pb25
0.59/0.64	c commit 63f22ad
0.61/0.70	c #variables 10008 #constraints 9175
0.61/0.70	c objective is ce32 
3.15/3.29	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.15/3.29	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.15/3.29	c bounds -16948 >= -1678816 @ 2.62688
3.26/3.31	c rational objective -17191.3
3.56/3.60	c bounds -16949 >= -1678816 @ 2.92776
3.56/3.61	c bounds -16949 >= -1678150 @ 2.93346
3.65/3.72	c bounds -16949 >= -1677817 @ 3.03955
3.65/3.73	c bounds -16949 >= -1677484 @ 3.05283
3.65/3.75	c bounds -16949 >= -1677151 @ 3.06615
3.65/3.77	c bounds -16949 >= -1676818 @ 3.08167
3.65/3.77	c bounds -16949 >= -1676485 @ 3.0861
3.65/3.78	c bounds -16949 >= -1676152 @ 3.09413
7.45/7.50	c bounds -16949 >= -1675819 @ 6.70232
7.54/7.64	c bounds -16950 >= -1675819 @ 6.84662
7.64/7.75	c bounds -16951 >= -1675819 @ 6.95036
7.75/7.81	c bounds -16952 >= -1675819 @ 7.00748
7.75/7.84	c bounds -16953 >= -1675819 @ 7.02607
7.75/7.88	c bounds -16954 >= -1675819 @ 7.06538
7.84/7.98	c bounds -16955 >= -1675819 @ 7.1652
7.95/8.04	c bounds -16956 >= -1675819 @ 7.2135
7.95/8.07	c bounds -16957 >= -1675819 @ 7.23585
7.95/8.09	c bounds -16958 >= -1675819 @ 7.255
8.05/8.11	c bounds -16959 >= -1675819 @ 7.27366
8.05/8.13	c bounds -16960 >= -1675819 @ 7.28564
8.05/8.17	c bounds -16961 >= -1675819 @ 7.31524
8.15/8.20	c bounds -16962 >= -1675819 @ 7.34211
8.15/8.24	c bounds -16963 >= -1675819 @ 7.38089
8.15/8.28	c bounds -16964 >= -1675819 @ 7.41324
8.25/8.35	c bounds -16965 >= -1675819 @ 7.48644
8.34/8.42	c bounds -16966 >= -1675819 @ 7.55317
8.44/8.53	c bounds -16967 >= -1675819 @ 7.65579
8.54/8.60	c bounds -16968 >= -1675819 @ 7.72617
8.54/8.64	c bounds -16969 >= -1675819 @ 7.76544
8.54/8.69	c bounds -16970 >= -1675819 @ 7.81206
8.64/8.72	c bounds -16971 >= -1675819 @ 7.83919
8.74/8.82	c bounds -16972 >= -1675819 @ 7.92402
8.74/8.87	c bounds -16973 >= -1675819 @ 7.96434
8.84/8.93	c bounds -16974 >= -1675819 @ 8.01804
8.84/8.99	c bounds -16975 >= -1675819 @ 8.07515
8.94/9.03	c bounds -16976 >= -1675819 @ 8.10724
8.94/9.06	c bounds -16977 >= -1675819 @ 8.12267
8.94/9.08	c bounds -16978 >= -1675819 @ 8.13983
9.05/9.11	c bounds -16979 >= -1675819 @ 8.16941
9.05/9.15	c bounds -16980 >= -1675819 @ 8.19694
9.05/9.17	c bounds -16981 >= -1675819 @ 8.21371
9.14/9.20	c bounds -16982 >= -1675819 @ 8.23974
12.23/12.38	c #Conflicts:       1000 | #Constraints:      10248
12.23/12.38	c bounds -16983 >= -1675819 @ 11.3145
12.33/12.42	c bounds -16983 >= -1675486 @ 11.3519
12.43/12.51	c bounds -16983 >= -1675153 @ 11.4353
12.43/12.56	c bounds -16983 >= -1674820 @ 11.4852
12.43/12.56	c bounds -16983 >= -1674487 @ 11.4889
13.13/13.27	c bounds -16983 >= -1674154 @ 12.1618
13.23/13.38	c bounds -16984 >= -1674154 @ 12.2663
13.23/13.39	c bounds -16984 >= -1673822 @ 12.2768
13.43/13.51	c bounds -16985 >= -1673822 @ 12.3886
13.43/13.51	c bounds -16985 >= -1671505 @ 12.3977
13.43/13.54	c bounds -16985 >= -1671174 @ 12.4189
13.93/14.06	c bounds -16986 >= -1671174 @ 12.9265
13.93/14.07	c bounds -16986 >= -1670844 @ 12.9325
14.32/14.43	c bounds -16987 >= -1670844 @ 13.2933
14.32/14.45	c bounds -16987 >= -1668541 @ 13.307
14.32/14.47	c bounds -16987 >= -1668212 @ 13.3248
15.93/16.08	c bounds -16988 >= -1668212 @ 14.8842
15.93/16.09	c bounds -16988 >= -1667884 @ 14.8943
15.93/16.10	c bounds -16988 >= -1667556 @ 14.9031
16.03/16.11	c bounds -16988 >= -1667228 @ 14.9131
16.03/16.14	c bounds -16989 >= -1667228 @ 14.9498
16.03/16.15	c bounds -16989 >= -1666901 @ 14.9578
16.03/16.16	c bounds -16989 >= -1666574 @ 14.9677
16.03/16.19	c bounds -16989 >= -1666247 @ 14.9905
16.12/16.24	c bounds -16990 >= -1666247 @ 15.0471
16.12/16.27	c bounds -16990 >= -1665921 @ 15.0739
16.12/16.29	c bounds -16990 >= -1665595 @ 15.089
16.21/16.31	c bounds -16990 >= -1665269 @ 15.1116
17.12/17.20	c bounds -16991 >= -1665269 @ 15.9692
17.12/17.27	c bounds -16992 >= -1665269 @ 16.0332
17.12/17.29	c bounds -16992 >= -1664944 @ 16.0474
17.21/17.30	c bounds -16992 >= -1664619 @ 16.0652
17.32/17.44	c bounds -16992 >= -1664294 @ 16.1937
17.41/17.52	c bounds -16993 >= -1664294 @ 16.2708
17.41/17.56	c bounds -16994 >= -1664294 @ 16.2991
17.82/17.95	c #Conflicts:       2000 | #Constraints:      11379
17.82/17.95	c INPROCESSING
17.82/17.95	c GARBAGE COLLECT
17.82/17.95	c rational objective -17191
18.41/18.57	c bounds -16994 >= -1663970 @ 17.3017
18.41/18.59	c bounds -16995 >= -1663970 @ 17.3109
18.52/18.65	c bounds -16995 >= -1663646 @ 17.374
18.52/18.68	c bounds -16996 >= -1663646 @ 17.4005
18.52/18.69	c bounds -16997 >= -1663646 @ 17.4122
18.72/18.85	c bounds -16998 >= -1663646 @ 17.5611
18.72/18.88	c bounds -16998 >= -1663322 @ 17.5965
18.81/18.91	c bounds -16999 >= -1663322 @ 17.6249
18.81/18.92	c bounds -16999 >= -1662999 @ 17.6314
18.81/18.93	c bounds -16999 >= -1662676 @ 17.6382
18.81/18.94	c bounds -16999 >= -1662353 @ 17.6533
18.91/19.02	c bounds -17000 >= -1662353 @ 17.7211
18.91/19.04	c bounds -17000 >= -1662031 @ 17.7462
18.91/19.08	c bounds -17000 >= -1661709 @ 17.781
19.02/19.18	c bounds -17001 >= -1661709 @ 17.8843
19.11/19.27	c bounds -17001 >= -1661387 @ 17.971
19.21/19.30	c bounds -17002 >= -1661387 @ 17.9931
19.21/19.30	c bounds -17002 >= -1661066 @ 18.0023
19.21/19.32	c bounds -17002 >= -1660745 @ 18.0133
19.21/19.35	c bounds -17002 >= -1660424 @ 18.0453
19.21/19.36	c bounds -17003 >= -1660424 @ 18.0541
19.21/19.37	c bounds -17004 >= -1660424 @ 18.0617
20.01/20.16	c bounds -17005 >= -1660424 @ 18.832
20.11/20.20	c bounds -17006 >= -1660424 @ 18.8654
20.11/20.22	c bounds -17007 >= -1660424 @ 18.8922
20.11/20.29	c bounds -17008 >= -1660424 @ 18.9537
20.21/20.34	c bounds -17009 >= -1660424 @ 18.9932
20.21/20.38	c bounds -17010 >= -1660424 @ 19.025
20.31/20.40	c bounds -17011 >= -1660424 @ 19.0469
20.31/20.42	c bounds -17012 >= -1660424 @ 19.0669
20.31/20.45	c bounds -17013 >= -1660424 @ 19.0935
20.31/20.48	c bounds -17014 >= -1660424 @ 19.1101
20.50/20.70	c bounds -17015 >= -1660424 @ 19.3248
20.61/20.73	c bounds -17016 >= -1660424 @ 19.3583
20.61/20.78	c bounds -17017 >= -1660424 @ 19.4023
20.71/20.81	c bounds -17018 >= -1660424 @ 19.4238
20.71/20.86	c bounds -17019 >= -1660424 @ 19.4723
20.81/20.95	c bounds -17020 >= -1660424 @ 19.5507
20.81/20.96	c bounds -17020 >= -1660104 @ 19.5597
20.81/20.96	c bounds -17020 >= -1659784 @ 19.5646
20.81/20.99	c bounds -17020 >= -1659464 @ 19.5873
21.01/21.15	c bounds -17020 >= -1659144 @ 19.7479
21.01/21.18	c bounds -17021 >= -1659144 @ 19.7743
21.10/21.29	c bounds -17022 >= -1659144 @ 19.8756
21.30/21.42	c bounds -17022 >= -1658824 @ 20.0035
24.79/24.94	c bounds -17023 >= -1658824 @ 23.4406
24.90/25.03	c bounds -17024 >= -1658824 @ 23.5241
24.90/25.07	c bounds -17025 >= -1658824 @ 23.559
25.00/25.13	c bounds -17026 >= -1658824 @ 23.6066
25.00/25.19	c bounds -17027 >= -1658824 @ 23.6649
25.10/25.24	c bounds -17028 >= -1658824 @ 23.7123
25.20/25.30	c bounds -17029 >= -1658824 @ 23.762
25.20/25.34	c bounds -17030 >= -1658824 @ 23.8037
25.30/25.41	c bounds -17031 >= -1658824 @ 23.8622
25.30/25.47	c bounds -17032 >= -1658824 @ 23.9179
25.40/25.51	c bounds -17033 >= -1658824 @ 23.956
25.40/25.56	c bounds -17034 >= -1658824 @ 24
25.49/25.61	c bounds -17035 >= -1658824 @ 24.0426
25.49/25.65	c #Conflicts:       3000 | #Constraints:      11417
25.49/25.65	c bounds -17036 >= -1658824 @ 24.0834
25.59/25.71	c bounds -17037 >= -1658824 @ 24.137
25.59/25.74	c bounds -17038 >= -1658824 @ 24.165
25.59/25.78	c bounds -17039 >= -1658824 @ 24.1958
25.69/25.83	c bounds -17040 >= -1658824 @ 24.2342
25.69/25.86	c bounds -17041 >= -1658824 @ 24.2587
25.79/25.91	c bounds -17042 >= -1658824 @ 24.3063
25.79/25.96	c bounds -17043 >= -1658824 @ 24.3457
25.90/26.01	c bounds -17044 >= -1658824 @ 24.3947
25.90/26.06	c bounds -17045 >= -1658824 @ 24.4304
25.99/26.12	c bounds -17046 >= -1658824 @ 24.4861
25.99/26.17	c bounds -17047 >= -1658824 @ 24.531
26.09/26.22	c bounds -17048 >= -1658824 @ 24.5807
26.09/26.28	c bounds -17049 >= -1658824 @ 24.6311
26.19/26.34	c bounds -17050 >= -1658824 @ 24.6933
26.29/26.44	c bounds -17051 >= -1658824 @ 24.7794
26.29/26.48	c bounds -17052 >= -1658824 @ 24.8199
26.39/26.55	c bounds -17053 >= -1658824 @ 24.886
26.49/26.60	c bounds -17054 >= -1658824 @ 24.9193
26.49/26.64	c bounds -17055 >= -1658824 @ 24.9666
26.59/26.75	c bounds -17056 >= -1658824 @ 25.0622
26.69/26.85	c bounds -17057 >= -1658824 @ 25.1431
26.69/26.89	c bounds -17058 >= -1658824 @ 25.1809
26.79/26.93	c bounds -17059 >= -1658824 @ 25.213
26.79/26.96	c bounds -17060 >= -1658824 @ 25.236
26.79/26.99	c bounds -17061 >= -1658824 @ 25.2642
26.89/27.02	c bounds -17062 >= -1658824 @ 25.2927
26.89/27.06	c bounds -17063 >= -1658824 @ 25.3272
26.99/27.11	c bounds -17064 >= -1658824 @ 25.3729
27.09/27.21	c bounds -17065 >= -1658824 @ 25.4594
27.09/27.25	c bounds -17066 >= -1658824 @ 25.4923
27.19/27.36	c bounds -17067 >= -1658824 @ 25.5862
27.29/27.40	c bounds -17068 >= -1658824 @ 25.6268
27.29/27.46	c bounds -17069 >= -1658824 @ 25.6775
27.39/27.56	c bounds -17070 >= -1658824 @ 25.7727
27.49/27.66	c bounds -17071 >= -1658824 @ 25.8648
27.59/27.78	c bounds -17072 >= -1658824 @ 25.9632
27.69/27.83	c bounds -17073 >= -1658824 @ 26.0121
27.69/27.87	c bounds -17074 >= -1658824 @ 26.0482
27.79/27.91	c bounds -17075 >= -1658824 @ 26.092
27.79/27.96	c bounds -17076 >= -1658824 @ 26.1376
27.89/28.01	c bounds -17077 >= -1658824 @ 26.1849
28.29/28.41	c bounds -17078 >= -1658824 @ 26.5665
28.29/28.45	c bounds -17079 >= -1658824 @ 26.5995
28.38/28.56	c bounds -17080 >= -1658824 @ 26.706
28.48/28.66	c bounds -17081 >= -1658824 @ 26.8062
28.48/28.69	c bounds -17082 >= -1658824 @ 26.8308
28.58/28.72	c bounds -17083 >= -1658824 @ 26.8512
28.58/28.75	c bounds -17084 >= -1658824 @ 26.8776
28.58/28.78	c bounds -17085 >= -1658824 @ 26.9048
28.68/28.81	c bounds -17086 >= -1658824 @ 26.9308
29.28/29.40	c bounds -17087 >= -1658824 @ 27.5001
29.28/29.40	c bounds -17087 >= -1654677 @ 27.5061
29.28/29.42	c bounds -17087 >= -1654358 @ 27.5166
29.28/29.42	c bounds -17087 >= -1654039 @ 27.5213
29.28/29.44	c bounds -17087 >= -1653720 @ 27.5371
29.38/29.58	c bounds -17088 >= -1653720 @ 27.6826
29.38/29.59	c bounds -17088 >= -1653084 @ 27.6903
29.48/29.60	c bounds -17088 >= -1652766 @ 27.6959
29.48/29.61	c bounds -17088 >= -1652448 @ 27.7023
29.48/29.62	c bounds -17088 >= -1652130 @ 27.7101
29.48/29.62	c bounds -17088 >= -1651812 @ 27.7172
29.48/29.63	c bounds -17088 >= -1651494 @ 27.7235
29.48/29.65	c bounds -17088 >= -1651176 @ 27.7444
29.48/29.67	c bounds -17088 >= -1650858 @ 27.76
29.48/29.68	c bounds -17088 >= -1650540 @ 27.7697
29.58/29.72	c bounds -17088 >= -1650222 @ 27.8086
29.58/29.74	c bounds -17088 >= -1649904 @ 27.8286
29.58/29.75	c bounds -17088 >= -1649586 @ 27.8413
29.68/29.87	c bounds -17088 >= -1649268 @ 27.9553
29.99/30.11	c bounds -17088 >= -1648950 @ 28.1858
30.38/30.53	c bounds -17088 >= -1648632 @ 28.5905
30.38/30.56	c bounds -17089 >= -1648632 @ 28.6269
30.78/30.91	c #Conflicts:       4000 | #Constraints:      12654
30.78/30.91	c bounds -17089 >= -1648314 @ 28.9651
31.28/31.49	c bounds -17090 >= -1648314 @ 29.5212
31.57/31.74	c INPROCESSING
31.57/31.74	c GARBAGE COLLECT
31.57/31.74	c rational objective -17191
35.97/36.18	c bounds -17091 >= -1648314 @ 34.1171
36.06/36.21	c #Conflicts:       5000 | #Constraints:      11911
36.06/36.21	c bounds -17092 >= -1648314 @ 34.1522
36.06/36.25	c bounds -17093 >= -1648314 @ 34.1846
36.16/36.30	c bounds -17094 >= -1648314 @ 34.2293
36.16/36.32	c bounds -17095 >= -1648314 @ 34.2459
36.37/36.53	c bounds -17096 >= -1648314 @ 34.4534
36.37/36.56	c bounds -17097 >= -1648314 @ 34.4807
36.46/36.63	c bounds -17098 >= -1648314 @ 34.5376
36.46/36.69	c bounds -17099 >= -1648314 @ 34.584
36.56/36.71	c bounds -17100 >= -1648314 @ 34.6067
36.56/36.74	c bounds -17101 >= -1648314 @ 34.631
36.77/36.96	c bounds -17102 >= -1648314 @ 34.8413
36.77/36.99	c bounds -17103 >= -1648314 @ 34.8652
36.86/37.05	c bounds -17104 >= -1648314 @ 34.9179
36.86/37.07	c bounds -17105 >= -1648314 @ 34.9369
36.96/37.12	c bounds -17106 >= -1648314 @ 34.9813
37.26/37.46	c bounds -17107 >= -1648314 @ 35.3149
37.26/37.47	c bounds -17107 >= -1647680 @ 35.3215
37.26/37.48	c bounds -17107 >= -1647363 @ 35.3349
37.26/37.49	c bounds -17107 >= -1647046 @ 35.3434
37.35/37.50	c bounds -17107 >= -1646729 @ 35.3495
37.35/37.51	c bounds -17107 >= -1646412 @ 35.3568
37.35/37.53	c bounds -17107 >= -1646095 @ 35.3824
37.35/37.56	c bounds -17107 >= -1645778 @ 35.4108
37.46/37.68	c bounds -17107 >= -1645461 @ 35.5269
38.06/38.26	c bounds -17107 >= -1645144 @ 36.1029
38.16/38.31	c bounds -17108 >= -1645144 @ 36.1426
38.16/38.34	c bounds -17109 >= -1645144 @ 36.1723
38.16/38.36	c bounds -17110 >= -1645144 @ 36.1896
38.36/38.50	c bounds -17111 >= -1645144 @ 36.3218
38.56/38.74	c bounds -17111 >= -1644827 @ 36.55
38.65/38.88	c bounds -17111 >= -1644510 @ 36.6956
38.75/38.93	c bounds -17111 >= -1644193 @ 36.7434
39.45/39.64	c bounds -17111 >= -1643876 @ 37.4413
39.75/39.98	c #Conflicts:       6000 | #Constraints:      13040
39.75/39.98	c bounds -17114 >= -1643876 @ 37.7721
40.65/40.88	c bounds -17114 >= -1643559 @ 38.6441
40.74/40.90	c bounds -17115 >= -1643559 @ 38.6573
41.05/41.29	c bounds -17116 >= -1643559 @ 39.034
41.45/41.60	c bounds -17116 >= -1643242 @ 39.3486
41.75/41.91	c bounds -17117 >= -1643242 @ 39.6471
41.75/41.95	c bounds -17118 >= -1643242 @ 39.6797
41.75/41.97	c bounds -17119 >= -1643242 @ 39.7024
41.75/41.99	c bounds -17120 >= -1643242 @ 39.7202
41.85/42.02	c bounds -17121 >= -1643242 @ 39.7422
41.85/42.05	c bounds -17122 >= -1643242 @ 39.778
41.85/42.07	c bounds -17122 >= -1642294 @ 39.7943
41.85/42.08	c bounds -17122 >= -1641978 @ 39.8029
42.14/42.31	c INPROCESSING
42.14/42.31	c GARBAGE COLLECT
42.14/42.31	c rational objective -17191
42.94/43.10	c bounds -17122 >= -1641662 @ 40.8079
42.94/43.11	c bounds -17122 >= -1641346 @ 40.8157
42.94/43.11	c bounds -17122 >= -1641030 @ 40.8188
42.94/43.13	c bounds -17122 >= -1640714 @ 40.8318
42.94/43.13	c bounds -17122 >= -1640398 @ 40.835
42.94/43.14	c bounds -17122 >= -1640082 @ 40.8434
42.94/43.15	c bounds -17122 >= -1639766 @ 40.855
42.94/43.16	c bounds -17122 >= -1639450 @ 40.8621
42.94/43.17	c bounds -17122 >= -1639134 @ 40.8739
43.05/43.23	c bounds -17122 >= -1638818 @ 40.9384
43.05/43.25	c bounds -17123 >= -1638818 @ 40.9512
43.05/43.27	c bounds -17124 >= -1638818 @ 40.9648
43.14/43.32	c bounds -17124 >= -1638502 @ 41.0182
43.14/43.34	c bounds -17125 >= -1638502 @ 41.0282
43.14/43.36	c bounds -17126 >= -1638502 @ 41.0467
44.14/44.30	c bounds -17127 >= -1638502 @ 41.9613
44.14/44.31	c bounds -17127 >= -1638186 @ 41.9777
44.14/44.38	c bounds -17127 >= -1637870 @ 42.0406
44.54/44.75	c bounds -17127 >= -1637554 @ 42.4029
44.64/44.87	c #Conflicts:       7000 | #Constraints:      12093
44.64/44.87	c bounds -17127 >= -1637238 @ 42.5277
44.85/45.07	c bounds -17127 >= -1636922 @ 42.7171
45.34/45.51	c bounds -17127 >= -1636606 @ 43.1492
45.34/45.53	c bounds -17128 >= -1636606 @ 43.1681
45.64/45.85	c bounds -17129 >= -1636606 @ 43.4824
46.24/46.44	c bounds -17129 >= -1636290 @ 44.0615
46.24/46.46	c bounds -17130 >= -1636290 @ 44.0738
46.73/46.91	c bounds -17131 >= -1636290 @ 44.517
47.53/47.72	c bounds -17131 >= -1635974 @ 45.3166
47.94/48.15	c #Conflicts:       8000 | #Constraints:      13170
47.94/48.15	c bounds -17131 >= -1635658 @ 45.7384
48.13/48.37	c bounds -17131 >= -1635342 @ 45.9422
48.62/48.85	c bounds -17131 >= -1635026 @ 46.4202
48.62/48.87	c bounds -17132 >= -1635026 @ 46.4325
48.73/48.90	c bounds -17133 >= -1635026 @ 46.4658
48.73/48.94	c bounds -17134 >= -1635026 @ 46.4953
48.73/48.95	c bounds -17135 >= -1635026 @ 46.5076
49.03/49.20	c bounds -17136 >= -1635026 @ 46.742
49.03/49.22	c bounds -17137 >= -1635026 @ 46.7565
49.03/49.26	c bounds -17138 >= -1635026 @ 46.7876
49.03/49.28	c bounds -17139 >= -1635026 @ 46.8085
49.13/49.34	c bounds -17140 >= -1635026 @ 46.8623
49.13/49.36	c bounds -17141 >= -1635026 @ 46.8768
49.22/49.40	c bounds -17142 >= -1635026 @ 46.914
49.32/49.50	c bounds -17143 >= -1635026 @ 46.9991
49.32/49.53	c bounds -17144 >= -1635026 @ 47.0224
49.32/49.57	c bounds -17145 >= -1635026 @ 47.0661
49.43/49.64	c bounds -17146 >= -1635026 @ 47.1199
52.31/52.59	c #Conflicts:       9000 | #Constraints:      14231
52.31/52.59	c bounds -17146 >= -1634710 @ 50.0037
52.71/52.95	c INPROCESSING
52.71/52.95	c GARBAGE COLLECT
52.71/52.95	c rational objective -17191
53.81/54.04	c bounds -17147 >= -1634710 @ 51.4159
54.31/54.56	c bounds -17148 >= -1634710 @ 51.9259
55.11/55.30	c bounds -17149 >= -1634710 @ 52.6577
55.70/55.95	c bounds -17149 >= -1634394 @ 53.2916
56.90/57.11	c #Conflicts:      10000 | #Constraints:      12508
56.90/57.11	c bounds -17149 >= -1634078 @ 54.4278
62.79/63.02	c #Conflicts:      11000 | #Constraints:      13520
62.79/63.02	c bounds -17149 >= -1633762 @ 60.2051
62.98/63.20	c bounds -17150 >= -1633762 @ 60.3737
62.98/63.25	c bounds -17151 >= -1633762 @ 60.4152
63.08/63.32	c bounds -17152 >= -1633762 @ 60.4732
63.08/63.38	c bounds -17153 >= -1633762 @ 60.5277
63.17/63.40	c bounds -17154 >= -1633762 @ 60.5446
63.68/63.98	c bounds -17155 >= -1633762 @ 61.1058
63.78/64.04	c bounds -17156 >= -1633762 @ 61.1615
63.78/64.08	c bounds -17157 >= -1633762 @ 61.1944
63.88/64.13	c bounds -17158 >= -1633762 @ 61.241
63.97/64.29	c bounds -17159 >= -1633762 @ 61.3958
64.08/64.35	c bounds -17160 >= -1633762 @ 61.4453
64.18/64.40	c bounds -17161 >= -1633762 @ 61.4999
64.18/64.47	c bounds -17162 >= -1633762 @ 61.5622
64.27/64.57	c bounds -17163 >= -1633762 @ 61.6587
64.37/64.61	c bounds -17164 >= -1633762 @ 61.6996
64.37/64.66	c bounds -17165 >= -1633762 @ 61.7411
64.67/64.99	c #Conflicts:      12000 | #Constraints:      14559
64.67/64.99	c INPROCESSING
64.67/64.99	c GARBAGE COLLECT
64.67/64.99	c rational objective -17191
65.47/65.75	c bounds -17166 >= -1633762 @ 62.8086
65.47/65.76	c bounds -17167 >= -1633762 @ 62.8147
65.47/65.78	c bounds -17168 >= -1633762 @ 62.8349
65.58/65.84	c bounds -17169 >= -1633762 @ 62.8927
65.58/65.85	c bounds -17171 >= -1633762 @ 62.8999
65.58/65.87	c bounds -17172 >= -1633762 @ 62.9127
65.97/66.20	c bounds -17173 >= -1633762 @ 63.2298
65.97/66.22	c bounds -17174 >= -1633762 @ 63.2484
65.97/66.25	c bounds -17175 >= -1633762 @ 63.2767
66.17/66.42	c bounds -17176 >= -1633762 @ 63.4362
67.47/67.74	c bounds -17177 >= -1633762 @ 64.7261
67.56/67.85	c bounds -17178 >= -1633762 @ 64.8226
67.56/67.86	c bounds -17179 >= -1633762 @ 64.837
67.56/67.88	c bounds -17180 >= -1633762 @ 64.8474
67.66/67.90	c bounds -17181 >= -1633762 @ 64.8667
67.66/67.94	c bounds -17182 >= -1633762 @ 64.909
67.66/67.99	c bounds -17183 >= -1633762 @ 64.9512
67.87/68.13	c bounds -17184 >= -1633762 @ 65.0792
67.87/68.18	c bounds -17185 >= -1633762 @ 65.1255
68.06/68.34	c bounds -17186 >= -1633762 @ 65.2708
68.26/68.52	c bounds -17187 >= -1633762 @ 65.4404
68.56/68.80	c bounds -17188 >= -1633762 @ 65.7223
68.87/69.15	c bounds -17189 >= -1633762 @ 66.0546
68.96/69.27	c bounds -17190 >= -1633762 @ 66.173
68.96/69.28	c rational objective -17191
69.87/70.10	c bounds -17191 >= -1633762 @ 66.9854
69.87/70.12	c bounds -17191 >= -17191 @ 66.9987
69.87/70.12	c cpu time 66.9987 s
69.87/70.12	c deterministic time 3836320737 3.84e+09
69.87/70.12	c optimization time 3.38049 s
69.87/70.12	c total solve time 63.5677 s
69.87/70.12	c core-guided solve time 37.9826 s
69.87/70.12	c propagation time 25.9727 s
69.87/70.12	c conflict analysis time 26.9982 s
69.87/70.12	c propagations 23916889
69.87/70.12	c resolve steps 114983
69.87/70.12	c decisions 2086386
69.87/70.12	c conflicts 12497
69.87/70.12	c restarts 54
69.87/70.12	c inprocessing phases 5
69.87/70.12	c garbage collections 5 ,( 100.00 )
69.87/70.12	c input clauses 9365 ,( 91.35 )
69.87/70.12	c input cardinalities 315 ,( 3.07 )
69.87/70.12	c input general constraints 572 ,( 5.58 )
69.87/70.12	c input average constraint length 345.19
69.87/70.12	c input average constraint degree 1153.30
69.87/70.12	c learned clauses 6887 ,( 54.64 )
69.87/70.12	c learned cardinalities 35 ,( 0.28 )
69.87/70.12	c learned general constraints 5682 ,( 45.08 )
69.87/70.12	c learned average constraint length 3553.43
69.87/70.12	c learned average constraint degree 82656298842.76
69.87/70.12	c watched  CF 32, 64, 128, Arb: 1610 , 0 , 0 , 0
69.87/70.12	c counting CF 32, 64, 128, Arb: 4645 , 0 , 0 , 0
69.87/70.12	c watched   constraints 1610 ,( 25.74 ) 
69.87/70.12	c counting  constraints 4644 ,( 74.26 ) 
69.87/70.12	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2052121 , 275454 , 33575176 ,( 1577907 , 31997269 )
69.87/70.12	c gcd simplifications 2333
69.87/70.12	c detected cardinalities 10
69.87/70.12	c weakened non-implied lits 17591150
69.87/70.12	c weakened non-implying lits 19825
69.87/70.12	c original variables 10008
69.87/70.12	c clausal propagations 1725331
69.87/70.12	c cardinality propagations 116043
69.87/70.12	c watched propagations 169453
69.87/70.12	c counting propagations 20791202
69.87/70.12	c watch lookups 261683181
69.87/70.12	c watch backjump lookups 0
69.87/70.12	c watch checks 622164296
69.87/70.12	c propagation checks 2737443051
69.87/70.12	c constraint additions 163006624
69.87/70.12	c trail pops 26006629
69.87/70.12	c formula constraints 9175
69.87/70.12	c learned constraints 12446
69.87/70.12	c bound constraints 352
69.87/70.12	c core-guided constraints 725
69.87/70.12	c encountered formula constraints 23778
69.87/70.12	c encountered learned constraints 40725
69.87/70.12	c encountered bound constraints 2604
69.87/70.12	c encountered core-guided constraints 58648
69.87/70.12	c LP total time 10.4928 s
69.87/70.12	c LP solve time 5.15 s
69.87/70.12	c LP constraints added 9181
69.87/70.12	c LP constraints removed 4
69.87/70.12	c LP pivots internal 12497
69.87/70.12	c LP pivots root 1183
69.87/70.12	c LP calls 267
69.87/70.12	c LP optimalities 181
69.87/70.12	c LP no pivot count 50
69.87/70.12	c LP infeasibilities 78
69.87/70.12	c LP valid Farkas constraints 76
69.87/70.12	c LP learned Farkas constraints 76
69.87/70.12	c LP basis resets 9
69.87/70.12	c LP cycling count 6
69.87/70.12	c LP singular count 0
69.87/70.12	c LP no primal count 0
69.87/70.12	c LP no farkas count 1
69.87/70.12	c LP other issue count 2
69.87/70.12	c LP Gomory cuts 6
69.87/70.12	c LP learned cuts 0
69.87/70.12	c LP deleted cuts 4
69.87/70.12	c LP encountered Gomory constraints 0
69.87/70.12	c LP encountered Farkas constraints 1430
69.87/70.12	c LP encountered learned Farkas constraints 218
69.87/70.12	c CG auxiliary variables introduced 278
69.87/70.12	c CG solutions found 240
69.87/70.12	c CG cores constructed 111
69.87/70.12	c CG core cardinality constraints returned 7
69.87/70.12	c CG unit cores 14
69.87/70.12	c CG single cores 87
69.87/70.12	c CG blocks removed during cardinality reduction 0
69.87/70.12	c CG first core best 4
69.87/70.12	c CG decision core best 1
69.87/70.12	c CG core reduction tie 5
69.87/70.12	c CG core degree average 1.30
69.87/70.12	c CG core slack average 7.18
69.87/70.12	c CG core upper bound improvements 0
69.87/70.12	c STR number of successful calls 0
69.87/70.12	c STR number of unsuccessful calls 0
69.87/70.12	c STR number of inconclusive calls 0
69.87/70.12	c STR number of successful attempts 0
69.87/70.12	c STR number of unsuccessful attempts 0
69.87/70.12	c STR number of inconclusive attempts 0
69.87/70.12	c STR average degree increase per successful call inf
69.87/70.12	c STR average degree increase per successful attempt inf
69.87/70.12	c STR total number of conflicts for successful attempts 0
69.87/70.12	c STR total number of conflicts for unsuccessful attempts 0
69.87/70.12	c STR total number of conflicts for inconclusive attempts 0
69.87/70.12	c STR average number of conflicts per successful attempt inf
69.87/70.12	c STR average number of conflicts per unsuccessful attempt inf
69.87/70.12	c STR average number of conflicts per inconclusive attempt inf
69.87/70.12	c AVG.sumWPerc 73.03 
69.87/70.12	c bigint constraints 0 
69.87/70.12	o -17191
69.87/70.12	s OPTIMUM FOUND
69.87/70.12	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 x555 x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 x808 x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 x1516 -x1517 -x1518 x1519 x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 x1842 -x1843 -x1844 x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 x2237 x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 x3044 -x3045 -x3046 -x3047 -x3048 x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 x3150 -x3151 x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850 x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 x4070 -x4071 -x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 x4194 x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 x4372 -x4373 x4374 x4375 x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 x4728 -x4729 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5041 -x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 x5189 -x5190 x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 x5254 x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 x5328 -x5329 x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 -x5364 -x5365 x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 x5469 -x5470 -x5471 -x5472 -x5473 x5474 -x5475 -x5476 x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 x5513 -x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 x5543 -x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 x5613 -x5614 -x5615 x5616 -x5617 x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 x5625 -x5626 x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 x5663 x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 x5712 -x5713 x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 x5741 -x5742 -x5743 -x5744 -x5745 -x5746 x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 -x5794 -x5795 x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 x5861 -x5862 -x5863 -x5864 x5865 -x5866 x5867 -x5868 -x5869 x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6000 -x6001 -x6002 -x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 x6050 x6051 -x6052 -x6053 x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 x6262 -x6263 -x6264 -x6265 -x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 x6357 -x6358 -x6359 -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 x6564 -x6565 -x6566 -x6567 -x6568 x6569 x6570 -x6571 x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 x6582 x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 x6609 -x6610 -x6611 -x6612 x6613 x6614 -x6615 -x6616 -x6617 x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 -x6818 x6819 -x6820 x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 x6928 -x6929 -x6930 -x6931 -x6932 x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 x7122 -x7123 -x7124 x7125 -x7126 -x7127 -x7128 x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 x7204 -x7205 -x7206 -x7207 x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 x7240 x7241 -x7242 -x7243 -x7244 -x7245 x7246 -x7247 -x7248 -x7249 x7250 -x7251 -x7252 -x7253 -x7254 -x7255 x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 x7307 -x7308 x7309 -x7310 -x7311 -x7312 -x7313 x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 x7412 -x7413 -x7414 x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 x7498 -x7499 -x7500 x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 x7611 x7612 -x7613 x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 x7642 -x7643 -x7644 -x7645 x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 x7714 -x7715 -x7716 x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 x7730 -x7731 -x7732 -x7733 x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 x7955 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 x8008 -x8009 x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 x8257 -x8258 x8259 -x8260 x8261 -x8262 -x8263 -x8264 x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 x8275 -x8276 -x8277 x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 x8353 -x8354 -x8355 -x8356 x8357 x8358 x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 x8377 x8378 -x8379 -x8380 x8381 -x8382 -x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 x8428 -x8429 -x8430 -x8431 -x8432 x8433 -x8434 -x8435 -x8436 -x8437 -x8438 x8439 -x8440 -x8441 -x8442 -x8443 -x8444 x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 x8511 -x8512 -x8513 -x8514 -x8515 x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 x8564 x8565 -x8566 -x8567 x8568 -x8569 -x8570 x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 x8585 -x8586 -x8587 -x8588 -x8589 -x8590 x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 x8609 -x8610 -x8611 -x8612 -x8613 x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 x8757 -x8758 x8759 -x8760 -x8761 -x8762 -x8763 -x8764 x8765 -x8766 -x8767 -x8768 -x8769 -x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 x8867 -x8868 -x8869 x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 x8903 x8904 -x8905 -x8906 -x8907 -x8908 x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 x8966 -x8967 -x8968 x8969 -x8970 -x8971 x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 x9056 -x9057 x9058 -x9059 -x9060 -x9061 -x9062 x9063 -x9064 -x9065 x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 x9132 -x9133 x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 x9172 -x9173 -x9174 -x9175 -x9176 -x9177 x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 x9259 -x9260 x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 x9268 -x9269 -x9270 -x9271 -x9272 x9273 -x9274 x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 x9300 -x9301 -x9302 -x9303 -x9304 -x9305 x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 x9346 -x9347 -x9348 -x9349 -x9350 -x9351 x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 x9385 -x9386 -x9387 x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 x9396 -x9397 x9398 -x9399 -x9400 x9401 -x9402 -x9403 -x9404 x9405 x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 x9515 -x9516 -x9517 -x9518 -x9519 -x9520 x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 x9559 -x9560 x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 x9600 -x9601 x9602 -x9603 x9604 x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 x9618 -x9619 x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 x9644 -x9645 x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 x9703 -x9704 -x9705 x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 x9718 -x9719 x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 x9740 -x9741 -x9742 -x9743 -x9744 -x9745 x9746 -x9747 x9748 x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 x9775 -x9776 -x9777 -x9778 x9779 x9780 -x9781 -x9782 x9783 -x9784 -x9785 x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 x9822 -x9823 -x9824 x9825 -x9826 x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000

Verifier Data 

OK	-17191

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Thu Jul  3 13:43:15 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS -17191 <= obj <= -17191
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS ~17191 <= obj <= ~17191
--summary--
ALL OK

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: 63665 MiB (32321 MiB free)
  memory of node 1: 64507 MiB (37709 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518137-1751530356/watcher-4518137-1751530356 -o /tmp/evaluation-result-4518137-1751530356/solver-4518137-1751530356 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751526722-80887 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4518137-1751530356.opb PROOFDIR/proof-4518137-1751530356 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82412, runsolver pid=82409
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.17 4.14 4.08 5/274 82414
/proc/meminfo: memFree=71698780/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82414] ppid=82412 vsize=22276 memory=13580 CPUtime=0.08 cores=0,2
/proc/82414/stat : 82414 (pbsuma) R 82412 82412 80877 0 -1 4194304 3451 0 0 0 8 0 0 0 20 0 1 0 68713514 22810624 3395 18446744073709551615 4210688 4653049 140724012807920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23166976 140724012816611 140724012816946 140724012816946 140724012822511 0
/proc/82414/statm: 5569 3395 1024 108 0 2977 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26468 KiB
Current children cumulated memory: 16524 KiB

[startup+0.205907 s]*
/proc/loadavg: 4.17 4.14 4.08 5/274 82414
/proc/meminfo: memFree=71690716/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82414] ppid=82412 vsize=22276 memory=13580 CPUtime=0.19 cores=0,2
/proc/82414/stat : 82414 (pbsuma) R 82412 82412 80877 0 -1 4194304 3451 0 0 0 19 0 0 0 20 0 1 0 68713514 22810624 3395 18446744073709551615 4210688 4653049 140724012807920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23166976 140724012816611 140724012816946 140724012816946 140724012822511 0
/proc/82414/statm: 5569 3395 1024 108 0 2977 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26468 KiB
Current children cumulated memory: 16524 KiB

[startup+0.305817 s]*
/proc/loadavg: 4.17 4.14 4.08 5/274 82414
/proc/meminfo: memFree=71690716/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82414] ppid=82412 vsize=22276 memory=13580 CPUtime=0.29 cores=0,2
/proc/82414/stat : 82414 (pbsuma) R 82412 82412 80877 0 -1 4194304 3451 0 0 0 29 0 0 0 20 0 1 0 68713514 22810624 3395 18446744073709551615 4210688 4653049 140724012807920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 23166976 140724012816611 140724012816946 140724012816946 140724012822511 0
/proc/82414/statm: 5569 3395 1024 108 0 2977 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26468 KiB
Current children cumulated memory: 16524 KiB

[startup+0.700203 s]
/proc/loadavg: 4.17 4.14 4.08 5/274 82414
/proc/meminfo: memFree=71674840/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+1.5002 s]
/proc/loadavg: 4.17 4.14 4.08 5/274 82415
/proc/meminfo: memFree=71660460/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=74252 memory=25100 CPUtime=0.85 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 4950 0 0 0 84 1 0 0 20 0 1 0 68713577 76034048 6275 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 18563 6275 2304 1147 0 5990 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 78444 KiB
Current children cumulated memory: 28044 KiB

[startup+3.10571 s]
/proc/loadavg: 4.16 4.13 4.08 5/274 82415
/proc/meminfo: memFree=71603760/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=74252 memory=25100 CPUtime=2.45 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 4950 0 0 0 244 1 0 0 20 0 1 0 68713577 76034048 6275 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 18563 6275 2304 1147 0 5990 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 78444 KiB
Current children cumulated memory: 28044 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.13 4.08 5/274 82415
/proc/meminfo: memFree=71321140/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=185748 memory=131496 CPUtime=5.64 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 28553 0 0 0 554 10 0 0 20 0 1 0 68713577 190205952 32874 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 46437 32874 2432 1147 0 33864 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 189940 KiB
Current children cumulated memory: 134440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.15 4.09 5/274 82510
/proc/meminfo: memFree=85728944/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=315164 memory=259932 CPUtime=12.02 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 47919 0 0 0 1161 41 0 0 20 0 1 0 68713577 322727936 64983 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 78791 64983 2432 1147 0 66218 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 319356 KiB
Current children cumulated memory: 262876 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.09 6/273 82511
/proc/meminfo: memFree=84699300/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=521952 memory=429100 CPUtime=24.79 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 81029 0 0 0 2394 85 0 0 20 0 1 0 68713577 534478848 107275 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 130488 107275 2432 1147 0 117915 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 526144 KiB
Current children cumulated memory: 432044 KiB

[startup+51.1067 s]
/proc/loadavg: 4.18 4.15 4.09 7/271 82543
/proc/meminfo: memFree=83492596/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=50.31 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 92222 0 0 0 4854 177 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

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

# cumulated CPU time of all completed processes:  user=67.6098 s, system=2.39907 s

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

[startup+51.2002 s]
/proc/loadavg: 4.18 4.15 4.09 7/271 82543
/proc/meminfo: memFree=83492596/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=50.4 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 92222 0 0 0 4863 177 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.21 4.15 4.09 5/271 82543
/proc/meminfo: memFree=82893772/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=63.17 cores=0,2
/proc/82415/stat : 82415 (roundingsat) R 82412 82412 80877 0 -1 4194304 92225 0 0 0 6112 205 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 63.78 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

[startup+70.4002 s]
/proc/loadavg: 4.19 4.15 4.09 5/271 82543
/proc/meminfo: memFree=82585180/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=69.33 cores=0,2
/proc/82415/stat : 82415 (roundingsat) D 82412 82412 80877 0 -1 4194304 92225 0 0 0 6700 233 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 69.94 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

[startup+72.0002 s]*
/proc/loadavg: 4.19 4.15 4.09 3/271 82544
/proc/meminfo: memFree=82548948/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=69.33 cores=0,2
/proc/82415/stat : 82415 (roundingsat) D 82412 82412 80877 0 -1 4194304 92225 0 0 0 6700 233 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 69.94 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

[startup+73.6002 s]
/proc/loadavg: 4.18 4.15 4.09 3/271 82544
/proc/meminfo: memFree=82524756/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=69.33 cores=0,2
/proc/82415/stat : 82415 (roundingsat) D 82412 82412 80877 0 -1 4194304 92225 0 0 0 6700 233 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 69.94 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

[startup+74.4002 s]
/proc/loadavg: 4.18 4.15 4.09 3/271 82544
/proc/meminfo: memFree=82516692/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=69.33 cores=0,2
/proc/82415/stat : 82415 (roundingsat) D 82412 82412 80877 0 -1 4194304 92225 0 0 0 6700 233 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 69.94 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

[startup+74.8003 s]
/proc/loadavg: 4.18 4.15 4.09 3/271 82544
/proc/meminfo: memFree=82516692/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=69.34 cores=0,2
/proc/82415/stat : 82415 (roundingsat) D 82412 82412 80877 0 -1 4194304 92225 0 0 0 6700 234 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 69.95 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

[startup+74.9002 s]
/proc/loadavg: 4.18 4.15 4.09 3/271 82544
/proc/meminfo: memFree=82516692/131249996 swapFree=33010684/33010684
[pid=82412] ppid=82409 vsize=4192 memory=2944 CPUtime=0.61 cores=0,2
/proc/82412/stat : 82412 (run-opt-ls-log.) S 82409 82412 80877 0 -1 4194304 240 5014 0 0 0 0 60 1 20 0 1 0 68713514 4292608 736 18446744073709551615 94672171184128 94672172078661 140736459295696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94672172317712 94672172365456 94672173744128 140736459299099 140736459299297 140736459299297 140736459304899 0
/proc/82412/statm: 1048 736 672 219 0 110 0
[pid=82415] ppid=82412 vsize=638524 memory=494716 CPUtime=69.34 cores=0,2
/proc/82415/stat : 82415 (roundingsat) D 82412 82412 80877 0 -1 4194304 92225 0 0 0 6700 234 0 0 20 0 1 0 68713577 653848576 123679 18446744073709551615 4227072 8923433 140732195678464 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 18092032 140732195686646 140732195686952 140732195686952 140732195692522 0
/proc/82415/statm: 159631 123679 2528 1147 0 147058 0
Current children cumulated CPU time: 69.95 s
Current children cumulated vsize: 642716 KiB
Current children cumulated memory: 497660 KiB

Child status: 0

Real time (s): 74.9794
CPU time (s): 70.0089
CPU user time (s): 67.6098
CPU system time (s): 2.39907
CPU usage (%): 93.3708
Max. virtual memory (cumulated for all children) (KiB): 642716
Max. memory (cumulated for all children) (KiB): 497660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.6098
system time used= 2.39907
maximum resident set size= 494716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2248536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16372
involuntary context switches= 242


# summary of solver processes directly reported to runsolver:
#   pid: 82412
#   total CPU time (s): 70.0089
#   total CPU user time (s): 67.6098
#   total CPU system time (s): 2.39907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173032 second user time and 0.377916 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-03 10:12:36
IDJOB=4518137
IDBENCH=176392
IDSOLVER=3356
FILE ID=nodeC024/4518137-1751530356
RUNJOBID= nodeC024-1751526722-80887
SLURM_JOB_ID= 9598658
Free space on /tmp= 432336 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_2000_1000_5_-50838.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518137-1751530356/watcher-4518137-1751530356 -o /tmp/evaluation-result-4518137-1751530356/solver-4518137-1751530356 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751526722-80887 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4518137-1751530356.opb PROOFDIR/proof-4518137-1751530356

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

MD5SUM BENCH= b64c15565e2e2abc4a6ec3aecc6a0814
RANDOM SEED=1069663437

nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.498
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.672
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.698
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.315
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.670
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.030
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.941
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.649
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        71719004 kB
MemAvailable:   121428348 kB
Buffers:            2144 kB
Cached:         50441332 kB
SwapCached:            0 kB
Active:          8841804 kB
Inactive:       49910204 kB
Active(anon):    8322536 kB
Inactive(anon):     4132 kB
Active(file):     519268 kB
Inactive(file): 49906072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1188832 kB
Writeback:             0 kB
AnonPages:       8309688 kB
Mapped:           118728 kB
Shmem:             18064 kB
KReclaimable:     246084 kB
Slab:             376280 kB
SReclaimable:     246084 kB
SUnreclaim:       130196 kB
KernelStack:        4432 kB
PageTables:        21712 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10028164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2895872 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432332 MiB
End job on nodeC024 at 2025-07-03 10:13:51