Trace number 4462456

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)-10609 3600.1 3608.34

DiagnosticValue
AM1LB223877
LOWERBOUND-893710
NAM1S954
NCORES55
NEXHAUSTED1
NPBCORES0
NPBREFORM41
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.01	c [STEP] solving
0.00/0.01	c #variables 9905 #constraints 313
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -1124116 @ 0.01415
0.00/0.01	c stratification level: 253
0.00/0.02	c bounds -767 >= -1124116 @ 0.018783
0.00/0.02	c stratification level: 250
0.00/0.03	c bounds -1017 >= -1123866 @ 0.022028
0.00/0.03	c stratification level: 249
0.00/0.04	c bounds -1266 >= -1123866 @ 0.024811
0.00/0.04	c stratification level: 247
0.00/0.04	c bounds -1513 >= -1123866 @ 0.027646
0.00/0.04	c stratification level: 246
0.00/0.05	c bounds -2005 >= -1123128 @ 0.030778
0.00/0.05	c stratification level: 245
0.00/0.06	c bounds -2250 >= -1123128 @ 0.034044
0.00/0.06	c stratification level: 244
0.00/0.07	c bounds -2332 >= -1122884 @ 0.037729
0.00/0.07	c stratification level: 243
0.00/0.07	c bounds -2343 >= -1122398 @ 0.040936
0.00/0.07	c stratification level: 242
0.00/0.08	c bounds -3290 >= -1122149 @ 0.044666
0.00/0.08	c stratification level: 241
0.00/0.09	c bounds -3290 >= -1121412 @ 0.04662
0.00/0.09	c finalizing WCE round: reformulating cores
0.00/0.10	c bounds -3490 >= -1121412 @ 0.053412
0.00/0.10	c bounds -3505 >= -1121412 @ 0.05566
0.00/0.10	c stratification level: 240
0.09/0.12	c bounds -3649 >= -1120932 @ 0.073373
0.09/0.12	c stratification level: 239
0.09/0.13	c bounds -3884 >= -1120694 @ 0.076618
0.09/0.13	c stratification level: 238
0.09/0.13	c bounds -3884 >= -1119972 @ 0.078291
0.09/0.13	c finalizing WCE round: reformulating cores
0.09/0.15	c bounds -3977 >= -1119972 @ 0.085794
0.09/0.15	c bounds -4171 >= -1119972 @ 0.089575
0.09/0.15	c stratification level: 237
0.09/0.16	c bounds -4190 >= -1119261 @ 0.104453
0.09/0.16	c stratification level: 236
0.09/0.18	c bounds -4216 >= -1118317 @ 0.117123
0.09/0.18	c stratification level: 235
0.09/0.18	c bounds -4451 >= -1118317 @ 0.120339
0.09/0.18	c stratification level: 234
0.09/0.19	c bounds -4680 >= -1117615 @ 0.124843
0.09/0.19	c stratification level: 233
0.09/0.19	c bounds -4819 >= -1116916 @ 0.12886
0.09/0.19	c stratification level: 232
0.09/0.20	c bounds -4912 >= -1116684 @ 0.133632
0.09/0.20	c stratification level: 231
0.19/0.21	c bounds -5049 >= -1116222 @ 0.136807
0.19/0.21	c stratification level: 230
0.19/0.22	c bounds -5090 >= -1114842 @ 0.146198
0.19/0.22	c stratification level: 229
0.19/0.23	c bounds -5214 >= -1114155 @ 0.16104
0.19/0.23	c stratification level: 228
0.19/0.24	c bounds -5343 >= -1113010 @ 0.165208
0.19/0.24	c stratification level: 227
0.19/0.25	c bounds -5343 >= -1111849 @ 0.167229
0.19/0.25	c finalizing WCE round: reformulating cores
0.19/0.26	c bounds -5551 >= -1111849 @ 0.179394
0.19/0.26	c bounds -5687 >= -1111849 @ 0.182455
0.19/0.26	c stratification level: 226
0.19/0.27	c bounds -5687 >= -1110501 @ 0.184718
0.19/0.27	c finalizing WCE round: reformulating cores
0.19/0.29	c bounds -5855 >= -1110501 @ 0.197336
0.19/0.29	c bounds -5868 >= -1110501 @ 0.199314
0.19/0.29	c stratification level: 225
0.30/0.35	c bounds -5900 >= -1108926 @ 0.26109
0.30/0.35	c stratification level: 224
0.40/0.42	c bounds -5900 >= -1107122 @ 0.263679
0.40/0.42	c finalizing WCE round: reformulating cores
0.40/0.45	c bounds -5942 >= -1107122 @ 0.346576
0.40/0.45	c bounds -5943 >= -1107122 @ 0.351699
0.40/0.45	c stratification level: 223
0.40/0.48	c bounds -6017 >= -1106227 @ 0.387872
0.40/0.48	c stratification level: 222
0.50/0.52	c bounds -6061 >= -1104009 @ 0.419066
0.50/0.52	c stratification level: 221
0.50/0.58	c bounds -6061 >= -1102218 @ 0.421318
0.50/0.58	c finalizing WCE round: reformulating cores
0.79/0.88	c bounds -6066 >= -1102218 @ 0.747894
0.79/0.88	c bounds -6140 >= -1102218 @ 0.757727
0.79/0.88	c stratification level: 220
1.09/1.16	c bounds -6140 >= -1100458 @ 0.758892
1.09/1.16	c finalizing WCE round: reformulating cores
1.19/1.27	c bounds -6250 >= -1100458 @ 1.12023
1.19/1.27	c bounds -6299 >= -1100458 @ 1.14083
1.19/1.27	c stratification level: 219
1.19/1.29	c bounds -6313 >= -1098266 @ 1.15065
1.19/1.29	c stratification level: 218
1.29/1.31	c bounds -6335 >= -1096086 @ 1.16527
1.29/1.31	c stratification level: 217
1.29/1.33	c bounds -6373 >= -1094350 @ 1.17626
1.29/1.33	c stratification level: 216
1.29/1.34	c bounds -6552 >= -1090894 @ 1.18697
1.29/1.34	c stratification level: 215
1.29/1.36	c bounds -6552 >= -1088095 @ 1.19068
1.29/1.36	c finalizing WCE round: reformulating cores
1.29/1.37	c bounds -6592 >= -1088095 @ 1.2018
1.29/1.37	c bounds -6614 >= -1088095 @ 1.20508
1.29/1.37	c stratification level: 214
1.39/1.40	c bounds -6633 >= -1086380 @ 1.22552
1.39/1.40	c stratification level: 213
1.39/1.41	c bounds -6670 >= -1082759 @ 1.22993
1.39/1.41	c stratification level: 212
1.49/1.59	c bounds -6670 >= -1078943 @ 1.23431
1.49/1.59	c bounds -6670 >= -1078731 @ 1.24238
1.49/1.59	c finalizing WCE round: reformulating cores
1.59/1.61	c bounds -7346 >= -1078731 @ 1.41019
1.59/1.61	c bounds -7347 >= -1078731 @ 1.41313
1.59/1.61	c stratification level: 211
1.59/1.65	c bounds -7355 >= -1077253 @ 1.43761
1.59/1.65	c stratification level: 210
1.68/1.71	c bounds -7355 >= -1074086 @ 1.44136
1.68/1.71	c finalizing WCE round: reformulating cores
1.68/1.73	c bounds -7360 >= -1074086 @ 1.50161
1.68/1.73	c bounds -7372 >= -1074086 @ 1.50736
1.68/1.73	c stratification level: 209
1.68/1.76	c bounds -7396 >= -1071996 @ 1.52968
1.68/1.76	c stratification level: 208
1.68/1.77	c bounds -7396 >= -1069907 @ 1.53298
1.68/1.77	c finalizing WCE round: reformulating cores
1.89/1.92	c bounds -7597 >= -1069907 @ 1.65769
1.89/1.92	c bounds -7648 >= -1069907 @ 1.67365
1.89/1.92	c stratification level: 207
1.89/1.94	c bounds -7648 >= -1067007 @ 1.67703
1.89/1.94	c finalizing WCE round: reformulating cores
1.89/1.95	c bounds -7708 >= -1067007 @ 1.69197
1.89/1.95	c bounds -7709 >= -1067007 @ 1.69834
1.89/1.95	c stratification level: 206
2.09/2.10	c bounds -7738 >= -1063489 @ 1.84222
2.09/2.10	c stratification level: 205
2.09/2.12	c bounds -7770 >= -1061431 @ 1.85694
2.09/2.12	c stratification level: 204
2.18/2.25	c bounds -7834 >= -1058154 @ 1.97566
2.18/2.25	c stratification level: 203
2.68/2.73	c bounds -7834 >= -1056095 @ 1.97856
2.68/2.73	c finalizing WCE round: reformulating cores
2.89/2.97	c bounds -7916 >= -1056095 @ 2.53166
2.89/2.97	c bounds -7919 >= -1056095 @ 2.66839
2.89/2.97	c stratification level: 202
2.99/3.03	c bounds -7919 >= -1053050 @ 2.67284
2.99/3.03	c finalizing WCE round: reformulating cores
2.99/3.05	c bounds -7959 >= -1053050 @ 2.74222
2.99/3.05	c bounds -7979 >= -1053050 @ 2.74483
2.99/3.05	c stratification level: 201
3.09/3.12	c bounds -7979 >= -1049430 @ 2.7492
3.09/3.12	c finalizing WCE round: reformulating cores
3.09/3.14	c bounds -8028 >= -1049430 @ 2.81303
3.09/3.14	c bounds -8030 >= -1049430 @ 2.8158
3.09/3.14	c stratification level: 200
3.09/3.17	c bounds -8030 >= -1045841 @ 2.82012
3.09/3.17	c finalizing WCE round: reformulating cores
3.09/3.19	c bounds -8046 >= -1045841 @ 2.8395
3.09/3.19	c bounds -8204 >= -1045841 @ 2.84738
3.09/3.19	c stratification level: 199
5.27/5.32	c bounds -8204 >= -1042255 @ 2.85199
5.27/5.32	c bounds -8204 >= -1042056 @ 2.85557
5.27/5.32	c #Conflicts:       1000 | #Constraints:       1788
5.27/5.32	c finalizing WCE round: reformulating cores
5.78/5.89	c bounds -8876 >= -1042056 @ 5.4817
5.78/5.89	c bounds -8943 >= -1042056 @ 5.49749
5.78/5.89	c stratification level: 198
6.78/6.89	c bounds -8943 >= -1040082 @ 5.5015
6.78/6.89	c finalizing WCE round: reformulating cores
14.26/14.33	c #Conflicts:       2000 | #Constraints:       2809
14.26/14.33	c INPROCESSING
14.26/14.33	c GARBAGE COLLECT
14.26/14.33	c bounds -8945 >= -1040082 @ 11.586
14.26/14.33	c #Conflicts:       3000 | #Constraints:       2710
14.26/14.33	c bounds -9000 >= -1040082 @ 13.8416
14.26/14.33	c stratification level: 197
14.66/14.77	c bounds -9000 >= -1037495 @ 13.8521
14.66/14.77	c finalizing WCE round: reformulating cores
18.64/18.72	c #Conflicts:       4000 | #Constraints:       3731
18.64/18.72	c bounds -9022 >= -1037495 @ 18.1461
18.64/18.72	c bounds -9269 >= -1037495 @ 18.1585
18.64/18.72	c stratification level: 196
19.14/19.27	c bounds -9269 >= -1034537 @ 18.1678
19.14/19.27	c finalizing WCE round: reformulating cores
24.24/24.39	c INPROCESSING
24.24/24.39	c GARBAGE COLLECT
24.24/24.39	c bounds -9272 >= -1034513 @ 22.3
24.24/24.39	c #Conflicts:       5000 | #Constraints:       3148
24.24/24.39	c bounds -9303 >= -1034513 @ 23.7663
24.24/24.39	c stratification level: 195
31.32/31.45	c bounds -9303 >= -1029637 @ 23.7763
31.32/31.45	c #Conflicts:       6000 | #Constraints:       4171
31.32/31.45	c finalizing WCE round: reformulating cores
50.18/50.33	c INPROCESSING
50.18/50.33	c GARBAGE COLLECT
50.18/50.33	c bounds -9334 >= -1029637 @ 32.3534
50.18/50.33	c #Conflicts:       7000 | #Constraints:       3182
50.18/50.33	c #Conflicts:       8000 | #Constraints:       4182
50.18/50.33	c bounds -9336 >= -1029637 @ 49.553
50.18/50.33	c stratification level: 194
52.98/53.15	c bounds -9336 >= -1026685 @ 49.565
52.98/53.15	c bounds -9336 >= -1026491 @ 49.572
52.98/53.15	c finalizing WCE round: reformulating cores
65.25/65.47	c #Conflicts:       9000 | #Constraints:       5210
65.25/65.47	c INPROCESSING
65.25/65.47	c GARBAGE COLLECT
65.25/65.47	c bounds -9434 >= -1026491 @ 60.804
65.25/65.47	c #Conflicts:      10000 | #Constraints:       3905
65.25/65.47	c bounds -9436 >= -1026491 @ 64.5703
65.25/65.47	c stratification level: 193
67.84/68.00	c bounds -9436 >= -1024352 @ 64.5802
67.84/68.00	c finalizing WCE round: reformulating cores
71.13/71.30	c #Conflicts:      11000 | #Constraints:       4922
71.13/71.30	c bounds -9465 >= -1024352 @ 70.1216
71.13/71.30	c bounds -9498 >= -1024352 @ 70.3428
71.13/71.30	c stratification level: 192
72.53/72.78	c bounds -9498 >= -1019926 @ 70.3573
72.53/72.78	c finalizing WCE round: reformulating cores
76.72/76.96	c #Conflicts:      12000 | #Constraints:       5954
76.72/76.96	c INPROCESSING
76.72/76.96	c GARBAGE COLLECT
76.72/76.96	c bounds -9506 >= -1019926 @ 75.9415
76.72/76.96	c bounds -9665 >= -1019926 @ 75.9542
76.72/76.96	c stratification level: 191
79.42/79.64	c bounds -9665 >= -1016054 @ 75.9695
79.42/79.64	c finalizing WCE round: reformulating cores
92.39/92.62	c #Conflicts:      13000 | #Constraints:       4431
92.39/92.62	c bounds -9668 >= -1016054 @ 82.0356
92.39/92.62	c #Conflicts:      14000 | #Constraints:       5431
92.39/92.62	c bounds -9670 >= -1016054 @ 91.5116
92.39/92.62	c stratification level: 190
92.48/92.77	c bounds -9670 >= -1011411 @ 91.5258
92.48/92.77	c finalizing WCE round: reformulating cores
94.38/94.65	c #Conflicts:      15000 | #Constraints:       6458
94.38/94.65	c INPROCESSING
94.38/94.65	c GARBAGE COLLECT
94.38/94.65	c bounds -9703 >= -1011411 @ 93.4249
94.38/94.65	c bounds -9754 >= -1011411 @ 93.517
94.38/94.65	c stratification level: 189
98.67/98.96	c bounds -9754 >= -1006473 @ 93.532
98.67/98.96	c #Conflicts:      16000 | #Constraints:       4696
98.67/98.96	c finalizing WCE round: reformulating cores
103.66/103.95	c bounds -9767 >= -1006473 @ 101.815
103.66/103.95	c bounds -9768 >= -1006473 @ 102.776
103.66/103.95	c stratification level: 188
123.82/124.19	c bounds -9768 >= -1002117 @ 102.797
123.82/124.19	c bounds -9768 >= -1001929 @ 102.823
123.82/124.19	c #Conflicts:      17000 | #Constraints:       5719
123.82/124.19	c #Conflicts:      18000 | #Constraints:       6719
123.82/124.19	c INPROCESSING
123.82/124.19	c GARBAGE COLLECT
123.82/124.19	c #Conflicts:      19000 | #Constraints:       4742
123.82/124.19	c #Conflicts:      20000 | #Constraints:       5742
123.82/124.19	c finalizing WCE round: reformulating cores
135.80/136.13	c #Conflicts:      21000 | #Constraints:       6747
135.80/136.13	c bounds -9770 >= -1001929 @ 130.08
135.80/136.13	c INPROCESSING
135.80/136.13	c GARBAGE COLLECT
135.80/136.13	c #Conflicts:      22000 | #Constraints:       4554
135.80/136.13	c bounds -9774 >= -1001929 @ 134.767
135.80/136.13	c stratification level: 187
136.29/136.63	c bounds -9776 >= -996495 @ 135.265
136.29/136.63	c stratification level: 186
140.79/141.12	c bounds -9776 >= -994450 @ 135.273
140.79/141.12	c finalizing WCE round: reformulating cores
148.06/148.42	c #Conflicts:      23000 | #Constraints:       5589
148.06/148.42	c bounds -9845 >= -994450 @ 141.791
148.06/148.42	c bounds -9877 >= -994450 @ 146.979
148.06/148.42	c stratification level: 185
154.84/155.25	c bounds -9877 >= -990367 @ 146.997
154.84/155.25	c #Conflicts:      24000 | #Constraints:       6610
154.84/155.25	c finalizing WCE round: reformulating cores
155.45/155.89	c bounds -9935 >= -990367 @ 154.368
155.45/155.89	c bounds -9941 >= -990367 @ 154.389
155.45/155.89	c stratification level: 184
165.43/165.88	c bounds -9941 >= -985762 @ 154.407
165.43/165.88	c #Conflicts:      25000 | #Constraints:       7636
165.43/165.88	c INPROCESSING
165.43/165.88	c GARBAGE COLLECT
165.43/165.88	c finalizing WCE round: reformulating cores
169.32/169.74	c #Conflicts:      26000 | #Constraints:       5240
169.32/169.74	c bounds -9958 >= -985762 @ 167.857
169.32/169.74	c bounds -9959 >= -985762 @ 168.157
169.32/169.74	c stratification level: 183
169.73/170.18	c bounds -9959 >= -980815 @ 168.179
169.73/170.18	c finalizing WCE round: reformulating cores
176.71/177.15	c #Conflicts:      27000 | #Constraints:       6265
176.71/177.15	c bounds -10015 >= -980815 @ 172.402
176.71/177.15	c bounds -10080 >= -980815 @ 175.506
176.71/177.15	c stratification level: 182
180.00/180.44	c bounds -10080 >= -976064 @ 175.533
180.00/180.44	c #Conflicts:      28000 | #Constraints:       7281
180.00/180.44	c finalizing WCE round: reformulating cores
191.57/192.01	c #Conflicts:      29000 | #Constraints:       8284
191.57/192.01	c INPROCESSING
191.57/192.01	c GARBAGE COLLECT
191.57/192.01	c bounds -10083 >= -976064 @ 186.173
191.57/192.01	c #Conflicts:      30000 | #Constraints:       5686
191.57/192.01	c bounds -10104 >= -976064 @ 190.25
191.57/192.01	c stratification level: 181
201.25/201.70	c #Conflicts:      31000 | #Constraints:       6704
201.25/201.70	c bounds -10131 >= -971865 @ 199.894
201.25/201.70	c stratification level: 180
203.04/203.58	c bounds -10131 >= -967677 @ 199.923
203.04/203.58	c bounds -10131 >= -967497 @ 199.935
203.04/203.58	c finalizing WCE round: reformulating cores
214.22/214.71	c #Conflicts:      32000 | #Constraints:       7729
214.22/214.71	c #Conflicts:      33000 | #Constraints:       8731
214.22/214.71	c INPROCESSING
214.22/214.71	c GARBAGE COLLECT
214.22/214.71	c bounds -10132 >= -967497 @ 211.213
214.22/214.71	c bounds -10142 >= -967482 @ 212.804
214.22/214.71	c stratification level: 179
229.39/229.99	c bounds -10142 >= -961728 @ 212.836
229.39/229.99	c bounds -10142 >= -961549 @ 212.847
229.39/229.99	c #Conflicts:      34000 | #Constraints:       5964
229.39/229.99	c #Conflicts:      35000 | #Constraints:       6964
229.39/229.99	c finalizing WCE round: reformulating cores
254.32/254.99	c #Conflicts:      36000 | #Constraints:       7967
254.32/254.99	c #Conflicts:      37000 | #Constraints:       8969
254.32/254.99	c INPROCESSING
254.32/254.99	c GARBAGE COLLECT
254.32/254.99	c bounds -10188 >= -961549 @ 240.241
254.32/254.99	c #Conflicts:      38000 | #Constraints:       5959
254.32/254.99	c #Conflicts:      39000 | #Constraints:       6959
254.32/254.99	c bounds -10190 >= -961549 @ 252.89
254.32/254.99	c stratification level: 178
256.02/256.66	c bounds -10192 >= -955492 @ 254.552
256.02/256.66	c stratification level: 177
286.05/286.72	c bounds -10192 >= -948942 @ 254.668
286.05/286.72	c #Conflicts:      40000 | #Constraints:       8017
286.05/286.72	c #Conflicts:      41000 | #Constraints:       9017
286.05/286.72	c INPROCESSING
286.05/286.72	c GARBAGE COLLECT
286.05/286.72	c #Conflicts:      42000 | #Constraints:       5822
286.05/286.72	c #Conflicts:      43000 | #Constraints:       6822
286.05/286.72	c #Conflicts:      44000 | #Constraints:       7822
286.05/286.72	c #Conflicts:      45000 | #Constraints:       8822
286.05/286.72	c finalizing WCE round: reformulating cores
286.24/286.97	c bounds -10224 >= -948942 @ 284.569
286.24/286.97	c bounds -10245 >= -948942 @ 284.673
286.24/286.97	c stratification level: 176
295.22/295.91	c bounds -10245 >= -943651 @ 284.969
295.22/295.91	c #Conflicts:      46000 | #Constraints:       9850
295.22/295.91	c INPROCESSING
295.22/295.91	c GARBAGE COLLECT
295.22/295.91	c finalizing WCE round: reformulating cores
320.66/321.44	c #Conflicts:      47000 | #Constraints:       6455
320.66/321.44	c bounds -10267 >= -943651 @ 296.179
320.66/321.44	c #Conflicts:      48000 | #Constraints:       7455
320.66/321.44	c #Conflicts:      49000 | #Constraints:       8455
320.66/321.44	c bounds -10274 >= -943651 @ 318.953
320.66/321.44	c stratification level: 175
324.26/325.06	c bounds -10274 >= -938611 @ 319.206
324.26/325.06	c bounds -10274 >= -938436 @ 319.417
324.26/325.06	c #Conflicts:      50000 | #Constraints:       9483
324.26/325.06	c finalizing WCE round: reformulating cores
355.38/356.28	c #Conflicts:      51000 | #Constraints:      10486
355.38/356.28	c INPROCESSING
355.38/356.28	c GARBAGE COLLECT
355.38/356.28	c #Conflicts:      52000 | #Constraints:       6889
355.38/356.28	c bounds -10315 >= -938436 @ 335.471
355.38/356.28	c #Conflicts:      53000 | #Constraints:       7889
355.38/356.28	c #Conflicts:      54000 | #Constraints:       8889
355.38/356.28	c bounds -10325 >= -938436 @ 353.596
355.38/356.28	c stratification level: 174
371.64/372.54	c bounds -10325 >= -931607 @ 354.236
371.64/372.54	c #Conflicts:      55000 | #Constraints:       9917
371.64/372.54	c #Conflicts:      56000 | #Constraints:      10917
371.64/372.54	c INPROCESSING
371.64/372.54	c GARBAGE COLLECT
371.64/372.54	c finalizing WCE round: reformulating cores
437.87/438.93	c #Conflicts:      57000 | #Constraints:       7130
437.87/438.93	c bounds -10335 >= -931607 @ 374.333
437.87/438.93	c #Conflicts:      58000 | #Constraints:       8130
437.87/438.93	c #Conflicts:      59000 | #Constraints:       9130
437.87/438.93	c #Conflicts:      60000 | #Constraints:      10130
437.87/438.93	c #Conflicts:      61000 | #Constraints:      11130
437.87/438.93	c INPROCESSING
437.87/438.93	c GARBAGE COLLECT
437.87/438.93	c #Conflicts:      62000 | #Constraints:       7139
437.87/438.93	c #Conflicts:      63000 | #Constraints:       8139
437.87/438.93	c #Conflicts:      64000 | #Constraints:       9139
437.87/438.93	c #Conflicts:      65000 | #Constraints:      10139
437.87/438.93	c bounds -10347 >= -931607 @ 435.795
437.87/438.93	c stratification level: 173
450.05/451.15	c bounds -10347 >= -924745 @ 437.148
450.05/451.15	c #Conflicts:      66000 | #Constraints:      11174
450.05/451.15	c INPROCESSING
450.05/451.15	c GARBAGE COLLECT
450.05/451.15	c #Conflicts:      67000 | #Constraints:       6960
450.05/451.15	c finalizing WCE round: reformulating cores
463.32/464.48	c bounds -10353 >= -924745 @ 457.009
463.32/464.48	c #Conflicts:      68000 | #Constraints:       7963
463.32/464.48	c bounds -10362 >= -924745 @ 461.188
463.32/464.48	c stratification level: 172
499.53/500.76	c bounds -10362 >= -919064 @ 461.845
499.53/500.76	c bounds -10362 >= -918892 @ 462.899
499.53/500.76	c #Conflicts:      69000 | #Constraints:       8989
499.53/500.76	c #Conflicts:      70000 | #Constraints:       9989
499.53/500.76	c #Conflicts:      71000 | #Constraints:      10989
499.53/500.76	c #Conflicts:      72000 | #Constraints:      11989
499.53/500.76	c INPROCESSING
499.53/500.76	c GARBAGE COLLECT
499.53/500.76	c finalizing WCE round: reformulating cores
809.39/811.38	c #Conflicts:      73000 | #Constraints:       7591
809.39/811.38	c bounds -10393 >= -918892 @ 502.189
809.39/811.38	c bounds -10393 >= -918722 @ 507.583
809.39/811.38	c #Conflicts:      74000 | #Constraints:       8596
809.39/811.38	c #Conflicts:      75000 | #Constraints:       9596
809.39/811.38	c #Conflicts:      76000 | #Constraints:      10596
809.39/811.38	c #Conflicts:      77000 | #Constraints:      11596
809.39/811.38	c #Conflicts:      78000 | #Constraints:      12596
809.39/811.38	c INPROCESSING
809.39/811.38	c GARBAGE COLLECT
809.39/811.38	c #Conflicts:      79000 | #Constraints:       8002
809.39/811.38	c #Conflicts:      80000 | #Constraints:       9002
809.39/811.38	c #Conflicts:      81000 | #Constraints:      10002
809.39/811.38	c #Conflicts:      82000 | #Constraints:      11002
809.39/811.38	c #Conflicts:      83000 | #Constraints:      12002
809.39/811.38	c #Conflicts:      84000 | #Constraints:      13002
809.39/811.38	c INPROCESSING
809.39/811.38	c GARBAGE COLLECT
809.39/811.38	c #Conflicts:      85000 | #Constraints:       8205
809.39/811.38	c #Conflicts:      86000 | #Constraints:       9205
809.39/811.38	c #Conflicts:      87000 | #Constraints:      10205
809.39/811.38	c #Conflicts:      88000 | #Constraints:      11205
809.39/811.38	c #Conflicts:      89000 | #Constraints:      12205
809.39/811.38	c #Conflicts:      90000 | #Constraints:      13205
809.39/811.38	c INPROCESSING
809.39/811.38	c GARBAGE COLLECT
809.39/811.38	c #Conflicts:      91000 | #Constraints:       8217
809.39/811.38	c #Conflicts:      92000 | #Constraints:       9217
809.39/811.38	c #Conflicts:      93000 | #Constraints:      10217
809.39/811.38	c #Conflicts:      94000 | #Constraints:      11217
809.39/811.38	c #Conflicts:      95000 | #Constraints:      12217
809.39/811.38	c #Conflicts:      96000 | #Constraints:      13217
809.39/811.38	c INPROCESSING
809.39/811.38	c GARBAGE COLLECT
809.39/811.38	c #Conflicts:      97000 | #Constraints:       8034
809.39/811.38	c #Conflicts:      98000 | #Constraints:       9034
809.39/811.38	c bounds -10431 >= -918722 @ 806.522
809.39/811.38	c stratification level: 171
1670.51/1674.56	c bounds -10431 >= -912560 @ 807.613
1670.51/1674.56	c #Conflicts:      99000 | #Constraints:      10069
1670.51/1674.56	c #Conflicts:     100000 | #Constraints:      11069
1670.51/1674.56	c #Conflicts:     101000 | #Constraints:      12069
1670.51/1674.56	c #Conflicts:     102000 | #Constraints:      13069
1670.51/1674.56	c #Conflicts:     103000 | #Constraints:      14069
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     104000 | #Constraints:       8664
1670.51/1674.56	c #Conflicts:     105000 | #Constraints:       9664
1670.51/1674.56	c #Conflicts:     106000 | #Constraints:      10664
1670.51/1674.56	c #Conflicts:     107000 | #Constraints:      11664
1670.51/1674.56	c #Conflicts:     108000 | #Constraints:      12664
1670.51/1674.56	c #Conflicts:     109000 | #Constraints:      13664
1670.51/1674.56	c #Conflicts:     110000 | #Constraints:      14664
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     111000 | #Constraints:       9068
1670.51/1674.56	c #Conflicts:     112000 | #Constraints:      10068
1670.51/1674.56	c #Conflicts:     113000 | #Constraints:      11068
1670.51/1674.56	c #Conflicts:     114000 | #Constraints:      12068
1670.51/1674.56	c #Conflicts:     115000 | #Constraints:      13068
1670.51/1674.56	c #Conflicts:     116000 | #Constraints:      14068
1670.51/1674.56	c #Conflicts:     117000 | #Constraints:      15068
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     118000 | #Constraints:       9269
1670.51/1674.56	c #Conflicts:     119000 | #Constraints:      10269
1670.51/1674.56	c #Conflicts:     120000 | #Constraints:      11269
1670.51/1674.56	c #Conflicts:     121000 | #Constraints:      12269
1670.51/1674.56	c #Conflicts:     122000 | #Constraints:      13269
1670.51/1674.56	c #Conflicts:     123000 | #Constraints:      14269
1670.51/1674.56	c #Conflicts:     124000 | #Constraints:      15269
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     125000 | #Constraints:       9259
1670.51/1674.56	c #Conflicts:     126000 | #Constraints:      10259
1670.51/1674.56	c #Conflicts:     127000 | #Constraints:      11259
1670.51/1674.56	c #Conflicts:     128000 | #Constraints:      12259
1670.51/1674.56	c #Conflicts:     129000 | #Constraints:      13259
1670.51/1674.56	c #Conflicts:     130000 | #Constraints:      14259
1670.51/1674.56	c #Conflicts:     131000 | #Constraints:      15259
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     132000 | #Constraints:       9068
1670.51/1674.56	c #Conflicts:     133000 | #Constraints:      10068
1670.51/1674.56	c #Conflicts:     134000 | #Constraints:      11068
1670.51/1674.56	c #Conflicts:     135000 | #Constraints:      12068
1670.51/1674.56	c #Conflicts:     136000 | #Constraints:      13068
1670.51/1674.56	c #Conflicts:     137000 | #Constraints:      14068
1670.51/1674.56	c #Conflicts:     138000 | #Constraints:      15068
1670.51/1674.56	c #Conflicts:     139000 | #Constraints:      16068
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     140000 | #Constraints:       9651
1670.51/1674.56	c #Conflicts:     141000 | #Constraints:      10651
1670.51/1674.56	c #Conflicts:     142000 | #Constraints:      11651
1670.51/1674.56	c #Conflicts:     143000 | #Constraints:      12651
1670.51/1674.56	c #Conflicts:     144000 | #Constraints:      13651
1670.51/1674.56	c #Conflicts:     145000 | #Constraints:      14651
1670.51/1674.56	c #Conflicts:     146000 | #Constraints:      15651
1670.51/1674.56	c #Conflicts:     147000 | #Constraints:      16651
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     148000 | #Constraints:      10064
1670.51/1674.56	c #Conflicts:     149000 | #Constraints:      11064
1670.51/1674.56	c #Conflicts:     150000 | #Constraints:      12064
1670.51/1674.56	c #Conflicts:     151000 | #Constraints:      13064
1670.51/1674.56	c #Conflicts:     152000 | #Constraints:      14064
1670.51/1674.56	c #Conflicts:     153000 | #Constraints:      15064
1670.51/1674.56	c #Conflicts:     154000 | #Constraints:      16064
1670.51/1674.56	c #Conflicts:     155000 | #Constraints:      17064
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     156000 | #Constraints:      10256
1670.51/1674.56	c #Conflicts:     157000 | #Constraints:      11256
1670.51/1674.56	c #Conflicts:     158000 | #Constraints:      12256
1670.51/1674.56	c #Conflicts:     159000 | #Constraints:      13256
1670.51/1674.56	c #Conflicts:     160000 | #Constraints:      14256
1670.51/1674.56	c #Conflicts:     161000 | #Constraints:      15256
1670.51/1674.56	c #Conflicts:     162000 | #Constraints:      16256
1670.51/1674.56	c #Conflicts:     163000 | #Constraints:      17256
1670.51/1674.56	c INPROCESSING
1670.51/1674.56	c GARBAGE COLLECT
1670.51/1674.56	c #Conflicts:     164000 | #Constraints:      10274
1670.51/1674.56	c #Conflicts:     165000 | #Constraints:      11274
1670.51/1674.56	c #Conflicts:     166000 | #Constraints:      12274
1670.51/1674.56	c #Conflicts:     167000 | #Constraints:      13274
1670.51/1674.56	c #Conflicts:     168000 | #Constraints:      14274
1670.51/1674.56	c #Conflicts:     169000 | #Constraints:      15274
1670.51/1674.56	c #Conflicts:     170000 | #Constraints:      16274
1670.51/1674.56	c #Conflicts:     171000 | #Constraints:      17274
1883.45/1887.97	c INPROCESSING
1883.45/1887.97	c GARBAGE COLLECT
1883.45/1887.97	c #Conflicts:     172000 | #Constraints:      10071
1883.45/1887.97	c #Conflicts:     173000 | #Constraints:      11071
1883.45/1887.97	c #Conflicts:     174000 | #Constraints:      12071
1883.45/1887.97	c #Conflicts:     175000 | #Constraints:      13071
1883.45/1887.97	c #Conflicts:     176000 | #Constraints:      14071
1883.45/1887.97	c #Conflicts:     177000 | #Constraints:      15071
1883.45/1887.97	c #Conflicts:     178000 | #Constraints:      16071
1883.45/1887.97	c #Conflicts:     179000 | #Constraints:      17071
1883.45/1887.97	c #Conflicts:     180000 | #Constraints:      18071
1883.45/1887.97	c INPROCESSING
1883.45/1887.97	c GARBAGE COLLECT
1883.45/1887.97	c #Conflicts:     181000 | #Constraints:      10675
1883.45/1887.97	c #Conflicts:     182000 | #Constraints:      11675
1883.45/1887.97	c #Conflicts:     183000 | #Constraints:      12675
1883.45/1887.97	c #Conflicts:     184000 | #Constraints:      13675
1883.45/1887.97	c #Conflicts:     185000 | #Constraints:      14675
1883.45/1887.97	c #Conflicts:     186000 | #Constraints:      15675
1883.45/1887.97	c #Conflicts:     187000 | #Constraints:      16675
1883.45/1887.97	c #Conflicts:     188000 | #Constraints:      17675
1883.45/1887.97	c #Conflicts:     189000 | #Constraints:      18675
1883.45/1887.97	c INPROCESSING
1883.45/1887.97	c GARBAGE COLLECT
1883.45/1887.97	c #Conflicts:     190000 | #Constraints:      11099
1883.45/1887.97	c #Conflicts:     191000 | #Constraints:      12099
1883.45/1887.97	c finalizing WCE round: reformulating cores
1904.21/1908.75	c #Conflicts:     192000 | #Constraints:      13102
1904.21/1908.75	c bounds -10432 >= -912560 @ 1885.43
1904.21/1908.75	c #Conflicts:     193000 | #Constraints:      14102
1904.21/1908.75	c bounds -10436 >= -912560 @ 1899.46
1904.21/1908.75	c stratification level: 170
2070.63/2075.52	c bounds -10436 >= -908262 @ 1900.47
2070.63/2075.52	c #Conflicts:     194000 | #Constraints:      15124
2070.63/2075.52	c #Conflicts:     195000 | #Constraints:      16124
2070.63/2075.52	c #Conflicts:     196000 | #Constraints:      17124
2070.63/2075.52	c #Conflicts:     197000 | #Constraints:      18124
2070.63/2075.52	c #Conflicts:     198000 | #Constraints:      19124
2070.63/2075.52	c INPROCESSING
2070.63/2075.52	c GARBAGE COLLECT
2070.63/2075.52	c #Conflicts:     199000 | #Constraints:      11302
2070.63/2075.52	c #Conflicts:     200000 | #Constraints:      12302
2070.63/2075.52	c #Conflicts:     201000 | #Constraints:      13302
2070.63/2075.52	c #Conflicts:     202000 | #Constraints:      14302
2070.63/2075.52	c #Conflicts:     203000 | #Constraints:      15302
2070.63/2075.52	c finalizing WCE round: reformulating cores
2154.16/2159.26	c bounds -10439 >= -908262 @ 2077.67
2154.16/2159.26	c #Conflicts:     204000 | #Constraints:      16305
2154.16/2159.26	c #Conflicts:     205000 | #Constraints:      17305
2154.16/2159.26	c #Conflicts:     206000 | #Constraints:      18305
2154.16/2159.26	c #Conflicts:     207000 | #Constraints:      19305
2154.16/2159.26	c INPROCESSING
2154.16/2159.26	c GARBAGE COLLECT
2154.16/2159.26	c #Conflicts:     208000 | #Constraints:      11318
2154.16/2159.26	c bounds -10443 >= -908262 @ 2149.18
2154.16/2159.26	c stratification level: 169
2536.13/2542.05	c bounds -10443 >= -901088 @ 2150.49
2536.13/2542.05	c #Conflicts:     209000 | #Constraints:      12355
2536.13/2542.05	c #Conflicts:     210000 | #Constraints:      13355
2536.13/2542.05	c #Conflicts:     211000 | #Constraints:      14355
2536.13/2542.05	c #Conflicts:     212000 | #Constraints:      15355
2536.13/2542.05	c #Conflicts:     213000 | #Constraints:      16355
2536.13/2542.05	c #Conflicts:     214000 | #Constraints:      17355
2536.13/2542.05	c #Conflicts:     215000 | #Constraints:      18355
2536.13/2542.05	c #Conflicts:     216000 | #Constraints:      19355
2536.13/2542.05	c INPROCESSING
2536.13/2542.05	c GARBAGE COLLECT
2536.13/2542.05	c #Conflicts:     217000 | #Constraints:      11142
2536.13/2542.05	c #Conflicts:     218000 | #Constraints:      12142
2536.13/2542.05	c #Conflicts:     219000 | #Constraints:      13142
2536.13/2542.05	c #Conflicts:     220000 | #Constraints:      14142
2536.13/2542.05	c #Conflicts:     221000 | #Constraints:      15142
2536.13/2542.05	c #Conflicts:     222000 | #Constraints:      16142
2536.13/2542.05	c #Conflicts:     223000 | #Constraints:      17142
2536.13/2542.05	c #Conflicts:     224000 | #Constraints:      18142
2536.13/2542.05	c #Conflicts:     225000 | #Constraints:      19142
2536.13/2542.05	c #Conflicts:     226000 | #Constraints:      20142
2536.13/2542.05	c INPROCESSING
2536.13/2542.05	c GARBAGE COLLECT
2536.13/2542.05	c #Conflicts:     227000 | #Constraints:      11729
2536.13/2542.05	c #Conflicts:     228000 | #Constraints:      12729
2536.13/2542.05	c #Conflicts:     229000 | #Constraints:      13729
2536.13/2542.05	c #Conflicts:     230000 | #Constraints:      14729
2536.13/2542.05	c #Conflicts:     231000 | #Constraints:      15729
2536.13/2542.05	c #Conflicts:     232000 | #Constraints:      16729
2536.13/2542.05	c #Conflicts:     233000 | #Constraints:      17729
2536.13/2542.05	c #Conflicts:     234000 | #Constraints:      18729
2536.13/2542.05	c #Conflicts:     235000 | #Constraints:      19729
2536.13/2542.05	c #Conflicts:     236000 | #Constraints:      20729
2536.13/2542.05	c INPROCESSING
2536.13/2542.05	c GARBAGE COLLECT
2536.13/2542.05	c #Conflicts:     237000 | #Constraints:      12119
2536.13/2542.05	c #Conflicts:     238000 | #Constraints:      13119
2536.13/2542.05	c #Conflicts:     239000 | #Constraints:      14119
2536.13/2542.05	c #Conflicts:     240000 | #Constraints:      15119
2536.13/2542.05	c #Conflicts:     241000 | #Constraints:      16119
2536.13/2542.05	c #Conflicts:     242000 | #Constraints:      17119
2536.13/2542.05	c finalizing WCE round: reformulating cores
2547.50/2553.43	c #Conflicts:     243000 | #Constraints:      18122
2547.50/2553.43	c bounds -10501 >= -901088 @ 2541.51
2547.50/2553.43	c bounds -10570 >= -901088 @ 2542.05
2547.50/2553.43	c stratification level: 168
3443.89/3451.81	c bounds -10570 >= -894047 @ 2544.03
3443.89/3451.81	c bounds -10570 >= -893879 @ 2544.26
3443.89/3451.81	c #Conflicts:     244000 | #Constraints:      19164
3443.89/3451.81	c #Conflicts:     245000 | #Constraints:      20164
3443.89/3451.81	c #Conflicts:     246000 | #Constraints:      21164
3443.89/3451.81	c INPROCESSING
3443.89/3451.81	c GARBAGE COLLECT
3443.89/3451.81	c #Conflicts:     247000 | #Constraints:      12383
3443.89/3451.81	c #Conflicts:     248000 | #Constraints:      13383
3443.89/3451.81	c #Conflicts:     249000 | #Constraints:      14383
3443.89/3451.81	c #Conflicts:     250000 | #Constraints:      15383
3443.89/3451.81	c #Conflicts:     251000 | #Constraints:      16383
3443.89/3451.81	c #Conflicts:     252000 | #Constraints:      17383
3443.89/3451.81	c #Conflicts:     253000 | #Constraints:      18383
3443.89/3451.81	c #Conflicts:     254000 | #Constraints:      19383
3443.89/3451.81	c #Conflicts:     255000 | #Constraints:      20383
3443.89/3451.81	c #Conflicts:     256000 | #Constraints:      21383
3443.89/3451.81	c INPROCESSING
3443.89/3451.81	c GARBAGE COLLECT
3443.89/3451.81	c #Conflicts:     257000 | #Constraints:      12370
3443.89/3451.81	c #Conflicts:     258000 | #Constraints:      13370
3443.89/3451.81	c #Conflicts:     259000 | #Constraints:      14370
3443.89/3451.81	c #Conflicts:     260000 | #Constraints:      15370
3443.89/3451.81	c #Conflicts:     261000 | #Constraints:      16370
3443.89/3451.81	c #Conflicts:     262000 | #Constraints:      17370
3443.89/3451.81	c #Conflicts:     263000 | #Constraints:      18370
3443.89/3451.81	c #Conflicts:     264000 | #Constraints:      19370
3443.89/3451.81	c #Conflicts:     265000 | #Constraints:      20370
3443.89/3451.81	c #Conflicts:     266000 | #Constraints:      21370
3443.89/3451.81	c INPROCESSING
3443.89/3451.81	c GARBAGE COLLECT
3443.89/3451.81	c #Conflicts:     267000 | #Constraints:      12169
3443.89/3451.81	c #Conflicts:     268000 | #Constraints:      13169
3443.89/3451.81	c #Conflicts:     269000 | #Constraints:      14169
3443.89/3451.81	c #Conflicts:     270000 | #Constraints:      15169
3443.89/3451.81	c #Conflicts:     271000 | #Constraints:      16169
3443.89/3451.81	c #Conflicts:     272000 | #Constraints:      17169
3443.89/3451.81	c #Conflicts:     273000 | #Constraints:      18169
3443.89/3451.81	c #Conflicts:     274000 | #Constraints:      19169
3443.89/3451.81	c #Conflicts:     275000 | #Constraints:      20169
3443.89/3451.81	c #Conflicts:     276000 | #Constraints:      21169
3443.89/3451.81	c #Conflicts:     277000 | #Constraints:      22169
3443.89/3451.81	c INPROCESSING
3443.89/3451.81	c GARBAGE COLLECT
3443.89/3451.81	c #Conflicts:     278000 | #Constraints:      12766
3443.89/3451.81	c #Conflicts:     279000 | #Constraints:      13766
3443.89/3451.81	c #Conflicts:     280000 | #Constraints:      14766
3443.89/3451.81	c #Conflicts:     281000 | #Constraints:      15766
3443.89/3451.81	c #Conflicts:     282000 | #Constraints:      16766
3443.89/3451.81	c #Conflicts:     283000 | #Constraints:      17766
3443.89/3451.81	c #Conflicts:     284000 | #Constraints:      18766
3443.89/3451.81	c #Conflicts:     285000 | #Constraints:      19766
3443.89/3451.81	c #Conflicts:     286000 | #Constraints:      20766
3443.89/3451.81	c #Conflicts:     287000 | #Constraints:      21766
3443.89/3451.81	c #Conflicts:     288000 | #Constraints:      22766
3443.89/3451.81	c INPROCESSING
3443.89/3451.81	c GARBAGE COLLECT
3443.89/3451.81	c #Conflicts:     289000 | #Constraints:      13154
3443.89/3451.81	c #Conflicts:     290000 | #Constraints:      14154
3443.89/3451.81	c #Conflicts:     291000 | #Constraints:      15154
3443.89/3451.81	c #Conflicts:     292000 | #Constraints:      16154
3443.89/3451.81	c #Conflicts:     293000 | #Constraints:      17154
3443.89/3451.81	c #Conflicts:     294000 | #Constraints:      18154
3443.89/3451.81	c #Conflicts:     295000 | #Constraints:      19154
3443.89/3451.81	c #Conflicts:     296000 | #Constraints:      20154
3443.89/3451.81	c #Conflicts:     297000 | #Constraints:      21154
3443.89/3451.81	c #Conflicts:     298000 | #Constraints:      22154
3443.89/3451.81	c #Conflicts:     299000 | #Constraints:      23154
3443.89/3451.81	c INPROCESSING
3443.89/3451.81	c GARBAGE COLLECT
3443.89/3451.81	c #Conflicts:     300000 | #Constraints:      13356
3443.89/3451.81	c #Conflicts:     301000 | #Constraints:      14356
3443.89/3451.81	c #Conflicts:     302000 | #Constraints:      15356
3443.89/3451.81	c #Conflicts:     303000 | #Constraints:      16356
3443.89/3451.81	c #Conflicts:     304000 | #Constraints:      17356
3443.89/3451.81	c finalizing WCE round: reformulating cores
3447.89/3455.85	c bounds -10599 >= -893878 @ 3438.88
3447.89/3455.85	c bounds -10599 >= -893710 @ 3439.04
3447.89/3455.85	c finalizing WCE round: reformulating cores
3600.05/3608.33	c #Conflicts:     305000 | #Constraints:      18368
3600.05/3608.33	c bounds -10609 >= -893710 @ 3453.48
3600.05/3608.33	c #Conflicts:     306000 | #Constraints:      19368
3600.05/3608.33	c #Conflicts:     307000 | #Constraints:      20368
3600.05/3608.33	c #Conflicts:     308000 | #Constraints:      21368
3600.05/3608.33	c #Conflicts:     309000 | #Constraints:      22368
3600.05/3608.33	c #Conflicts:     310000 | #Constraints:      23368
3600.05/3608.33	c INPROCESSING
3600.05/3608.33	c GARBAGE COLLECT
3600.05/3608.33	c #Conflicts:     311000 | #Constraints:      13377
3600.05/3608.33	c #Conflicts:     312000 | #Constraints:      14377
3600.05/3608.33	c Program interrupted by user.
3600.05/3608.33	c cpu time 3593.43 s
3600.05/3608.33	c deterministic time 752007087252 7.52e+11
3600.05/3608.33	c optimization time 212.11 s
3600.05/3608.33	c total solve time 3381.31 s
3600.05/3608.33	c core-guided solve time 3381.31 s
3600.05/3608.33	c propagation time 2630.79 s
3600.05/3608.33	c conflict analysis time 743.738 s
3600.05/3608.33	c propagations 133478624
3600.05/3608.33	c resolve steps 1637674
3600.05/3608.33	c decisions 4659041
3600.05/3608.33	c conflicts 312119
3600.05/3608.33	c restarts 763
3600.05/3608.33	c inprocessing phases 47
3600.05/3608.33	c input clauses 1005
3600.05/3608.33	c input cardinalities 302
3600.05/3608.33	c input general constraints 328
3600.05/3608.33	c input average constraint length 1310.95
3600.05/3608.33	c input average constraint degree 4682.35
3600.05/3608.33	c learned clauses 9032
3600.05/3608.33	c learned cardinalities 778
3600.05/3608.33	c learned general constraints 302332
3600.05/3608.33	c learned average constraint length 6746.42
3600.05/3608.33	c learned average constraint degree 120668795.31
3600.05/3608.33	c watched constraints 233188
3600.05/3608.33	c counting constraints 69472
3600.05/3608.33	c gcd simplifications 1440
3600.05/3608.33	c detected cardinalities 37
3600.05/3608.33	c weakened non-implied lits 473548523
3600.05/3608.33	c weakened non-implying lits 425637
3600.05/3608.33	c original variables 9905
3600.05/3608.33	c clausal propagations 5555190
3600.05/3608.33	c cardinality propagations 39384911
3600.05/3608.33	c watched propagations 31409564
3600.05/3608.33	c counting propagations 52054148
3600.05/3608.33	c watch lookups 28224091046
3600.05/3608.33	c watch backjump lookups 27635038181
3600.05/3608.33	c watch checks 560016209090
3600.05/3608.33	c propagation checks 129285336635
3600.05/3608.33	c constraint additions 6569835593
3600.05/3608.33	c trail pops 138439041
3600.05/3608.33	c formula constraints 313
3600.05/3608.33	c learned constraints 312142
3600.05/3608.33	c bound constraints 213
3600.05/3608.33	c core-guided constraints 1109
3600.05/3608.33	c encountered formula constraints 1046451
3600.05/3608.33	c encountered learned constraints 791258
3600.05/3608.33	c encountered bound constraints 1919
3600.05/3608.33	c encountered core-guided constraints 110165
3600.05/3608.33	c LP total time 0 s
3600.05/3608.33	c LP solve time 0 s
3600.05/3608.33	c LP constraints added 0
3600.05/3608.33	c LP constraints removed 0
3600.05/3608.33	c LP pivots internal 0
3600.05/3608.33	c LP pivots root 0
3600.05/3608.33	c LP calls 0
3600.05/3608.33	c LP optimalities 0
3600.05/3608.33	c LP no pivot count 0
3600.05/3608.33	c LP infeasibilities 0
3600.05/3608.33	c LP valid Farkas constraints 0
3600.05/3608.33	c LP learned Farkas constraints 0
3600.05/3608.33	c LP basis resets 0
3600.05/3608.33	c LP cycling count 0
3600.05/3608.33	c LP singular count 0
3600.05/3608.33	c LP no primal count 0
3600.05/3608.33	c LP no farkas count 0
3600.05/3608.33	c LP other issue count 0
3600.05/3608.33	c LP Gomory cuts 0
3600.05/3608.33	c LP learned cuts 0
3600.05/3608.33	c LP deleted cuts 0
3600.05/3608.33	c LP encountered Gomory constraints 0
3600.05/3608.33	c LP encountered Farkas constraints 0
3600.05/3608.33	c LP encountered learned Farkas constraints 0
3600.05/3608.33	c CG auxiliary variables introduced 1024
3600.05/3608.33	c CG solutions found 128
3600.05/3608.33	c CG cores constructed 55
3600.05/3608.33	c CG core cardinality constraints returned 4
3600.05/3608.33	c CG unit cores 0
3600.05/3608.33	c CG single cores 52
3600.05/3608.33	c CG blocks removed during cardinality reduction 0
3600.05/3608.33	c CG first core best 1
3600.05/3608.33	c CG decision core best 0
3600.05/3608.33	c CG core reduction tie 2
3600.05/3608.33	c CG core degree average 1.11
3600.05/3608.33	c CG core slack average 2.25
3600.05/3608.33	c CG exhausted 1
3600.05/3608.33	c CG exhaust time 168.829 s
3600.05/3608.33	c CG trimmed 7
3600.05/3608.33	c CG trim time 0.333208 s
3600.05/3608.33	c CG minimized 0
3600.05/3608.33	c CG minimize time 0 s
3600.05/3608.33	c CG am1 prop time 7.98157 s
3600.05/3608.33	c CG # am1s reformulated 954
3600.05/3608.33	c CG lower bound derived from am1s 223877
3600.05/3608.33	c CG # clausal cores 52
3600.05/3608.33	c CG # cardinality cores 6
3600.05/3608.33	c CG # pb cores 0
3600.05/3608.33	c CG # pb reforms 41
3600.05/3608.33	c CG # cores discarded because of pb reform 0
3600.05/3608.33	d LOWERBOUND -893710
3600.05/3608.33	d NCORES 55
3600.05/3608.33	d NPBCORES 0
3600.05/3608.33	d NPBREFORM 41
3600.05/3608.33	d NTRIMMED 7
3600.05/3608.33	d NEXHAUSTED 1
3600.05/3608.33	d NAM1S 954
3600.05/3608.33	d AM1LB 223877
3600.05/3608.33	o -10609
3600.05/3608.33	s SATISFIABLE
3600.05/3608.33	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	-10609

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: 63968 MiB (51174 MiB free)
  memory of node 1: 64473 MiB (49387 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100085 s]*
/proc/loadavg: 4.11 4.18 4.11 3/247 467752
/proc/meminfo: memFree=102967608/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=44828 memory=11796 CPUtime=0.09 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 2306 0 0 0 5 4 0 0 20 0 1 0 60548118 45903872 2949 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 11207 2949 1319 291 0 2741 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 11796 KiB

[startup+0.205377 s]*
/proc/loadavg: 4.11 4.18 4.11 3/247 467752
/proc/meminfo: memFree=102963348/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=45136 memory=14636 CPUtime=0.19 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 2546 0 0 0 13 6 0 0 20 0 1 0 60548118 46219264 3659 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 11284 3659 1319 291 0 2818 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45136 KiB
Current children cumulated memory: 14636 KiB

[startup+0.304563 s]*
/proc/loadavg: 4.11 4.18 4.11 4/250 467758
/proc/meminfo: memFree=102955632/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=48024 memory=17884 CPUtime=0.3 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 2800 0 0 0 21 9 0 0 20 0 1 0 60548118 49176576 4471 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 12006 4471 1319 291 0 3540 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48024 KiB
Current children cumulated memory: 17884 KiB

[startup+0.700161 s]
/proc/loadavg: 4.11 4.18 4.11 4/250 467758
/proc/meminfo: memFree=102952184/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=59624 memory=25556 CPUtime=0.69 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 3683 0 0 0 58 11 0 0 20 0 1 0 60548118 61054976 6389 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 14906 6389 1319 291 0 6440 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59624 KiB
Current children cumulated memory: 25556 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.18 4.11 3/249 467758
/proc/meminfo: memFree=102945816/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=72848 memory=40836 CPUtime=1.49 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 4475 0 0 0 131 18 0 0 20 0 1 0 60548118 74596352 10209 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 18212 10209 1319 291 0 9746 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72848 KiB
Current children cumulated memory: 40836 KiB

[startup+3.1052 s]
/proc/loadavg: 4.11 4.18 4.11 2/238 467806
/proc/meminfo: memFree=109123268/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=124932 memory=72060 CPUtime=3.09 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 6163 0 0 0 278 31 0 0 20 0 1 0 60548118 127930368 18015 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 31233 18015 1319 291 0 22767 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 72060 KiB

[startup+6.30014 s]
/proc/loadavg: 3.86 4.13 4.09 2/238 467807
/proc/meminfo: memFree=109071584/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=177728 memory=126088 CPUtime=6.28 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 7419 0 0 0 589 39 0 0 20 0 1 0 60548118 181993472 31522 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 44432 31522 1319 291 0 35966 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 177728 KiB
Current children cumulated memory: 126088 KiB

[startup+12.7002 s]
/proc/loadavg: 3.63 4.07 4.08 2/238 467807
/proc/meminfo: memFree=109020624/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=269492 memory=170976 CPUtime=12.66 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 10727 0 0 0 1221 45 0 0 20 0 1 0 60548118 275959808 42744 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 67373 42744 1380 291 0 58907 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 269492 KiB
Current children cumulated memory: 170976 KiB

[startup+25.5002 s]
/proc/loadavg: 3.11 3.94 4.03 2/237 467812
/proc/meminfo: memFree=108934084/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=417580 memory=256888 CPUtime=25.43 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 14843 0 0 0 2485 58 0 0 20 0 1 0 60548118 427601920 64222 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 104395 64222 1380 291 0 95929 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 417580 KiB
Current children cumulated memory: 256888 KiB

[startup+51.105 s]
/proc/loadavg: 2.39 3.70 3.95 2/236 467815
/proc/meminfo: memFree=108848180/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=459848 memory=341228 CPUtime=50.98 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 25831 0 0 0 5031 67 0 0 20 0 1 0 60548118 470884352 85307 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 114962 85307 1380 291 0 106496 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 459848 KiB
Current children cumulated memory: 341228 KiB

[startup+102.3 s]
/proc/loadavg: 1.80 3.33 3.81 2/236 467824
/proc/meminfo: memFree=108753012/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=491728 memory=435880 CPUtime=102.07 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 33792 0 0 0 10113 94 0 0 20 0 1 0 60548118 503529472 108970 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 122932 108970 1380 291 0 114466 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 491728 KiB
Current children cumulated memory: 435880 KiB

[startup+162.3 s]
/proc/loadavg: 1.35 2.92 3.64 2/236 467834
/proc/meminfo: memFree=108640408/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=749800 memory=547244 CPUtime=161.94 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 44932 0 0 0 16075 119 0 0 20 0 1 0 60548118 767795200 136811 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 187450 136811 1380 291 0 178984 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 749800 KiB
Current children cumulated memory: 547244 KiB

[startup+222.3 s]
/proc/loadavg: 1.17 2.58 3.47 2/234 467844
/proc/meminfo: memFree=108604336/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=785972 memory=582780 CPUtime=221.8 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 53803 0 0 0 22034 146 0 0 20 0 1 0 60548118 804835328 145695 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 196493 145695 1380 291 0 188027 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 785972 KiB
Current children cumulated memory: 582780 KiB

[startup+282.3 s]
/proc/loadavg: 1.10 2.31 3.32 2/233 467855
/proc/meminfo: memFree=108543236/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=848040 memory=642672 CPUtime=281.65 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 68849 0 0 0 28004 161 0 0 20 0 1 0 60548118 868392960 160668 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 212010 160668 1380 291 0 203544 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 848040 KiB
Current children cumulated memory: 642672 KiB

[startup+342.3 s]
/proc/loadavg: 1.08 2.08 3.18 2/234 467866
/proc/meminfo: memFree=108488076/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=874096 memory=696736 CPUtime=341.51 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 75384 0 0 0 33967 184 0 0 20 0 1 0 60548118 895074304 174184 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 218524 174184 1380 291 0 210058 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 874096 KiB
Current children cumulated memory: 696736 KiB

[startup+402.3 s]
/proc/loadavg: 1.18 1.93 3.06 2/234 467876
/proc/meminfo: memFree=108412156/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=917284 memory=774096 CPUtime=401.37 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 85942 0 0 0 39935 202 0 0 20 0 1 0 60548118 939298816 193524 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 229321 193524 1380 291 0 220855 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 917284 KiB
Current children cumulated memory: 774096 KiB

[startup+462.3 s]
/proc/loadavg: 1.13 1.77 2.93 2/237 467894
/proc/meminfo: memFree=108303024/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=1016360 memory=879900 CPUtime=461.22 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 107222 0 0 0 45901 221 0 0 20 0 1 0 60548118 1040752640 219975 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 254090 219975 1380 291 0 245624 0

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

Current children cumulated memory: 2052956 KiB

[startup+2922.3 s]
/proc/loadavg: 1.05 1.08 1.19 2/236 468968
/proc/meminfo: memFree=107200520/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2635872 memory=2052956 CPUtime=2915.57 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 255664 0 0 0 290962 595 0 0 20 0 1 0 60548118 2699132928 513239 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 658968 513239 1380 291 0 650502 0
Current children cumulated CPU time: 2915.57 s
Current children cumulated vsize: 2635872 KiB
Current children cumulated memory: 2052956 KiB

[startup+2982.3 s]
/proc/loadavg: 1.13 1.09 1.19 2/236 468980
/proc/meminfo: memFree=107192076/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2642492 memory=2060772 CPUtime=2975.44 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 257546 0 0 0 296945 599 0 0 20 0 1 0 60548118 2705911808 515193 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 660623 515193 1380 291 0 652157 0
Current children cumulated CPU time: 2975.44 s
Current children cumulated vsize: 2642492 KiB
Current children cumulated memory: 2060772 KiB

[startup+3042.3 s]
/proc/loadavg: 1.11 1.09 1.18 2/236 468991
/proc/meminfo: memFree=107055440/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2660324 memory=2196416 CPUtime=3035.3 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 261031 0 0 0 302922 608 0 0 20 0 1 0 60548118 2724171776 549104 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 665081 549104 1380 291 0 656615 0
Current children cumulated CPU time: 3035.3 s
Current children cumulated vsize: 2660324 KiB
Current children cumulated memory: 2196416 KiB

[startup+3102.3 s]
/proc/loadavg: 1.09 1.09 1.17 2/236 469001
/proc/meminfo: memFree=107054620/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2660324 memory=2196416 CPUtime=3095.17 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 261852 0 0 0 308903 614 0 0 20 0 1 0 60548118 2724171776 549104 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 665081 549104 1380 291 0 656615 0
Current children cumulated CPU time: 3095.17 s
Current children cumulated vsize: 2660324 KiB
Current children cumulated memory: 2196416 KiB

[startup+3162.3 s]
/proc/loadavg: 1.10 1.08 1.17 2/235 469393
/proc/meminfo: memFree=107052356/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2661476 memory=2197056 CPUtime=3155.04 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 262992 0 0 0 314884 620 0 0 20 0 1 0 60548118 2725351424 549264 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 665369 549264 1380 291 0 656903 0
Current children cumulated CPU time: 3155.04 s
Current children cumulated vsize: 2661476 KiB
Current children cumulated memory: 2197056 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.08 1.16 2/235 469404
/proc/meminfo: memFree=107052276/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2661476 memory=2197148 CPUtime=3214.91 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 263871 0 0 0 320866 625 0 0 20 0 1 0 60548118 2725351424 549287 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 665369 549287 1380 291 0 656903 0
Current children cumulated CPU time: 3214.91 s
Current children cumulated vsize: 2661476 KiB
Current children cumulated memory: 2197148 KiB

[startup+3282.3 s]
/proc/loadavg: 1.07 1.08 1.16 2/235 469415
/proc/meminfo: memFree=107050700/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2663232 memory=2198148 CPUtime=3274.77 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 265090 0 0 0 326848 629 0 0 20 0 1 0 60548118 2727149568 549537 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 665808 549537 1380 291 0 657342 0
Current children cumulated CPU time: 3274.77 s
Current children cumulated vsize: 2663232 KiB
Current children cumulated memory: 2198148 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.10 1.16 2/237 469596
/proc/meminfo: memFree=107038960/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2680388 memory=2208528 CPUtime=3334.64 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 268730 0 0 0 332830 634 0 0 20 0 1 0 60548118 2744717312 552132 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 670097 552132 1380 291 0 661631 0
Current children cumulated CPU time: 3334.64 s
Current children cumulated vsize: 2680388 KiB
Current children cumulated memory: 2208528 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.09 1.15 2/237 469607
/proc/meminfo: memFree=107008068/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2693956 memory=2239068 CPUtime=3394.5 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 271655 0 0 0 338811 639 0 0 20 0 1 0 60548118 2758610944 559767 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 673489 559767 1380 291 0 665023 0
Current children cumulated CPU time: 3394.5 s
Current children cumulated vsize: 2693956 KiB
Current children cumulated memory: 2239068 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.10 1.15 2/238 469622
/proc/meminfo: memFree=107007232/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2693956 memory=2239068 CPUtime=3454.37 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 272443 0 0 0 344787 650 0 0 20 0 1 0 60548118 2758610944 559767 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 673489 559767 1380 291 0 665023 0
Current children cumulated CPU time: 3454.37 s
Current children cumulated vsize: 2693956 KiB
Current children cumulated memory: 2239068 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.10 1.14 2/238 469644
/proc/meminfo: memFree=107005884/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2694724 memory=2239564 CPUtime=3514.23 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 273599 0 0 0 350765 658 0 0 20 0 1 0 60548118 2759397376 559891 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 673681 559891 1380 291 0 665215 0
Current children cumulated CPU time: 3514.23 s
Current children cumulated vsize: 2694724 KiB
Current children cumulated memory: 2239564 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.09 1.14 2/238 469656
/proc/meminfo: memFree=107001160/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2701160 memory=2243444 CPUtime=3574.1 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 275573 0 0 0 356747 663 0 0 20 0 1 0 60548118 2765987840 560861 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 675290 560861 1380 291 0 666824 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 2701160 KiB
Current children cumulated memory: 2243444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.3 s]
/proc/loadavg: 1.08 1.08 1.13 2/238 469661
/proc/meminfo: memFree=107000964/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2701160 memory=2243444 CPUtime=3600.05 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 275872 0 0 0 359340 665 0 0 20 0 1 0 60548118 2765987840 560861 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 675290 560861 1380 291 0 666824 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2701160 KiB
Current children cumulated memory: 2243444 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.44 s, system=6.66344 s

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

[startup+3608.3 s]
/proc/loadavg: 1.08 1.08 1.13 2/238 469661
/proc/meminfo: memFree=107000964/131524600 swapFree=131060148/131071996
[pid=467751] ppid=467748 vsize=2701160 memory=2243444 CPUtime=3600.05 cores=1,3
/proc/467751/stat : 467751 (pb-oll-rs) R 467748 467751 465744 0 -1 4194304 275872 0 0 0 359340 665 0 0 20 0 1 0 60548118 2765987840 560861 134679101440 4194304 5384005 140728216186352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 10432512 140728216187926 140728216188003 140728216188003 140728216195019 0
/proc/467751/statm: 675290 560861 1380 291 0 666824 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2701160 KiB
Current children cumulated memory: 2243444 KiB

Child status: 0

Real time (s): 3608.34
CPU time (s): 3600.1
CPU user time (s): 3593.44
CPU system time (s): 6.66344
CPU usage (%): 99.7716
Max. virtual memory (cumulated for all children) (KiB): 2701160
Max. memory (cumulated for all children) (KiB): 2243444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.44
system time used= 6.66344
maximum resident set size= 2243740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275889
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= 257
involuntary context switches= 2849


# summary of solver processes directly reported to runsolver:
#   pid: 467751
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.44
#   total CPU system time (s): 6.66344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32064 second user time and 14.951 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-29 10:03:07
IDJOB=4462456
IDBENCH=178886
IDSOLVER=3067
FILE ID=nodeC029/4462456-1722240187
RUNJOBID= nodeC029-1722236576-465756
SLURM_JOB_ID= 8248764
Free space on /tmp= 890064 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4462456-1722240187/watcher-4462456-1722240187 -o /tmp/evaluation-result-4462456-1722240187/solver-4462456-1722240187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722236576-465756 --watchdog 3760  pb-oll-rs HOME/instance-4462456-1722240187.opb

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

MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36
RANDOM SEED=1039064206

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        102975312 kB
MemAvailable:   123413252 kB
Buffers:          401520 kB
Cached:         20761840 kB
SwapCached:         1328 kB
Active:          2992652 kB
Inactive:       24714176 kB
Active(anon):       1744 kB
Inactive(anon):  6603652 kB
Active(file):    2990908 kB
Inactive(file): 18110524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060148 kB
Dirty:              4288 kB
Writeback:             0 kB
AnonPages:       6540000 kB
Mapped:           124196 kB
Shmem:             61932 kB
KReclaimable:     352660 kB
Slab:             475400 kB
SReclaimable:     352660 kB
SUnreclaim:       122740 kB
KernelStack:        4096 kB
PageTables:        21368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9130652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4198400 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:      350932 kB
DirectMap2M:    44511232 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC029 at 2024-07-29 11:03:15