Trace number 4532146

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 0f876b3OPT cert.-17191 66.7954 67.9732

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4532146-1752597065.opb'
0.00/0.02	c 	read 0.21MB  (4.04ms)
0.00/0.02	c	 [cnf: #variables 10000 #clauses 2 #duplicates 0 #arr 20000]
0.00/0.02	c output proof to 'PROOFDIR/proof-4532146-1752597065'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 2000] (8.44ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.03	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.05	c 	 found row 13x2, generating row predicate
0.00/0.06	c 	 found row 9x2, generating row predicate
0.00/0.07	c 	 found row 11x2, generating row predicate
0.00/0.08	c 	 found row 7x2, generating row predicate
0.08/0.11	c 	 found row 20x2, generating row predicate
0.08/0.12	c 	 found row 11x2, generating row predicate
0.08/0.13	c 	 found row 9x2, generating row predicate
0.08/0.14	c 	 found row 9x2, generating row predicate
0.08/0.16	c 	 found row 14x2, generating row predicate
0.08/0.17	c 	 found row 12x2, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.20	c 	 found row 10x2, generating row predicate
0.08/0.21	c 	 found row 6x2, generating row predicate
0.19/0.22	c 	 found row 11x2, generating row predicate
0.19/0.23	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.27	c 	 found row 14x2, generating row predicate
0.19/0.28	c 	 found row 10x2, generating row predicate
0.19/0.30	c 	 found row 11x2, generating row predicate
0.29/0.32	c 	 found row 17x2, generating row predicate
0.29/0.33	c 	 found row 10x2, generating row predicate
0.29/0.34	c 	 found row 8x2, generating row predicate
0.29/0.35	c 	 found row 12x2, generating row predicate
0.29/0.37	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.38/0.42	c 	 found row 11x2, generating row predicate
0.38/0.43	c 	 found row 10x2, generating row predicate
0.38/0.45	c 	 found row 18x2, generating row predicate
0.38/0.47	c 	 found row 13x2, generating row predicate
0.38/0.48	c 	 found row 11x2, generating row predicate
0.38/0.48	c 	 (451.39ms)
0.38/0.48	c 
0.38/0.48	c detect symmetries on remainder
0.38/0.48	c 	[graph: #vertices 39994 #edges 99984]
0.38/0.48	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.38/0.49	c 	 [group: #symmetries 1.79*10^6509 #generators 8666] (11.64ms)
0.38/0.49	c 
0.38/0.49	c optimize generators (opt_passes=64, conjugate_limit=256)
0.38/0.49	c 	ran it=0, +gens=6 
0.48/0.60	c 	con best_support=4, best_gens=8666, +gens=144
0.48/0.60	c 	(104.02ms)
0.48/0.60	c 
0.48/0.60	c finalize break order and special generators
0.48/0.60	c 
0.48/0.60	c add generic predicates (break_depth=20)
0.48/0.60	c 	added predicates for 8816 generators (1.21ms)
0.58/0.62	c 
0.58/0.62	c generation finished
0.58/0.62	c 	[sbp: #constraints 9174 #add_vars 8]
0.58/0.62	c 
0.58/0.62	c write result to 'HOME/instance-4532146-1752597065.opb.pre'
0.58/0.62	c 	wrote 0.45MB (1.24ms)
0.58/0.62	c ------------------------------------------------------------------
0.58/0.62	c                 451.39ms 74.53% detect_special
0.58/0.62	c                 104.02ms 17.17% optimize_gens
0.58/0.62	c                  22.99ms  3.80% other
0.58/0.62	c                  11.64ms  1.92% detect_generic
0.58/0.62	c                   8.44ms  1.39% approx_orbits
0.58/0.62	c                   4.04ms  0.67% parse
0.58/0.62	c                   1.24ms  0.21% output
0.58/0.62	c                   1.21ms  0.20% break_generic
0.58/0.62	c                   0.70ms  0.12% finalize_order
0.58/0.62	c         ───────────────────────────────────────────────
0.58/0.62	c                 605.69ms   100% total
0.58/0.62	c ------------------------------------------------------------------
0.58/0.64	c RoundingSat 2
0.58/0.64	c branch pb25
0.58/0.64	c commit 0f876b3
0.59/0.71	c #variables 10008 #constraints 9175
0.59/0.71	c objective is ce32 
3.13/3.24	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.13/3.24	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3.13/3.24	c bounds -16948 >= -1678816 @ 2.57291
3.13/3.26	c rational objective -17191.3
3.43/3.54	c bounds -16949 >= -1678816 @ 2.85487
3.43/3.55	c bounds -16949 >= -1678150 @ 2.85941
3.53/3.65	c bounds -16949 >= -1677817 @ 2.96008
3.53/3.66	c bounds -16949 >= -1677484 @ 2.97198
3.53/3.68	c bounds -16949 >= -1677151 @ 2.98654
3.63/3.70	c bounds -16949 >= -1676818 @ 3.00311
3.63/3.70	c bounds -16949 >= -1676485 @ 3.00742
3.63/3.71	c bounds -16949 >= -1676152 @ 3.01556
7.03/7.19	c bounds -16949 >= -1675819 @ 6.38985
7.22/7.33	c bounds -16950 >= -1675819 @ 6.52139
7.32/7.43	c bounds -16951 >= -1675819 @ 6.6163
7.32/7.49	c bounds -16952 >= -1675819 @ 6.67162
7.42/7.51	c bounds -16953 >= -1675819 @ 6.68924
7.42/7.55	c bounds -16954 >= -1675819 @ 6.72809
7.52/7.65	c bounds -16955 >= -1675819 @ 6.81971
7.62/7.70	c bounds -16956 >= -1675819 @ 6.86441
7.62/7.72	c bounds -16957 >= -1675819 @ 6.88636
7.62/7.75	c bounds -16958 >= -1675819 @ 6.90214
7.62/7.77	c bounds -16959 >= -1675819 @ 6.92096
7.62/7.79	c bounds -16960 >= -1675819 @ 6.93389
7.72/7.82	c bounds -16961 >= -1675819 @ 6.9652
7.72/7.85	c bounds -16962 >= -1675819 @ 6.99478
7.82/7.90	c bounds -16963 >= -1675819 @ 7.03489
7.82/7.93	c bounds -16964 >= -1675819 @ 7.06789
7.82/8.00	c bounds -16965 >= -1675819 @ 7.13422
7.93/8.07	c bounds -16966 >= -1675819 @ 7.19659
8.03/8.17	c bounds -16967 >= -1675819 @ 7.28992
8.11/8.24	c bounds -16968 >= -1675819 @ 7.35066
8.11/8.28	c bounds -16969 >= -1675819 @ 7.38546
8.22/8.33	c bounds -16970 >= -1675819 @ 7.42367
8.22/8.35	c bounds -16971 >= -1675819 @ 7.44433
8.32/8.44	c bounds -16972 >= -1675819 @ 7.52513
8.32/8.49	c bounds -16973 >= -1675819 @ 7.56449
8.42/8.55	c bounds -16974 >= -1675819 @ 7.61478
8.52/8.61	c bounds -16975 >= -1675819 @ 7.66502
8.52/8.65	c bounds -16976 >= -1675819 @ 7.69867
8.52/8.67	c bounds -16977 >= -1675819 @ 7.71571
8.52/8.69	c bounds -16978 >= -1675819 @ 7.72995
8.61/8.72	c bounds -16979 >= -1675819 @ 7.75694
8.61/8.75	c bounds -16980 >= -1675819 @ 7.78568
8.61/8.77	c bounds -16981 >= -1675819 @ 7.79957
8.72/8.80	c bounds -16982 >= -1675819 @ 7.82405
11.71/11.87	c #Conflicts:       1000 | #Constraints:      10248
11.71/11.87	c bounds -16983 >= -1675819 @ 10.8106
11.81/11.91	c bounds -16983 >= -1675486 @ 10.8473
11.81/11.99	c bounds -16983 >= -1675153 @ 10.9243
11.92/12.04	c bounds -16983 >= -1674820 @ 10.9697
11.92/12.05	c bounds -16983 >= -1674487 @ 10.9714
12.61/12.72	c bounds -16983 >= -1674154 @ 11.6136
12.71/12.83	c bounds -16984 >= -1674154 @ 11.7098
12.71/12.84	c bounds -16984 >= -1673822 @ 11.72
12.80/12.94	c bounds -16985 >= -1673822 @ 11.8205
12.80/12.95	c bounds -16985 >= -1671505 @ 11.8295
12.80/12.97	c bounds -16985 >= -1671174 @ 11.8492
13.30/13.46	c bounds -16986 >= -1671174 @ 12.3283
13.30/13.47	c bounds -16986 >= -1670844 @ 12.333
13.70/13.81	c bounds -16987 >= -1670844 @ 12.6647
13.70/13.82	c bounds -16987 >= -1668541 @ 12.6774
13.70/13.84	c bounds -16987 >= -1668212 @ 12.6925
15.20/15.37	c bounds -16988 >= -1668212 @ 14.1704
15.20/15.38	c bounds -16988 >= -1667884 @ 14.1786
15.20/15.38	c bounds -16988 >= -1667556 @ 14.1863
15.20/15.39	c bounds -16988 >= -1667228 @ 14.1953
15.30/15.43	c bounds -16989 >= -1667228 @ 14.2289
15.30/15.44	c bounds -16989 >= -1666901 @ 14.2377
15.30/15.45	c bounds -16989 >= -1666574 @ 14.2469
15.30/15.47	c bounds -16989 >= -1666247 @ 14.268
15.40/15.52	c bounds -16990 >= -1666247 @ 14.3203
15.40/15.55	c bounds -16990 >= -1665921 @ 14.346
15.40/15.56	c bounds -16990 >= -1665595 @ 14.3609
15.40/15.59	c bounds -16990 >= -1665269 @ 14.3829
16.30/16.44	c bounds -16991 >= -1665269 @ 15.2229
16.40/16.51	c bounds -16992 >= -1665269 @ 15.2856
16.40/16.53	c bounds -16992 >= -1664944 @ 15.2997
16.40/16.54	c bounds -16992 >= -1664619 @ 15.316
16.50/16.67	c bounds -16992 >= -1664294 @ 15.4446
16.60/16.75	c bounds -16993 >= -1664294 @ 15.519
16.60/16.78	c bounds -16994 >= -1664294 @ 15.544
17.00/17.17	c #Conflicts:       2000 | #Constraints:      11379
17.00/17.17	c INPROCESSING
17.00/17.17	c GARBAGE COLLECT
17.00/17.17	c rational objective -17191
17.60/17.78	c bounds -16994 >= -1663970 @ 16.5325
17.60/17.79	c bounds -16995 >= -1663970 @ 16.5418
17.69/17.85	c bounds -16995 >= -1663646 @ 16.603
17.69/17.88	c bounds -16996 >= -1663646 @ 16.6284
17.80/17.90	c bounds -16997 >= -1663646 @ 16.6401
17.90/18.04	c bounds -16998 >= -1663646 @ 16.7735
17.90/18.07	c bounds -16998 >= -1663322 @ 16.8076
17.90/18.10	c bounds -16999 >= -1663322 @ 16.8308
17.90/18.10	c bounds -16999 >= -1662999 @ 16.8359
18.00/18.11	c bounds -16999 >= -1662676 @ 16.843
18.00/18.13	c bounds -16999 >= -1662353 @ 16.8577
18.09/18.20	c bounds -17000 >= -1662353 @ 16.9285
18.09/18.22	c bounds -17000 >= -1662031 @ 16.9527
18.09/18.26	c bounds -17000 >= -1661709 @ 16.9845
18.19/18.36	c bounds -17001 >= -1661709 @ 17.0851
18.29/18.44	c bounds -17001 >= -1661387 @ 17.1669
18.29/18.47	c bounds -17002 >= -1661387 @ 17.1881
18.29/18.48	c bounds -17002 >= -1661066 @ 17.1968
18.29/18.49	c bounds -17002 >= -1660745 @ 17.206
18.39/18.52	c bounds -17002 >= -1660424 @ 17.2381
18.39/18.53	c bounds -17003 >= -1660424 @ 17.2442
18.39/18.54	c bounds -17004 >= -1660424 @ 17.2535
19.09/19.27	c bounds -17005 >= -1660424 @ 17.97
19.19/19.31	c bounds -17006 >= -1660424 @ 17.9955
19.19/19.33	c bounds -17007 >= -1660424 @ 18.0179
19.19/19.39	c bounds -17008 >= -1660424 @ 18.0684
19.29/19.43	c bounds -17009 >= -1660424 @ 18.1054
19.29/19.47	c bounds -17010 >= -1660424 @ 18.1322
19.29/19.49	c bounds -17011 >= -1660424 @ 18.153
19.39/19.51	c bounds -17012 >= -1660424 @ 18.1692
19.39/19.54	c bounds -17013 >= -1660424 @ 18.1919
19.39/19.56	c bounds -17014 >= -1660424 @ 18.2082
19.59/19.76	c bounds -17015 >= -1660424 @ 18.4038
19.69/19.80	c bounds -17016 >= -1660424 @ 18.4371
19.69/19.84	c bounds -17017 >= -1660424 @ 18.4768
19.69/19.87	c bounds -17018 >= -1660424 @ 18.4999
19.79/19.92	c bounds -17019 >= -1660424 @ 18.5437
19.79/19.99	c bounds -17020 >= -1660424 @ 18.6151
19.79/20.00	c bounds -17020 >= -1660104 @ 18.6249
19.89/20.01	c bounds -17020 >= -1659784 @ 18.6297
19.89/20.04	c bounds -17020 >= -1659464 @ 18.6536
20.00/20.19	c bounds -17020 >= -1659144 @ 18.8008
20.08/20.21	c bounds -17021 >= -1659144 @ 18.8229
20.19/20.31	c bounds -17022 >= -1659144 @ 18.9172
20.29/20.44	c bounds -17022 >= -1658824 @ 19.0414
23.68/23.80	c bounds -17023 >= -1658824 @ 22.3303
23.68/23.89	c bounds -17024 >= -1658824 @ 22.4128
23.78/23.93	c bounds -17025 >= -1658824 @ 22.4477
23.78/23.98	c bounds -17026 >= -1658824 @ 22.4898
23.89/24.04	c bounds -17027 >= -1658824 @ 22.5427
23.89/24.08	c bounds -17028 >= -1658824 @ 22.5837
23.99/24.13	c bounds -17029 >= -1658824 @ 22.6288
23.99/24.18	c bounds -17030 >= -1658824 @ 22.6677
24.07/24.24	c bounds -17031 >= -1658824 @ 22.7213
24.07/24.29	c bounds -17032 >= -1658824 @ 22.7701
24.18/24.33	c bounds -17033 >= -1658824 @ 22.8031
24.18/24.38	c bounds -17034 >= -1658824 @ 22.8432
24.28/24.42	c bounds -17035 >= -1658824 @ 22.8828
24.28/24.46	c #Conflicts:       3000 | #Constraints:      11417
24.28/24.46	c bounds -17036 >= -1658824 @ 22.9218
24.38/24.52	c bounds -17037 >= -1658824 @ 22.9713
24.38/24.55	c bounds -17038 >= -1658824 @ 22.9968
24.38/24.58	c bounds -17039 >= -1658824 @ 23.0218
24.48/24.63	c bounds -17040 >= -1658824 @ 23.0603
24.48/24.65	c bounds -17041 >= -1658824 @ 23.0813
24.58/24.71	c bounds -17042 >= -1658824 @ 23.1303
24.58/24.75	c bounds -17043 >= -1658824 @ 23.1694
24.68/24.80	c bounds -17044 >= -1658824 @ 23.216
24.68/24.84	c bounds -17045 >= -1658824 @ 23.2516
24.78/24.90	c bounds -17046 >= -1658824 @ 23.3041
24.78/24.95	c bounds -17047 >= -1658824 @ 23.3461
24.78/25.00	c bounds -17048 >= -1658824 @ 23.3917
24.89/25.05	c bounds -17049 >= -1658824 @ 23.4366
24.98/25.11	c bounds -17050 >= -1658824 @ 23.49
25.08/25.20	c bounds -17051 >= -1658824 @ 23.5684
25.08/25.24	c bounds -17052 >= -1658824 @ 23.6042
25.17/25.30	c bounds -17053 >= -1658824 @ 23.6613
25.17/25.34	c bounds -17054 >= -1658824 @ 23.6983
25.17/25.39	c bounds -17055 >= -1658824 @ 23.7398
25.28/25.49	c bounds -17056 >= -1658824 @ 23.8297
25.37/25.58	c bounds -17057 >= -1658824 @ 23.9145
25.47/25.62	c bounds -17058 >= -1658824 @ 23.9495
25.47/25.66	c bounds -17059 >= -1658824 @ 23.9796
25.47/25.69	c bounds -17060 >= -1658824 @ 24.0037
25.57/25.72	c bounds -17061 >= -1658824 @ 24.0263
25.57/25.74	c bounds -17062 >= -1658824 @ 24.0488
25.57/25.78	c bounds -17063 >= -1658824 @ 24.0789
25.67/25.83	c bounds -17064 >= -1658824 @ 24.1254
25.78/25.92	c bounds -17065 >= -1658824 @ 24.2002
25.78/25.96	c bounds -17066 >= -1658824 @ 24.2317
25.88/26.06	c bounds -17067 >= -1658824 @ 24.3224
25.88/26.10	c bounds -17068 >= -1658824 @ 24.3566
25.98/26.15	c bounds -17069 >= -1658824 @ 24.406
26.07/26.25	c bounds -17070 >= -1658824 @ 24.4923
26.17/26.35	c bounds -17071 >= -1658824 @ 24.5758
26.27/26.45	c bounds -17072 >= -1658824 @ 24.6717
26.37/26.50	c bounds -17073 >= -1658824 @ 24.7168
26.37/26.54	c bounds -17074 >= -1658824 @ 24.7494
26.37/26.58	c bounds -17075 >= -1658824 @ 24.7885
26.47/26.63	c bounds -17076 >= -1658824 @ 24.8331
26.47/26.68	c bounds -17077 >= -1658824 @ 24.8759
26.88/27.03	c bounds -17078 >= -1658824 @ 25.2202
26.88/27.07	c bounds -17079 >= -1658824 @ 25.248
26.98/27.17	c bounds -17080 >= -1658824 @ 25.3469
27.07/27.27	c bounds -17081 >= -1658824 @ 25.4391
27.07/27.29	c bounds -17082 >= -1658824 @ 25.463
27.17/27.32	c bounds -17083 >= -1658824 @ 25.4843
27.17/27.35	c bounds -17084 >= -1658824 @ 25.5064
27.17/27.38	c bounds -17085 >= -1658824 @ 25.5312
27.27/27.41	c bounds -17086 >= -1658824 @ 25.5583
27.77/27.95	c bounds -17087 >= -1658824 @ 26.0756
27.77/27.95	c bounds -17087 >= -1654677 @ 26.0805
27.77/27.96	c bounds -17087 >= -1654358 @ 26.09
27.77/27.97	c bounds -17087 >= -1654039 @ 26.0943
27.77/27.98	c bounds -17087 >= -1653720 @ 26.109
27.98/28.12	c bounds -17088 >= -1653720 @ 26.245
27.98/28.13	c bounds -17088 >= -1653084 @ 26.2515
27.98/28.13	c bounds -17088 >= -1652766 @ 26.2555
27.98/28.14	c bounds -17088 >= -1652448 @ 26.2614
27.98/28.15	c bounds -17088 >= -1652130 @ 26.2696
27.98/28.16	c bounds -17088 >= -1651812 @ 26.278
27.98/28.16	c bounds -17088 >= -1651494 @ 26.2839
27.98/28.19	c bounds -17088 >= -1651176 @ 26.3063
28.06/28.20	c bounds -17088 >= -1650858 @ 26.32
28.06/28.21	c bounds -17088 >= -1650540 @ 26.3298
28.06/28.25	c bounds -17088 >= -1650222 @ 26.3667
28.06/28.27	c bounds -17088 >= -1649904 @ 26.3839
28.06/28.28	c bounds -17088 >= -1649586 @ 26.3957
28.27/28.40	c bounds -17088 >= -1649268 @ 26.5109
28.46/28.62	c bounds -17088 >= -1648950 @ 26.7279
28.87/29.02	c bounds -17088 >= -1648632 @ 27.1173
28.87/29.06	c bounds -17089 >= -1648632 @ 27.1514
29.16/29.39	c #Conflicts:       4000 | #Constraints:      12654
29.16/29.39	c bounds -17089 >= -1648314 @ 27.475
29.76/29.94	c bounds -17090 >= -1648314 @ 28.0108
29.97/30.19	c INPROCESSING
29.97/30.19	c GARBAGE COLLECT
29.97/30.19	c rational objective -17191
34.25/34.43	c bounds -17091 >= -1648314 @ 32.4233
34.25/34.47	c #Conflicts:       5000 | #Constraints:      11911
34.25/34.47	c bounds -17092 >= -1648314 @ 32.4548
34.35/34.50	c bounds -17093 >= -1648314 @ 32.4799
34.35/34.54	c bounds -17094 >= -1648314 @ 32.52
34.35/34.56	c bounds -17095 >= -1648314 @ 32.5366
34.55/34.76	c bounds -17096 >= -1648314 @ 32.7209
34.55/34.79	c bounds -17097 >= -1648314 @ 32.7469
34.65/34.85	c bounds -17098 >= -1648314 @ 32.7964
34.74/34.90	c bounds -17099 >= -1648314 @ 32.837
34.74/34.93	c bounds -17100 >= -1648314 @ 32.8577
34.74/34.95	c bounds -17101 >= -1648314 @ 32.8787
34.95/35.15	c bounds -17102 >= -1648314 @ 33.0661
34.95/35.18	c bounds -17103 >= -1648314 @ 33.087
35.04/35.23	c bounds -17104 >= -1648314 @ 33.1337
35.04/35.25	c bounds -17105 >= -1648314 @ 33.1521
35.04/35.29	c bounds -17106 >= -1648314 @ 33.1918
35.44/35.62	c bounds -17107 >= -1648314 @ 33.5005
35.44/35.62	c bounds -17107 >= -1647680 @ 33.5075
35.44/35.64	c bounds -17107 >= -1647363 @ 33.5193
35.44/35.65	c bounds -17107 >= -1647046 @ 33.5272
35.44/35.65	c bounds -17107 >= -1646729 @ 33.5335
35.44/35.66	c bounds -17107 >= -1646412 @ 33.5403
35.44/35.68	c bounds -17107 >= -1646095 @ 33.5654
35.55/35.71	c bounds -17107 >= -1645778 @ 33.5925
35.64/35.82	c bounds -17107 >= -1645461 @ 33.7026
36.14/36.39	c bounds -17107 >= -1645144 @ 34.2666
36.24/36.44	c bounds -17108 >= -1645144 @ 34.3044
36.24/36.47	c bounds -17109 >= -1645144 @ 34.3301
36.24/36.49	c bounds -17110 >= -1645144 @ 34.3464
36.44/36.61	c bounds -17111 >= -1645144 @ 34.4673
36.64/36.84	c bounds -17111 >= -1644827 @ 34.6894
36.74/36.98	c bounds -17111 >= -1644510 @ 34.8287
36.85/37.03	c bounds -17111 >= -1644193 @ 34.8774
37.54/37.72	c bounds -17111 >= -1643876 @ 35.5488
37.85/38.03	c #Conflicts:       6000 | #Constraints:      13040
37.85/38.03	c bounds -17114 >= -1643876 @ 35.8524
38.73/38.90	c bounds -17114 >= -1643559 @ 36.6971
38.73/38.91	c bounds -17115 >= -1643559 @ 36.7074
39.04/39.27	c bounds -17116 >= -1643559 @ 37.047
39.33/39.58	c bounds -17116 >= -1643242 @ 37.3468
39.63/39.86	c bounds -17117 >= -1643242 @ 37.6194
39.63/39.89	c bounds -17118 >= -1643242 @ 37.6499
39.73/39.92	c bounds -17119 >= -1643242 @ 37.6679
39.73/39.94	c bounds -17120 >= -1643242 @ 37.6847
39.73/39.96	c bounds -17121 >= -1643242 @ 37.7014
39.73/39.99	c bounds -17122 >= -1643242 @ 37.7351
39.83/40.01	c bounds -17122 >= -1642294 @ 37.7505
39.83/40.02	c bounds -17122 >= -1641978 @ 37.7586
40.02/40.25	c INPROCESSING
40.02/40.25	c GARBAGE COLLECT
40.02/40.25	c rational objective -17191
40.84/41.02	c bounds -17122 >= -1641662 @ 38.748
40.84/41.03	c bounds -17122 >= -1641346 @ 38.7569
40.84/41.04	c bounds -17122 >= -1641030 @ 38.7598
40.84/41.05	c bounds -17122 >= -1640714 @ 38.772
40.84/41.05	c bounds -17122 >= -1640398 @ 38.775
40.84/41.06	c bounds -17122 >= -1640082 @ 38.7837
40.84/41.07	c bounds -17122 >= -1639766 @ 38.7935
40.84/41.08	c bounds -17122 >= -1639450 @ 38.7998
40.84/41.09	c bounds -17122 >= -1639134 @ 38.8109
40.93/41.15	c bounds -17122 >= -1638818 @ 38.8732
40.93/41.17	c bounds -17123 >= -1638818 @ 38.8873
40.93/41.18	c bounds -17124 >= -1638818 @ 38.8973
41.03/41.24	c bounds -17124 >= -1638502 @ 38.9484
41.03/41.25	c bounds -17125 >= -1638502 @ 38.9591
41.03/41.27	c bounds -17126 >= -1638502 @ 38.9784
41.93/42.15	c bounds -17127 >= -1638502 @ 39.8344
41.93/42.17	c bounds -17127 >= -1638186 @ 39.8509
42.02/42.23	c bounds -17127 >= -1637870 @ 39.9096
42.32/42.59	c bounds -17127 >= -1637554 @ 40.2656
42.52/42.71	c #Conflicts:       7000 | #Constraints:      12093
42.52/42.71	c bounds -17127 >= -1637238 @ 40.3843
42.72/42.91	c bounds -17127 >= -1636922 @ 40.5727
43.12/43.33	c bounds -17127 >= -1636606 @ 40.9908
43.12/43.36	c bounds -17128 >= -1636606 @ 41.0091
43.42/43.66	c bounds -17129 >= -1636606 @ 41.3071
44.02/44.24	c bounds -17129 >= -1636290 @ 41.8776
44.02/44.26	c bounds -17130 >= -1636290 @ 41.8935
44.42/44.67	c bounds -17131 >= -1636290 @ 42.2919
45.22/45.46	c bounds -17131 >= -1635974 @ 43.0552
45.62/45.88	c #Conflicts:       8000 | #Constraints:      13170
45.62/45.88	c bounds -17131 >= -1635658 @ 43.468
45.82/46.08	c bounds -17131 >= -1635342 @ 43.668
46.31/46.54	c bounds -17131 >= -1635026 @ 44.1175
46.31/46.56	c bounds -17132 >= -1635026 @ 44.1295
46.31/46.59	c bounds -17133 >= -1635026 @ 44.1605
46.41/46.62	c bounds -17134 >= -1635026 @ 44.1856
46.41/46.64	c bounds -17135 >= -1635026 @ 44.2004
46.61/46.87	c bounds -17136 >= -1635026 @ 44.4141
46.61/46.88	c bounds -17137 >= -1635026 @ 44.4273
46.71/46.92	c bounds -17138 >= -1635026 @ 44.4598
46.71/46.94	c bounds -17139 >= -1635026 @ 44.4779
46.71/46.99	c bounds -17140 >= -1635026 @ 44.5279
46.82/47.01	c bounds -17141 >= -1635026 @ 44.5464
46.82/47.05	c bounds -17142 >= -1635026 @ 44.5793
46.92/47.15	c bounds -17143 >= -1635026 @ 44.6621
46.92/47.18	c bounds -17144 >= -1635026 @ 44.6852
47.01/47.22	c bounds -17145 >= -1635026 @ 44.7195
47.01/47.28	c bounds -17146 >= -1635026 @ 44.7695
49.91/50.12	c #Conflicts:       9000 | #Constraints:      14231
49.91/50.12	c bounds -17146 >= -1634710 @ 47.5617
50.20/50.47	c INPROCESSING
50.20/50.47	c GARBAGE COLLECT
50.20/50.47	c rational objective -17191
51.30/51.53	c bounds -17147 >= -1634710 @ 48.9337
51.80/52.03	c bounds -17148 >= -1634710 @ 49.4271
52.49/52.75	c bounds -17149 >= -1634710 @ 50.1343
53.09/53.37	c bounds -17149 >= -1634394 @ 50.7373
54.18/54.49	c #Conflicts:      10000 | #Constraints:      12508
54.18/54.49	c bounds -17149 >= -1634078 @ 51.833
59.88/60.17	c #Conflicts:      11000 | #Constraints:      13520
59.88/60.17	c bounds -17149 >= -1633762 @ 57.3894
60.07/60.32	c bounds -17150 >= -1633762 @ 57.5347
60.07/60.37	c bounds -17151 >= -1633762 @ 57.5808
60.17/60.44	c bounds -17152 >= -1633762 @ 57.6385
60.17/60.49	c bounds -17153 >= -1633762 @ 57.6848
60.27/60.51	c bounds -17154 >= -1633762 @ 57.7013
60.78/61.04	c bounds -17155 >= -1633762 @ 58.2243
60.78/61.10	c bounds -17156 >= -1633762 @ 58.281
60.87/61.14	c bounds -17157 >= -1633762 @ 58.3129
60.87/61.19	c bounds -17158 >= -1633762 @ 58.3556
61.07/61.34	c bounds -17159 >= -1633762 @ 58.4978
61.07/61.39	c bounds -17160 >= -1633762 @ 58.5455
61.17/61.45	c bounds -17161 >= -1633762 @ 58.6002
61.26/61.51	c bounds -17162 >= -1633762 @ 58.6603
61.36/61.61	c bounds -17163 >= -1633762 @ 58.7577
61.36/61.65	c bounds -17164 >= -1633762 @ 58.8009
61.46/61.70	c bounds -17165 >= -1633762 @ 58.8415
61.78/62.02	c #Conflicts:      12000 | #Constraints:      14559
61.78/62.02	c INPROCESSING
61.78/62.02	c GARBAGE COLLECT
61.78/62.02	c rational objective -17191
62.47/62.76	c bounds -17166 >= -1633762 @ 59.876
62.47/62.77	c bounds -17167 >= -1633762 @ 59.8808
62.47/62.78	c bounds -17168 >= -1633762 @ 59.8967
62.56/62.85	c bounds -17169 >= -1633762 @ 59.9532
62.56/62.86	c bounds -17171 >= -1633762 @ 59.9601
62.56/62.87	c bounds -17172 >= -1633762 @ 59.9721
62.87/63.19	c bounds -17173 >= -1633762 @ 60.2801
62.96/63.21	c bounds -17174 >= -1633762 @ 60.2967
62.96/63.24	c bounds -17175 >= -1633762 @ 60.3244
63.06/63.39	c bounds -17176 >= -1633762 @ 60.4641
64.36/64.63	c bounds -17177 >= -1633762 @ 61.6808
64.46/64.73	c bounds -17178 >= -1633762 @ 61.7823
64.46/64.75	c bounds -17179 >= -1633762 @ 61.7951
64.46/64.76	c bounds -17180 >= -1633762 @ 61.805
64.46/64.78	c bounds -17181 >= -1633762 @ 61.825
64.55/64.82	c bounds -17182 >= -1633762 @ 61.8635
64.55/64.86	c bounds -17183 >= -1633762 @ 61.8999
64.66/65.00	c bounds -17184 >= -1633762 @ 62.0219
64.76/65.05	c bounds -17185 >= -1633762 @ 62.059
64.87/65.19	c bounds -17186 >= -1633762 @ 62.1915
65.05/65.36	c bounds -17187 >= -1633762 @ 62.35
65.35/65.63	c bounds -17188 >= -1633762 @ 62.6129
65.65/65.96	c bounds -17189 >= -1633762 @ 62.9273
65.76/66.07	c bounds -17190 >= -1633762 @ 63.036
65.76/66.08	c rational objective -17191
66.55/66.88	c bounds -17191 >= -1633762 @ 63.8224
66.55/66.89	c bounds -17191 >= -17191 @ 63.8365
66.55/66.89	c cpu time 63.8365 s
66.55/66.89	c deterministic time 3836320737 3.84e+09
66.55/66.89	c optimization time 3.29589 s
66.55/66.89	c total solve time 60.4927 s
66.55/66.89	c core-guided solve time 36.3774 s
66.55/66.89	c propagation time 24.1009 s
66.55/66.89	c conflict analysis time 26.1282 s
66.55/66.89	c propagations 23916889
66.55/66.89	c resolve steps 114983
66.55/66.89	c decisions 2086386
66.55/66.89	c conflicts 12497
66.55/66.89	c restarts 54
66.55/66.89	c inprocessing phases 5
66.55/66.89	c garbage collections 5 ,( 100.00 )
66.55/66.89	c input clauses 9365 ,( 91.35 )
66.55/66.89	c input cardinalities 315 ,( 3.07 )
66.55/66.89	c input general constraints 572 ,( 5.58 )
66.55/66.89	c input average constraint length 345.19
66.55/66.89	c input average constraint degree 1153.30
66.55/66.89	c learned clauses 6887 ,( 54.64 )
66.55/66.89	c learned cardinalities 35 ,( 0.28 )
66.55/66.89	c learned general constraints 5682 ,( 45.08 )
66.55/66.89	c learned average constraint length 3553.43
66.55/66.89	c learned average constraint degree 82656298842.76
66.55/66.89	c watched  CF 32, 64, 128, Arb: 1610 , 0 , 0 , 0
66.55/66.89	c counting CF 32, 64, 128, Arb: 4645 , 0 , 0 , 0
66.55/66.89	c watched   constraints 1610 ,( 25.74 ) 
66.55/66.89	c counting  constraints 4644 ,( 74.26 ) 
66.55/66.89	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2052121 , 275454 , 33575176 ,( 1577907 , 31997269 )
66.55/66.89	c gcd simplifications 2333
66.55/66.89	c detected cardinalities 10
66.55/66.89	c weakened non-implied lits 17591150
66.55/66.89	c weakened non-implying lits 19825
66.55/66.89	c original variables 10008
66.55/66.89	c clausal propagations 1725331
66.55/66.89	c cardinality propagations 116043
66.55/66.89	c watched propagations 169453
66.55/66.89	c counting propagations 20791202
66.55/66.89	c watch lookups 261683181
66.55/66.89	c watch backjump lookups 0
66.55/66.89	c watch checks 622164296
66.55/66.89	c propagation checks 2737443051
66.55/66.89	c constraint additions 163006624
66.55/66.89	c trail pops 26006629
66.55/66.89	c formula constraints 9175
66.55/66.89	c learned constraints 12446
66.55/66.89	c bound constraints 352
66.55/66.89	c core-guided constraints 725
66.55/66.89	c encountered formula constraints 23778
66.55/66.89	c encountered learned constraints 40725
66.55/66.89	c encountered bound constraints 2604
66.55/66.89	c encountered core-guided constraints 58648
66.55/66.89	c LP total time 10.2393 s
66.55/66.89	c LP solve time 4.97 s
66.55/66.89	c LP constraints added 9181
66.55/66.89	c LP constraints removed 4
66.55/66.89	c LP pivots internal 12497
66.55/66.89	c LP pivots root 1183
66.55/66.89	c LP calls 267
66.55/66.89	c LP optimalities 181
66.55/66.89	c LP no pivot count 50
66.55/66.89	c LP infeasibilities 78
66.55/66.89	c LP valid Farkas constraints 76
66.55/66.89	c LP learned Farkas constraints 76
66.55/66.89	c LP basis resets 9
66.55/66.89	c LP cycling count 6
66.55/66.89	c LP singular count 0
66.55/66.89	c LP no primal count 0
66.55/66.89	c LP no farkas count 1
66.55/66.89	c LP other issue count 2
66.55/66.89	c LP Gomory cuts 6
66.55/66.89	c LP learned cuts 0
66.55/66.89	c LP deleted cuts 4
66.55/66.89	c LP encountered Gomory constraints 0
66.55/66.89	c LP encountered Farkas constraints 1430
66.55/66.89	c LP encountered learned Farkas constraints 218
66.55/66.89	c CG auxiliary variables introduced 278
66.55/66.89	c CG solutions found 240
66.55/66.89	c CG cores constructed 111
66.55/66.89	c CG core cardinality constraints returned 7
66.55/66.89	c CG unit cores 14
66.55/66.89	c CG single cores 87
66.55/66.89	c CG blocks removed during cardinality reduction 0
66.55/66.89	c CG first core best 4
66.55/66.89	c CG decision core best 1
66.55/66.89	c CG core reduction tie 5
66.55/66.89	c CG core degree average 1.30
66.55/66.89	c CG core slack average 7.18
66.55/66.89	c CG core upper bound improvements 0
66.55/66.89	c STR number of successful calls 0
66.55/66.89	c STR number of unsuccessful calls 0
66.55/66.89	c STR number of inconclusive calls 0
66.55/66.89	c STR number of successful attempts 0
66.55/66.89	c STR number of unsuccessful attempts 0
66.55/66.89	c STR number of inconclusive attempts 0
66.55/66.89	c STR average degree increase per successful call inf
66.55/66.89	c STR average degree increase per successful attempt inf
66.55/66.89	c STR total number of conflicts for successful attempts 0
66.55/66.89	c STR total number of conflicts for unsuccessful attempts 0
66.55/66.89	c STR total number of conflicts for inconclusive attempts 0
66.55/66.89	c STR average number of conflicts per successful attempt inf
66.55/66.89	c STR average number of conflicts per unsuccessful attempt inf
66.55/66.89	c STR average number of conflicts per inconclusive attempt inf
66.55/66.89	c AVG.sumWPerc 73.03 
66.55/66.89	c bigint constraints 0 
66.55/66.89	o -17191
66.55/66.89	s OPTIMUM FOUND
66.55/66.89	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

Wed Jul 16 14:20:55 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: 63708 MiB (61940 MiB free)
  memory of node 1: 64465 MiB (63071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532146-1752597065/watcher-4532146-1752597065 -o /tmp/evaluation-result-4532146-1752597065/solver-4532146-1752597065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752597054-136629 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532146-1752597065.opb PROOFDIR/proof-4532146-1752597065 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=136979, runsolver pid=136976

[startup+0.100062 s]*
/proc/loadavg: 3.83 4.06 3.43 5/410 136981
/proc/meminfo: memFree=128010592/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136981] ppid=136979 vsize=22272 memory=13632 CPUtime=0.08 cores=5,7
/proc/136981/stat : 136981 (pbsuma) R 136979 136979 135648 0 -1 4194304 3454 0 0 0 8 0 0 0 20 0 1 0 175383076 22806528 3408 18446744073709551615 4210688 4653049 140731739859744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29458432 140731739863265 140731739863600 140731739863600 140731739869167 0
/proc/136981/statm: 5568 3408 1024 108 0 2976 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26464 KiB
Current children cumulated memory: 16576 KiB

[startup+0.209115 s]*
/proc/loadavg: 3.83 4.06 3.43 5/410 136981
/proc/meminfo: memFree=128004544/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136981] ppid=136979 vsize=22272 memory=13632 CPUtime=0.19 cores=5,7
/proc/136981/stat : 136981 (pbsuma) R 136979 136979 135648 0 -1 4194304 3454 0 0 0 19 0 0 0 20 0 1 0 175383076 22806528 3408 18446744073709551615 4210688 4653049 140731739859744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29458432 140731739863265 140731739863600 140731739863600 140731739869167 0
/proc/136981/statm: 5568 3408 1024 108 0 2976 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26464 KiB
Current children cumulated memory: 16576 KiB

[startup+0.308495 s]*
/proc/loadavg: 3.83 4.06 3.43 5/410 136981
/proc/meminfo: memFree=128004544/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136981] ppid=136979 vsize=22272 memory=13632 CPUtime=0.29 cores=5,7
/proc/136981/stat : 136981 (pbsuma) R 136979 136979 135648 0 -1 4194304 3454 0 0 0 29 0 0 0 20 0 1 0 175383076 22806528 3408 18446744073709551615 4210688 4653049 140731739859744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 29458432 140731739863265 140731739863600 140731739863600 140731739869167 0
/proc/136981/statm: 5568 3408 1024 108 0 2976 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26464 KiB
Current children cumulated memory: 16576 KiB

[startup+0.700154 s]
/proc/loadavg: 3.83 4.06 3.43 5/410 136981
/proc/meminfo: memFree=127988668/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+1.50016 s]
/proc/loadavg: 3.83 4.06 3.43 5/410 136982
/proc/meminfo: memFree=127972744/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=74256 memory=25096 CPUtime=0.84 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 4953 0 0 0 83 1 0 0 20 0 1 0 175383138 76038144 6274 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 18564 6274 2304 1147 0 5990 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 78448 KiB
Current children cumulated memory: 28040 KiB

[startup+3.10835 s]
/proc/loadavg: 3.83 4.06 3.43 5/410 136982
/proc/meminfo: memFree=127920656/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=74256 memory=25096 CPUtime=2.45 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 4953 0 0 0 244 1 0 0 20 0 1 0 175383138 76038144 6274 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 18564 6274 2304 1147 0 5990 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 78448 KiB
Current children cumulated memory: 28040 KiB

[startup+6.30018 s]
/proc/loadavg: 3.84 4.06 3.43 5/410 136982
/proc/meminfo: memFree=127672424/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=188484 memory=136100 CPUtime=5.64 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 29225 0 0 0 552 12 0 0 20 0 1 0 175383138 193007616 34025 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 47121 34025 2432 1147 0 34547 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 192676 KiB
Current children cumulated memory: 139044 KiB

[startup+12.7002 s]
/proc/loadavg: 3.86 4.06 3.44 5/410 136982
/proc/meminfo: memFree=127125580/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=369304 memory=270500 CPUtime=12.02 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 50054 0 0 0 1159 43 0 0 20 0 1 0 175383138 378167296 67625 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 92326 67625 2432 1147 0 79752 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 373496 KiB
Current children cumulated memory: 273444 KiB

[startup+25.5002 s]
/proc/loadavg: 3.88 4.06 3.44 5/410 136982
/proc/meminfo: memFree=126017740/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=525184 memory=432680 CPUtime=24.78 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 81929 0 0 0 2383 95 0 0 20 0 1 0 175383138 537788416 108170 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 131296 108170 2432 1147 0 118722 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 529376 KiB
Current children cumulated memory: 435624 KiB

[startup+51.109 s]
/proc/loadavg: 4.00 4.07 3.47 5/410 136982
/proc/meminfo: memFree=124171864/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=50.31 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 92228 0 0 0 4852 179 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

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

# cumulated CPU time of all completed processes:  user=64.4437 s, system=2.35174 s

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

[startup+51.2002 s]
/proc/loadavg: 4.00 4.07 3.47 5/410 136982
/proc/meminfo: memFree=124171864/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=50.4 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 92228 0 0 0 4861 179 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

[startup+57.6002 s]
/proc/loadavg: 4.08 4.08 3.48 5/410 136982
/proc/meminfo: memFree=123815900/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=56.79 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 92229 0 0 0 5487 192 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 57.38 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.07 4.08 3.48 5/411 136985
/proc/meminfo: memFree=123419224/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=63.17 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 92229 0 0 0 6106 211 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 63.76 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

[startup+65.6002 s]
/proc/loadavg: 4.07 4.08 3.48 5/411 136985
/proc/meminfo: memFree=123338148/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=64.76 cores=5,7
/proc/136982/stat : 136982 (roundingsat) R 136979 136979 135648 0 -1 4194304 92229 0 0 0 6258 218 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 65.35 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

[startup+67.2001 s]
/proc/loadavg: 4.07 4.08 3.48 4/411 136985
/proc/meminfo: memFree=123225008/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=66.12 cores=5,7
/proc/136982/stat : 136982 (roundingsat) D 136979 136979 135648 0 -1 4194304 92229 0 0 0 6384 228 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 66.71 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

[startup+67.6001 s]
/proc/loadavg: 4.07 4.08 3.48 4/411 136985
/proc/meminfo: memFree=123225008/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=66.13 cores=5,7
/proc/136982/stat : 136982 (roundingsat) D 136979 136979 135648 0 -1 4194304 92229 0 0 0 6384 229 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 66.72 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

[startup+67.8001 s]
/proc/loadavg: 4.07 4.08 3.48 4/411 136985
/proc/meminfo: memFree=123225008/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=66.14 cores=5,7
/proc/136982/stat : 136982 (roundingsat) D 136979 136979 135648 0 -1 4194304 92229 0 0 0 6384 230 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 66.73 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

[startup+67.9002 s]
/proc/loadavg: 4.07 4.08 3.48 4/411 136985
/proc/meminfo: memFree=123225008/131250000 swapFree=33008356/33010684
[pid=136979] ppid=136976 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/136979/stat : 136979 (run-opt-ls-log.) S 136976 136979 135648 0 -1 4194304 243 5015 0 0 0 0 59 0 20 0 1 0 175383075 4292608 736 18446744073709551615 93863879028736 93863879923269 140734392043264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93863880162320 93863880210064 93863895318528 140734392047897 140734392048095 140734392048095 140734392053699 0
/proc/136979/statm: 1048 736 672 219 0 110 0
[pid=136982] ppid=136979 vsize=638528 memory=494584 CPUtime=66.15 cores=5,7
/proc/136982/stat : 136982 (roundingsat) D 136979 136979 135648 0 -1 4194304 92229 0 0 0 6384 231 0 0 20 0 1 0 175383138 653852672 123646 18446744073709551615 4227072 8923577 140720771915072 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 37158912 140720771918068 140720771918374 140720771918374 140720771923946 0
/proc/136982/statm: 159632 123646 2496 1147 0 147058 0
Current children cumulated CPU time: 66.74 s
Current children cumulated vsize: 642720 KiB
Current children cumulated memory: 497528 KiB

Child status: 0

Real time (s): 67.9732
CPU time (s): 66.7954
CPU user time (s): 64.4437
CPU system time (s): 2.35174
CPU usage (%): 98.2672
Max. virtual memory (cumulated for all children) (KiB): 642720
Max. memory (cumulated for all children) (KiB): 497528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.4437
system time used= 2.35174
maximum resident set size= 494584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97509
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= 17420
involuntary context switches= 116


# summary of solver processes directly reported to runsolver:
#   pid: 136979
#   total CPU time (s): 66.7954
#   total CPU user time (s): 64.4437
#   total CPU system time (s): 2.35174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.20997 second user time and 0.533438 second system time

The end

Launcher Data

Begin job on nodeC014 at 2025-07-15 18:31:05
IDJOB=4532146
IDBENCH=176392
IDSOLVER=3392
FILE ID=nodeC014/4532146-1752597065
RUNJOBID= nodeC014-1752597054-136629
SLURM_JOB_ID= 9684380
Free space on /tmp= 431276 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4532146-1752597065/watcher-4532146-1752597065 -o /tmp/evaluation-result-4532146-1752597065/solver-4532146-1752597065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752597054-136629 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532146-1752597065.opb PROOFDIR/proof-4532146-1752597065

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

MD5SUM BENCH= b64c15565e2e2abc4a6ec3aecc6a0814
RANDOM SEED=314281540

nodeC014 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		: 3600.110
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	: 7000.23
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		: 3600.131
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	: 7000.23
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		: 3600.673
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	: 7000.23
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		: 3595.044
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	: 7000.23
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		: 3600.112
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	: 7000.23
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.020
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	: 7000.23
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		: 3599.430
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.116
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128012340 kB
MemAvailable:   129492012 kB
Buffers:             696 kB
Cached:          2228532 kB
SwapCached:         1624 kB
Active:           714160 kB
Inactive:        1737504 kB
Active(anon):     221344 kB
Inactive(anon):    25776 kB
Active(file):     492816 kB
Inactive(file):  1711728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            138600 kB
Writeback:            32 kB
AnonPages:        224060 kB
Mapped:           121180 kB
Shmem:             24600 kB
KReclaimable:     228732 kB
Slab:             327716 kB
SReclaimable:     228732 kB
SUnreclaim:        98984 kB
KernelStack:        6608 kB
PageTables:         3684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     586316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      152808 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431268 MiB
End job on nodeC014 at 2025-07-15 18:32:13