Trace number 4462136

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
pb-oll-rs 2024-07-02SAT (TO)-11472 3600.19 3610.62

DiagnosticValue
AM1LB404768
LOWERBOUND-1042346
NAM1S1832
NCORES91
NEXHAUSTED1
NPBCORES0
NPBREFORM69
NTRIMMED26

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_004.opb
MD5SUM01c3dbc6b225e18f748d0dc14a4fd0f9
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-13862
Best CPU time to get the best result obtained on this benchmark0.527614
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12376
Total number of constraints307
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)285
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2800
Number of terms in the objective function 12372
Biggest coefficient in the objective function 261
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1457210
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 261
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1457210
Number of bits of the biggest sum of numbers21
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.02	c [STEP] solving
0.00/0.02	c #variables 12376 #constraints 307
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= -1457210 @ 0.0171
0.00/0.02	c stratification level: 247
0.00/0.03	c bounds - >= -1455945 @ 0.020147
0.00/0.03	c finalizing WCE round: reformulating cores
0.09/0.12	c bounds -2025 >= -1455945 @ 0.09087
0.09/0.12	c bounds -2275 >= -1455945 @ 0.094921
0.09/0.12	c stratification level: 246
0.09/0.12	c bounds -2521 >= -1455699 @ 0.100508
0.09/0.12	c stratification level: 245
0.09/0.13	c bounds -2755 >= -1454964 @ 0.103864
0.09/0.13	c stratification level: 244
0.09/0.13	c bounds -2999 >= -1454720 @ 0.107154
0.09/0.13	c stratification level: 243
0.09/0.14	c bounds -3226 >= -1453501 @ 0.110631
0.09/0.14	c stratification level: 242
0.09/0.15	c bounds -3226 >= -1452533 @ 0.11271
0.09/0.15	c finalizing WCE round: reformulating cores
0.09/0.16	c bounds -3365 >= -1452533 @ 0.118857
0.09/0.16	c bounds -3459 >= -1452533 @ 0.125149
0.09/0.16	c stratification level: 241
0.09/0.18	c bounds -3590 >= -1450605 @ 0.134847
0.09/0.18	c stratification level: 240
0.09/0.19	c bounds -3590 >= -1449878 @ 0.136942
0.09/0.19	c finalizing WCE round: reformulating cores
0.20/0.21	c bounds -3829 >= -1449878 @ 0.149448
0.20/0.21	c bounds -3839 >= -1449878 @ 0.152792
0.20/0.21	c stratification level: 239
0.20/0.22	c bounds -3846 >= -1449161 @ 0.158261
0.20/0.22	c stratification level: 238
0.20/0.22	c bounds -4078 >= -1447971 @ 0.162545
0.20/0.22	c stratification level: 237
0.20/0.23	c bounds -4158 >= -1445838 @ 0.166825
0.20/0.23	c stratification level: 236
0.20/0.26	c bounds -4190 >= -1444422 @ 0.182432
0.20/0.26	c stratification level: 235
0.20/0.27	c bounds -4190 >= -1443234 @ 0.184862
0.20/0.27	c finalizing WCE round: reformulating cores
0.20/0.29	c bounds -4237 >= -1443234 @ 0.195097
0.20/0.29	c bounds -4404 >= -1443234 @ 0.202667
0.20/0.29	c stratification level: 234
0.20/0.31	c bounds -4564 >= -1442531 @ 0.208206
0.20/0.31	c stratification level: 233
0.29/0.32	c bounds -4564 >= -1440432 @ 0.210666
0.29/0.32	c finalizing WCE round: reformulating cores
0.29/0.35	c bounds -4617 >= -1440432 @ 0.230061
0.29/0.35	c bounds -4719 >= -1440432 @ 0.236944
0.29/0.35	c stratification level: 232
0.29/0.36	c bounds -4908 >= -1439032 @ 0.250743
0.29/0.36	c stratification level: 231
0.29/0.37	c bounds -5462 >= -1437883 @ 0.254508
0.29/0.37	c stratification level: 230
0.29/0.39	c bounds -5462 >= -1436270 @ 0.25849
0.29/0.39	c finalizing WCE round: reformulating cores
0.40/0.43	c bounds -5557 >= -1436270 @ 0.292039
0.40/0.43	c bounds -5639 >= -1436270 @ 0.297237
0.40/0.43	c stratification level: 229
0.40/0.44	c bounds -5747 >= -1435120 @ 0.305228
0.40/0.44	c stratification level: 228
0.40/0.44	c bounds -5759 >= -1433296 @ 0.312471
0.40/0.44	c stratification level: 227
0.40/0.45	c bounds -5970 >= -1431249 @ 0.317342
0.40/0.45	c stratification level: 226
0.40/0.46	c bounds -6088 >= -1430123 @ 0.323235
0.40/0.46	c stratification level: 225
0.40/0.46	c bounds -6201 >= -1427871 @ 0.325853
0.40/0.46	c stratification level: 224
0.40/0.48	c bounds -6201 >= -1426516 @ 0.332112
0.40/0.48	c finalizing WCE round: reformulating cores
0.49/0.51	c bounds -6337 >= -1426516 @ 0.355747
0.49/0.51	c bounds -6343 >= -1426516 @ 0.361665
0.49/0.51	c stratification level: 223
0.49/0.53	c bounds -6345 >= -1424504 @ 0.379958
0.49/0.53	c stratification level: 222
0.49/0.57	c bounds -6345 >= -1422285 @ 0.382834
0.49/0.57	c bounds -6345 >= -1422063 @ 0.383832
0.49/0.57	c finalizing WCE round: reformulating cores
0.49/0.59	c bounds -6578 >= -1422063 @ 0.422669
0.49/0.59	c bounds -6627 >= -1422063 @ 0.426699
0.49/0.59	c stratification level: 221
0.59/0.62	c bounds -6627 >= -1419842 @ 0.429762
0.59/0.62	c finalizing WCE round: reformulating cores
0.59/0.66	c bounds -6700 >= -1419842 @ 0.47858
0.59/0.66	c bounds -6712 >= -1419842 @ 0.480998
0.59/0.66	c stratification level: 220
0.59/0.67	c bounds -6725 >= -1418739 @ 0.486644
0.59/0.67	c stratification level: 219
0.59/0.68	c bounds -6725 >= -1415881 @ 0.489085
0.59/0.68	c finalizing WCE round: reformulating cores
0.68/0.72	c bounds -6875 >= -1415881 @ 0.526319
0.68/0.72	c bounds -7111 >= -1415881 @ 0.52789
0.68/0.72	c stratification level: 218
0.68/0.74	c bounds -7111 >= -1413906 @ 0.530789
0.68/0.74	c finalizing WCE round: reformulating cores
0.68/0.76	c bounds -7192 >= -1413906 @ 0.547284
0.68/0.76	c bounds -7212 >= -1413906 @ 0.549677
0.68/0.76	c stratification level: 217
0.68/0.77	c bounds -7212 >= -1411303 @ 0.55344
0.68/0.77	c finalizing WCE round: reformulating cores
0.68/0.78	c bounds -7277 >= -1411303 @ 0.559847
0.68/0.78	c bounds -7281 >= -1411303 @ 0.564812
0.68/0.78	c stratification level: 216
0.79/0.80	c bounds -7281 >= -1408699 @ 0.567762
0.79/0.80	c bounds -7281 >= -1408483 @ 0.56969
0.79/0.80	c finalizing WCE round: reformulating cores
0.79/0.84	c bounds -7522 >= -1408483 @ 0.599254
0.79/0.84	c bounds -7755 >= -1408483 @ 0.601768
0.79/0.84	c stratification level: 215
0.79/0.87	c bounds -7755 >= -1405688 @ 0.604313
0.79/0.87	c finalizing WCE round: reformulating cores
0.79/0.89	c bounds -7764 >= -1405688 @ 0.629635
0.79/0.89	c bounds -7766 >= -1405688 @ 0.631812
0.79/0.89	c stratification level: 214
0.88/0.90	c bounds -7766 >= -1401604 @ 0.636292
0.88/0.90	c finalizing WCE round: reformulating cores
0.88/0.93	c bounds -7885 >= -1401604 @ 0.649187
0.88/0.93	c bounds -8022 >= -1401604 @ 0.659871
0.88/0.93	c stratification level: 213
0.88/0.98	c bounds -8022 >= -1400097 @ 0.662971
0.88/0.98	c finalizing WCE round: reformulating cores
0.99/1.02	c bounds -8054 >= -1400097 @ 0.735617
0.99/1.02	c bounds -8120 >= -1400097 @ 0.740519
0.99/1.02	c stratification level: 212
0.99/1.04	c bounds -8120 >= -1396276 @ 0.745155
0.99/1.04	c finalizing WCE round: reformulating cores
1.18/1.21	c bounds -8387 >= -1396276 @ 0.891258
1.18/1.21	c bounds -8475 >= -1396276 @ 0.906016
1.18/1.21	c stratification level: 211
1.18/1.23	c bounds -8475 >= -1393307 @ 0.909578
1.18/1.23	c finalizing WCE round: reformulating cores
5.67/5.71	c bounds -8567 >= -1393307 @ 5.33571
5.67/5.71	c bounds -8935 >= -1393307 @ 5.34402
5.67/5.71	c stratification level: 210
5.67/5.74	c bounds -8935 >= -1390386 @ 5.34956
5.67/5.74	c finalizing WCE round: reformulating cores
10.26/10.32	c #Conflicts:       1000 | #Constraints:       1753
10.26/10.32	c bounds -8953 >= -1390386 @ 9.75217
10.26/10.32	c bounds -8954 >= -1390386 @ 9.87424
10.26/10.32	c stratification level: 209
10.37/10.40	c bounds -8954 >= -1387034 @ 9.88212
10.37/10.40	c finalizing WCE round: reformulating cores
10.66/10.75	c bounds -9017 >= -1387034 @ 10.2599
10.66/10.75	c bounds -9237 >= -1387034 @ 10.265
10.66/10.75	c stratification level: 208
10.77/10.83	c bounds -9237 >= -1383709 @ 10.2727
10.77/10.83	c finalizing WCE round: reformulating cores
11.26/11.39	c bounds -9272 >= -1383709 @ 10.8708
11.26/11.39	c bounds -9327 >= -1383709 @ 10.8846
11.26/11.39	c stratification level: 207
11.46/11.58	c bounds -9327 >= -1379539 @ 10.8952
11.46/11.58	c finalizing WCE round: reformulating cores
16.65/16.73	c #Conflicts:       2000 | #Constraints:       2817
16.65/16.73	c INPROCESSING
16.65/16.73	c GARBAGE COLLECT
16.65/16.73	c bounds -9385 >= -1379539 @ 15.6101
16.65/16.73	c bounds -9389 >= -1379539 @ 16.1697
16.65/16.73	c stratification level: 206
16.85/16.96	c bounds -9389 >= -1375820 @ 16.1773
16.85/16.96	c finalizing WCE round: reformulating cores
19.54/19.65	c #Conflicts:       3000 | #Constraints:       2742
19.54/19.65	c bounds -9497 >= -1375820 @ 19.0368
19.54/19.65	c bounds -9512 >= -1375820 @ 19.0464
19.54/19.65	c stratification level: 205
19.84/19.95	c bounds -9512 >= -1371714 @ 19.0575
19.84/19.95	c finalizing WCE round: reformulating cores
20.54/20.64	c bounds -9524 >= -1371714 @ 19.9937
20.54/20.64	c bounds -9610 >= -1371714 @ 20.0109
20.54/20.64	c stratification level: 204
22.04/22.16	c bounds -9610 >= -1368216 @ 20.0199
22.04/22.16	c finalizing WCE round: reformulating cores
22.04/22.19	c bounds -9668 >= -1368216 @ 21.5176
22.04/22.19	c bounds -9674 >= -1368216 @ 21.5261
22.04/22.19	c stratification level: 203
23.53/23.62	c bounds -9674 >= -1365148 @ 21.5359
23.53/23.62	c finalizing WCE round: reformulating cores
30.52/30.63	c #Conflicts:       4000 | #Constraints:       3811
30.52/30.63	c INPROCESSING
30.52/30.63	c GARBAGE COLLECT
30.52/30.63	c bounds -9712 >= -1365148 @ 28.6678
30.52/30.63	c #Conflicts:       5000 | #Constraints:       3203
30.52/30.63	c bounds -9714 >= -1365148 @ 29.8683
30.52/30.63	c stratification level: 202
34.30/34.45	c bounds -9714 >= -1362294 @ 29.8773
34.30/34.45	c finalizing WCE round: reformulating cores
38.80/38.96	c #Conflicts:       6000 | #Constraints:       4226
38.80/38.96	c bounds -9736 >= -1362294 @ 37.3782
38.80/38.96	c bounds -9742 >= -1362294 @ 38.1176
38.80/38.96	c stratification level: 201
39.19/39.31	c bounds -9742 >= -1357855 @ 38.132
39.19/39.31	c INPROCESSING
39.19/39.31	c GARBAGE COLLECT
39.19/39.31	c finalizing WCE round: reformulating cores
45.38/45.56	c #Conflicts:       7000 | #Constraints:       3267
45.38/45.56	c bounds -9743 >= -1357855 @ 44.3625
45.38/45.56	c bounds -9797 >= -1357855 @ 44.6712
45.38/45.56	c stratification level: 200
46.47/46.64	c bounds -9797 >= -1352433 @ 44.6858
46.47/46.64	c finalizing WCE round: reformulating cores
49.57/49.77	c bounds -9862 >= -1352433 @ 48.7898
49.57/49.77	c bounds -9911 >= -1352433 @ 48.8394
49.57/49.77	c stratification level: 199
50.47/50.65	c bounds -9911 >= -1348458 @ 48.8503
50.47/50.65	c bounds -9911 >= -1348259 @ 48.8583
50.47/50.65	c #Conflicts:       8000 | #Constraints:       4315
50.47/50.65	c finalizing WCE round: reformulating cores
51.67/51.85	c bounds -9981 >= -1348259 @ 50.8624
51.67/51.85	c bounds -10033 >= -1348259 @ 50.8737
51.67/51.85	c stratification level: 198
54.66/54.83	c bounds -10033 >= -1343490 @ 50.8875
54.66/54.83	c finalizing WCE round: reformulating cores
54.86/55.04	c bounds -10038 >= -1343490 @ 53.8304
54.86/55.04	c bounds -10107 >= -1343490 @ 54.0025
54.86/55.04	c stratification level: 197
56.96/57.10	c bounds -10107 >= -1338143 @ 54.0224
56.96/57.10	c #Conflicts:       9000 | #Constraints:       5372
56.96/57.10	c finalizing WCE round: reformulating cores
64.63/64.83	c INPROCESSING
64.63/64.83	c GARBAGE COLLECT
64.63/64.83	c bounds -10155 >= -1338143 @ 60.4235
64.63/64.83	c #Conflicts:      10000 | #Constraints:       4060
64.63/64.83	c bounds -10181 >= -1338143 @ 63.6886
64.63/64.83	c stratification level: 196
69.83/70.06	c bounds -10181 >= -1333094 @ 63.7058
69.83/70.06	c finalizing WCE round: reformulating cores
82.69/82.96	c #Conflicts:      11000 | #Constraints:       5086
82.69/82.96	c bounds -10192 >= -1333094 @ 74.478
82.69/82.96	c #Conflicts:      12000 | #Constraints:       6086
82.69/82.96	c INPROCESSING
82.69/82.96	c GARBAGE COLLECT
82.69/82.96	c bounds -10207 >= -1333094 @ 81.6695
82.69/82.96	c stratification level: 195
83.69/83.97	c bounds -10207 >= -1329567 @ 81.6839
83.69/83.97	c finalizing WCE round: reformulating cores
88.48/88.75	c #Conflicts:      13000 | #Constraints:       4565
88.48/88.75	c bounds -10217 >= -1329567 @ 87.3502
88.48/88.75	c bounds -10295 >= -1329567 @ 87.3867
88.48/88.75	c stratification level: 194
91.17/91.48	c bounds -10295 >= -1325104 @ 87.4117
91.17/91.48	c finalizing WCE round: reformulating cores
101.34/101.67	c #Conflicts:      14000 | #Constraints:       5595
101.34/101.67	c bounds -10311 >= -1325104 @ 96.659
101.34/101.67	c bounds -10329 >= -1325104 @ 100.225
101.34/101.67	c stratification level: 193
102.64/102.99	c bounds -10329 >= -1319694 @ 100.252
102.64/102.99	c finalizing WCE round: reformulating cores
110.03/110.34	c #Conflicts:      15000 | #Constraints:       6626
110.03/110.34	c INPROCESSING
110.03/110.34	c GARBAGE COLLECT
110.03/110.34	c bounds -10350 >= -1319694 @ 108.779
110.03/110.34	c bounds -10436 >= -1319694 @ 108.812
110.03/110.34	c stratification level: 192
115.81/116.13	c bounds -10436 >= -1314889 @ 108.834
115.81/116.13	c #Conflicts:      16000 | #Constraints:       4844
115.81/116.13	c finalizing WCE round: reformulating cores
116.10/116.45	c bounds -10453 >= -1314889 @ 114.585
116.10/116.45	c bounds -10460 >= -1314889 @ 114.885
116.10/116.45	c stratification level: 191
117.60/117.92	c bounds -10460 >= -1310657 @ 114.906
117.60/117.92	c bounds -10460 >= -1310466 @ 114.916
117.60/117.92	c finalizing WCE round: reformulating cores
130.97/131.39	c #Conflicts:      17000 | #Constraints:       5875
130.97/131.39	c #Conflicts:      18000 | #Constraints:       6877
130.97/131.39	c bounds -10479 >= -1310466 @ 127.478
130.97/131.39	c INPROCESSING
130.97/131.39	c GARBAGE COLLECT
130.97/131.39	c bounds -10492 >= -1310466 @ 129.728
130.97/131.39	c stratification level: 190
131.87/132.20	c bounds -10492 >= -1305691 @ 129.747
131.87/132.20	c finalizing WCE round: reformulating cores
132.87/133.22	c bounds -10500 >= -1305691 @ 130.849
132.87/133.22	c bounds -10501 >= -1305691 @ 131.551
132.87/133.22	c stratification level: 189
140.65/141.06	c bounds -10501 >= -1299441 @ 131.578
140.65/141.06	c bounds -10501 >= -1299252 @ 131.581
140.65/141.06	c bounds -10501 >= -1299063 @ 131.608
140.65/141.06	c #Conflicts:      19000 | #Constraints:       4959
140.65/141.06	c finalizing WCE round: reformulating cores
170.27/170.71	c #Conflicts:      20000 | #Constraints:       5962
170.27/170.71	c #Conflicts:      21000 | #Constraints:       6966
170.27/170.71	c INPROCESSING
170.27/170.71	c GARBAGE COLLECT
170.27/170.71	c #Conflicts:      22000 | #Constraints:       4754
170.27/170.71	c bounds -10531 >= -1299063 @ 163.378
170.27/170.71	c bounds -10553 >= -1299063 @ 168.742
170.27/170.71	c stratification level: 188
183.64/184.13	c bounds -10553 >= -1291704 @ 168.781
183.64/184.13	c #Conflicts:      23000 | #Constraints:       5783
183.64/184.13	c #Conflicts:      24000 | #Constraints:       6783
183.64/184.13	c finalizing WCE round: reformulating cores
197.81/198.31	c bounds -10555 >= -1291704 @ 188.783
197.81/198.31	c #Conflicts:      25000 | #Constraints:       7786
197.81/198.31	c INPROCESSING
197.81/198.31	c GARBAGE COLLECT
197.81/198.31	c bounds -10591 >= -1291704 @ 196.16
197.81/198.31	c stratification level: 187
226.12/226.78	c bounds -10591 >= -1286262 @ 196.184
226.12/226.78	c #Conflicts:      26000 | #Constraints:       5440
226.12/226.78	c #Conflicts:      27000 | #Constraints:       6440
226.12/226.78	c finalizing WCE round: reformulating cores
233.70/234.30	c #Conflicts:      28000 | #Constraints:       7443
233.70/234.30	c bounds -10603 >= -1286262 @ 231.446
233.70/234.30	c bounds -10626 >= -1286262 @ 231.973
233.70/234.30	c stratification level: 186
235.50/236.14	c bounds -10626 >= -1279947 @ 232.015
235.50/236.14	c finalizing WCE round: reformulating cores
257.14/257.84	c #Conflicts:      29000 | #Constraints:       8479
257.14/257.84	c INPROCESSING
257.14/257.84	c GARBAGE COLLECT
257.14/257.84	c bounds -10643 >= -1279947 @ 239.39
257.14/257.84	c #Conflicts:      30000 | #Constraints:       5858
257.14/257.84	c #Conflicts:      31000 | #Constraints:       6858
257.14/257.84	c bounds -10674 >= -1279947 @ 255.356
257.14/257.84	c stratification level: 185
259.14/259.88	c bounds -10674 >= -1274749 @ 255.386
259.14/259.88	c finalizing WCE round: reformulating cores
268.32/269.07	c #Conflicts:      32000 | #Constraints:       7887
268.32/269.07	c bounds -10678 >= -1274749 @ 262.709
268.32/269.07	c bounds -10680 >= -1274749 @ 266.487
268.32/269.07	c stratification level: 184
278.69/279.49	c bounds -10680 >= -1267356 @ 266.537
278.69/279.49	c #Conflicts:      33000 | #Constraints:       8921
278.69/279.49	c INPROCESSING
278.69/279.49	c GARBAGE COLLECT
278.69/279.49	c finalizing WCE round: reformulating cores
292.45/293.26	c #Conflicts:      34000 | #Constraints:       6134
292.45/293.26	c bounds -10688 >= -1267356 @ 280.937
292.45/293.26	c #Conflicts:      35000 | #Constraints:       7134
292.45/293.26	c bounds -10692 >= -1267356 @ 290.548
292.45/293.26	c stratification level: 183
296.43/297.21	c bounds -10692 >= -1258485 @ 290.601
296.43/297.21	c bounds -10692 >= -1258302 @ 290.625
296.43/297.21	c finalizing WCE round: reformulating cores
302.82/303.69	c bounds -10777 >= -1258299 @ 297.379
302.82/303.69	c bounds -10778 >= -1258299 @ 300.897
302.82/303.69	c stratification level: 182
303.82/304.66	c bounds -10778 >= -1253174 @ 300.933
303.82/304.66	c bounds -10778 >= -1252992 @ 300.968
303.82/304.66	c #Conflicts:      36000 | #Constraints:       8218
303.82/304.66	c finalizing WCE round: reformulating cores
319.48/320.38	c bounds -10789 >= -1252992 @ 307.681
319.48/320.38	c #Conflicts:      37000 | #Constraints:       9226
319.48/320.38	c INPROCESSING
319.48/320.38	c GARBAGE COLLECT
319.48/320.38	c bounds -10789 >= -1252813 @ 314.375
319.48/320.38	c #Conflicts:      38000 | #Constraints:       6219
319.48/320.38	c bounds -10793 >= -1252813 @ 317.477
319.48/320.38	c stratification level: 181
332.75/333.64	c bounds -10793 >= -1245234 @ 317.515
332.75/333.64	c bounds -10793 >= -1245053 @ 317.521
332.75/333.64	c #Conflicts:      39000 | #Constraints:       7265
332.75/333.64	c finalizing WCE round: reformulating cores
358.28/359.28	c #Conflicts:      40000 | #Constraints:       8268
358.28/359.28	c bounds -10831 >= -1245053 @ 344.427
358.28/359.28	c #Conflicts:      41000 | #Constraints:       9270
358.28/359.28	c bounds -10836 >= -1245053 @ 356.196
358.28/359.28	c stratification level: 180
359.78/360.79	c bounds -10836 >= -1239411 @ 356.246
359.78/360.79	c finalizing WCE round: reformulating cores
359.97/360.95	c bounds -10850 >= -1239411 @ 357.746
359.97/360.95	c bounds -10853 >= -1239411 @ 357.853
359.97/360.95	c stratification level: 179
361.37/362.32	c bounds -10853 >= -1232253 @ 357.904
361.37/362.32	c INPROCESSING
361.37/362.32	c GARBAGE COLLECT
361.37/362.32	c finalizing WCE round: reformulating cores
369.35/370.33	c #Conflicts:      42000 | #Constraints:       6159
369.35/370.33	c bounds -10877 >= -1232253 @ 366.623
369.35/370.33	c bounds -10882 >= -1232253 @ 367.189
369.35/370.33	c stratification level: 178
370.05/371.04	c bounds -10882 >= -1223663 @ 367.237
370.05/371.04	c bounds -10882 >= -1223485 @ 367.243
370.05/371.04	c finalizing WCE round: reformulating cores
382.61/383.63	c #Conflicts:      43000 | #Constraints:       7205
382.61/383.63	c bounds -10885 >= -1223485 @ 380.012
382.61/383.63	c bounds -10895 >= -1223485 @ 380.409
382.61/383.63	c stratification level: 177
385.71/386.77	c bounds -10895 >= -1215912 @ 380.455
385.71/386.77	c bounds -10895 >= -1215735 @ 380.468
385.71/386.77	c #Conflicts:      44000 | #Constraints:       8246
385.71/386.77	c finalizing WCE round: reformulating cores
405.36/406.40	c #Conflicts:      45000 | #Constraints:       9251
405.36/406.40	c bounds -10906 >= -1215735 @ 397.289
405.36/406.40	c bounds -10906 >= -1215558 @ 397.297
405.36/406.40	c #Conflicts:      46000 | #Constraints:      10252
405.36/406.40	c finalizing WCE round: reformulating cores
405.36/406.48	c bounds -10927 >= -1215558 @ 403.083
405.36/406.48	c bounds -10961 >= -1215558 @ 403.118
405.36/406.48	c stratification level: 176
405.75/406.80	c bounds -10961 >= -1208114 @ 403.173
405.75/406.80	c bounds -10961 >= -1207938 @ 403.184
405.75/406.80	c finalizing WCE round: reformulating cores
406.16/407.21	c bounds -10967 >= -1207937 @ 403.625
406.16/407.21	c bounds -10971 >= -1207937 @ 403.804
406.16/407.21	c stratification level: 175
410.75/411.85	c bounds -10971 >= -1202118 @ 403.866
410.75/411.85	c INPROCESSING
410.75/411.85	c GARBAGE COLLECT
410.75/411.85	c finalizing WCE round: reformulating cores
417.93/419.06	c #Conflicts:      47000 | #Constraints:       6933
417.93/419.06	c bounds -10974 >= -1202118 @ 415.507
417.93/419.06	c bounds -10986 >= -1202118 @ 415.581
417.93/419.06	c stratification level: 174
426.70/427.85	c bounds -10986 >= -1194241 @ 415.634
426.70/427.85	c finalizing WCE round: reformulating cores
434.59/435.73	c #Conflicts:      48000 | #Constraints:       7975
434.59/435.73	c bounds -10993 >= -1194241 @ 431.019
434.59/435.73	c bounds -11001 >= -1194241 @ 432.13
434.59/435.73	c stratification level: 173
440.57/441.76	c bounds -11001 >= -1185665 @ 432.193
440.57/441.76	c bounds -11001 >= -1185492 @ 432.246
440.57/441.76	c #Conflicts:      49000 | #Constraints:       9021
440.57/441.76	c finalizing WCE round: reformulating cores
489.15/490.40	c #Conflicts:      50000 | #Constraints:      10024
489.15/490.40	c bounds -11010 >= -1185492 @ 453.823
489.15/490.40	c #Conflicts:      51000 | #Constraints:      11026
489.15/490.40	c INPROCESSING
489.15/490.40	c GARBAGE COLLECT
489.15/490.40	c #Conflicts:      52000 | #Constraints:       7429
489.15/490.40	c #Conflicts:      53000 | #Constraints:       8429
489.15/490.40	c bounds -11022 >= -1185492 @ 486.456
489.15/490.40	c stratification level: 172
501.52/502.88	c bounds -11022 >= -1176649 @ 486.52
501.52/502.88	c #Conflicts:      54000 | #Constraints:       9475
501.52/502.88	c finalizing WCE round: reformulating cores
558.18/559.65	c #Conflicts:      55000 | #Constraints:      10478
558.18/559.65	c bounds -11033 >= -1176649 @ 509.716
558.18/559.65	c #Conflicts:      56000 | #Constraints:      11478
558.18/559.65	c INPROCESSING
558.18/559.65	c GARBAGE COLLECT
558.18/559.65	c #Conflicts:      57000 | #Constraints:       7683
558.18/559.65	c #Conflicts:      58000 | #Constraints:       8683
558.18/559.65	c #Conflicts:      59000 | #Constraints:       9683
558.18/559.65	c bounds -11132 >= -1176649 @ 555.333
558.18/559.65	c stratification level: 171
676.46/678.20	c bounds -11132 >= -1168609 @ 555.401
676.46/678.20	c bounds -11132 >= -1168438 @ 555.415
676.46/678.20	c #Conflicts:      60000 | #Constraints:      10736
676.46/678.20	c #Conflicts:      61000 | #Constraints:      11736
676.46/678.20	c INPROCESSING
676.46/678.20	c GARBAGE COLLECT
676.46/678.20	c #Conflicts:      62000 | #Constraints:       7732
676.46/678.20	c #Conflicts:      63000 | #Constraints:       8732
676.46/678.20	c #Conflicts:      64000 | #Constraints:       9732
676.46/678.20	c #Conflicts:      65000 | #Constraints:      10732
676.46/678.20	c #Conflicts:      66000 | #Constraints:      11732
676.46/678.20	c INPROCESSING
676.46/678.20	c GARBAGE COLLECT
676.46/678.20	c finalizing WCE round: reformulating cores
695.72/697.55	c #Conflicts:      67000 | #Constraints:       7520
695.72/697.55	c #Conflicts:      68000 | #Constraints:       8522
695.72/697.55	c bounds -11133 >= -1168438 @ 685.427
695.72/697.55	c #Conflicts:      69000 | #Constraints:       9522
695.72/697.55	c bounds -11138 >= -1168438 @ 692.591
695.72/697.55	c stratification level: 170
707.39/709.29	c bounds -11138 >= -1159445 @ 692.663
707.39/709.29	c finalizing WCE round: reformulating cores
722.74/724.69	c #Conflicts:      70000 | #Constraints:      10565
722.74/724.69	c bounds -11171 >= -1159445 @ 710.378
722.74/724.69	c #Conflicts:      71000 | #Constraints:      11565
722.74/724.69	c bounds -11173 >= -1159445 @ 719.61
722.74/724.69	c stratification level: 169
961.03/963.52	c bounds -11173 >= -1149316 @ 719.7
961.03/963.52	c bounds -11173 >= -1149147 @ 719.714
961.03/963.52	c #Conflicts:      72000 | #Constraints:      12623
961.03/963.52	c INPROCESSING
961.03/963.52	c GARBAGE COLLECT
961.03/963.52	c #Conflicts:      73000 | #Constraints:       8218
961.03/963.52	c #Conflicts:      74000 | #Constraints:       9218
961.03/963.52	c #Conflicts:      75000 | #Constraints:      10218
961.03/963.52	c #Conflicts:      76000 | #Constraints:      11218
961.03/963.52	c #Conflicts:      77000 | #Constraints:      12218
961.03/963.52	c #Conflicts:      78000 | #Constraints:      13218
961.03/963.52	c INPROCESSING
961.03/963.52	c GARBAGE COLLECT
961.03/963.52	c #Conflicts:      79000 | #Constraints:       8640
961.03/963.52	c #Conflicts:      80000 | #Constraints:       9640
961.03/963.52	c #Conflicts:      81000 | #Constraints:      10640
961.03/963.52	c #Conflicts:      82000 | #Constraints:      11640
961.03/963.52	c #Conflicts:      83000 | #Constraints:      12640
961.03/963.52	c finalizing WCE round: reformulating cores
1091.97/1094.85	c #Conflicts:      84000 | #Constraints:      13643
1091.97/1094.85	c INPROCESSING
1091.97/1094.85	c GARBAGE COLLECT
1091.97/1094.85	c #Conflicts:      85000 | #Constraints:       8788
1091.97/1094.85	c bounds -11186 >= -1149144 @ 971.439
1091.97/1094.85	c #Conflicts:      86000 | #Constraints:       9788
1091.97/1094.85	c #Conflicts:      87000 | #Constraints:      10788
1091.97/1094.85	c #Conflicts:      88000 | #Constraints:      11788
1091.97/1094.85	c #Conflicts:      89000 | #Constraints:      12788
1091.97/1094.85	c #Conflicts:      90000 | #Constraints:      13788
1091.97/1094.85	c INPROCESSING
1091.97/1094.85	c GARBAGE COLLECT
1091.97/1094.85	c #Conflicts:      91000 | #Constraints:       8819
1091.97/1094.85	c bounds -11196 >= -1149144 @ 1088.29
1091.97/1094.85	c stratification level: 168
1635.84/1640.23	c bounds -11196 >= -1142708 @ 1088.36
1635.84/1640.23	c bounds -11196 >= -1142540 @ 1088.37
1635.84/1640.23	c #Conflicts:      92000 | #Constraints:       9858
1635.84/1640.23	c #Conflicts:      93000 | #Constraints:      10858
1635.84/1640.23	c #Conflicts:      94000 | #Constraints:      11858
1635.84/1640.23	c #Conflicts:      95000 | #Constraints:      12858
1635.84/1640.23	c #Conflicts:      96000 | #Constraints:      13858
1635.84/1640.23	c INPROCESSING
1635.84/1640.23	c GARBAGE COLLECT
1635.84/1640.23	c #Conflicts:      97000 | #Constraints:       8662
1635.84/1640.23	c #Conflicts:      98000 | #Constraints:       9662
1635.84/1640.23	c #Conflicts:      99000 | #Constraints:      10662
1635.84/1640.23	c #Conflicts:     100000 | #Constraints:      11662
1635.84/1640.23	c #Conflicts:     101000 | #Constraints:      12662
1635.84/1640.23	c #Conflicts:     102000 | #Constraints:      13662
1635.84/1640.23	c #Conflicts:     103000 | #Constraints:      14662
1635.84/1640.23	c INPROCESSING
1635.84/1640.23	c GARBAGE COLLECT
1635.84/1640.23	c #Conflicts:     104000 | #Constraints:       9257
1635.84/1640.23	c #Conflicts:     105000 | #Constraints:      10257
1635.84/1640.23	c #Conflicts:     106000 | #Constraints:      11257
1635.84/1640.23	c #Conflicts:     107000 | #Constraints:      12257
1635.84/1640.23	c #Conflicts:     108000 | #Constraints:      13257
1635.84/1640.23	c #Conflicts:     109000 | #Constraints:      14257
1635.84/1640.23	c #Conflicts:     110000 | #Constraints:      15257
1635.84/1640.23	c INPROCESSING
1635.84/1640.23	c GARBAGE COLLECT
1635.84/1640.23	c #Conflicts:     111000 | #Constraints:       9654
1635.84/1640.23	c #Conflicts:     112000 | #Constraints:      10654
1635.84/1640.23	c #Conflicts:     113000 | #Constraints:      11654
1635.84/1640.23	c #Conflicts:     114000 | #Constraints:      12654
1635.84/1640.23	c #Conflicts:     115000 | #Constraints:      13654
1635.84/1640.23	c finalizing WCE round: reformulating cores
1737.03/1741.74	c #Conflicts:     116000 | #Constraints:      14657
1737.03/1741.74	c bounds -11197 >= -1142540 @ 1644.04
1737.03/1741.74	c #Conflicts:     117000 | #Constraints:      15659
1737.03/1741.74	c INPROCESSING
1737.03/1741.74	c GARBAGE COLLECT
1737.03/1741.74	c #Conflicts:     118000 | #Constraints:       9895
1737.03/1741.74	c #Conflicts:     119000 | #Constraints:      10895
1737.03/1741.74	c #Conflicts:     120000 | #Constraints:      11895
1737.03/1741.74	c #Conflicts:     121000 | #Constraints:      12895
1737.03/1741.74	c bounds -11210 >= -1142540 @ 1732.55
1737.03/1741.74	c stratification level: 167
1743.90/1748.66	c bounds -11210 >= -1132879 @ 1733.81
1743.90/1748.66	c #Conflicts:     122000 | #Constraints:      13939
1743.90/1748.66	c finalizing WCE round: reformulating cores
1761.05/1765.86	c bounds -11211 >= -1132879 @ 1749.76
1761.05/1765.86	c #Conflicts:     123000 | #Constraints:      14942
1761.05/1765.86	c bounds -11214 >= -1132879 @ 1756.52
1761.05/1765.86	c stratification level: 166
1801.03/1805.96	c bounds -11214 >= -1120750 @ 1758.1
1801.03/1805.96	c #Conflicts:     124000 | #Constraints:      15988
1801.03/1805.96	c INPROCESSING
1801.03/1805.96	c GARBAGE COLLECT
1801.03/1805.96	c #Conflicts:     125000 | #Constraints:       9960
1801.03/1805.96	c finalizing WCE round: reformulating cores
1825.86/1830.80	c bounds -11216 >= -1120750 @ 1802.7
1825.86/1830.80	c #Conflicts:     126000 | #Constraints:      10966
1825.86/1830.80	c #Conflicts:     127000 | #Constraints:      11966
1825.86/1830.80	c bounds -11237 >= -1120750 @ 1821.1
1825.86/1830.80	c stratification level: 165
1892.05/1897.22	c bounds -11237 >= -1111655 @ 1821.42
1892.05/1897.22	c #Conflicts:     128000 | #Constraints:      13008
1892.05/1897.22	c #Conflicts:     129000 | #Constraints:      14008
1892.05/1897.22	c #Conflicts:     130000 | #Constraints:      15008
1892.05/1897.22	c #Conflicts:     131000 | #Constraints:      16008
1892.05/1897.22	c finalizing WCE round: reformulating cores
1920.67/1925.99	c INPROCESSING
1920.67/1925.99	c GARBAGE COLLECT
1920.67/1925.99	c #Conflicts:     132000 | #Constraints:       9801
1920.67/1925.99	c bounds -11238 >= -1111655 @ 1900.11
1920.67/1925.99	c #Conflicts:     133000 | #Constraints:      10801
1920.67/1925.99	c bounds -11275 >= -1111655 @ 1915.84
1920.67/1925.99	c stratification level: 164
1961.53/1966.99	c bounds -11275 >= -1100858 @ 1916.69
1961.53/1966.99	c bounds -11275 >= -1100694 @ 1917.13
1961.53/1966.99	c #Conflicts:     134000 | #Constraints:      11850
1961.53/1966.99	c #Conflicts:     135000 | #Constraints:      12850
1961.53/1966.99	c #Conflicts:     136000 | #Constraints:      13850
1961.53/1966.99	c finalizing WCE round: reformulating cores
1992.14/1997.61	c #Conflicts:     137000 | #Constraints:      14855
1992.14/1997.61	c bounds -11308 >= -1100694 @ 1981.33
1992.14/1997.61	c bounds -11314 >= -1100694 @ 1987.12
1992.14/1997.61	c stratification level: 163
2445.84/2452.79	c bounds -11314 >= -1089012 @ 1988.08
2445.84/2452.79	c bounds -11314 >= -1088849 @ 1988.33
2445.84/2452.79	c #Conflicts:     138000 | #Constraints:      15909
2445.84/2452.79	c #Conflicts:     139000 | #Constraints:      16909
2445.84/2452.79	c INPROCESSING
2445.84/2452.79	c GARBAGE COLLECT
2445.84/2452.79	c #Conflicts:     140000 | #Constraints:      10514
2445.84/2452.79	c #Conflicts:     141000 | #Constraints:      11514
2445.84/2452.79	c #Conflicts:     142000 | #Constraints:      12514
2445.84/2452.79	c #Conflicts:     143000 | #Constraints:      13514
2445.84/2452.79	c #Conflicts:     144000 | #Constraints:      14514
2445.84/2452.79	c #Conflicts:     145000 | #Constraints:      15514
2445.84/2452.79	c #Conflicts:     146000 | #Constraints:      16514
2445.84/2452.79	c #Conflicts:     147000 | #Constraints:      17514
2445.84/2452.79	c INPROCESSING
2445.84/2452.79	c GARBAGE COLLECT
2445.84/2452.79	c #Conflicts:     148000 | #Constraints:      10924
2445.84/2452.79	c #Conflicts:     149000 | #Constraints:      11924
2445.84/2452.79	c #Conflicts:     150000 | #Constraints:      12924
2445.84/2452.79	c #Conflicts:     151000 | #Constraints:      13924
2445.84/2452.79	c #Conflicts:     152000 | #Constraints:      14924
2445.84/2452.79	c #Conflicts:     153000 | #Constraints:      15924
2445.84/2452.79	c #Conflicts:     154000 | #Constraints:      16924
2445.84/2452.79	c #Conflicts:     155000 | #Constraints:      17924
2445.84/2452.79	c INPROCESSING
2445.84/2452.79	c GARBAGE COLLECT
2445.84/2452.79	c #Conflicts:     156000 | #Constraints:      11128
2445.84/2452.79	c #Conflicts:     157000 | #Constraints:      12128
2445.84/2452.79	c #Conflicts:     158000 | #Constraints:      13128
2445.84/2452.79	c #Conflicts:     159000 | #Constraints:      14128
2445.84/2452.79	c #Conflicts:     160000 | #Constraints:      15128
2445.84/2452.79	c #Conflicts:     161000 | #Constraints:      16128
2445.84/2452.79	c #Conflicts:     162000 | #Constraints:      17128
2445.84/2452.79	c #Conflicts:     163000 | #Constraints:      18128
2445.84/2452.79	c INPROCESSING
2445.84/2452.79	c GARBAGE COLLECT
2445.84/2452.79	c finalizing WCE round: reformulating cores
2497.78/2504.87	c #Conflicts:     164000 | #Constraints:      11156
2497.78/2504.87	c bounds -11340 >= -1088849 @ 2458.93
2497.78/2504.87	c #Conflicts:     165000 | #Constraints:      12161
2497.78/2504.87	c #Conflicts:     166000 | #Constraints:      13161
2497.78/2504.87	c bounds -11360 >= -1088849 @ 2492.03
2497.78/2504.87	c stratification level: 162
2657.29/2664.81	c bounds -11360 >= -1077013 @ 2493.51
2657.29/2664.81	c #Conflicts:     167000 | #Constraints:      14223
2657.29/2664.81	c #Conflicts:     168000 | #Constraints:      15223
2657.29/2664.81	c #Conflicts:     169000 | #Constraints:      16223
2657.29/2664.81	c #Conflicts:     170000 | #Constraints:      17223
2657.29/2664.81	c #Conflicts:     171000 | #Constraints:      18223
2657.29/2664.81	c INPROCESSING
2657.29/2664.81	c GARBAGE COLLECT
2657.29/2664.81	c #Conflicts:     172000 | #Constraints:      11048
2657.29/2664.81	c #Conflicts:     173000 | #Constraints:      12048
2657.29/2664.81	c #Conflicts:     174000 | #Constraints:      13048
2657.29/2664.81	c #Conflicts:     175000 | #Constraints:      14048
2657.29/2664.81	c finalizing WCE round: reformulating cores
2659.28/2666.89	c bounds -11400 >= -1077013 @ 2652.32
2659.28/2666.89	c bounds -11420 >= -1077013 @ 2653.25
2659.28/2666.89	c stratification level: 161
2693.77/2701.42	c bounds -11420 >= -1062436 @ 2655.43
2693.77/2701.42	c #Conflicts:     176000 | #Constraints:      15108
2693.77/2701.42	c #Conflicts:     177000 | #Constraints:      16108
2693.77/2701.42	c finalizing WCE round: reformulating cores
2737.54/2745.35	c bounds -11434 >= -1062436 @ 2698.13
2737.54/2745.35	c #Conflicts:     178000 | #Constraints:      17111
2737.54/2745.35	c #Conflicts:     179000 | #Constraints:      18111
2737.54/2745.35	c bounds -11458 >= -1062436 @ 2731.3
2737.54/2745.35	c stratification level: 160
2777.72/2785.61	c bounds -11458 >= -1051154 @ 2732.92
2777.72/2785.61	c bounds -11458 >= -1050994 @ 2733.26
2777.72/2785.61	c #Conflicts:     180000 | #Constraints:      19170
2777.72/2785.61	c INPROCESSING
2777.72/2785.61	c GARBAGE COLLECT
2777.72/2785.61	c #Conflicts:     181000 | #Constraints:      11748
2777.72/2785.61	c finalizing WCE round: reformulating cores
3214.06/3223.39	c #Conflicts:     182000 | #Constraints:      12751
3214.06/3223.39	c bounds -11465 >= -1050994 @ 2788.37
3214.06/3223.39	c #Conflicts:     183000 | #Constraints:      13753
3214.06/3223.39	c #Conflicts:     184000 | #Constraints:      14753
3214.06/3223.39	c #Conflicts:     185000 | #Constraints:      15753
3214.06/3223.39	c #Conflicts:     186000 | #Constraints:      16753
3214.06/3223.39	c #Conflicts:     187000 | #Constraints:      17753
3214.06/3223.39	c #Conflicts:     188000 | #Constraints:      18753
3214.06/3223.39	c #Conflicts:     189000 | #Constraints:      19753
3214.06/3223.39	c INPROCESSING
3214.06/3223.39	c GARBAGE COLLECT
3214.06/3223.39	c #Conflicts:     190000 | #Constraints:      12152
3214.06/3223.39	c #Conflicts:     191000 | #Constraints:      13152
3214.06/3223.39	c #Conflicts:     192000 | #Constraints:      14152
3214.06/3223.39	c #Conflicts:     193000 | #Constraints:      15152
3214.06/3223.39	c #Conflicts:     194000 | #Constraints:      16152
3214.06/3223.39	c #Conflicts:     195000 | #Constraints:      17152
3214.06/3223.39	c #Conflicts:     196000 | #Constraints:      18152
3214.06/3223.39	c #Conflicts:     197000 | #Constraints:      19152
3214.06/3223.39	c #Conflicts:     198000 | #Constraints:      20152
3214.06/3223.39	c INPROCESSING
3214.06/3223.39	c GARBAGE COLLECT
3214.06/3223.39	c #Conflicts:     199000 | #Constraints:      12367
3214.06/3223.39	c #Conflicts:     200000 | #Constraints:      13367
3214.06/3223.39	c #Conflicts:     201000 | #Constraints:      14367
3214.06/3223.39	c #Conflicts:     202000 | #Constraints:      15367
3214.06/3223.39	c #Conflicts:     203000 | #Constraints:      16367
3214.06/3223.39	c #Conflicts:     204000 | #Constraints:      17367
3214.06/3223.39	c #Conflicts:     205000 | #Constraints:      18367
3214.06/3223.39	c #Conflicts:     206000 | #Constraints:      19367
3214.06/3223.39	c #Conflicts:     207000 | #Constraints:      20367
3214.06/3223.39	c bounds -11472 >= -1050994 @ 3207.29
3214.06/3223.39	c stratification level: 159
3600.05/3610.54	c bounds -11472 >= -1042505 @ 3209.12
3600.05/3610.54	c bounds -11472 >= -1042346 @ 3209.63
3600.05/3610.54	c INPROCESSING
3600.05/3610.54	c GARBAGE COLLECT
3600.05/3610.54	c #Conflicts:     208000 | #Constraints:      12378
3600.05/3610.54	c #Conflicts:     209000 | #Constraints:      13378
3600.05/3610.54	c #Conflicts:     210000 | #Constraints:      14378
3600.05/3610.54	c #Conflicts:     211000 | #Constraints:      15378
3600.05/3610.54	c #Conflicts:     212000 | #Constraints:      16378
3600.05/3610.54	c #Conflicts:     213000 | #Constraints:      17378
3600.05/3610.54	c #Conflicts:     214000 | #Constraints:      18378
3600.05/3610.54	c #Conflicts:     215000 | #Constraints:      19378
3600.05/3610.54	c #Conflicts:     216000 | #Constraints:      20378
3600.05/3610.54	c INPROCESSING
3600.05/3610.54	c GARBAGE COLLECT
3600.05/3610.54	c #Conflicts:     217000 | #Constraints:      12173
3600.05/3610.54	c #Conflicts:     218000 | #Constraints:      13173
3600.05/3610.54	c #Conflicts:     219000 | #Constraints:      14173
3600.05/3610.54	c #Conflicts:     220000 | #Constraints:      15173
3600.05/3610.54	c #Conflicts:     221000 | #Constraints:      16173
3600.05/3610.54	c #Conflicts:     222000 | #Constraints:      17173
3600.05/3610.54	c #Conflicts:     223000 | #Constraints:      18173
3600.05/3610.54	c #Conflicts:     224000 | #Constraints:      19173
3600.05/3610.54	c #Conflicts:     225000 | #Constraints:      20173
3600.05/3610.54	c Program interrupted by user.
3600.05/3610.54	c cpu time 3592.86 s
3600.05/3610.54	c deterministic time 999647447254 1.00e+12
3600.05/3610.54	c optimization time 579.772 s
3600.05/3610.54	c total solve time 3013.07 s
3600.05/3610.54	c core-guided solve time 3013.07 s
3600.05/3610.54	c propagation time 2846.81 s
3600.05/3610.54	c conflict analysis time 628.337 s
3600.05/3610.54	c propagations 71922494
3600.05/3610.54	c resolve steps 1282605
3600.05/3610.54	c decisions 5399193
3600.05/3610.54	c conflicts 225277
3600.05/3610.54	c restarts 510
3600.05/3610.54	c inprocessing phases 38
3600.05/3610.54	c input clauses 1893
3600.05/3610.54	c input cardinalities 308
3600.05/3610.54	c input general constraints 468
3600.05/3610.54	c input average constraint length 1342.74
3600.05/3610.54	c input average constraint degree 6765.72
3600.05/3610.54	c learned clauses 10405
3600.05/3610.54	c learned cardinalities 1075
3600.05/3610.54	c learned general constraints 213845
3600.05/3610.54	c learned average constraint length 9511.65
3600.05/3610.54	c learned average constraint degree 219390787.21
3600.05/3610.54	c watched constraints 200357
3600.05/3610.54	c counting constraints 13956
3600.05/3610.54	c gcd simplifications 1520
3600.05/3610.54	c detected cardinalities 42
3600.05/3610.54	c weakened non-implied lits 285891256
3600.05/3610.54	c weakened non-implying lits 375942
3600.05/3610.54	c original variables 12376
3600.05/3610.54	c clausal propagations 5596288
3600.05/3610.54	c cardinality propagations 32959852
3600.05/3610.54	c watched propagations 23125230
3600.05/3610.54	c counting propagations 7556878
3600.05/3610.54	c watch lookups 4696225864
3600.05/3610.54	c watch backjump lookups 3826328249
3600.05/3610.54	c watch checks 879845657587
3600.05/3610.54	c propagation checks 104873493178
3600.05/3610.54	c constraint additions 6250887663
3600.05/3610.54	c trail pops 77533025
3600.05/3610.54	c formula constraints 307
3600.05/3610.54	c learned constraints 225325
3600.05/3610.54	c bound constraints 286
3600.05/3610.54	c core-guided constraints 2076
3600.05/3610.54	c encountered formula constraints 772012
3600.05/3610.54	c encountered learned constraints 596414
3600.05/3610.54	c encountered bound constraints 2040
3600.05/3610.54	c encountered core-guided constraints 137416
3600.05/3610.54	c LP total time 0 s
3600.05/3610.54	c LP solve time 0 s
3600.05/3610.54	c LP constraints added 0
3600.05/3610.54	c LP constraints removed 0
3600.05/3610.54	c LP pivots internal 0
3600.05/3610.54	c LP pivots root 0
3600.05/3610.54	c LP calls 0
3600.05/3610.54	c LP optimalities 0
3600.05/3610.54	c LP no pivot count 0
3600.05/3610.54	c LP infeasibilities 0
3600.05/3610.54	c LP valid Farkas constraints 0
3600.05/3610.54	c LP learned Farkas constraints 0
3600.05/3610.54	c LP basis resets 0
3600.05/3610.54	c LP cycling count 0
3600.05/3610.54	c LP singular count 0
3600.05/3610.54	c LP no primal count 0
3600.05/3610.54	c LP no farkas count 0
3600.05/3610.54	c LP other issue count 0
3600.05/3610.54	c LP Gomory cuts 0
3600.05/3610.54	c LP learned cuts 0
3600.05/3610.54	c LP deleted cuts 0
3600.05/3610.54	c LP encountered Gomory constraints 0
3600.05/3610.54	c LP encountered Farkas constraints 0
3600.05/3610.54	c LP encountered learned Farkas constraints 0
3600.05/3610.54	c CG auxiliary variables introduced 1943
3600.05/3610.54	c CG solutions found 158
3600.05/3610.54	c CG cores constructed 91
3600.05/3610.54	c CG core cardinality constraints returned 4
3600.05/3610.54	c CG unit cores 0
3600.05/3610.54	c CG single cores 87
3600.05/3610.54	c CG blocks removed during cardinality reduction 0
3600.05/3610.54	c CG first core best 0
3600.05/3610.54	c CG decision core best 0
3600.05/3610.54	c CG core reduction tie 4
3600.05/3610.54	c CG core degree average 1.04
3600.05/3610.54	c CG core slack average 2.32
3600.05/3610.54	c CG exhausted 1
3600.05/3610.54	c CG exhaust time 379.199 s
3600.05/3610.54	c CG trimmed 26
3600.05/3610.54	c CG trim time 0.387303 s
3600.05/3610.54	c CG minimized 0
3600.05/3610.54	c CG minimize time 0 s
3600.05/3610.54	c CG am1 prop time 12.1202 s
3600.05/3610.54	c CG # am1s reformulated 1832
3600.05/3610.54	c CG lower bound derived from am1s 404768
3600.05/3610.54	c CG # clausal cores 91
3600.05/3610.54	c CG # cardinality cores 4
3600.05/3610.54	c CG # pb cores 0
3600.05/3610.54	c CG # pb reforms 69
3600.05/3610.54	c CG # cores discarded because of pb reform 0
3600.05/3610.54	d LOWERBOUND -1042346
3600.05/3610.54	d NCORES 91
3600.05/3610.54	d NPBCORES 0
3600.05/3610.54	d NPBREFORM 69
3600.05/3610.54	d NTRIMMED 26
3600.05/3610.54	d NEXHAUSTED 1
3600.05/3610.54	d NAM1S 1832
3600.05/3610.54	d AM1LB 404768
3600.05/3610.57	o -11472
3600.05/3610.57	s SATISFIABLE
3600.05/3610.57	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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376

Verifier Data 

OK	-11472

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: 63931 MiB (49289 MiB free)
  memory of node 1: 64510 MiB (60079 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462136-1722236576/watcher-4462136-1722236576 -o /tmp/evaluation-result-4462136-1722236576/solver-4462136-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722236576-400161 --watchdog 3760 pb-oll-rs HOME/instance-4462136-1722236576.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=400190, runsolver pid=400183

[startup+0.100285 s]*
/proc/loadavg: 0.16 0.11 0.09 5/251 400208
/proc/meminfo: memFree=111968516/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=45948 memory=15292 CPUtime=0.09 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 2736 0 0 0 8 1 0 0 20 0 1 0 60181840 47050752 3823 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 11487 3823 1379 291 0 3021 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45948 KiB
Current children cumulated memory: 15292 KiB

[startup+0.205709 s]*
/proc/loadavg: 0.16 0.11 0.09 5/253 400212
/proc/meminfo: memFree=111949976/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=46156 memory=15292 CPUtime=0.2 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 2759 0 0 0 15 5 0 0 20 0 1 0 60181840 47263744 3823 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 11539 3823 1379 291 0 3073 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46156 KiB
Current children cumulated memory: 15292 KiB

[startup+0.305411 s]*
/proc/loadavg: 0.16 0.11 0.09 6/257 400223
/proc/meminfo: memFree=111911996/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=49024 memory=18384 CPUtime=0.29 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 3028 0 0 0 20 9 0 0 20 0 1 0 60181840 50200576 4596 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 12256 4596 1379 291 0 3790 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49024 KiB
Current children cumulated memory: 18384 KiB

[startup+0.700194 s]
/proc/loadavg: 0.16 0.11 0.09 6/257 400223
/proc/meminfo: memFree=111878352/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=54212 memory=23996 CPUtime=0.68 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 3924 0 0 0 50 18 0 0 20 0 1 0 60181840 55513088 5999 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 13553 5999 1379 291 0 5087 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54212 KiB
Current children cumulated memory: 23996 KiB

[startup+1.50018 s]
/proc/loadavg: 0.16 0.11 0.09 6/257 400223
/proc/meminfo: memFree=111802264/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=74036 memory=41592 CPUtime=1.49 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 4745 0 0 0 118 31 0 0 20 0 1 0 60181840 75812864 10398 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 18509 10398 1379 291 0 10043 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74036 KiB
Current children cumulated memory: 41592 KiB

[startup+3.10587 s]
/proc/loadavg: 0.47 0.17 0.12 6/257 400223
/proc/meminfo: memFree=111659832/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=125148 memory=69780 CPUtime=3.09 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 6176 0 0 0 276 33 0 0 20 0 1 0 60181840 128151552 17445 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 31287 17445 1379 291 0 22821 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125148 KiB
Current children cumulated memory: 69780 KiB

[startup+6.30019 s]
/proc/loadavg: 0.47 0.17 0.12 6/258 400226
/proc/meminfo: memFree=111503232/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=178584 memory=116176 CPUtime=6.27 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 7542 0 0 0 591 36 0 0 20 0 1 0 60181840 182870016 29044 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 44646 29044 1379 291 0 36180 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 178584 KiB
Current children cumulated memory: 116176 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.16 6/258 400226
/proc/meminfo: memFree=111245552/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=265996 memory=202588 CPUtime=12.65 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 9797 0 0 0 1215 50 0 0 20 0 1 0 60181840 272379904 50647 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 66499 50647 1379 291 0 58033 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 265996 KiB
Current children cumulated memory: 202588 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.20 6/258 400229
/proc/meminfo: memFree=110862444/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=410744 memory=295328 CPUtime=25.43 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 13495 0 0 0 2479 64 0 0 20 0 1 0 60181840 420601856 73832 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 102686 73832 1442 291 0 94220 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 410744 KiB
Current children cumulated memory: 295328 KiB

[startup+51.106 s]
/proc/loadavg: 2.41 0.73 0.31 7/257 400232
/proc/meminfo: memFree=110292692/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=435684 memory=369232 CPUtime=50.98 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 19857 0 0 0 5013 85 0 0 20 0 1 0 60181840 446140416 92308 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 108921 92308 1442 291 0 100455 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 435684 KiB
Current children cumulated memory: 369232 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 6/257 400241
/proc/meminfo: memFree=109555580/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=702956 memory=523384 CPUtime=102.05 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 33909 0 0 0 10082 123 0 0 20 0 1 0 60181840 719826944 130846 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 175739 130846 1442 291 0 167273 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 702956 KiB
Current children cumulated memory: 523384 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.80 0.75 6/256 400252
/proc/meminfo: memFree=108833432/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=737192 memory=608468 CPUtime=161.9 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 42483 0 0 0 16038 152 0 0 20 0 1 0 60181840 754884608 152117 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 184298 152117 1442 291 0 175832 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 737192 KiB
Current children cumulated memory: 608468 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.24 0.97 6/256 400263
/proc/meminfo: memFree=108307324/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=752996 memory=670560 CPUtime=221.74 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 46487 0 0 0 22005 169 0 0 20 0 1 0 60181840 771067904 167640 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 188249 167640 1442 291 0 179783 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 752996 KiB
Current children cumulated memory: 670560 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.58 1.17 6/256 400273
/proc/meminfo: memFree=107762460/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=782112 memory=741492 CPUtime=281.57 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 53975 0 0 0 27962 195 0 0 20 0 1 0 60181840 800882688 185373 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 195528 185373 1442 291 0 187062 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 782112 KiB
Current children cumulated memory: 741492 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.83 1.34 6/254 400285
/proc/meminfo: memFree=107533844/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=815052 memory=780084 CPUtime=341.43 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 62271 0 0 0 33930 213 0 0 20 0 1 0 60181840 834613248 195021 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 203763 195021 1442 291 0 195297 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 815052 KiB
Current children cumulated memory: 780084 KiB

[startup+402.3 s]
/proc/loadavg: 4.78 3.30 1.59 6/255 400296
/proc/meminfo: memFree=107399620/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=1199412 memory=855712 CPUtime=401.27 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 71634 0 0 0 39896 231 0 0 20 0 1 0 60181840 1228197888 213928 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 299853 213928 1442 291 0 291387 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1199412 KiB
Current children cumulated memory: 855712 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 3.43 1.75 6/258 400314
/proc/meminfo: memFree=107034268/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=1221336 memory=960800 CPUtime=461.11 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 77136 0 0 0 45848 263 0 0 20 0 1 0 60181840 1250648064 240200 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 305334 240200 1442 291 0 296868 0

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

Current children cumulated memory: 1923532 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.16 4.01 6/257 401377
/proc/meminfo: memFree=101127056/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2338696 memory=1957520 CPUtime=2913.98 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 219732 0 0 0 290743 655 0 0 20 0 1 0 60181840 2394824704 489380 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 584674 489380 1442 291 0 576208 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 2338696 KiB
Current children cumulated memory: 1957520 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.16 4.02 6/257 401388
/proc/meminfo: memFree=100839512/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2346312 memory=1965212 CPUtime=2973.81 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 222029 0 0 0 296717 664 0 0 20 0 1 0 60181840 2402623488 491303 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 586578 491303 1442 291 0 578112 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 2346312 KiB
Current children cumulated memory: 1965212 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.02 6/257 401399
/proc/meminfo: memFree=100526244/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2372984 memory=1990696 CPUtime=3033.62 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 229257 0 0 0 302691 671 0 0 20 0 1 0 60181840 2429935616 497674 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 593246 497674 1442 291 0 584780 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 2372984 KiB
Current children cumulated memory: 1990696 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.02 6/257 401410
/proc/meminfo: memFree=100442940/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2374232 memory=1993884 CPUtime=3093.43 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 229937 0 0 0 308666 677 0 0 20 0 1 0 60181840 2431213568 498471 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 593558 498471 1442 291 0 585092 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 2374232 KiB
Current children cumulated memory: 1993884 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.02 6/257 401805
/proc/meminfo: memFree=100438128/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2376108 memory=1995752 CPUtime=3153.25 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 231009 0 0 0 314643 682 0 0 20 0 1 0 60181840 2433134592 498938 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 594027 498938 1442 291 0 585561 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 2376108 KiB
Current children cumulated memory: 1995752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.02 6/257 401815
/proc/meminfo: memFree=100403956/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2386036 memory=2022576 CPUtime=3213.06 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 233805 0 0 0 320619 687 0 0 20 0 1 0 60181840 2443300864 505644 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 596509 505644 1442 291 0 588043 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 2386036 KiB
Current children cumulated memory: 2022576 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.03 6/257 401827
/proc/meminfo: memFree=100371272/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2389660 memory=2042068 CPUtime=3272.88 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 234966 0 0 0 326589 699 0 0 20 0 1 0 60181840 2447011840 510517 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 597415 510517 1442 291 0 588949 0
Current children cumulated CPU time: 3272.88 s
Current children cumulated vsize: 2389660 KiB
Current children cumulated memory: 2042068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.03 6/258 402006
/proc/meminfo: memFree=100364892/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2389936 memory=2042424 CPUtime=3332.7 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 235656 0 0 0 332566 704 0 0 20 0 1 0 60181840 2447294464 510606 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 597484 510606 1442 291 0 589018 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 2389936 KiB
Current children cumulated memory: 2042424 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.04 6/258 402017
/proc/meminfo: memFree=100297716/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2393628 memory=2045660 CPUtime=3392.51 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 237196 0 0 0 338543 708 0 0 20 0 1 0 60181840 2451075072 511415 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 598407 511415 1442 291 0 589941 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 2393628 KiB
Current children cumulated memory: 2045660 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.05 6/259 402033
/proc/meminfo: memFree=100291640/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2395872 memory=2047748 CPUtime=3452.32 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 238076 0 0 0 344519 713 0 0 20 0 1 0 60181840 2453372928 511937 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 598968 511937 1442 291 0 590502 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 2395872 KiB
Current children cumulated memory: 2047748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.05 6/259 402054
/proc/meminfo: memFree=100274496/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2398508 memory=2050156 CPUtime=3512.13 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 239317 0 0 0 350496 717 0 0 20 0 1 0 60181840 2456072192 512539 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 599627 512539 1442 291 0 591161 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 2398508 KiB
Current children cumulated memory: 2050156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.05 6/259 402065
/proc/meminfo: memFree=100167944/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2407220 memory=2058296 CPUtime=3571.95 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 242073 0 0 0 356473 722 0 0 20 0 1 0 60181840 2464993280 514574 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 601805 514574 1442 291 0 593339 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 2407220 KiB
Current children cumulated memory: 2058296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.09 4.12 4.05 4/254 402125
/proc/meminfo: memFree=103751680/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=2417276 memory=2066948 CPUtime=3600.05 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 244505 0 0 0 359281 724 0 0 20 0 1 0 60181840 2475290624 516737 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 604319 516737 1442 291 0 595853 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2417276 KiB
Current children cumulated memory: 2066948 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.9 s, system=7.28966 s

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

[startup+3610.6 s]
/proc/loadavg: 4.09 4.12 4.05 4/254 402125
/proc/meminfo: memFree=103751680/131524600 swapFree=131054224/131071996
[pid=400190] ppid=400183 vsize=1975660 memory=1602188 CPUtime=3600.15 cores=1,3
/proc/400190/stat : 400190 (pb-oll-rs) R 400183 400190 400149 0 -1 4194304 244513 0 0 0 359289 726 0 0 20 0 1 0 60181840 2023075840 400547 134679101440 4194304 5384005 140733202662480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11915264 140733202670614 140733202670691 140733202670691 140733202677707 0
/proc/400190/statm: 493915 400547 1521 291 0 485449 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1975660 KiB
Current children cumulated memory: 1602188 KiB

Child status: 0

Real time (s): 3610.62
CPU time (s): 3600.19
CPU user time (s): 3592.9
CPU system time (s): 7.28966
CPU usage (%): 99.711
Max. virtual memory (cumulated for all children) (KiB): 2417276
Max. memory (cumulated for all children) (KiB): 2066948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.9
system time used= 7.28966
maximum resident set size= 2067292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 3823


# summary of solver processes directly reported to runsolver:
#   pid: 400190
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3592.9
#   total CPU system time (s): 7.28966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48804 second user time and 17.8037 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-29 09:02:57
IDJOB=4462136
IDBENCH=178878
IDSOLVER=3067
FILE ID=nodeC034/4462136-1722236576
RUNJOBID= nodeC034-1722236576-400161
SLURM_JOB_ID= 8248769
Free space on /tmp= 890084 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_410_004.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462136-1722236576/watcher-4462136-1722236576 -o /tmp/evaluation-result-4462136-1722236576/solver-4462136-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722236576-400161 --watchdog 3760  pb-oll-rs HOME/instance-4462136-1722236576.opb

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

MD5SUM BENCH= 01c3dbc6b225e18f748d0dc14a4fd0f9
RANDOM SEED=697437227

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111994376 kB
MemAvailable:   129678280 kB
Buffers:          401636 kB
Cached:         18034260 kB
SwapCached:          112 kB
Active:          1880148 kB
Inactive:       16906780 kB
Active(anon):       1888 kB
Inactive(anon):   400244 kB
Active(file):    1878260 kB
Inactive(file): 16506536 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054224 kB
Dirty:              4284 kB
Writeback:             0 kB
AnonPages:        350628 kB
Mapped:            96712 kB
Shmem:             50772 kB
KReclaimable:     277508 kB
Slab:             394456 kB
SReclaimable:     277508 kB
SUnreclaim:       116948 kB
KernelStack:        3840 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     630768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      361172 kB
DirectMap2M:    49743872 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC034 at 2024-07-29 10:03:07