Trace number 4462470

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-19SAT (TO)-10570 3600.11 3612.96

DiagnosticValue
AM1LB223877
LOWERBOUND-893879
NAM1S954
NCORES54
NEXHAUSTED1
NPBCORES0
NPBREFORM40
NTRIMMED7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_400_008.opb
MD5SUM5b15f8b0103f862f2083963c79e8ca36
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-12612
Best CPU time to get the best result obtained on this benchmark0.387698
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9905
Total number of constraints313
Number of constraints which are clauses25
Number of constraints which are cardinality constraints (but not clauses)288
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2375
Number of terms in the objective function 9905
Biggest coefficient in the objective function 257
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1124116
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 257
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1124116
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.05	c [STEP] solving
0.00/0.05	c #variables 9905 #constraints 313
0.00/0.05	c SMALL=int, LARGE=long long
0.00/0.05	c bounds - >= -1124116 @ 0.044843
0.00/0.05	c stratification level: 253
0.00/0.07	c bounds -767 >= -1124116 @ 0.057723
0.00/0.07	c stratification level: 250
0.00/0.11	c bounds -1017 >= -1123866 @ 0.068116
0.00/0.11	c stratification level: 249
0.10/0.12	c bounds -1266 >= -1123866 @ 0.080867
0.10/0.12	c stratification level: 247
0.10/0.14	c bounds -1513 >= -1123866 @ 0.089616
0.10/0.14	c stratification level: 246
0.10/0.16	c bounds -2005 >= -1123128 @ 0.101536
0.10/0.16	c stratification level: 245
0.10/0.18	c bounds -2250 >= -1123128 @ 0.111231
0.10/0.18	c stratification level: 244
0.10/0.21	c bounds -2332 >= -1122884 @ 0.120823
0.10/0.21	c stratification level: 243
0.21/0.23	c bounds -2343 >= -1122398 @ 0.129446
0.21/0.23	c stratification level: 242
0.21/0.25	c bounds -3290 >= -1122149 @ 0.144089
0.21/0.25	c stratification level: 241
0.21/0.27	c bounds -3290 >= -1121412 @ 0.149213
0.21/0.27	c finalizing WCE round: reformulating cores
0.21/0.31	c bounds -3490 >= -1121412 @ 0.163814
0.21/0.31	c bounds -3505 >= -1121412 @ 0.174471
0.21/0.31	c stratification level: 240
0.31/0.37	c bounds -3649 >= -1120932 @ 0.225637
0.31/0.37	c stratification level: 239
0.31/0.39	c bounds -3884 >= -1120694 @ 0.235714
0.31/0.39	c stratification level: 238
0.31/0.41	c bounds -3884 >= -1119972 @ 0.241015
0.31/0.41	c finalizing WCE round: reformulating cores
0.40/0.45	c bounds -3977 >= -1119972 @ 0.266722
0.40/0.45	c bounds -4171 >= -1119972 @ 0.27451
0.40/0.45	c stratification level: 237
0.40/0.50	c bounds -4190 >= -1119261 @ 0.316991
0.40/0.50	c stratification level: 236
0.51/0.54	c bounds -4216 >= -1118317 @ 0.356828
0.51/0.54	c stratification level: 235
0.51/0.56	c bounds -4451 >= -1118317 @ 0.366764
0.51/0.56	c stratification level: 234
0.51/0.58	c bounds -4680 >= -1117615 @ 0.377935
0.51/0.58	c stratification level: 233
0.51/0.59	c bounds -4819 >= -1116916 @ 0.384948
0.51/0.59	c stratification level: 232
0.51/0.61	c bounds -4912 >= -1116684 @ 0.393527
0.51/0.61	c stratification level: 231
0.59/0.62	c bounds -5049 >= -1116222 @ 0.400838
0.59/0.62	c stratification level: 230
0.59/0.66	c bounds -5090 >= -1114842 @ 0.426521
0.59/0.66	c stratification level: 229
0.69/0.71	c bounds -5214 >= -1114155 @ 0.468286
0.69/0.71	c stratification level: 228
0.69/0.72	c bounds -5343 >= -1113010 @ 0.474196
0.69/0.72	c stratification level: 227
0.69/0.73	c bounds -5343 >= -1111849 @ 0.478168
0.69/0.73	c finalizing WCE round: reformulating cores
0.69/0.77	c bounds -5551 >= -1111849 @ 0.503938
0.69/0.77	c bounds -5687 >= -1111849 @ 0.507833
0.69/0.77	c stratification level: 226
0.69/0.79	c bounds -5687 >= -1110501 @ 0.512486
0.69/0.79	c finalizing WCE round: reformulating cores
0.78/0.81	c bounds -5855 >= -1110501 @ 0.531337
0.78/0.81	c bounds -5868 >= -1110501 @ 0.537404
0.78/0.81	c stratification level: 225
0.88/0.95	c bounds -5900 >= -1108926 @ 0.666335
0.88/0.95	c stratification level: 224
0.99/1.09	c bounds -5900 >= -1107122 @ 0.671596
0.99/1.09	c finalizing WCE round: reformulating cores
1.09/1.14	c bounds -5942 >= -1107122 @ 0.833315
1.09/1.14	c bounds -5943 >= -1107122 @ 0.840155
1.09/1.14	c stratification level: 223
1.18/1.22	c bounds -6017 >= -1106227 @ 0.914364
1.18/1.22	c stratification level: 222
1.18/1.27	c bounds -6061 >= -1104009 @ 0.965952
1.18/1.27	c stratification level: 221
1.28/1.37	c bounds -6061 >= -1102218 @ 0.96945
1.28/1.37	c finalizing WCE round: reformulating cores
1.78/1.80	c bounds -6066 >= -1102218 @ 1.45608
1.78/1.80	c bounds -6140 >= -1102218 @ 1.4693
1.78/1.80	c stratification level: 220
2.08/2.15	c bounds -6140 >= -1100458 @ 1.47202
2.08/2.15	c finalizing WCE round: reformulating cores
2.18/2.27	c bounds -6250 >= -1100458 @ 1.9021
2.18/2.27	c bounds -6299 >= -1100458 @ 1.92338
2.18/2.27	c stratification level: 219
2.18/2.29	c bounds -6313 >= -1098266 @ 1.93282
2.18/2.29	c stratification level: 218
2.27/2.32	c bounds -6335 >= -1096086 @ 1.94785
2.27/2.32	c stratification level: 217
2.27/2.33	c bounds -6373 >= -1094350 @ 1.96104
2.27/2.33	c stratification level: 216
2.27/2.35	c bounds -6552 >= -1090894 @ 1.97263
2.27/2.35	c stratification level: 215
2.27/2.36	c bounds -6552 >= -1088095 @ 1.97758
2.27/2.36	c finalizing WCE round: reformulating cores
2.27/2.38	c bounds -6592 >= -1088095 @ 1.98873
2.27/2.38	c bounds -6614 >= -1088095 @ 1.9924
2.27/2.38	c stratification level: 214
2.38/2.41	c bounds -6633 >= -1086380 @ 2.01285
2.38/2.41	c stratification level: 213
2.38/2.42	c bounds -6670 >= -1082759 @ 2.01892
2.38/2.42	c stratification level: 212
2.57/2.61	c bounds -6670 >= -1078943 @ 2.02368
2.57/2.61	c bounds -6670 >= -1078731 @ 2.02741
2.57/2.61	c finalizing WCE round: reformulating cores
2.57/2.64	c bounds -7346 >= -1078731 @ 2.20699
2.57/2.64	c bounds -7347 >= -1078731 @ 2.21027
2.57/2.64	c stratification level: 211
2.57/2.67	c bounds -7355 >= -1077253 @ 2.24003
2.57/2.67	c stratification level: 210
2.68/2.74	c bounds -7355 >= -1074086 @ 2.24407
2.68/2.74	c finalizing WCE round: reformulating cores
2.68/2.76	c bounds -7360 >= -1074086 @ 2.30777
2.68/2.76	c bounds -7372 >= -1074086 @ 2.31512
2.68/2.76	c stratification level: 209
2.68/2.79	c bounds -7396 >= -1071996 @ 2.33672
2.68/2.79	c stratification level: 208
2.78/2.81	c bounds -7396 >= -1069907 @ 2.34032
2.78/2.81	c finalizing WCE round: reformulating cores
2.87/2.96	c bounds -7597 >= -1069907 @ 2.47427
2.87/2.96	c bounds -7648 >= -1069907 @ 2.49168
2.87/2.96	c stratification level: 207
2.87/2.98	c bounds -7648 >= -1067007 @ 2.49542
2.87/2.98	c finalizing WCE round: reformulating cores
2.87/3.00	c bounds -7708 >= -1067007 @ 2.51589
2.87/3.00	c bounds -7709 >= -1067007 @ 2.5208
2.87/3.00	c stratification level: 206
3.08/3.16	c bounds -7738 >= -1063489 @ 2.67431
3.08/3.16	c stratification level: 205
3.08/3.18	c bounds -7770 >= -1061431 @ 2.68997
3.08/3.18	c stratification level: 204
3.27/3.31	c bounds -7834 >= -1058154 @ 2.8164
3.27/3.31	c stratification level: 203
3.67/3.79	c bounds -7834 >= -1056095 @ 2.82038
3.67/3.79	c finalizing WCE round: reformulating cores
3.98/4.02	c bounds -7916 >= -1056095 @ 3.37346
3.98/4.02	c bounds -7919 >= -1056095 @ 3.50831
3.98/4.02	c stratification level: 202
3.98/4.09	c bounds -7919 >= -1053050 @ 3.51185
3.98/4.09	c finalizing WCE round: reformulating cores
4.08/4.11	c bounds -7959 >= -1053050 @ 3.577
4.08/4.11	c bounds -7979 >= -1053050 @ 3.57955
4.08/4.11	c stratification level: 201
4.08/4.18	c bounds -7979 >= -1049430 @ 3.58393
4.08/4.18	c finalizing WCE round: reformulating cores
4.17/4.20	c bounds -8028 >= -1049430 @ 3.65099
4.17/4.20	c bounds -8030 >= -1049430 @ 3.65477
4.17/4.20	c stratification level: 200
4.17/4.23	c bounds -8030 >= -1045841 @ 3.65924
4.17/4.23	c finalizing WCE round: reformulating cores
4.17/4.25	c bounds -8046 >= -1045841 @ 3.6799
4.17/4.25	c bounds -8204 >= -1045841 @ 3.68772
4.17/4.25	c stratification level: 199
6.26/6.37	c bounds -8204 >= -1042255 @ 3.69288
6.26/6.37	c bounds -8204 >= -1042056 @ 3.69637
6.26/6.37	c #Conflicts:       1000 | #Constraints:       1788
6.26/6.37	c finalizing WCE round: reformulating cores
6.85/6.93	c bounds -8876 >= -1042056 @ 6.30559
6.85/6.93	c bounds -8943 >= -1042056 @ 6.31893
6.85/6.93	c stratification level: 198
7.85/7.92	c bounds -8943 >= -1040082 @ 6.32303
7.85/7.92	c finalizing WCE round: reformulating cores
15.33/15.40	c #Conflicts:       2000 | #Constraints:       2809
15.33/15.40	c INPROCESSING
15.33/15.40	c GARBAGE COLLECT
15.33/15.40	c bounds -8945 >= -1040082 @ 12.4136
15.33/15.40	c #Conflicts:       3000 | #Constraints:       2710
15.33/15.40	c bounds -9000 >= -1040082 @ 14.6808
15.33/15.40	c stratification level: 197
15.73/15.84	c bounds -9000 >= -1037495 @ 14.6918
15.73/15.84	c finalizing WCE round: reformulating cores
19.71/19.83	c #Conflicts:       4000 | #Constraints:       3731
19.71/19.83	c bounds -9022 >= -1037495 @ 19.0087
19.71/19.83	c bounds -9269 >= -1037495 @ 19.0202
19.71/19.83	c stratification level: 196
20.21/20.38	c bounds -9269 >= -1034537 @ 19.0297
20.21/20.38	c finalizing WCE round: reformulating cores
25.39/25.54	c INPROCESSING
25.39/25.54	c GARBAGE COLLECT
25.39/25.54	c bounds -9272 >= -1034513 @ 23.1939
25.39/25.54	c #Conflicts:       5000 | #Constraints:       3148
25.39/25.54	c bounds -9303 >= -1034513 @ 24.6644
25.39/25.54	c stratification level: 195
32.47/32.66	c bounds -9303 >= -1029637 @ 24.6758
32.47/32.66	c #Conflicts:       6000 | #Constraints:       4171
32.47/32.66	c finalizing WCE round: reformulating cores
51.51/51.70	c INPROCESSING
51.51/51.70	c GARBAGE COLLECT
51.51/51.70	c bounds -9334 >= -1029637 @ 33.3028
51.51/51.70	c #Conflicts:       7000 | #Constraints:       3182
51.51/51.70	c #Conflicts:       8000 | #Constraints:       4182
51.51/51.70	c bounds -9336 >= -1029637 @ 50.6292
51.51/51.70	c stratification level: 194
54.30/54.54	c bounds -9336 >= -1026685 @ 50.6416
54.30/54.54	c bounds -9336 >= -1026491 @ 50.6455
54.30/54.54	c finalizing WCE round: reformulating cores
66.66/66.94	c #Conflicts:       9000 | #Constraints:       5210
66.66/66.94	c INPROCESSING
66.66/66.94	c GARBAGE COLLECT
66.66/66.94	c bounds -9434 >= -1026491 @ 61.9285
66.66/66.94	c #Conflicts:      10000 | #Constraints:       3905
66.66/66.94	c bounds -9436 >= -1026491 @ 65.7188
66.66/66.94	c stratification level: 193
69.16/69.49	c bounds -9436 >= -1024352 @ 65.7287
69.16/69.49	c finalizing WCE round: reformulating cores
72.54/72.80	c #Conflicts:      11000 | #Constraints:       4922
72.54/72.80	c bounds -9465 >= -1024352 @ 71.2963
72.54/72.80	c bounds -9498 >= -1024352 @ 71.5177
72.54/72.80	c stratification level: 192
73.94/74.29	c bounds -9498 >= -1019926 @ 71.5324
73.94/74.29	c finalizing WCE round: reformulating cores
78.13/78.48	c #Conflicts:      12000 | #Constraints:       5954
78.13/78.48	c INPROCESSING
78.13/78.48	c GARBAGE COLLECT
78.13/78.48	c bounds -9506 >= -1019926 @ 77.1319
78.13/78.48	c bounds -9665 >= -1019926 @ 77.1425
78.13/78.48	c stratification level: 191
80.83/81.17	c bounds -9665 >= -1016054 @ 77.1572
80.83/81.17	c finalizing WCE round: reformulating cores
93.88/94.20	c #Conflicts:      13000 | #Constraints:       4431
93.88/94.20	c bounds -9668 >= -1016054 @ 83.2242
93.88/94.20	c #Conflicts:      14000 | #Constraints:       5431
93.88/94.20	c bounds -9670 >= -1016054 @ 92.7365
93.88/94.20	c stratification level: 190
93.97/94.35	c bounds -9670 >= -1011411 @ 92.7506
93.97/94.35	c finalizing WCE round: reformulating cores
95.86/96.23	c #Conflicts:      15000 | #Constraints:       6458
95.86/96.23	c INPROCESSING
95.86/96.23	c GARBAGE COLLECT
95.86/96.23	c bounds -9703 >= -1011411 @ 94.6475
95.86/96.23	c bounds -9754 >= -1011411 @ 94.7416
95.86/96.23	c stratification level: 189
100.15/100.55	c bounds -9754 >= -1006473 @ 94.7558
100.15/100.55	c #Conflicts:      16000 | #Constraints:       4696
100.15/100.55	c finalizing WCE round: reformulating cores
105.13/105.54	c bounds -9767 >= -1006473 @ 103.04
105.13/105.54	c bounds -9768 >= -1006473 @ 104.004
105.13/105.54	c stratification level: 188
125.38/125.82	c bounds -9768 >= -1002117 @ 104.025
125.38/125.82	c bounds -9768 >= -1001929 @ 104.046
125.38/125.82	c #Conflicts:      17000 | #Constraints:       5719
125.38/125.82	c #Conflicts:      18000 | #Constraints:       6719
125.38/125.82	c INPROCESSING
125.38/125.82	c GARBAGE COLLECT
125.38/125.82	c #Conflicts:      19000 | #Constraints:       4742
125.38/125.82	c #Conflicts:      20000 | #Constraints:       5742
125.38/125.82	c finalizing WCE round: reformulating cores
137.24/137.77	c #Conflicts:      21000 | #Constraints:       6747
137.24/137.77	c bounds -9770 >= -1001929 @ 131.341
137.24/137.77	c INPROCESSING
137.24/137.77	c GARBAGE COLLECT
137.24/137.77	c #Conflicts:      22000 | #Constraints:       4554
137.24/137.77	c bounds -9774 >= -1001929 @ 136.015
137.24/137.77	c stratification level: 187
137.75/138.27	c bounds -9776 >= -996495 @ 136.508
137.75/138.27	c stratification level: 186
142.23/142.75	c bounds -9776 >= -994450 @ 136.516
142.23/142.75	c finalizing WCE round: reformulating cores
149.51/150.05	c #Conflicts:      23000 | #Constraints:       5589
149.51/150.05	c bounds -9845 >= -994450 @ 143.015
149.51/150.05	c bounds -9877 >= -994450 @ 148.201
149.51/150.05	c stratification level: 185
156.29/156.89	c bounds -9877 >= -990367 @ 148.218
156.29/156.89	c #Conflicts:      24000 | #Constraints:       6610
156.29/156.89	c finalizing WCE round: reformulating cores
156.98/157.53	c bounds -9935 >= -990367 @ 155.592
156.98/157.53	c bounds -9941 >= -990367 @ 155.61
156.98/157.53	c stratification level: 184
167.05/167.63	c bounds -9941 >= -985762 @ 155.627
167.05/167.63	c #Conflicts:      25000 | #Constraints:       7636
167.05/167.63	c INPROCESSING
167.05/167.63	c GARBAGE COLLECT
167.05/167.63	c finalizing WCE round: reformulating cores
170.94/171.53	c #Conflicts:      26000 | #Constraints:       5240
170.94/171.53	c bounds -9958 >= -985762 @ 169.208
170.94/171.53	c bounds -9959 >= -985762 @ 169.513
170.94/171.53	c stratification level: 183
171.33/171.97	c bounds -9959 >= -980815 @ 169.535
171.33/171.97	c finalizing WCE round: reformulating cores
178.41/179.03	c #Conflicts:      27000 | #Constraints:       6265
178.41/179.03	c bounds -10015 >= -980815 @ 173.812
178.41/179.03	c bounds -10080 >= -980815 @ 176.945
178.41/179.03	c stratification level: 182
181.70/182.36	c bounds -10080 >= -976064 @ 176.973
181.70/182.36	c #Conflicts:      28000 | #Constraints:       7281
181.70/182.36	c finalizing WCE round: reformulating cores
193.36/194.04	c #Conflicts:      29000 | #Constraints:       8284
193.36/194.04	c INPROCESSING
193.36/194.04	c GARBAGE COLLECT
193.36/194.04	c bounds -10083 >= -976064 @ 187.716
193.36/194.04	c #Conflicts:      30000 | #Constraints:       5686
193.36/194.04	c bounds -10104 >= -976064 @ 191.821
193.36/194.04	c stratification level: 181
203.12/203.84	c #Conflicts:      31000 | #Constraints:       6704
203.12/203.84	c bounds -10131 >= -971865 @ 201.554
203.12/203.84	c stratification level: 180
205.01/205.75	c bounds -10131 >= -967677 @ 201.584
205.01/205.75	c bounds -10131 >= -967497 @ 201.595
205.01/205.75	c finalizing WCE round: reformulating cores
216.18/216.99	c #Conflicts:      32000 | #Constraints:       7729
216.18/216.99	c #Conflicts:      33000 | #Constraints:       8731
216.18/216.99	c INPROCESSING
216.18/216.99	c GARBAGE COLLECT
216.18/216.99	c bounds -10132 >= -967497 @ 212.976
216.18/216.99	c bounds -10142 >= -967482 @ 214.58
216.18/216.99	c stratification level: 179
231.62/232.42	c bounds -10142 >= -961728 @ 214.615
231.62/232.42	c bounds -10142 >= -961549 @ 214.626
231.62/232.42	c #Conflicts:      34000 | #Constraints:       5964
231.62/232.42	c #Conflicts:      35000 | #Constraints:       6964
231.62/232.42	c finalizing WCE round: reformulating cores
256.73/257.69	c #Conflicts:      36000 | #Constraints:       7967
256.73/257.69	c #Conflicts:      37000 | #Constraints:       8969
256.73/257.69	c INPROCESSING
256.73/257.69	c GARBAGE COLLECT
256.73/257.69	c bounds -10188 >= -961549 @ 242.247
256.73/257.69	c #Conflicts:      38000 | #Constraints:       5959
256.73/257.69	c #Conflicts:      39000 | #Constraints:       6959
256.73/257.69	c bounds -10190 >= -961549 @ 254.999
256.73/257.69	c stratification level: 178
258.42/259.39	c bounds -10192 >= -955492 @ 256.689
258.42/259.39	c stratification level: 177
288.81/289.88	c bounds -10192 >= -948942 @ 256.811
288.81/289.88	c #Conflicts:      40000 | #Constraints:       8017
288.81/289.88	c #Conflicts:      41000 | #Constraints:       9017
288.81/289.88	c INPROCESSING
288.81/289.88	c GARBAGE COLLECT
288.81/289.88	c #Conflicts:      42000 | #Constraints:       5822
288.81/289.88	c #Conflicts:      43000 | #Constraints:       6822
288.81/289.88	c #Conflicts:      44000 | #Constraints:       7822
288.81/289.88	c #Conflicts:      45000 | #Constraints:       8822
288.81/289.88	c finalizing WCE round: reformulating cores
289.11/290.13	c bounds -10224 >= -948942 @ 287.131
289.11/290.13	c bounds -10245 >= -948942 @ 287.239
289.11/290.13	c stratification level: 176
298.17/299.23	c bounds -10245 >= -943651 @ 287.548
298.17/299.23	c #Conflicts:      46000 | #Constraints:       9850
298.17/299.23	c INPROCESSING
298.17/299.23	c GARBAGE COLLECT
298.17/299.23	c finalizing WCE round: reformulating cores
323.99/325.17	c #Conflicts:      47000 | #Constraints:       6455
323.99/325.17	c bounds -10267 >= -943651 @ 298.924
323.99/325.17	c #Conflicts:      48000 | #Constraints:       7455
323.99/325.17	c #Conflicts:      49000 | #Constraints:       8455
323.99/325.17	c bounds -10274 >= -943651 @ 322.04
323.99/325.17	c stratification level: 175
327.66/328.87	c bounds -10274 >= -938611 @ 322.307
327.66/328.87	c bounds -10274 >= -938436 @ 322.532
327.66/328.87	c #Conflicts:      50000 | #Constraints:       9483
327.66/328.87	c finalizing WCE round: reformulating cores
359.45/360.71	c #Conflicts:      51000 | #Constraints:      10486
359.45/360.71	c INPROCESSING
359.45/360.71	c GARBAGE COLLECT
359.45/360.71	c #Conflicts:      52000 | #Constraints:       6889
359.45/360.71	c bounds -10315 >= -938436 @ 338.913
359.45/360.71	c #Conflicts:      53000 | #Constraints:       7889
359.45/360.71	c #Conflicts:      54000 | #Constraints:       8889
359.45/360.71	c bounds -10325 >= -938436 @ 357.325
359.45/360.71	c stratification level: 174
375.99/377.32	c bounds -10325 >= -931607 @ 357.999
375.99/377.32	c #Conflicts:      55000 | #Constraints:       9917
375.99/377.32	c #Conflicts:      56000 | #Constraints:      10917
375.99/377.32	c INPROCESSING
375.99/377.32	c GARBAGE COLLECT
375.99/377.32	c finalizing WCE round: reformulating cores
443.73/445.30	c #Conflicts:      57000 | #Constraints:       7130
443.73/445.30	c bounds -10335 >= -931607 @ 378.57
443.73/445.30	c #Conflicts:      58000 | #Constraints:       8130
443.73/445.30	c #Conflicts:      59000 | #Constraints:       9130
443.73/445.30	c #Conflicts:      60000 | #Constraints:      10130
443.73/445.30	c #Conflicts:      61000 | #Constraints:      11130
443.73/445.30	c INPROCESSING
443.73/445.30	c GARBAGE COLLECT
443.73/445.30	c #Conflicts:      62000 | #Constraints:       7139
443.73/445.30	c #Conflicts:      63000 | #Constraints:       8139
443.73/445.30	c #Conflicts:      64000 | #Constraints:       9139
443.73/445.30	c #Conflicts:      65000 | #Constraints:      10139
443.73/445.30	c bounds -10347 >= -931607 @ 441.338
443.73/445.30	c stratification level: 173
456.20/457.90	c bounds -10347 >= -924745 @ 442.758
456.20/457.90	c #Conflicts:      66000 | #Constraints:      11174
456.20/457.90	c INPROCESSING
456.20/457.90	c GARBAGE COLLECT
456.20/457.90	c #Conflicts:      67000 | #Constraints:       6960
456.20/457.90	c finalizing WCE round: reformulating cores
470.24/471.92	c bounds -10353 >= -924745 @ 463.454
470.24/471.92	c #Conflicts:      68000 | #Constraints:       7963
470.24/471.92	c bounds -10362 >= -924745 @ 467.736
470.24/471.92	c stratification level: 172
508.00/509.80	c bounds -10362 >= -919064 @ 468.424
508.00/509.80	c bounds -10362 >= -918892 @ 469.533
508.00/509.80	c #Conflicts:      69000 | #Constraints:       8989
508.00/509.80	c #Conflicts:      70000 | #Constraints:       9989
508.00/509.80	c #Conflicts:      71000 | #Constraints:      10989
508.00/509.80	c #Conflicts:      72000 | #Constraints:      11989
508.00/509.80	c INPROCESSING
508.00/509.80	c GARBAGE COLLECT
508.00/509.80	c finalizing WCE round: reformulating cores
828.88/831.93	c #Conflicts:      73000 | #Constraints:       7591
828.88/831.93	c bounds -10393 >= -918892 @ 510.431
828.88/831.93	c bounds -10393 >= -918722 @ 516.071
828.88/831.93	c #Conflicts:      74000 | #Constraints:       8596
828.88/831.93	c #Conflicts:      75000 | #Constraints:       9596
828.88/831.93	c #Conflicts:      76000 | #Constraints:      10596
828.88/831.93	c #Conflicts:      77000 | #Constraints:      11596
828.88/831.93	c #Conflicts:      78000 | #Constraints:      12596
828.88/831.93	c INPROCESSING
828.88/831.93	c GARBAGE COLLECT
828.88/831.93	c #Conflicts:      79000 | #Constraints:       8002
828.88/831.93	c #Conflicts:      80000 | #Constraints:       9002
828.88/831.93	c #Conflicts:      81000 | #Constraints:      10002
828.88/831.93	c #Conflicts:      82000 | #Constraints:      11002
828.88/831.93	c #Conflicts:      83000 | #Constraints:      12002
828.88/831.93	c #Conflicts:      84000 | #Constraints:      13002
828.88/831.93	c INPROCESSING
828.88/831.93	c GARBAGE COLLECT
828.88/831.93	c #Conflicts:      85000 | #Constraints:       8205
828.88/831.93	c #Conflicts:      86000 | #Constraints:       9205
828.88/831.93	c #Conflicts:      87000 | #Constraints:      10205
828.88/831.93	c #Conflicts:      88000 | #Constraints:      11205
828.88/831.93	c #Conflicts:      89000 | #Constraints:      12205
828.88/831.93	c #Conflicts:      90000 | #Constraints:      13205
828.88/831.93	c INPROCESSING
828.88/831.93	c GARBAGE COLLECT
828.88/831.93	c #Conflicts:      91000 | #Constraints:       8217
828.88/831.93	c #Conflicts:      92000 | #Constraints:       9217
828.88/831.93	c #Conflicts:      93000 | #Constraints:      10217
828.88/831.93	c #Conflicts:      94000 | #Constraints:      11217
828.88/831.93	c #Conflicts:      95000 | #Constraints:      12217
828.88/831.93	c #Conflicts:      96000 | #Constraints:      13217
828.88/831.93	c INPROCESSING
828.88/831.93	c GARBAGE COLLECT
828.88/831.93	c #Conflicts:      97000 | #Constraints:       8034
828.88/831.93	c #Conflicts:      98000 | #Constraints:       9034
828.88/831.93	c bounds -10431 >= -918722 @ 825.481
828.88/831.93	c stratification level: 171
1757.00/1763.56	c bounds -10431 >= -912560 @ 826.628
1757.00/1763.56	c #Conflicts:      99000 | #Constraints:      10069
1757.00/1763.56	c #Conflicts:     100000 | #Constraints:      11069
1757.00/1763.56	c #Conflicts:     101000 | #Constraints:      12069
1757.00/1763.56	c #Conflicts:     102000 | #Constraints:      13069
1757.00/1763.56	c #Conflicts:     103000 | #Constraints:      14069
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     104000 | #Constraints:       8664
1757.00/1763.56	c #Conflicts:     105000 | #Constraints:       9664
1757.00/1763.56	c #Conflicts:     106000 | #Constraints:      10664
1757.00/1763.56	c #Conflicts:     107000 | #Constraints:      11664
1757.00/1763.56	c #Conflicts:     108000 | #Constraints:      12664
1757.00/1763.56	c #Conflicts:     109000 | #Constraints:      13664
1757.00/1763.56	c #Conflicts:     110000 | #Constraints:      14664
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     111000 | #Constraints:       9068
1757.00/1763.56	c #Conflicts:     112000 | #Constraints:      10068
1757.00/1763.56	c #Conflicts:     113000 | #Constraints:      11068
1757.00/1763.56	c #Conflicts:     114000 | #Constraints:      12068
1757.00/1763.56	c #Conflicts:     115000 | #Constraints:      13068
1757.00/1763.56	c #Conflicts:     116000 | #Constraints:      14068
1757.00/1763.56	c #Conflicts:     117000 | #Constraints:      15068
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     118000 | #Constraints:       9269
1757.00/1763.56	c #Conflicts:     119000 | #Constraints:      10269
1757.00/1763.56	c #Conflicts:     120000 | #Constraints:      11269
1757.00/1763.56	c #Conflicts:     121000 | #Constraints:      12269
1757.00/1763.56	c #Conflicts:     122000 | #Constraints:      13269
1757.00/1763.56	c #Conflicts:     123000 | #Constraints:      14269
1757.00/1763.56	c #Conflicts:     124000 | #Constraints:      15269
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     125000 | #Constraints:       9259
1757.00/1763.56	c #Conflicts:     126000 | #Constraints:      10259
1757.00/1763.56	c #Conflicts:     127000 | #Constraints:      11259
1757.00/1763.56	c #Conflicts:     128000 | #Constraints:      12259
1757.00/1763.56	c #Conflicts:     129000 | #Constraints:      13259
1757.00/1763.56	c #Conflicts:     130000 | #Constraints:      14259
1757.00/1763.56	c #Conflicts:     131000 | #Constraints:      15259
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     132000 | #Constraints:       9068
1757.00/1763.56	c #Conflicts:     133000 | #Constraints:      10068
1757.00/1763.56	c #Conflicts:     134000 | #Constraints:      11068
1757.00/1763.56	c #Conflicts:     135000 | #Constraints:      12068
1757.00/1763.56	c #Conflicts:     136000 | #Constraints:      13068
1757.00/1763.56	c #Conflicts:     137000 | #Constraints:      14068
1757.00/1763.56	c #Conflicts:     138000 | #Constraints:      15068
1757.00/1763.56	c #Conflicts:     139000 | #Constraints:      16068
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     140000 | #Constraints:       9651
1757.00/1763.56	c #Conflicts:     141000 | #Constraints:      10651
1757.00/1763.56	c #Conflicts:     142000 | #Constraints:      11651
1757.00/1763.56	c #Conflicts:     143000 | #Constraints:      12651
1757.00/1763.56	c #Conflicts:     144000 | #Constraints:      13651
1757.00/1763.56	c #Conflicts:     145000 | #Constraints:      14651
1757.00/1763.56	c #Conflicts:     146000 | #Constraints:      15651
1757.00/1763.56	c #Conflicts:     147000 | #Constraints:      16651
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     148000 | #Constraints:      10064
1757.00/1763.56	c #Conflicts:     149000 | #Constraints:      11064
1757.00/1763.56	c #Conflicts:     150000 | #Constraints:      12064
1757.00/1763.56	c #Conflicts:     151000 | #Constraints:      13064
1757.00/1763.56	c #Conflicts:     152000 | #Constraints:      14064
1757.00/1763.56	c #Conflicts:     153000 | #Constraints:      15064
1757.00/1763.56	c #Conflicts:     154000 | #Constraints:      16064
1757.00/1763.56	c #Conflicts:     155000 | #Constraints:      17064
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     156000 | #Constraints:      10256
1757.00/1763.56	c #Conflicts:     157000 | #Constraints:      11256
1757.00/1763.56	c #Conflicts:     158000 | #Constraints:      12256
1757.00/1763.56	c #Conflicts:     159000 | #Constraints:      13256
1757.00/1763.56	c #Conflicts:     160000 | #Constraints:      14256
1757.00/1763.56	c #Conflicts:     161000 | #Constraints:      15256
1757.00/1763.56	c #Conflicts:     162000 | #Constraints:      16256
1757.00/1763.56	c #Conflicts:     163000 | #Constraints:      17256
1757.00/1763.56	c INPROCESSING
1757.00/1763.56	c GARBAGE COLLECT
1757.00/1763.56	c #Conflicts:     164000 | #Constraints:      10274
1757.00/1763.56	c #Conflicts:     165000 | #Constraints:      11274
1757.00/1763.56	c #Conflicts:     166000 | #Constraints:      12274
1757.00/1763.56	c #Conflicts:     167000 | #Constraints:      13274
1757.00/1763.56	c #Conflicts:     168000 | #Constraints:      14274
1757.00/1763.56	c #Conflicts:     169000 | #Constraints:      15274
1757.00/1763.56	c #Conflicts:     170000 | #Constraints:      16274
1757.00/1763.56	c #Conflicts:     171000 | #Constraints:      17274
2003.63/2011.05	c INPROCESSING
2003.63/2011.05	c GARBAGE COLLECT
2003.63/2011.05	c #Conflicts:     172000 | #Constraints:      10071
2003.63/2011.05	c #Conflicts:     173000 | #Constraints:      11071
2003.63/2011.05	c #Conflicts:     174000 | #Constraints:      12071
2003.63/2011.05	c #Conflicts:     175000 | #Constraints:      13071
2003.63/2011.05	c #Conflicts:     176000 | #Constraints:      14071
2003.63/2011.05	c #Conflicts:     177000 | #Constraints:      15071
2003.63/2011.05	c #Conflicts:     178000 | #Constraints:      16071
2003.63/2011.05	c #Conflicts:     179000 | #Constraints:      17071
2003.63/2011.05	c #Conflicts:     180000 | #Constraints:      18071
2003.63/2011.05	c INPROCESSING
2003.63/2011.05	c GARBAGE COLLECT
2003.63/2011.05	c #Conflicts:     181000 | #Constraints:      10675
2003.63/2011.05	c #Conflicts:     182000 | #Constraints:      11675
2003.63/2011.05	c #Conflicts:     183000 | #Constraints:      12675
2003.63/2011.05	c #Conflicts:     184000 | #Constraints:      13675
2003.63/2011.05	c #Conflicts:     185000 | #Constraints:      14675
2003.63/2011.05	c #Conflicts:     186000 | #Constraints:      15675
2003.63/2011.05	c #Conflicts:     187000 | #Constraints:      16675
2003.63/2011.05	c #Conflicts:     188000 | #Constraints:      17675
2003.63/2011.05	c #Conflicts:     189000 | #Constraints:      18675
2003.63/2011.05	c INPROCESSING
2003.63/2011.05	c GARBAGE COLLECT
2003.63/2011.05	c #Conflicts:     190000 | #Constraints:      11099
2003.63/2011.05	c #Conflicts:     191000 | #Constraints:      12099
2003.63/2011.05	c finalizing WCE round: reformulating cores
2028.24/2035.70	c #Conflicts:     192000 | #Constraints:      13102
2028.24/2035.70	c bounds -10432 >= -912560 @ 2006.67
2028.24/2035.70	c #Conflicts:     193000 | #Constraints:      14102
2028.24/2035.70	c bounds -10436 >= -912560 @ 2022.6
2028.24/2035.70	c stratification level: 170
2211.70/2219.80	c bounds -10436 >= -908262 @ 2024.08
2211.70/2219.80	c #Conflicts:     194000 | #Constraints:      15124
2211.70/2219.80	c #Conflicts:     195000 | #Constraints:      16124
2211.70/2219.80	c #Conflicts:     196000 | #Constraints:      17124
2211.70/2219.80	c #Conflicts:     197000 | #Constraints:      18124
2211.70/2219.80	c #Conflicts:     198000 | #Constraints:      19124
2211.70/2219.80	c INPROCESSING
2211.70/2219.80	c GARBAGE COLLECT
2211.70/2219.80	c #Conflicts:     199000 | #Constraints:      11302
2211.70/2219.80	c #Conflicts:     200000 | #Constraints:      12302
2211.70/2219.80	c #Conflicts:     201000 | #Constraints:      13302
2211.70/2219.80	c #Conflicts:     202000 | #Constraints:      14302
2211.70/2219.80	c #Conflicts:     203000 | #Constraints:      15302
2211.70/2219.80	c finalizing WCE round: reformulating cores
2298.50/2306.98	c bounds -10439 >= -908262 @ 2218.56
2298.50/2306.98	c #Conflicts:     204000 | #Constraints:      16305
2298.50/2306.98	c #Conflicts:     205000 | #Constraints:      17305
2298.50/2306.98	c #Conflicts:     206000 | #Constraints:      18305
2298.50/2306.98	c #Conflicts:     207000 | #Constraints:      19305
2298.50/2306.98	c INPROCESSING
2298.50/2306.98	c GARBAGE COLLECT
2298.50/2306.98	c #Conflicts:     208000 | #Constraints:      11318
2298.50/2306.98	c bounds -10443 >= -908262 @ 2292.6
2298.50/2306.98	c stratification level: 169
2689.87/2699.57	c bounds -10443 >= -901088 @ 2293.97
2689.87/2699.57	c #Conflicts:     209000 | #Constraints:      12355
2689.87/2699.57	c #Conflicts:     210000 | #Constraints:      13355
2689.87/2699.57	c #Conflicts:     211000 | #Constraints:      14355
2689.87/2699.57	c #Conflicts:     212000 | #Constraints:      15355
2689.87/2699.57	c #Conflicts:     213000 | #Constraints:      16355
2689.87/2699.57	c #Conflicts:     214000 | #Constraints:      17355
2689.87/2699.57	c #Conflicts:     215000 | #Constraints:      18355
2689.87/2699.57	c #Conflicts:     216000 | #Constraints:      19355
2689.87/2699.57	c INPROCESSING
2689.87/2699.57	c GARBAGE COLLECT
2689.87/2699.57	c #Conflicts:     217000 | #Constraints:      11142
2689.87/2699.57	c #Conflicts:     218000 | #Constraints:      12142
2689.87/2699.57	c #Conflicts:     219000 | #Constraints:      13142
2689.87/2699.57	c #Conflicts:     220000 | #Constraints:      14142
2689.87/2699.57	c #Conflicts:     221000 | #Constraints:      15142
2689.87/2699.57	c #Conflicts:     222000 | #Constraints:      16142
2689.87/2699.57	c #Conflicts:     223000 | #Constraints:      17142
2689.87/2699.57	c #Conflicts:     224000 | #Constraints:      18142
2689.87/2699.57	c #Conflicts:     225000 | #Constraints:      19142
2689.87/2699.57	c #Conflicts:     226000 | #Constraints:      20142
2689.87/2699.57	c INPROCESSING
2689.87/2699.57	c GARBAGE COLLECT
2689.87/2699.57	c #Conflicts:     227000 | #Constraints:      11729
2689.87/2699.57	c #Conflicts:     228000 | #Constraints:      12729
2689.87/2699.57	c #Conflicts:     229000 | #Constraints:      13729
2689.87/2699.57	c #Conflicts:     230000 | #Constraints:      14729
2689.87/2699.57	c #Conflicts:     231000 | #Constraints:      15729
2689.87/2699.57	c #Conflicts:     232000 | #Constraints:      16729
2689.87/2699.57	c #Conflicts:     233000 | #Constraints:      17729
2689.87/2699.57	c #Conflicts:     234000 | #Constraints:      18729
2689.87/2699.57	c #Conflicts:     235000 | #Constraints:      19729
2689.87/2699.57	c #Conflicts:     236000 | #Constraints:      20729
2689.87/2699.57	c INPROCESSING
2689.87/2699.57	c GARBAGE COLLECT
2689.87/2699.57	c #Conflicts:     237000 | #Constraints:      12119
2689.87/2699.57	c #Conflicts:     238000 | #Constraints:      13119
2689.87/2699.57	c #Conflicts:     239000 | #Constraints:      14119
2689.87/2699.57	c #Conflicts:     240000 | #Constraints:      15119
2689.87/2699.57	c #Conflicts:     241000 | #Constraints:      16119
2689.87/2699.57	c #Conflicts:     242000 | #Constraints:      17119
2689.87/2699.57	c finalizing WCE round: reformulating cores
2701.83/2711.51	c #Conflicts:     243000 | #Constraints:      18122
2701.83/2711.51	c bounds -10501 >= -901088 @ 2694.84
2701.83/2711.51	c bounds -10570 >= -901088 @ 2695.41
2701.83/2711.51	c stratification level: 168
3600.05/3612.93	c bounds -10570 >= -894047 @ 2697.48
3600.05/3612.93	c bounds -10570 >= -893879 @ 2697.74
3600.05/3612.93	c #Conflicts:     244000 | #Constraints:      19164
3600.05/3612.93	c #Conflicts:     245000 | #Constraints:      20164
3600.05/3612.93	c #Conflicts:     246000 | #Constraints:      21164
3600.05/3612.93	c INPROCESSING
3600.05/3612.93	c GARBAGE COLLECT
3600.05/3612.93	c #Conflicts:     247000 | #Constraints:      12383
3600.05/3612.93	c #Conflicts:     248000 | #Constraints:      13383
3600.05/3612.93	c #Conflicts:     249000 | #Constraints:      14383
3600.05/3612.93	c #Conflicts:     250000 | #Constraints:      15383
3600.05/3612.93	c #Conflicts:     251000 | #Constraints:      16383
3600.05/3612.93	c #Conflicts:     252000 | #Constraints:      17383
3600.05/3612.93	c #Conflicts:     253000 | #Constraints:      18383
3600.05/3612.93	c #Conflicts:     254000 | #Constraints:      19383
3600.05/3612.93	c #Conflicts:     255000 | #Constraints:      20383
3600.05/3612.93	c #Conflicts:     256000 | #Constraints:      21383
3600.05/3612.93	c INPROCESSING
3600.05/3612.93	c GARBAGE COLLECT
3600.05/3612.93	c #Conflicts:     257000 | #Constraints:      12370
3600.05/3612.93	c #Conflicts:     258000 | #Constraints:      13370
3600.05/3612.93	c #Conflicts:     259000 | #Constraints:      14370
3600.05/3612.93	c #Conflicts:     260000 | #Constraints:      15370
3600.05/3612.93	c #Conflicts:     261000 | #Constraints:      16370
3600.05/3612.93	c #Conflicts:     262000 | #Constraints:      17370
3600.05/3612.93	c #Conflicts:     263000 | #Constraints:      18370
3600.05/3612.93	c #Conflicts:     264000 | #Constraints:      19370
3600.05/3612.93	c #Conflicts:     265000 | #Constraints:      20370
3600.05/3612.93	c #Conflicts:     266000 | #Constraints:      21370
3600.05/3612.93	c INPROCESSING
3600.05/3612.93	c GARBAGE COLLECT
3600.05/3612.93	c #Conflicts:     267000 | #Constraints:      12169
3600.05/3612.93	c #Conflicts:     268000 | #Constraints:      13169
3600.05/3612.93	c #Conflicts:     269000 | #Constraints:      14169
3600.05/3612.93	c #Conflicts:     270000 | #Constraints:      15169
3600.05/3612.93	c #Conflicts:     271000 | #Constraints:      16169
3600.05/3612.93	c #Conflicts:     272000 | #Constraints:      17169
3600.05/3612.93	c #Conflicts:     273000 | #Constraints:      18169
3600.05/3612.93	c #Conflicts:     274000 | #Constraints:      19169
3600.05/3612.93	c #Conflicts:     275000 | #Constraints:      20169
3600.05/3612.93	c #Conflicts:     276000 | #Constraints:      21169
3600.05/3612.93	c #Conflicts:     277000 | #Constraints:      22169
3600.05/3612.93	c INPROCESSING
3600.05/3612.93	c GARBAGE COLLECT
3600.05/3612.93	c #Conflicts:     278000 | #Constraints:      12766
3600.05/3612.93	c #Conflicts:     279000 | #Constraints:      13766
3600.05/3612.93	c #Conflicts:     280000 | #Constraints:      14766
3600.05/3612.93	c #Conflicts:     281000 | #Constraints:      15766
3600.05/3612.93	c #Conflicts:     282000 | #Constraints:      16766
3600.05/3612.93	c #Conflicts:     283000 | #Constraints:      17766
3600.05/3612.93	c #Conflicts:     284000 | #Constraints:      18766
3600.05/3612.93	c #Conflicts:     285000 | #Constraints:      19766
3600.05/3612.93	c #Conflicts:     286000 | #Constraints:      20766
3600.05/3612.93	c #Conflicts:     287000 | #Constraints:      21766
3600.05/3612.93	c #Conflicts:     288000 | #Constraints:      22766
3600.05/3612.93	c INPROCESSING
3600.05/3612.93	c GARBAGE COLLECT
3600.05/3612.93	c #Conflicts:     289000 | #Constraints:      13154
3600.05/3612.93	c #Conflicts:     290000 | #Constraints:      14154
3600.05/3612.93	c #Conflicts:     291000 | #Constraints:      15154
3600.05/3612.93	c #Conflicts:     292000 | #Constraints:      16154
3600.05/3612.93	c #Conflicts:     293000 | #Constraints:      17154
3600.05/3612.93	c #Conflicts:     294000 | #Constraints:      18154
3600.05/3612.93	c #Conflicts:     295000 | #Constraints:      19154
3600.05/3612.93	c #Conflicts:     296000 | #Constraints:      20154
3600.05/3612.93	c #Conflicts:     297000 | #Constraints:      21154
3600.05/3612.93	c #Conflicts:     298000 | #Constraints:      22154
3600.05/3612.93	c #Conflicts:     299000 | #Constraints:      23154
3600.05/3612.93	c INPROCESSING
3600.05/3612.93	c GARBAGE COLLECT
3600.05/3612.93	c #Conflicts:     300000 | #Constraints:      13356
3600.05/3612.93	c #Conflicts:     301000 | #Constraints:      14356
3600.05/3612.93	c #Conflicts:     302000 | #Constraints:      15356
3600.05/3612.93	c Program interrupted by user.
3600.05/3612.93	c cpu time 3592.56 s
3600.05/3612.93	c deterministic time 712282127190 7.12e+11
3600.05/3612.93	c optimization time 233.37 s
3600.05/3612.93	c total solve time 3359.15 s
3600.05/3612.93	c core-guided solve time 3359.15 s
3600.05/3612.93	c propagation time 2617.71 s
3600.05/3612.93	c conflict analysis time 748.265 s
3600.05/3612.93	c propagations 130612614
3600.05/3612.93	c resolve steps 1587195
3600.05/3612.93	c decisions 4485918
3600.05/3612.93	c conflicts 302991
3600.05/3612.93	c restarts 736
3600.05/3612.93	c inprocessing phases 46
3600.05/3612.93	c input clauses 1004
3600.05/3612.93	c input cardinalities 300
3600.05/3612.93	c input general constraints 320
3600.05/3612.93	c input average constraint length 1289.32
3600.05/3612.93	c input average constraint degree 4545.98
3600.05/3612.93	c learned clauses 8745
3600.05/3612.93	c learned cardinalities 771
3600.05/3612.93	c learned general constraints 293498
3600.05/3612.93	c learned average constraint length 6711.83
3600.05/3612.93	c learned average constraint degree 115985258.37
3600.05/3612.93	c watched constraints 224662
3600.05/3612.93	c counting constraints 69156
3600.05/3612.93	c gcd simplifications 1411
3600.05/3612.93	c detected cardinalities 36
3600.05/3612.93	c weakened non-implied lits 464897999
3600.05/3612.93	c weakened non-implying lits 410982
3600.05/3612.93	c original variables 9905
3600.05/3612.93	c clausal propagations 5335903
3600.05/3612.93	c cardinality propagations 38497276
3600.05/3612.93	c watched propagations 30354907
3600.05/3612.93	c counting propagations 51430440
3600.05/3612.93	c watch lookups 26753112741
3600.05/3612.93	c watch backjump lookups 26191632525
3600.05/3612.93	c watch checks 527638541856
3600.05/3612.93	c propagation checks 125075287905
3600.05/3612.93	c constraint additions 6353062778
3600.05/3612.93	c trail pops 135390852
3600.05/3612.93	c formula constraints 313
3600.05/3612.93	c learned constraints 303014
3600.05/3612.93	c bound constraints 208
3600.05/3612.93	c core-guided constraints 1103
3600.05/3612.93	c encountered formula constraints 1013814
3600.05/3612.93	c encountered learned constraints 766925
3600.05/3612.93	c encountered bound constraints 1871
3600.05/3612.93	c encountered core-guided constraints 107576
3600.05/3612.93	c LP total time 0 s
3600.05/3612.93	c LP solve time 0 s
3600.05/3612.93	c LP constraints added 0
3600.05/3612.93	c LP constraints removed 0
3600.05/3612.93	c LP pivots internal 0
3600.05/3612.93	c LP pivots root 0
3600.05/3612.93	c LP calls 0
3600.05/3612.93	c LP optimalities 0
3600.05/3612.93	c LP no pivot count 0
3600.05/3612.93	c LP infeasibilities 0
3600.05/3612.93	c LP valid Farkas constraints 0
3600.05/3612.93	c LP learned Farkas constraints 0
3600.05/3612.93	c LP basis resets 0
3600.05/3612.93	c LP cycling count 0
3600.05/3612.93	c LP singular count 0
3600.05/3612.93	c LP no primal count 0
3600.05/3612.93	c LP no farkas count 0
3600.05/3612.93	c LP other issue count 0
3600.05/3612.93	c LP Gomory cuts 0
3600.05/3612.93	c LP learned cuts 0
3600.05/3612.93	c LP deleted cuts 0
3600.05/3612.93	c LP encountered Gomory constraints 0
3600.05/3612.93	c LP encountered Farkas constraints 0
3600.05/3612.93	c LP encountered learned Farkas constraints 0
3600.05/3612.93	c CG auxiliary variables introduced 1021
3600.05/3612.93	c CG solutions found 126
3600.05/3612.93	c CG cores constructed 54
3600.05/3612.93	c CG core cardinality constraints returned 4
3600.05/3612.93	c CG unit cores 0
3600.05/3612.93	c CG single cores 51
3600.05/3612.93	c CG blocks removed during cardinality reduction 0
3600.05/3612.93	c CG first core best 1
3600.05/3612.93	c CG decision core best 0
3600.05/3612.93	c CG core reduction tie 2
3600.05/3612.93	c CG core degree average 1.11
3600.05/3612.93	c CG core slack average 2.26
3600.05/3612.93	c CG exhausted 1
3600.05/3612.93	c CG exhaust time 160.746 s
3600.05/3612.93	c CG trimmed 7
3600.05/3612.93	c CG trim time 0.319277 s
3600.05/3612.93	c CG minimized 0
3600.05/3612.93	c CG minimize time 0 s
3600.05/3612.93	c CG am1 prop time 8.54247 s
3600.05/3612.93	c CG # am1s reformulated 954
3600.05/3612.93	c CG lower bound derived from am1s 223877
3600.05/3612.93	c CG # clausal cores 51
3600.05/3612.93	c CG # cardinality cores 6
3600.05/3612.93	c CG # pb cores 0
3600.05/3612.93	c CG # pb reforms 40
3600.05/3612.93	c CG # cores discarded because of pb reform 0
3600.05/3612.93	d LOWERBOUND -893879
3600.05/3612.93	d NCORES 54
3600.05/3612.93	d NPBCORES 0
3600.05/3612.93	d NPBREFORM 40
3600.05/3612.93	d NTRIMMED 7
3600.05/3612.93	d NEXHAUSTED 1
3600.05/3612.93	d NAM1S 954
3600.05/3612.93	d AM1LB 223877
3600.05/3612.93	o -10570
3600.05/3612.93	s SATISFIABLE
3600.05/3612.93	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

Verifier Data 

OK	-10570

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (62402 MiB free)
  memory of node 1: 64473 MiB (61388 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=392711, runsolver pid=392708

[startup+0.100492 s]*
/proc/loadavg: 1.18 2.18 3.21 3/228 392723
/proc/meminfo: memFree=126741992/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=43772 memory=9808 CPUtime=0.1 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 1885 0 0 0 7 3 0 0 20 0 1 0 60052503 44822528 2452 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 10943 2452 1281 291 0 2477 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43772 KiB
Current children cumulated memory: 9808 KiB

[startup+0.212881 s]*
/proc/loadavg: 1.18 2.18 3.21 3/228 392723
/proc/meminfo: memFree=126740288/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=43772 memory=10332 CPUtime=0.21 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 1982 0 0 0 12 9 0 0 20 0 1 0 60052503 44822528 2583 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 10943 2583 1281 291 0 2477 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43772 KiB
Current children cumulated memory: 10332 KiB

[startup+0.312035 s]*
/proc/loadavg: 1.18 2.18 3.21 3/228 392723
/proc/meminfo: memFree=126736928/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=44828 memory=11772 CPUtime=0.31 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 2304 0 0 0 18 13 0 0 20 0 1 0 60052503 45903872 2943 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 11207 2943 1313 291 0 2741 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 11772 KiB

[startup+0.700278 s]
/proc/loadavg: 1.18 2.18 3.21 3/228 392723
/proc/meminfo: memFree=126730200/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=45136 memory=14344 CPUtime=0.69 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 2474 0 0 0 46 23 0 0 20 0 1 0 60052503 46219264 3586 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 11284 3586 1313 291 0 2818 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45136 KiB
Current children cumulated memory: 14344 KiB

[startup+1.50025 s]
/proc/loadavg: 1.18 2.18 3.21 3/228 392723
/proc/meminfo: memFree=126719860/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=59624 memory=24740 CPUtime=1.48 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 4033 0 0 0 117 31 0 0 20 0 1 0 60052503 61054976 6185 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 14906 6185 1313 291 0 6440 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59624 KiB
Current children cumulated memory: 24740 KiB

[startup+3.11205 s]
/proc/loadavg: 1.18 2.18 3.21 3/231 392730
/proc/meminfo: memFree=126661104/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=92784 memory=51360 CPUtime=3.08 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 5585 0 0 0 262 46 0 0 20 0 1 0 60052503 95010816 12840 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 23196 12840 1313 291 0 14730 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92784 KiB
Current children cumulated memory: 51360 KiB

[startup+6.30033 s]
/proc/loadavg: 1.25 2.17 3.20 3/231 392730
/proc/meminfo: memFree=126557184/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=176284 memory=105600 CPUtime=6.26 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 7376 0 0 0 570 56 0 0 20 0 1 0 60052503 180514816 26400 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 44071 26400 1313 291 0 35605 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 176284 KiB
Current children cumulated memory: 105600 KiB

[startup+12.7003 s]
/proc/loadavg: 1.39 2.19 3.20 3/231 392730
/proc/meminfo: memFree=126391508/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=266992 memory=170088 CPUtime=12.64 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 10451 0 0 0 1200 64 0 0 20 0 1 0 60052503 273399808 42522 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 66748 42522 1376 291 0 58282 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 266992 KiB
Current children cumulated memory: 170088 KiB

[startup+25.5004 s]
/proc/loadavg: 1.48 2.18 3.18 3/231 392733
/proc/meminfo: memFree=126118876/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=414852 memory=254168 CPUtime=25.39 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 14694 0 0 0 2461 78 0 0 20 0 1 0 60052503 424808448 63542 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 103713 63542 1376 291 0 95247 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 414852 KiB
Current children cumulated memory: 254168 KiB

[startup+51.1122 s]
/proc/loadavg: 1.69 2.16 3.15 3/231 392736
/proc/meminfo: memFree=125671036/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=456244 memory=337480 CPUtime=50.92 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 25389 0 0 0 5004 88 0 0 20 0 1 0 60052503 467193856 84370 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 114061 84370 1376 291 0 105595 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 456244 KiB
Current children cumulated memory: 337480 KiB

[startup+102.3 s]
/proc/loadavg: 2.09 2.20 3.10 3/230 392746
/proc/meminfo: memFree=125367620/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=491324 memory=434716 CPUtime=101.95 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 34120 0 0 0 10077 118 0 0 20 0 1 0 60052503 503115776 108679 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 122831 108679 1376 291 0 114365 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 491324 KiB
Current children cumulated memory: 434716 KiB

[startup+162.3 s]
/proc/loadavg: 2.30 2.22 3.05 3/230 392756
/proc/meminfo: memFree=124823440/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=745076 memory=534172 CPUtime=161.76 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 44891 0 0 0 16033 143 0 0 20 0 1 0 60052503 762957824 133543 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 186269 133543 1376 291 0 177803 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 745076 KiB
Current children cumulated memory: 534172 KiB

[startup+222.3 s]
/proc/loadavg: 2.56 2.33 3.04 3/231 392767
/proc/meminfo: memFree=124534788/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=783756 memory=579952 CPUtime=221.55 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 54317 0 0 0 21985 170 0 0 20 0 1 0 60052503 802566144 144988 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 195939 144988 1376 291 0 187473 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 783756 KiB
Current children cumulated memory: 579952 KiB

[startup+282.3 s]
/proc/loadavg: 2.30 2.30 2.98 3/231 392777
/proc/meminfo: memFree=124347804/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=841632 memory=637828 CPUtime=281.34 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 68327 0 0 0 27947 187 0 0 20 0 1 0 60052503 861831168 159457 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 210408 159457 1376 291 0 201942 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 841632 KiB
Current children cumulated memory: 637828 KiB

[startup+342.3 s]
/proc/loadavg: 2.24 2.28 2.93 3/228 392788
/proc/meminfo: memFree=124026936/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=873956 memory=694064 CPUtime=341.12 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 76344 0 0 0 33903 209 0 0 20 0 1 0 60052503 894930944 173516 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 218489 173516 1376 291 0 210023 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 873956 KiB
Current children cumulated memory: 694064 KiB

[startup+402.3 s]
/proc/loadavg: 2.24 2.27 2.88 3/228 392798
/proc/meminfo: memFree=123953736/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=912972 memory=735960 CPUtime=400.89 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 85817 0 0 0 39860 229 0 0 20 0 1 0 60052503 934883328 183990 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 228243 183990 1376 291 0 219777 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 912972 KiB
Current children cumulated memory: 735960 KiB

[startup+462.3 s]
/proc/loadavg: 2.14 2.23 2.83 3/228 392808
/proc/meminfo: memFree=123722892/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=1016168 memory=868952 CPUtime=460.67 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 108926 0 0 0 45818 249 0 0 20 0 1 0 60052503 1040556032 217238 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 254042 217238 1376 291 0 245576 0

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

Current children cumulated memory: 1899148 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.11 2.15 3/232 394418
/proc/meminfo: memFree=120019044/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2055668 memory=1901184 CPUtime=2911.93 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 253368 0 0 0 290515 678 0 0 20 0 1 0 60052503 2105004032 475296 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 513917 475296 1376 291 0 505451 0
Current children cumulated CPU time: 2911.93 s
Current children cumulated vsize: 2055668 KiB
Current children cumulated memory: 1901184 KiB

[startup+2982.3 s]
/proc/loadavg: 2.08 2.10 2.14 3/232 394428
/proc/meminfo: memFree=120013216/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2060500 memory=1904440 CPUtime=2971.71 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 255106 0 0 0 296486 685 0 0 20 0 1 0 60052503 2109952000 476110 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 515125 476110 1376 291 0 506659 0
Current children cumulated CPU time: 2971.71 s
Current children cumulated vsize: 2060500 KiB
Current children cumulated memory: 1904440 KiB

[startup+3042.3 s]
/proc/loadavg: 2.08 2.10 2.14 3/231 394452
/proc/meminfo: memFree=119959316/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2635872 memory=1952692 CPUtime=3031.5 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 257724 0 0 0 302457 693 0 0 20 0 1 0 60052503 2699132928 488173 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 658968 488173 1376 291 0 650502 0
Current children cumulated CPU time: 3031.5 s
Current children cumulated vsize: 2635872 KiB
Current children cumulated memory: 1952692 KiB

[startup+3102.3 s]
/proc/loadavg: 2.07 2.09 2.13 3/230 394464
/proc/meminfo: memFree=119950660/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2635872 memory=1952696 CPUtime=3091.29 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 258479 0 0 0 308431 698 0 0 20 0 1 0 60052503 2699132928 488174 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 658968 488174 1376 291 0 650502 0
Current children cumulated CPU time: 3091.29 s
Current children cumulated vsize: 2635872 KiB
Current children cumulated memory: 1952696 KiB

[startup+3162.3 s]
/proc/loadavg: 2.20 2.12 2.14 3/230 394474
/proc/meminfo: memFree=119908640/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2645184 memory=1982908 CPUtime=3151.07 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 260713 0 0 0 314404 703 0 0 20 0 1 0 60052503 2708668416 495727 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 661296 495727 1376 291 0 652830 0
Current children cumulated CPU time: 3151.07 s
Current children cumulated vsize: 2645184 KiB
Current children cumulated memory: 1982908 KiB

[startup+3222.3 s]
/proc/loadavg: 2.19 2.13 2.14 3/229 394484
/proc/meminfo: memFree=119622432/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2660324 memory=2097456 CPUtime=3210.85 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 263998 0 0 0 320372 713 0 0 20 0 1 0 60052503 2724171776 524364 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 665081 524364 1376 291 0 656615 0
Current children cumulated CPU time: 3210.85 s
Current children cumulated vsize: 2660324 KiB
Current children cumulated memory: 2097456 KiB

[startup+3282.3 s]
/proc/loadavg: 2.23 2.15 2.14 3/229 394494
/proc/meminfo: memFree=119615416/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2660324 memory=2097480 CPUtime=3270.63 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 264676 0 0 0 326344 719 0 0 20 0 1 0 60052503 2724171776 524370 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 665081 524370 1376 291 0 656615 0
Current children cumulated CPU time: 3270.63 s
Current children cumulated vsize: 2660324 KiB
Current children cumulated memory: 2097480 KiB

[startup+3342.3 s]
/proc/loadavg: 2.18 2.15 2.14 3/227 394505
/proc/meminfo: memFree=119596968/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2661476 memory=2098364 CPUtime=3330.42 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 265864 0 0 0 332316 726 0 0 20 0 1 0 60052503 2725351424 524591 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 665369 524591 1376 291 0 656903 0
Current children cumulated CPU time: 3330.42 s
Current children cumulated vsize: 2661476 KiB
Current children cumulated memory: 2098364 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.13 2.14 3/227 394515
/proc/meminfo: memFree=119583060/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2661476 memory=2098364 CPUtime=3390.2 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 266623 0 0 0 338288 732 0 0 20 0 1 0 60052503 2725351424 524591 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 665369 524591 1376 291 0 656903 0
Current children cumulated CPU time: 3390.2 s
Current children cumulated vsize: 2661476 KiB
Current children cumulated memory: 2098364 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.12 2.13 3/227 394525
/proc/meminfo: memFree=119564280/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2663488 memory=2099508 CPUtime=3449.98 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 267755 0 0 0 344261 737 0 0 20 0 1 0 60052503 2727411712 524877 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 665872 524877 1376 291 0 657406 0
Current children cumulated CPU time: 3449.98 s
Current children cumulated vsize: 2663488 KiB
Current children cumulated memory: 2099508 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.11 2.13 3/227 394537
/proc/meminfo: memFree=119398704/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2680644 memory=2111136 CPUtime=3509.77 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 271547 0 0 0 350235 742 0 0 20 0 1 0 60052503 2744979456 527784 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 670161 527784 1376 291 0 661695 0
Current children cumulated CPU time: 3509.77 s
Current children cumulated vsize: 2680644 KiB
Current children cumulated memory: 2111136 KiB

[startup+3582.3 s]
/proc/loadavg: 2.07 2.11 2.12 3/227 394547
/proc/meminfo: memFree=119364364/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2693956 memory=2142408 CPUtime=3569.56 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 274306 0 0 0 356207 749 0 0 20 0 1 0 60052503 2758610944 535602 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 673489 535602 1376 291 0 665023 0
Current children cumulated CPU time: 3569.56 s
Current children cumulated vsize: 2693956 KiB
Current children cumulated memory: 2142408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 2.02 2.09 2.12 2/223 394588
/proc/meminfo: memFree=124604808/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2693956 memory=2142408 CPUtime=3600.05 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 274899 0 0 0 359253 752 0 0 20 0 1 0 60052503 2758610944 535602 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 673489 535602 1376 291 0 665023 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2693956 KiB
Current children cumulated memory: 2142408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.57 s, system=7.54498 s

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

[startup+3612.9 s]
/proc/loadavg: 2.02 2.09 2.12 2/223 394588
/proc/meminfo: memFree=124604808/131655788 swapFree=131058856/131071996
[pid=392711] ppid=392708 vsize=2693956 memory=2142408 CPUtime=3600.05 cores=0,2
/proc/392711/stat : 392711 (pb-oll-rs) R 392708 392711 390310 0 -1 4194304 274899 0 0 0 359253 752 0 0 20 0 1 0 60052503 2758610944 535602 134679101440 4194304 5384485 140721424046304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28930048 140721424053270 140721424053347 140721424053347 140721424060363 0
/proc/392711/statm: 673489 535602 1376 291 0 665023 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2693956 KiB
Current children cumulated memory: 2142408 KiB

Child status: 0

Real time (s): 3612.96
CPU time (s): 3600.11
CPU user time (s): 3592.57
CPU system time (s): 7.54498
CPU usage (%): 99.6446
Max. virtual memory (cumulated for all children) (KiB): 2693956
Max. memory (cumulated for all children) (KiB): 2142408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.57
system time used= 7.54498
maximum resident set size= 2142744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274917
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= 229
involuntary context switches= 25264


# summary of solver processes directly reported to runsolver:
#   pid: 392711
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3592.57
#   total CPU system time (s): 7.54498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.0756 second user time and 26.0758 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-29 10:10:26
IDJOB=4462470
IDBENCH=178886
IDSOLVER=3082
FILE ID=nodeC009/4462470-1722240626
RUNJOBID= nodeC009-1722240626-392690
SLURM_JOB_ID= 8248778
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36
RANDOM SEED=1649989608

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126761656 kB
MemAvailable:   129874812 kB
Buffers:          425816 kB
Cached:          3455860 kB
SwapCached:         4924 kB
Active:          1970308 kB
Inactive:        2243120 kB
Active(anon):       1504 kB
Inactive(anon):   383736 kB
Active(file):    1968804 kB
Inactive(file):  1859384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:              3332 kB
Writeback:             0 kB
AnonPages:        326380 kB
Mapped:            93712 kB
Shmem:             53492 kB
KReclaimable:     250336 kB
Slab:             363392 kB
SReclaimable:     250336 kB
SUnreclaim:       113056 kB
KernelStack:        3616 kB
PageTables:         9136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     825688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC009 at 2024-07-29 11:10:39