Trace number 4455145

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat nolog (2)SAT (TO)369 3600.07 3609.71

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM446effd89caaa2fd386cf7c17951a1a5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark239
Best CPU time to get the best result obtained on this benchmark3558.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494177
Number of bits of the biggest sum of numbers19
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 
2.58/2.61	c #variables 10000 #constraints 656900
4.27/4.38	c bounds - >= 0 @ 1.75712
4.27/4.38	c rational objective 172.654
21.05/21.18	c bounds 6268 >= 0 @ 7.96999
21.05/21.18	c bounds 6251 >= 0 @ 7.97401
21.05/21.18	c bounds 6237 >= 0 @ 8.12122
21.05/21.18	c bounds 6232 >= 0 @ 8.13278
21.05/21.18	c bounds 6185 >= 0 @ 8.13701
21.05/21.18	c bounds 6124 >= 0 @ 8.14679
21.05/21.18	c bounds 6036 >= 0 @ 8.15117
21.05/21.18	c bounds 6024 >= 0 @ 8.15537
21.05/21.18	c bounds 6007 >= 0 @ 8.16005
21.05/21.18	c bounds 5906 >= 0 @ 8.16295
21.05/21.18	c bounds 5438 >= 0 @ 8.33101
21.05/21.18	c bounds 5414 >= 0 @ 8.33796
21.05/21.18	c bounds 5356 >= 0 @ 8.34165
21.05/21.18	c bounds 5350 >= 0 @ 8.34623
21.05/21.18	c bounds 5312 >= 0 @ 8.35347
21.05/21.18	c bounds 5236 >= 0 @ 8.36302
21.05/21.18	c bounds 5186 >= 0 @ 8.37363
21.05/21.18	c bounds 5144 >= 0 @ 8.37973
21.05/21.18	c bounds 5138 >= 0 @ 8.38675
21.05/21.18	c bounds 5104 >= 0 @ 8.39575
21.05/21.18	c bounds 5095 >= 0 @ 8.40155
21.05/21.18	c bounds 5084 >= 0 @ 8.40651
21.05/21.18	c bounds 5045 >= 0 @ 8.4137
21.05/21.18	c bounds 5041 >= 0 @ 8.41599
21.05/21.18	c bounds 4963 >= 0 @ 8.51642
21.05/21.18	c bounds 4942 >= 0 @ 8.52581
21.05/21.18	c bounds 4903 >= 0 @ 8.53552
21.05/21.18	c bounds 4890 >= 0 @ 8.54015
21.05/21.18	c bounds 4864 >= 0 @ 8.54684
21.05/21.18	c bounds 4856 >= 0 @ 8.55559
21.05/21.18	c bounds 4834 >= 0 @ 8.56383
21.05/21.18	c bounds 4793 >= 0 @ 8.57401
21.05/21.18	c bounds 4679 >= 0 @ 8.58086
21.05/21.18	c bounds 4658 >= 0 @ 8.59022
21.05/21.18	c bounds 4644 >= 0 @ 8.68607
21.05/21.18	c bounds 4625 >= 0 @ 8.69552
21.05/21.18	c bounds 4539 >= 0 @ 8.70157
21.05/21.18	c bounds 4525 >= 0 @ 8.71227
21.05/21.18	c bounds 4487 >= 0 @ 8.72191
21.05/21.18	c bounds 4464 >= 0 @ 8.7264
21.05/21.18	c bounds 4461 >= 0 @ 8.83218
21.05/21.18	c bounds 4409 >= 0 @ 8.86644
21.05/21.18	c bounds 4400 >= 0 @ 8.87106
21.05/21.18	c bounds 4340 >= 0 @ 8.94954
21.05/21.18	c bounds 4331 >= 0 @ 9.05616
21.05/21.18	c bounds 4321 >= 0 @ 9.0649
21.05/21.18	c bounds 4231 >= 0 @ 9.0701
21.05/21.18	c bounds 4168 >= 0 @ 9.07538
21.05/21.18	c bounds 4161 >= 0 @ 9.22156
21.05/21.18	c bounds 4128 >= 0 @ 9.22861
21.05/21.18	c bounds 3973 >= 0 @ 9.234
21.05/21.18	c bounds 3965 >= 0 @ 9.83213
21.05/21.18	c bounds 3930 >= 0 @ 10.8956
21.05/21.18	c bounds 3899 >= 0 @ 10.9098
21.05/21.18	c bounds 3852 >= 0 @ 10.9184
21.05/21.18	c bounds 3785 >= 0 @ 10.9241
21.05/21.18	c bounds 3709 >= 0 @ 10.9298
21.05/21.18	c bounds 3670 >= 0 @ 10.9335
21.05/21.18	c bounds 3651 >= 0 @ 10.949
21.05/21.18	c bounds 3650 >= 0 @ 10.9586
21.05/21.18	c bounds 3632 >= 0 @ 10.9777
21.05/21.18	c bounds 3612 >= 0 @ 10.9872
21.05/21.18	c bounds 3602 >= 0 @ 10.9923
21.05/21.18	c bounds 3580 >= 0 @ 10.997
21.05/21.18	c bounds 3553 >= 0 @ 11.0114
21.05/21.18	c bounds 3545 >= 0 @ 11.0419
21.05/21.18	c bounds 3539 >= 0 @ 11.0476
21.05/21.18	c bounds 3536 >= 0 @ 11.053
21.05/21.18	c bounds 3531 >= 0 @ 11.0589
21.05/21.18	c bounds 3518 >= 0 @ 11.0667
21.05/21.18	c bounds 3460 >= 0 @ 11.0744
21.05/21.18	c bounds 3425 >= 0 @ 11.0836
21.05/21.18	c bounds 3403 >= 0 @ 11.0877
21.05/21.18	c bounds 3399 >= 0 @ 11.0923
21.05/21.18	c bounds 3372 >= 0 @ 11.0994
21.05/21.18	c bounds 3345 >= 0 @ 11.1066
21.05/21.18	c bounds 3336 >= 0 @ 11.1101
21.05/21.18	c bounds 3292 >= 0 @ 11.1155
21.05/21.18	c bounds 3287 >= 0 @ 11.1233
21.05/21.18	c bounds 3254 >= 0 @ 11.1311
21.05/21.18	c bounds 3228 >= 0 @ 11.1397
21.05/21.18	c bounds 3216 >= 0 @ 11.1502
21.05/21.18	c bounds 3211 >= 0 @ 11.1554
21.05/21.18	c bounds 3143 >= 0 @ 11.1616
21.05/21.18	c bounds 3110 >= 0 @ 11.1794
21.05/21.18	c bounds 3043 >= 0 @ 11.1866
21.05/21.18	c bounds 2980 >= 0 @ 11.1924
21.05/21.18	c bounds 2974 >= 0 @ 11.2097
21.05/21.18	c bounds 2945 >= 0 @ 11.2161
21.05/21.18	c #Conflicts:       1000 | #Constraints:     657995
21.05/21.18	c bounds 2901 >= 0 @ 11.3498
21.05/21.18	c bounds 2817 >= 0 @ 11.3555
21.05/21.18	c bounds 2790 >= 0 @ 11.3594
21.05/21.18	c bounds 2772 >= 0 @ 11.3664
21.05/21.18	c bounds 2711 >= 0 @ 11.3716
21.05/21.18	c bounds 2651 >= 0 @ 11.3778
21.05/21.18	c bounds 2614 >= 0 @ 11.3849
21.05/21.18	c bounds 2566 >= 0 @ 11.3883
21.05/21.18	c bounds 2549 >= 0 @ 11.3993
21.05/21.18	c bounds 2495 >= 0 @ 11.4072
21.05/21.18	c bounds 2479 >= 0 @ 11.414
21.05/21.18	c bounds 2432 >= 0 @ 11.4209
21.05/21.18	c bounds 2398 >= 0 @ 11.4254
21.05/21.18	c bounds 2394 >= 0 @ 11.4393
21.05/21.18	c #Conflicts:       2000 | #Constraints:     659014
21.05/21.18	c INPROCESSING
21.05/21.18	c GARBAGE COLLECT
21.05/21.18	c bounds 2393 >= 0 @ 17.049
21.05/21.18	c bounds 2385 >= 0 @ 17.0589
21.05/21.18	c bounds 2378 >= 0 @ 17.0723
21.05/21.18	c bounds 2371 >= 0 @ 17.0835
21.05/21.18	c bounds 2344 >= 0 @ 17.1676
21.05/21.18	c bounds 2319 >= 0 @ 17.4178
21.05/21.18	c bounds 2311 >= 0 @ 17.5301
21.05/21.18	c bounds 2308 >= 0 @ 17.5421
21.05/21.18	c bounds 2299 >= 0 @ 17.8212
21.05/21.18	c bounds 2277 >= 0 @ 17.8563
21.05/21.18	c bounds 2249 >= 0 @ 17.9731
21.05/21.18	c bounds 2225 >= 0 @ 17.9828
21.05/21.18	c bounds 2196 >= 0 @ 17.9936
21.05/21.18	c bounds 2194 >= 0 @ 18.1736
21.05/21.18	c bounds 2193 >= 0 @ 18.187
21.05/21.18	c bounds 2181 >= 0 @ 18.1939
21.05/21.18	c bounds 2159 >= 0 @ 18.2992
21.05/21.18	c bounds 2138 >= 0 @ 18.3192
21.05/21.18	c bounds 2137 >= 0 @ 18.4261
21.05/21.18	c bounds 2111 >= 0 @ 18.4377
21.05/21.18	c bounds 2105 >= 0 @ 18.4526
21.05/21.18	c bounds 2084 >= 0 @ 18.4652
21.05/21.18	c bounds 2076 >= 0 @ 18.476
21.05/21.18	c bounds 2066 >= 0 @ 18.4868
21.05/21.18	c bounds 2002 >= 0 @ 18.6103
21.05/21.18	c bounds 2001 >= 0 @ 18.7192
21.05/21.18	c bounds 2000 >= 0 @ 18.746
21.05/21.18	c bounds 1968 >= 0 @ 18.8582
21.05/21.18	c bounds 1928 >= 0 @ 18.865
21.05/21.18	c bounds 1903 >= 0 @ 19.2478
21.05/21.18	c bounds 1883 >= 0 @ 19.4346
21.05/21.18	c bounds 1867 >= 0 @ 19.4608
21.05/21.18	c bounds 1857 >= 0 @ 19.4728
21.05/21.18	c bounds 1853 >= 0 @ 19.6831
21.05/21.18	c bounds 1851 >= 0 @ 19.7065
110.49/110.84	c bounds 1850 >= 0 @ 19.8328
110.49/110.84	c bounds 1843 >= 0 @ 19.8406
110.49/110.84	c bounds 1841 >= 0 @ 20.2742
110.49/110.84	c bounds 1837 >= 0 @ 20.2957
110.49/110.84	c bounds 1826 >= 0 @ 20.402
110.49/110.84	c bounds 1783 >= 0 @ 20.5777
110.49/110.84	c bounds 1773 >= 0 @ 20.6813
110.49/110.84	c bounds 1760 >= 0 @ 20.6949
110.49/110.84	c bounds 1758 >= 0 @ 20.71
110.49/110.84	c bounds 1712 >= 0 @ 20.826
110.49/110.84	c bounds 1705 >= 0 @ 20.8396
110.49/110.84	c bounds 1684 >= 0 @ 20.9492
110.49/110.84	c bounds 1681 >= 0 @ 20.9629
110.49/110.84	c bounds 1665 >= 0 @ 22.1947
110.49/110.84	c bounds 1664 >= 0 @ 22.7165
110.49/110.84	c bounds 1649 >= 0 @ 23.0573
110.49/110.84	c bounds 1646 >= 0 @ 23.0881
110.49/110.84	c bounds 1645 >= 0 @ 23.1279
110.49/110.84	c bounds 1641 >= 0 @ 23.451
110.49/110.84	c bounds 1638 >= 0 @ 23.7217
110.49/110.84	c bounds 1592 >= 0 @ 23.7439
110.49/110.84	c bounds 1588 >= 0 @ 23.9125
110.49/110.84	c bounds 1587 >= 0 @ 23.9341
110.49/110.84	c bounds 1581 >= 0 @ 23.958
110.49/110.84	c bounds 1576 >= 0 @ 24.0058
110.49/110.84	c bounds 1562 >= 0 @ 24.1175
110.49/110.84	c bounds 1558 >= 0 @ 24.1579
110.49/110.84	c bounds 1556 >= 0 @ 24.4023
110.49/110.84	c bounds 1554 >= 0 @ 24.4231
110.49/110.84	c bounds 1547 >= 0 @ 24.4517
110.49/110.84	c bounds 1537 >= 0 @ 24.5675
110.49/110.84	c bounds 1502 >= 0 @ 24.683
110.49/110.84	c bounds 1491 >= 0 @ 24.6999
110.49/110.84	c bounds 1483 >= 0 @ 24.7193
110.49/110.84	c bounds 1467 >= 0 @ 24.7402
110.49/110.84	c bounds 1457 >= 0 @ 24.7643
110.49/110.84	c bounds 1447 >= 0 @ 24.8049
110.49/110.84	c bounds 1434 >= 0 @ 24.8268
110.49/110.84	c bounds 1397 >= 0 @ 24.8433
110.49/110.84	c bounds 1396 >= 0 @ 24.8673
110.49/110.84	c bounds 1349 >= 0 @ 24.8853
110.49/110.84	c bounds 1341 >= 0 @ 25.0689
110.49/110.84	c #Conflicts:       3000 | #Constraints:     659036
110.49/110.84	c bounds 1327 >= 0 @ 25.7075
110.49/110.84	c bounds 1321 >= 0 @ 25.7263
110.49/110.84	c bounds 1312 >= 0 @ 25.8252
110.49/110.84	c bounds 1286 >= 0 @ 25.9497
110.49/110.84	c bounds 1285 >= 0 @ 25.9758
110.49/110.84	c bounds 1277 >= 0 @ 25.9956
110.49/110.84	c bounds 1273 >= 0 @ 26.0142
110.49/110.84	c bounds 1270 >= 0 @ 26.0406
110.49/110.84	c bounds 1269 >= 0 @ 26.1379
110.49/110.84	c bounds 1250 >= 0 @ 26.4147
110.49/110.84	c bounds 1230 >= 0 @ 26.709
110.49/110.84	c bounds 1222 >= 0 @ 26.8719
110.49/110.84	c bounds 1215 >= 0 @ 27.1527
110.49/110.84	c bounds 1211 >= 0 @ 27.4253
110.49/110.84	c bounds 1209 >= 0 @ 27.5576
110.49/110.84	c bounds 1207 >= 0 @ 27.5903
110.49/110.84	c bounds 1179 >= 0 @ 27.6107
110.49/110.84	c bounds 1176 >= 0 @ 27.6253
110.49/110.84	c #Conflicts:       4000 | #Constraints:     660081
110.49/110.84	c INPROCESSING
110.49/110.84	c GARBAGE COLLECT
110.49/110.84	c bounds 1171 >= 0 @ 53.0883
110.49/110.84	c bounds 1170 >= 0 @ 53.1048
110.49/110.84	c bounds 1154 >= 0 @ 53.1225
110.49/110.84	c bounds 1143 >= 0 @ 53.14
110.49/110.84	c bounds 1137 >= 0 @ 53.1602
110.49/110.84	c bounds 1129 >= 0 @ 53.1836
110.49/110.84	c bounds 1121 >= 0 @ 53.2618
110.49/110.84	c bounds 1102 >= 0 @ 53.2781
110.49/110.84	c bounds 1087 >= 0 @ 54.1177
110.49/110.84	c bounds 1086 >= 0 @ 54.1861
110.49/110.84	c bounds 1082 >= 0 @ 54.2114
110.49/110.84	c bounds 1067 >= 0 @ 54.3587
110.49/110.84	c bounds 1058 >= 0 @ 54.6173
110.49/110.84	c bounds 1040 >= 0 @ 54.767
110.49/110.84	c bounds 1026 >= 0 @ 54.8016
110.49/110.84	c bounds 1021 >= 0 @ 55.62
110.49/110.84	c bounds 1018 >= 0 @ 55.996
110.49/110.84	c bounds 1017 >= 0 @ 56.4885
110.49/110.84	c bounds 1014 >= 0 @ 56.6083
110.49/110.84	c bounds 1013 >= 0 @ 56.6311
110.49/110.84	c bounds 1012 >= 0 @ 56.6789
110.49/110.84	c bounds 1005 >= 0 @ 57.1948
110.49/110.84	c bounds 999 >= 0 @ 57.434
110.49/110.84	c bounds 997 >= 0 @ 57.9416
110.49/110.84	c #Conflicts:       5000 | #Constraints:     659410
110.49/110.84	c #Conflicts:       6000 | #Constraints:     660425
110.49/110.84	c INPROCESSING
110.49/110.84	c GARBAGE COLLECT
110.49/110.84	c bounds 992 >= 0 @ 69.6121
110.49/110.84	c bounds 986 >= 0 @ 70.7814
110.49/110.84	c bounds 984 >= 0 @ 70.9931
110.49/110.84	c #Conflicts:       7000 | #Constraints:     659378
110.49/110.84	c bounds 983 >= 0 @ 71.3927
110.49/110.84	c bounds 982 >= 0 @ 71.5783
110.49/110.84	c bounds 981 >= 0 @ 71.6198
110.49/110.84	c bounds 980 >= 0 @ 72.9257
110.49/110.84	c bounds 978 >= 0 @ 72.9508
110.49/110.84	c bounds 976 >= 0 @ 72.9779
110.49/110.84	c bounds 970 >= 0 @ 73.2407
110.49/110.84	c bounds 955 >= 0 @ 73.4255
110.49/110.84	c bounds 941 >= 0 @ 74.3513
110.49/110.84	c bounds 937 >= 0 @ 74.4504
110.49/110.84	c bounds 926 >= 0 @ 74.5219
110.49/110.84	c bounds 917 >= 0 @ 74.6885
110.49/110.84	c #Conflicts:       8000 | #Constraints:     660418
110.49/110.84	c bounds 901 >= 0 @ 79.3433
110.49/110.84	c bounds 892 >= 0 @ 79.8061
110.49/110.84	c bounds 888 >= 0 @ 79.9838
110.49/110.84	c bounds 885 >= 0 @ 80.2943
110.49/110.84	c bounds 868 >= 0 @ 80.4417
110.49/110.84	c bounds 857 >= 0 @ 80.482
110.49/110.84	c bounds 848 >= 0 @ 80.5315
110.49/110.84	c bounds 847 >= 0 @ 80.8729
110.49/110.84	c bounds 845 >= 0 @ 81.1078
110.49/110.84	c bounds 844 >= 0 @ 81.3003
110.49/110.84	c bounds 843 >= 0 @ 81.3549
110.49/110.84	c bounds 830 >= 0 @ 81.6457
110.49/110.84	c bounds 825 >= 0 @ 81.8498
110.49/110.84	c bounds 823 >= 0 @ 81.998
110.49/110.84	c bounds 817 >= 0 @ 82.1901
110.49/110.84	c bounds 809 >= 0 @ 82.2272
110.49/110.84	c bounds 803 >= 0 @ 82.2601
110.49/110.84	c bounds 802 >= 0 @ 82.2943
110.49/110.84	c bounds 800 >= 0 @ 82.4345
110.49/110.84	c bounds 798 >= 0 @ 82.5685
110.49/110.84	c bounds 795 >= 0 @ 82.6171
110.49/110.84	c bounds 789 >= 0 @ 82.7701
110.49/110.84	c bounds 785 >= 0 @ 83.0756
110.49/110.84	c bounds 778 >= 0 @ 83.1257
110.49/110.84	c #Conflicts:       9000 | #Constraints:     661472
110.49/110.84	c INPROCESSING
110.49/110.84	c GARBAGE COLLECT
110.49/110.84	c bounds 777 >= 0 @ 106.665
110.49/110.84	c bounds 765 >= 0 @ 107.538
110.49/110.84	c bounds 762 >= 0 @ 107.863
110.49/110.84	c bounds 760 >= 0 @ 108.065
186.18/186.71	c bounds 758 >= 0 @ 109.681
186.18/186.71	c bounds 748 >= 0 @ 110.027
186.18/186.71	c bounds 739 >= 0 @ 110.756
186.18/186.71	c #Conflicts:      10000 | #Constraints:     660107
186.18/186.71	c bounds 738 >= 0 @ 120.353
186.18/186.71	c #Conflicts:      11000 | #Constraints:     661128
186.18/186.71	c #Conflicts:      12000 | #Constraints:     662147
186.18/186.71	c INPROCESSING
186.18/186.71	c GARBAGE COLLECT
186.18/186.71	c #Conflicts:      13000 | #Constraints:     660538
186.18/186.71	c #Conflicts:      14000 | #Constraints:     661550
186.18/186.71	c #Conflicts:      15000 | #Constraints:     662561
186.18/186.71	c INPROCESSING
186.18/186.71	c GARBAGE COLLECT
186.18/186.71	c rational objective 173.62
327.62/328.61	c bounds 737 >= 0 @ 187.137
327.62/328.61	c bounds 727 >= 0 @ 187.161
327.62/328.61	c bounds 719 >= 0 @ 187.192
327.62/328.61	c #Conflicts:      16000 | #Constraints:     660771
327.62/328.61	c #Conflicts:      17000 | #Constraints:     661788
327.62/328.61	c #Conflicts:      18000 | #Constraints:     662797
327.62/328.61	c bounds 709 >= 0 @ 213.726
327.62/328.61	c bounds 708 >= 0 @ 213.82
327.62/328.61	c INPROCESSING
327.62/328.61	c GARBAGE COLLECT
327.62/328.61	c #Conflicts:      19000 | #Constraints:     660771
327.62/328.61	c #Conflicts:      20000 | #Constraints:     661786
327.62/328.61	c #Conflicts:      21000 | #Constraints:     662802
327.62/328.61	c INPROCESSING
327.62/328.61	c GARBAGE COLLECT
327.62/328.61	c #Conflicts:      22000 | #Constraints:     660569
327.62/328.61	c #Conflicts:      23000 | #Constraints:     661581
327.62/328.61	c #Conflicts:      24000 | #Constraints:     662592
327.62/328.61	c #Conflicts:      25000 | #Constraints:     663602
327.62/328.61	c INPROCESSING
327.62/328.61	c GARBAGE COLLECT
327.62/328.61	c rational objective 174.299
466.18/467.64	c bounds 706 >= 0 @ 329.411
466.18/467.64	c bounds 702 >= 0 @ 329.464
466.18/467.64	c bounds 698 >= 0 @ 330.505
466.18/467.64	c bounds 696 >= 0 @ 330.57
466.18/467.64	c bounds 691 >= 0 @ 332.046
466.18/467.64	c bounds 681 >= 0 @ 332.113
466.18/467.64	c bounds 680 >= 0 @ 332.147
466.18/467.64	c bounds 677 >= 0 @ 332.297
466.18/467.64	c bounds 667 >= 0 @ 332.342
466.18/467.64	c bounds 655 >= 0 @ 332.378
466.18/467.64	c #Conflicts:      26000 | #Constraints:     661191
466.18/467.64	c bounds 652 >= 0 @ 340.334
466.18/467.64	c bounds 650 >= 0 @ 340.446
466.18/467.64	c #Conflicts:      27000 | #Constraints:     662220
466.18/467.64	c bounds 639 >= 0 @ 343.499
466.18/467.64	c bounds 637 >= 0 @ 344.226
466.18/467.64	c bounds 634 >= 0 @ 344.359
466.18/467.64	c bounds 630 >= 0 @ 344.434
466.18/467.64	c bounds 622 >= 0 @ 344.604
466.18/467.64	c bounds 621 >= 0 @ 344.829
466.18/467.64	c bounds 620 >= 0 @ 344.985
466.18/467.64	c bounds 614 >= 0 @ 345.373
466.18/467.64	c bounds 608 >= 0 @ 345.69
466.18/467.64	c bounds 605 >= 0 @ 345.957
466.18/467.64	c bounds 600 >= 0 @ 346.024
466.18/467.64	c bounds 594 >= 0 @ 346.316
466.18/467.64	c bounds 590 >= 0 @ 346.412
466.18/467.64	c bounds 589 >= 0 @ 346.477
466.18/467.64	c bounds 588 >= 0 @ 347.081
466.18/467.64	c bounds 579 >= 0 @ 347.549
466.18/467.64	c bounds 573 >= 0 @ 347.645
466.18/467.64	c bounds 570 >= 0 @ 347.809
466.18/467.64	c bounds 569 >= 0 @ 348.205
466.18/467.64	c bounds 551 >= 0 @ 348.406
466.18/467.64	c bounds 550 >= 0 @ 348.698
466.18/467.65	c bounds 549 >= 0 @ 349.484
466.18/467.65	c bounds 548 >= 0 @ 349.897
466.18/467.65	c bounds 546 >= 0 @ 350.06
466.18/467.65	c bounds 545 >= 0 @ 350.227
466.18/467.65	c bounds 539 >= 0 @ 351.458
466.18/467.65	c bounds 533 >= 0 @ 352.77
466.18/467.65	c bounds 532 >= 0 @ 352.847
466.18/467.65	c #Conflicts:      28000 | #Constraints:     663283
466.18/467.65	c bounds 529 >= 0 @ 353.271
466.18/467.65	c bounds 528 >= 0 @ 353.399
466.18/467.65	c bounds 526 >= 0 @ 354.03
466.18/467.65	c bounds 525 >= 0 @ 354.348
466.18/467.65	c bounds 524 >= 0 @ 354.684
466.18/467.65	c bounds 523 >= 0 @ 354.783
466.18/467.65	c bounds 521 >= 0 @ 354.887
466.18/467.65	c bounds 517 >= 0 @ 355.666
466.18/467.65	c bounds 513 >= 0 @ 358.883
466.18/467.65	c #Conflicts:      29000 | #Constraints:     664318
466.18/467.65	c INPROCESSING
466.18/467.65	c GARBAGE COLLECT
466.18/467.65	c bounds 507 >= 0 @ 365.898
466.18/467.65	c bounds 503 >= 0 @ 366.039
466.18/467.65	c bounds 498 >= 0 @ 366.091
466.18/467.65	c bounds 497 >= 0 @ 369.075
466.18/467.65	c #Conflicts:      30000 | #Constraints:     661615
466.18/467.65	c #Conflicts:      31000 | #Constraints:     662631
466.18/467.65	c #Conflicts:      32000 | #Constraints:     663643
466.18/467.65	c #Conflicts:      33000 | #Constraints:     664656
466.18/467.65	c INPROCESSING
466.18/467.65	c GARBAGE COLLECT
466.18/467.65	c bounds 496 >= 0 @ 396.958
466.18/467.65	c bounds 495 >= 0 @ 397.063
466.18/467.65	c bounds 492 >= 0 @ 399.096
466.18/467.65	c bounds 490 >= 0 @ 399.881
466.18/467.65	c bounds 489 >= 0 @ 399.934
466.18/467.65	c bounds 482 >= 0 @ 400.303
466.18/467.65	c bounds 481 >= 0 @ 400.349
466.18/467.65	c bounds 474 >= 0 @ 400.901
466.18/467.65	c #Conflicts:      34000 | #Constraints:     661813
466.18/467.65	c bounds 473 >= 0 @ 406.36
466.18/467.65	c bounds 470 >= 0 @ 406.416
466.18/467.65	c bounds 466 >= 0 @ 409.335
466.18/467.65	c #Conflicts:      35000 | #Constraints:     662836
466.18/467.65	c bounds 465 >= 0 @ 416.508
466.18/467.65	c #Conflicts:      36000 | #Constraints:     663846
466.18/467.65	c #Conflicts:      37000 | #Constraints:     664860
466.18/467.65	c INPROCESSING
466.18/467.65	c GARBAGE COLLECT
466.18/467.65	c rational objective 174.41
616.79/618.72	c bounds 463 >= 0 @ 467.453
616.79/618.72	c #Conflicts:      38000 | #Constraints:     661803
616.79/618.72	c bounds 457 >= 0 @ 484.24
616.79/618.72	c #Conflicts:      39000 | #Constraints:     662823
616.79/618.72	c #Conflicts:      40000 | #Constraints:     663837
616.79/618.72	c #Conflicts:      41000 | #Constraints:     664850
616.79/618.72	c INPROCESSING
616.79/618.72	c GARBAGE COLLECT
616.79/618.72	c bounds 454 >= 0 @ 511.579
616.79/618.72	c bounds 453 >= 0 @ 512.477
616.79/618.72	c bounds 450 >= 0 @ 514.011
616.79/618.72	c #Conflicts:      42000 | #Constraints:     661605
616.79/618.72	c bounds 449 >= 0 @ 518.811
616.79/618.72	c bounds 448 >= 0 @ 518.906
616.79/618.72	c bounds 447 >= 0 @ 519.012
616.79/618.72	c bounds 446 >= 0 @ 519.067
616.79/618.72	c bounds 438 >= 0 @ 520.994
616.79/618.72	c bounds 437 >= 0 @ 521.048
616.79/618.72	c bounds 434 >= 0 @ 522.85
616.79/618.72	c #Conflicts:      43000 | #Constraints:     662630
616.79/618.72	c #Conflicts:      44000 | #Constraints:     663639
616.79/618.72	c bounds 433 >= 0 @ 545.879
616.79/618.72	c #Conflicts:      45000 | #Constraints:     664653
616.79/618.72	c #Conflicts:      46000 | #Constraints:     665663
616.79/618.72	c INPROCESSING
616.79/618.72	c GARBAGE COLLECT
616.79/618.72	c #Conflicts:      47000 | #Constraints:     662189
616.79/618.72	c #Conflicts:      48000 | #Constraints:     663196
616.79/618.72	c #Conflicts:      49000 | #Constraints:     664201
616.79/618.72	c #Conflicts:      50000 | #Constraints:     665201
616.79/618.72	c #Conflicts:      51000 | #Constraints:     666201
616.79/618.72	c INPROCESSING
616.79/618.72	c GARBAGE COLLECT
616.79/618.72	c rational objective 174.493
683.56/685.71	c bounds 432 >= 0 @ 617.911
683.56/685.71	c bounds 431 >= 0 @ 618.195
683.56/685.71	c bounds 430 >= 0 @ 618.768
683.56/685.71	c #Conflicts:      52000 | #Constraints:     662569
683.56/685.71	c bounds 428 >= 0 @ 633.58
683.56/685.71	c bounds 427 >= 0 @ 634.538
683.56/685.71	c #Conflicts:      53000 | #Constraints:     663577
683.56/685.71	c #Conflicts:      54000 | #Constraints:     664580
683.56/685.71	c #Conflicts:      55000 | #Constraints:     665583
683.56/685.71	c #Conflicts:      56000 | #Constraints:     666588
683.56/685.71	c INPROCESSING
683.56/685.71	c GARBAGE COLLECT
683.56/685.71	c rational objective 174.579
796.80/799.39	c #Conflicts:      57000 | #Constraints:     662768
796.80/799.39	c #Conflicts:      58000 | #Constraints:     663790
796.80/799.39	c #Conflicts:      59000 | #Constraints:     664824
796.80/799.39	c #Conflicts:      60000 | #Constraints:     665899
796.80/799.39	c #Conflicts:      61000 | #Constraints:     666950
796.80/799.39	c INPROCESSING
796.80/799.39	c bounds 419 >= 0 @ 729.616
796.80/799.39	c bounds 415 >= 0 @ 730.384
796.80/799.39	c bounds 414 >= 0 @ 730.934
796.80/799.39	c bounds 412 >= 0 @ 730.97
796.80/799.39	c bounds 407 >= 0 @ 731.1
796.80/799.39	c bounds 400 >= 0 @ 732.717
796.80/799.39	c #Conflicts:      62000 | #Constraints:     662869
796.80/799.39	c #Conflicts:      63000 | #Constraints:     663884
796.80/799.39	c #Conflicts:      64000 | #Constraints:     664897
796.80/799.39	c bounds 398 >= 0 @ 760.689
796.80/799.39	c #Conflicts:      65000 | #Constraints:     665902
796.80/799.39	c #Conflicts:      66000 | #Constraints:     666904
796.80/799.39	c INPROCESSING
796.80/799.39	c GARBAGE COLLECT
796.80/799.39	c rational objective 174.61
842.75/845.45	c #Conflicts:      67000 | #Constraints:     662617
842.75/845.45	c #Conflicts:      68000 | #Constraints:     663630
842.75/845.45	c #Conflicts:      69000 | #Constraints:     664663
842.75/845.45	c #Conflicts:      70000 | #Constraints:     665708
842.75/845.45	c #Conflicts:      71000 | #Constraints:     666743
842.75/845.45	c #Conflicts:      72000 | #Constraints:     667763
842.75/845.45	c INPROCESSING
842.75/845.45	c rational objective 174.862
918.01/920.94	c #Conflicts:      73000 | #Constraints:     663245
918.01/920.94	c #Conflicts:      74000 | #Constraints:     664247
918.01/920.94	c #Conflicts:      75000 | #Constraints:     665249
918.01/920.94	c #Conflicts:      76000 | #Constraints:     666254
918.01/920.94	c #Conflicts:      77000 | #Constraints:     667257
918.01/920.94	c #Conflicts:      78000 | #Constraints:     668258
918.01/920.94	c INPROCESSING
918.01/920.94	c GARBAGE COLLECT
918.01/920.94	c rational objective 175.009
1341.46/1345.55	c #Conflicts:      79000 | #Constraints:     663637
1341.46/1345.55	c #Conflicts:      80000 | #Constraints:     664776
1341.46/1345.55	c #Conflicts:      81000 | #Constraints:     665975
1341.46/1345.55	c #Conflicts:      82000 | #Constraints:     667015
1341.46/1345.55	c #Conflicts:      83000 | #Constraints:     668016
1341.46/1345.55	c #Conflicts:      84000 | #Constraints:     669018
1341.46/1345.55	c INPROCESSING
1341.46/1345.55	c bounds 392 >= 0 @ 965.302
1341.46/1345.55	c #Conflicts:      85000 | #Constraints:     664763
1341.46/1345.55	c #Conflicts:      86000 | #Constraints:     666481
1341.46/1345.55	c #Conflicts:      87000 | #Constraints:     668031
1341.46/1345.55	c #Conflicts:      88000 | #Constraints:     669558
1341.46/1345.55	c #Conflicts:      89000 | #Constraints:     671133
1341.46/1345.55	c #Conflicts:      90000 | #Constraints:     672731
1341.46/1345.55	c INPROCESSING
1341.46/1345.55	c GARBAGE COLLECT
1341.46/1345.55	c rational objective 175.071
1490.86/1495.31	c #Conflicts:      91000 | #Constraints:     665810
1490.86/1495.31	c #Conflicts:      92000 | #Constraints:     666903
1490.86/1495.31	c #Conflicts:      93000 | #Constraints:     667966
1490.86/1495.31	c #Conflicts:      94000 | #Constraints:     669003
1490.86/1495.31	c #Conflicts:      95000 | #Constraints:     670308
1490.86/1495.31	c #Conflicts:      96000 | #Constraints:     671794
1490.86/1495.31	c INPROCESSING
1490.86/1495.31	c #Conflicts:      97000 | #Constraints:     665227
1490.86/1495.31	c bounds 386 >= 0 @ 1442.72
1490.86/1495.31	c #Conflicts:      98000 | #Constraints:     666228
1490.86/1495.31	c #Conflicts:      99000 | #Constraints:     667228
1490.86/1495.31	c #Conflicts:     100000 | #Constraints:     668228
1490.86/1495.31	c #Conflicts:     101000 | #Constraints:     669228
1490.86/1495.31	c #Conflicts:     102000 | #Constraints:     670228
1490.86/1495.31	c #Conflicts:     103000 | #Constraints:     671228
1490.86/1495.31	c INPROCESSING
1490.86/1495.31	c GARBAGE COLLECT
1490.86/1495.31	c rational objective 175.271
1548.60/1553.29	c #Conflicts:     104000 | #Constraints:     664988
1548.60/1553.29	c #Conflicts:     105000 | #Constraints:     665991
1548.60/1553.29	c #Conflicts:     106000 | #Constraints:     667007
1548.60/1553.29	c #Conflicts:     107000 | #Constraints:     668063
1548.60/1553.29	c #Conflicts:     108000 | #Constraints:     669065
1548.60/1553.29	c #Conflicts:     109000 | #Constraints:     670071
1548.60/1553.29	c #Conflicts:     110000 | #Constraints:     671192
1548.60/1553.29	c INPROCESSING
1548.60/1553.29	c rational objective 176.157
1595.18/1599.92	c #Conflicts:     111000 | #Constraints:     665088
1595.18/1599.92	c #Conflicts:     112000 | #Constraints:     666094
1595.18/1599.92	c #Conflicts:     113000 | #Constraints:     667108
1595.18/1599.92	c #Conflicts:     114000 | #Constraints:     668153
1595.18/1599.92	c #Conflicts:     115000 | #Constraints:     669164
1595.18/1599.92	c #Conflicts:     116000 | #Constraints:     670189
1595.18/1599.92	c #Conflicts:     117000 | #Constraints:     671242
1595.18/1599.92	c INPROCESSING
1595.18/1599.92	c GARBAGE COLLECT
1595.18/1599.92	c rational objective 176.503
1660.92/1665.81	c #Conflicts:     118000 | #Constraints:     665101
1660.92/1665.81	c #Conflicts:     119000 | #Constraints:     666103
1660.92/1665.81	c #Conflicts:     120000 | #Constraints:     667166
1660.92/1665.81	c #Conflicts:     121000 | #Constraints:     668294
1660.92/1665.81	c #Conflicts:     122000 | #Constraints:     669347
1660.92/1665.81	c #Conflicts:     123000 | #Constraints:     670368
1660.92/1665.81	c #Conflicts:     124000 | #Constraints:     671371
1660.92/1665.81	c INPROCESSING
1660.92/1665.81	c rational objective 176.741
1712.49/1717.59	c #Conflicts:     125000 | #Constraints:     665069
1712.49/1717.59	c #Conflicts:     126000 | #Constraints:     666116
1712.49/1717.59	c #Conflicts:     127000 | #Constraints:     667124
1712.49/1717.59	c #Conflicts:     128000 | #Constraints:     668133
1712.49/1717.59	c #Conflicts:     129000 | #Constraints:     669151
1712.49/1717.59	c #Conflicts:     130000 | #Constraints:     670161
1712.49/1717.59	c #Conflicts:     131000 | #Constraints:     671176
1712.49/1717.59	c INPROCESSING
1712.49/1717.59	c GARBAGE COLLECT
1712.49/1717.59	c rational objective 176.825
1830.00/1835.32	c #Conflicts:     132000 | #Constraints:     664766
1830.00/1835.32	c #Conflicts:     133000 | #Constraints:     665771
1830.00/1835.32	c #Conflicts:     134000 | #Constraints:     666774
1830.00/1835.32	c #Conflicts:     135000 | #Constraints:     667785
1830.00/1835.32	c #Conflicts:     136000 | #Constraints:     668801
1830.00/1835.32	c #Conflicts:     137000 | #Constraints:     669802
1830.00/1835.32	c #Conflicts:     138000 | #Constraints:     670804
1830.00/1835.32	c #Conflicts:     139000 | #Constraints:     671815
1830.00/1835.32	c INPROCESSING
1830.00/1835.32	c rational objective 177.314
2088.93/2094.91	c #Conflicts:     140000 | #Constraints:     665298
2088.93/2094.91	c #Conflicts:     141000 | #Constraints:     666302
2088.93/2094.91	c #Conflicts:     142000 | #Constraints:     667311
2088.93/2094.91	c #Conflicts:     143000 | #Constraints:     668326
2088.93/2094.91	c #Conflicts:     144000 | #Constraints:     669331
2088.93/2094.91	c #Conflicts:     145000 | #Constraints:     670346
2088.93/2094.91	c #Conflicts:     146000 | #Constraints:     671347
2088.93/2094.91	c #Conflicts:     147000 | #Constraints:     672348
2088.93/2094.91	c INPROCESSING
2088.93/2094.91	c GARBAGE COLLECT
2088.93/2094.91	c #Conflicts:     148000 | #Constraints:     665660
2088.93/2094.91	c #Conflicts:     149000 | #Constraints:     666667
2088.93/2094.91	c #Conflicts:     150000 | #Constraints:     667671
2088.93/2094.91	c #Conflicts:     151000 | #Constraints:     668676
2088.93/2094.91	c #Conflicts:     152000 | #Constraints:     669678
2088.93/2094.91	c #Conflicts:     153000 | #Constraints:     670686
2088.93/2094.91	c #Conflicts:     154000 | #Constraints:     671692
2088.93/2094.91	c #Conflicts:     155000 | #Constraints:     672704
2088.93/2094.91	c INPROCESSING
2088.93/2094.91	c rational objective 177.644
2191.78/2198.06	c #Conflicts:     156000 | #Constraints:     665839
2191.78/2198.06	c #Conflicts:     157000 | #Constraints:     666840
2191.78/2198.06	c #Conflicts:     158000 | #Constraints:     667846
2191.78/2198.06	c #Conflicts:     159000 | #Constraints:     668853
2191.78/2198.06	c #Conflicts:     160000 | #Constraints:     669857
2191.78/2198.06	c #Conflicts:     161000 | #Constraints:     670858
2191.78/2198.06	c #Conflicts:     162000 | #Constraints:     671861
2191.78/2198.06	c #Conflicts:     163000 | #Constraints:     672865
2191.78/2198.06	c INPROCESSING
2191.78/2198.06	c GARBAGE COLLECT
2191.78/2198.06	c #Conflicts:     164000 | #Constraints:     665814
2191.78/2198.06	c #Conflicts:     165000 | #Constraints:     666818
2191.78/2198.06	c #Conflicts:     166000 | #Constraints:     667830
2191.78/2198.06	c #Conflicts:     167000 | #Constraints:     668838
2191.78/2198.06	c #Conflicts:     168000 | #Constraints:     669844
2191.78/2198.06	c #Conflicts:     169000 | #Constraints:     670847
2191.78/2198.06	c #Conflicts:     170000 | #Constraints:     671851
2191.78/2198.06	c #Conflicts:     171000 | #Constraints:     672854
2191.78/2198.06	c INPROCESSING
2191.78/2198.06	c GARBAGE COLLECT
2191.78/2198.06	c rational objective 177.795
2252.50/2258.94	c #Conflicts:     172000 | #Constraints:     665613
2252.50/2258.94	c #Conflicts:     173000 | #Constraints:     666614
2252.50/2258.94	c #Conflicts:     174000 | #Constraints:     667614
2252.50/2258.94	c #Conflicts:     175000 | #Constraints:     668618
2252.50/2258.94	c #Conflicts:     176000 | #Constraints:     669620
2252.50/2258.94	c #Conflicts:     177000 | #Constraints:     670625
2252.50/2258.94	c #Conflicts:     178000 | #Constraints:     671637
2252.50/2258.94	c #Conflicts:     179000 | #Constraints:     672639
2252.50/2258.94	c #Conflicts:     180000 | #Constraints:     673644
2252.50/2258.94	c INPROCESSING
2252.50/2258.94	c rational objective 189.491
2354.76/2361.42	c #Conflicts:     181000 | #Constraints:     666212
2354.76/2361.42	c #Conflicts:     182000 | #Constraints:     667213
2354.76/2361.42	c #Conflicts:     183000 | #Constraints:     668220
2354.76/2361.42	c #Conflicts:     184000 | #Constraints:     669225
2354.76/2361.42	c #Conflicts:     185000 | #Constraints:     670228
2354.76/2361.42	c #Conflicts:     186000 | #Constraints:     671235
2354.76/2361.42	c #Conflicts:     187000 | #Constraints:     672237
2354.76/2361.42	c #Conflicts:     188000 | #Constraints:     673243
2354.76/2361.42	c #Conflicts:     189000 | #Constraints:     674246
2354.76/2361.42	c INPROCESSING
2354.76/2361.42	c GARBAGE COLLECT
2354.76/2361.42	c rational objective 194.28
2646.35/2653.77	c #Conflicts:     190000 | #Constraints:     666627
2646.35/2653.77	c #Conflicts:     191000 | #Constraints:     667656
2646.35/2653.77	c #Conflicts:     192000 | #Constraints:     668675
2646.35/2653.77	c #Conflicts:     193000 | #Constraints:     669686
2646.35/2653.77	c #Conflicts:     194000 | #Constraints:     670707
2646.35/2653.77	c #Conflicts:     195000 | #Constraints:     671716
2646.35/2653.77	c #Conflicts:     196000 | #Constraints:     672730
2646.35/2653.77	c #Conflicts:     197000 | #Constraints:     673737
2646.35/2653.77	c #Conflicts:     198000 | #Constraints:     674751
2646.35/2653.77	c INPROCESSING
2646.35/2653.77	c GARBAGE COLLECT
2646.35/2653.77	c bounds 385 >= 0 @ 2397.42
2646.35/2653.77	c bounds 381 >= 0 @ 2397.48
2646.35/2653.77	c #Conflicts:     199000 | #Constraints:     666891
2646.35/2653.77	c #Conflicts:     200000 | #Constraints:     667901
2646.35/2653.77	c #Conflicts:     201000 | #Constraints:     668908
2646.35/2653.77	c #Conflicts:     202000 | #Constraints:     669918
2646.35/2653.77	c #Conflicts:     203000 | #Constraints:     670926
2646.35/2653.77	c #Conflicts:     204000 | #Constraints:     671933
2646.35/2653.77	c #Conflicts:     205000 | #Constraints:     672942
2646.35/2653.77	c #Conflicts:     206000 | #Constraints:     673951
2646.35/2653.77	c #Conflicts:     207000 | #Constraints:     674962
2646.35/2653.77	c INPROCESSING
2646.35/2653.77	c GARBAGE COLLECT
2646.35/2653.77	c rational objective 176.734
2707.80/2715.36	c #Conflicts:     208000 | #Constraints:     666861
2707.80/2715.36	c #Conflicts:     209000 | #Constraints:     667861
2707.80/2715.36	c #Conflicts:     210000 | #Constraints:     668861
2707.80/2715.36	c #Conflicts:     211000 | #Constraints:     669861
2707.80/2715.36	c #Conflicts:     212000 | #Constraints:     670861
2707.80/2715.36	c #Conflicts:     213000 | #Constraints:     671861
2707.80/2715.36	c #Conflicts:     214000 | #Constraints:     672861
2707.80/2715.36	c #Conflicts:     215000 | #Constraints:     673861
2707.80/2715.36	c #Conflicts:     216000 | #Constraints:     674861
2707.80/2715.36	c INPROCESSING
2707.80/2715.36	c rational objective 176.837
2782.42/2790.17	c #Conflicts:     217000 | #Constraints:     666622
2782.42/2790.17	c #Conflicts:     218000 | #Constraints:     667622
2782.42/2790.17	c #Conflicts:     219000 | #Constraints:     668622
2782.42/2790.17	c #Conflicts:     220000 | #Constraints:     669622
2782.42/2790.17	c #Conflicts:     221000 | #Constraints:     670622
2782.42/2790.17	c #Conflicts:     222000 | #Constraints:     671622
2782.42/2790.17	c #Conflicts:     223000 | #Constraints:     672622
2782.42/2790.17	c #Conflicts:     224000 | #Constraints:     673622
2782.42/2790.17	c #Conflicts:     225000 | #Constraints:     674622
2782.42/2790.17	c #Conflicts:     226000 | #Constraints:     675622
2782.42/2790.17	c INPROCESSING
2782.42/2790.17	c GARBAGE COLLECT
2782.42/2790.17	c rational objective 176.895
2940.82/2948.92	c #Conflicts:     227000 | #Constraints:     667207
2940.82/2948.92	c #Conflicts:     228000 | #Constraints:     668218
2940.82/2948.92	c #Conflicts:     229000 | #Constraints:     669223
2940.82/2948.92	c #Conflicts:     230000 | #Constraints:     670229
2940.82/2948.92	c #Conflicts:     231000 | #Constraints:     671232
2940.82/2948.92	c #Conflicts:     232000 | #Constraints:     672236
2940.82/2948.92	c #Conflicts:     233000 | #Constraints:     673240
2940.82/2948.92	c #Conflicts:     234000 | #Constraints:     674257
2940.82/2948.92	c #Conflicts:     235000 | #Constraints:     675260
2940.82/2948.92	c #Conflicts:     236000 | #Constraints:     676267
2940.82/2948.92	c INPROCESSING
2940.82/2948.92	c rational objective 176.954
3015.44/3023.72	c #Conflicts:     237000 | #Constraints:     667612
3015.44/3023.72	c #Conflicts:     238000 | #Constraints:     668612
3015.44/3023.72	c #Conflicts:     239000 | #Constraints:     669612
3015.44/3023.72	c #Conflicts:     240000 | #Constraints:     670612
3015.44/3023.72	c #Conflicts:     241000 | #Constraints:     671612
3015.44/3023.72	c #Conflicts:     242000 | #Constraints:     672612
3015.44/3023.72	c #Conflicts:     243000 | #Constraints:     673612
3015.44/3023.72	c #Conflicts:     244000 | #Constraints:     674612
3015.44/3023.72	c #Conflicts:     245000 | #Constraints:     675612
3015.44/3023.72	c #Conflicts:     246000 | #Constraints:     676612
3015.44/3023.72	c INPROCESSING
3015.44/3023.72	c GARBAGE COLLECT
3015.44/3023.72	c rational objective 177.134
3108.12/3116.64	c #Conflicts:     247000 | #Constraints:     667795
3108.12/3116.64	c #Conflicts:     248000 | #Constraints:     668807
3108.12/3116.64	c #Conflicts:     249000 | #Constraints:     669809
3108.12/3116.64	c #Conflicts:     250000 | #Constraints:     670823
3108.12/3116.64	c #Conflicts:     251000 | #Constraints:     671825
3108.12/3116.64	c #Conflicts:     252000 | #Constraints:     672830
3108.12/3116.64	c #Conflicts:     253000 | #Constraints:     673838
3108.12/3116.64	c #Conflicts:     254000 | #Constraints:     674843
3108.12/3116.64	c #Conflicts:     255000 | #Constraints:     675844
3108.12/3116.64	c #Conflicts:     256000 | #Constraints:     676851
3108.12/3116.64	c INPROCESSING
3108.12/3116.64	c rational objective 177.165
3193.81/3202.57	c #Conflicts:     257000 | #Constraints:     667828
3193.81/3202.57	c #Conflicts:     258000 | #Constraints:     668852
3193.81/3202.57	c #Conflicts:     259000 | #Constraints:     669857
3193.81/3202.57	c #Conflicts:     260000 | #Constraints:     670862
3193.81/3202.57	c #Conflicts:     261000 | #Constraints:     671867
3193.81/3202.57	c #Conflicts:     262000 | #Constraints:     672883
3193.81/3202.57	c #Conflicts:     263000 | #Constraints:     673889
3193.81/3202.57	c #Conflicts:     264000 | #Constraints:     674895
3193.81/3202.57	c #Conflicts:     265000 | #Constraints:     675907
3193.81/3202.57	c #Conflicts:     266000 | #Constraints:     676915
3193.81/3202.57	c INPROCESSING
3193.81/3202.57	c GARBAGE COLLECT
3193.81/3202.57	c rational objective 177.175
3286.21/3295.14	c #Conflicts:     267000 | #Constraints:     667650
3286.21/3295.14	c #Conflicts:     268000 | #Constraints:     668657
3286.21/3295.14	c #Conflicts:     269000 | #Constraints:     669673
3286.21/3295.14	c #Conflicts:     270000 | #Constraints:     670694
3286.21/3295.14	c #Conflicts:     271000 | #Constraints:     671714
3286.21/3295.14	c #Conflicts:     272000 | #Constraints:     672732
3286.21/3295.14	c #Conflicts:     273000 | #Constraints:     673755
3286.21/3295.14	c #Conflicts:     274000 | #Constraints:     674772
3286.21/3295.14	c #Conflicts:     275000 | #Constraints:     675781
3286.21/3295.14	c #Conflicts:     276000 | #Constraints:     676797
3286.21/3295.14	c #Conflicts:     277000 | #Constraints:     677802
3286.21/3295.14	c INPROCESSING
3286.21/3295.14	c GARBAGE COLLECT
3286.21/3295.14	c rational objective 177.407
3449.60/3458.98	c #Conflicts:     278000 | #Constraints:     668287
3449.60/3458.98	c #Conflicts:     279000 | #Constraints:     669290
3449.60/3458.98	c #Conflicts:     280000 | #Constraints:     670293
3449.60/3458.98	c #Conflicts:     281000 | #Constraints:     671299
3449.60/3458.98	c #Conflicts:     282000 | #Constraints:     672306
3449.60/3458.98	c #Conflicts:     283000 | #Constraints:     673310
3449.60/3458.98	c #Conflicts:     284000 | #Constraints:     674327
3449.60/3458.98	c #Conflicts:     285000 | #Constraints:     675331
3449.60/3458.98	c #Conflicts:     286000 | #Constraints:     676336
3449.60/3458.98	c #Conflicts:     287000 | #Constraints:     677344
3449.60/3458.98	c #Conflicts:     288000 | #Constraints:     678348
3449.60/3458.98	c INPROCESSING
3449.60/3458.98	c GARBAGE COLLECT
3449.60/3458.98	c rational objective 177.456
3600.05/3609.70	c #Conflicts:     289000 | #Constraints:     668665
3600.05/3609.70	c #Conflicts:     290000 | #Constraints:     669674
3600.05/3609.70	c #Conflicts:     291000 | #Constraints:     670686
3600.05/3609.70	c #Conflicts:     292000 | #Constraints:     671714
3600.05/3609.70	c #Conflicts:     293000 | #Constraints:     672725
3600.05/3609.70	c #Conflicts:     294000 | #Constraints:     673735
3600.05/3609.70	c #Conflicts:     295000 | #Constraints:     674737
3600.05/3609.70	c #Conflicts:     296000 | #Constraints:     675743
3600.05/3609.70	c #Conflicts:     297000 | #Constraints:     676746
3600.05/3609.70	c #Conflicts:     298000 | #Constraints:     677755
3600.05/3609.70	c #Conflicts:     299000 | #Constraints:     678761
3600.05/3609.70	c INPROCESSING
3600.05/3609.70	c GARBAGE COLLECT
3600.05/3609.70	c bounds 380 >= 0 @ 3509.41
3600.05/3609.70	c bounds 378 >= 0 @ 3509.75
3600.05/3609.70	c bounds 376 >= 0 @ 3516.54
3600.05/3609.70	c bounds 376 >= 5 @ 3516.56
3600.05/3609.70	c bounds 376 >= 10 @ 3516.57
3600.05/3609.70	c bounds 376 >= 15 @ 3516.65
3600.05/3609.70	c #Conflicts:     300000 | #Constraints:     668884
3600.05/3609.70	c #Conflicts:     301000 | #Constraints:     669884
3600.05/3609.70	c bounds 376 >= 20 @ 3554.11
3600.05/3609.70	c bounds 373 >= 20 @ 3554.35
3600.05/3609.70	c #Conflicts:     302000 | #Constraints:     670894
3600.05/3609.70	c bounds 369 >= 20 @ 3564.6
3600.05/3609.70	c #Conflicts:     303000 | #Constraints:     671896
3600.05/3609.70	c Program interrupted by user.
3600.05/3609.70	c cpu time 3582.65 s
3600.05/3609.70	c deterministic time 138968627386 1.39e+11
3600.05/3609.70	c optimization time 18.8403 s
3600.05/3609.70	c total solve time 3562.05 s
3600.05/3609.70	c core-guided solve time 2698.96 s
3600.05/3609.70	c propagation time 1730.17 s
3600.05/3609.70	c conflict analysis time 527.727 s
3600.05/3609.70	c propagations 44104083
3600.05/3609.70	c resolve steps 6410825
3600.05/3609.70	c decisions 9448280
3600.05/3609.70	c conflicts 303441
3600.05/3609.70	c restarts 737
3600.05/3609.70	c inprocessing phases 46
3600.05/3609.70	c input clauses 656903
3600.05/3609.70	c input cardinalities 4
3600.05/3609.70	c input general constraints 387
3600.05/3609.70	c input average constraint length 7.81
3600.05/3609.70	c input average constraint degree 280.38
3600.05/3609.70	c learned clauses 239121
3600.05/3609.70	c learned cardinalities 56
3600.05/3609.70	c learned general constraints 72995
3600.05/3609.70	c learned average constraint length 3756.57
3600.05/3609.70	c learned average constraint degree 94358382731.25
3600.05/3609.70	c watched constraints 6392
3600.05/3609.70	c counting constraints 66990
3600.05/3609.70	c gcd simplifications 1341
3600.05/3609.70	c detected cardinalities 38
3600.05/3609.70	c weakened non-implied lits 198418874
3600.05/3609.70	c weakened non-implying lits 43268
3600.05/3609.70	c original variables 10000
3600.05/3609.70	c clausal propagations 31404523
3600.05/3609.70	c cardinality propagations 22297
3600.05/3609.70	c watched propagations 38407
3600.05/3609.70	c counting propagations 12023498
3600.05/3609.70	c watch lookups 20550571382
3600.05/3609.70	c watch backjump lookups 20393438359
3600.05/3609.70	c watch checks 14942613610
3600.05/3609.70	c propagation checks 80401953138
3600.05/3609.70	c constraint additions 2572122117
3600.05/3609.70	c trail pops 53845232
3600.05/3609.70	c formula constraints 656900
3600.05/3609.70	c learned constraints 302444
3600.05/3609.70	c bound constraints 377
3600.05/3609.70	c core-guided constraints 17
3600.05/3609.70	c encountered formula constraints 5235050
3600.05/3609.70	c encountered learned constraints 1399386
3600.05/3609.70	c encountered bound constraints 8296
3600.05/3609.70	c encountered core-guided constraints 588
3600.05/3609.70	c LP total time 2062.23 s
3600.05/3609.70	c LP solve time 1737.53 s
3600.05/3609.70	c LP constraints added 656980
3600.05/3609.70	c LP constraints removed 48
3600.05/3609.70	c LP pivots internal 303973
3600.05/3609.70	c LP pivots root 227211
3600.05/3609.70	c LP calls 9042
3600.05/3609.70	c LP optimalities 308
3600.05/3609.70	c LP no pivot count 31
3600.05/3609.70	c LP infeasibilities 8701
3600.05/3609.70	c LP valid Farkas constraints 8696
3600.05/3609.70	c LP learned Farkas constraints 997
3600.05/3609.70	c LP basis resets 34
3600.05/3609.70	c LP cycling count 16
3600.05/3609.70	c LP singular count 6
3600.05/3609.70	c LP no primal count 0
3600.05/3609.70	c LP no farkas count 5
3600.05/3609.70	c LP other issue count 7
3600.05/3609.70	c LP Gomory cuts 35
3600.05/3609.70	c LP learned cuts 45
3600.05/3609.70	c LP deleted cuts 48
3600.05/3609.70	c LP encountered Gomory constraints 9457
3600.05/3609.70	c LP encountered Farkas constraints 56271
3600.05/3609.70	c LP encountered learned Farkas constraints 4221
3600.05/3609.70	c CG auxiliary variables introduced 7
3600.05/3609.70	c CG solutions found 373
3600.05/3609.70	c CG cores constructed 4
3600.05/3609.70	c CG core cardinality constraints returned 0
3600.05/3609.70	c CG unit cores 0
3600.05/3609.70	c CG single cores 4
3600.05/3609.70	c CG blocks removed during cardinality reduction 0
3600.05/3609.70	c CG first core best 0
3600.05/3609.70	c CG decision core best 0
3600.05/3609.70	c CG core reduction tie 0
3600.05/3609.70	c CG core degree average 1.00
3600.05/3609.70	c CG core slack average 2785.25
3600.05/3609.70	s SATISFIABLE
3600.05/3609.70	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 x4169 -x4170 -x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 x7590 x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 x8945 -x8946 -x8947 -x8948 -x8949 -x8950 x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000

Verifier Data 

OK	369

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: 64059 MiB (62801 MiB free)
  memory of node 1: 64510 MiB (63038 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455145-1721459292/watcher-4455145-1721459292 -o /tmp/evaluation-result-4455145-1721459292/solver-4455145-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045846 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455145-1721459292.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1045888, runsolver pid=1045884

[startup+0.100419 s]*
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128846312/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=40436 memory=8648 CPUtime=0.1 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 1524 0 0 0 7 3 0 0 20 0 1 0 198088789 41406464 2162 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 10109 2162 1230 922 0 2061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 8648 KiB

[startup+0.213452 s]*
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128837048/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=40436 memory=9440 CPUtime=0.2 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 1721 0 0 0 14 6 0 0 20 0 1 0 198088789 41406464 2360 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 10109 2360 1230 922 0 2061 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 9440 KiB

[startup+0.312396 s]*
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128833268/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=40952 memory=12808 CPUtime=0.31 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 1996 0 0 0 21 10 0 0 20 0 1 0 198088789 41934848 3202 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 10238 3202 1230 922 0 2190 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 12808 KiB

[startup+0.700269 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128821164/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=45124 memory=14740 CPUtime=0.69 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 2523 0 0 0 46 23 0 0 20 0 1 0 198088789 46206976 3685 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 11281 3685 1230 922 0 3233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45124 KiB
Current children cumulated memory: 14740 KiB

[startup+1.50029 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128785976/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=64240 memory=31296 CPUtime=1.48 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 5104 0 0 0 99 49 0 0 20 0 1 0 198088789 65781760 7824 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 16060 7824 1230 922 0 8012 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64240 KiB
Current children cumulated memory: 31296 KiB

[startup+3.11285 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=127568592/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=360720 memory=329396 CPUtime=3.08 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 57532 0 0 0 215 93 0 0 20 0 1 0 198088789 369377280 82349 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 90180 82349 1612 922 0 82132 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 329396 KiB

[startup+6.30031 s]
/proc/loadavg: 1.88 3.14 3.75 5/242 1045910
/proc/meminfo: memFree=127569044/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=360720 memory=329396 CPUtime=6.27 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 57569 0 0 0 533 94 0 0 20 0 1 0 198088789 369377280 82349 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 90180 82349 1612 922 0 82132 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 329396 KiB

[startup+12.7003 s]
/proc/loadavg: 2.05 3.16 3.75 5/242 1045910
/proc/meminfo: memFree=127377268/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=469440 memory=379244 CPUtime=12.65 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 61493 0 0 0 1142 123 0 0 20 0 1 0 198088789 480706560 94811 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 117360 94811 1817 922 0 109312 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 469440 KiB
Current children cumulated memory: 379244 KiB

[startup+25.5004 s]
/proc/loadavg: 2.48 3.20 3.75 5/242 1045913
/proc/meminfo: memFree=127051832/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=647884 memory=527908 CPUtime=25.42 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 77426 0 0 0 2390 152 0 0 20 0 1 0 198088789 663433216 131977 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 161971 131977 1817 922 0 153923 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 647884 KiB
Current children cumulated memory: 527908 KiB

[startup+51.1127 s]
/proc/loadavg: 3.13 3.30 3.77 5/242 1045919
/proc/meminfo: memFree=126554372/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=820292 memory=678532 CPUtime=50.96 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 95733 0 0 0 4908 188 0 0 20 0 1 0 198088789 839979008 169633 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 205073 169633 1817 922 0 197025 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 820292 KiB
Current children cumulated memory: 678532 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 3.42 3.79 5/242 1045928
/proc/meminfo: memFree=126160832/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=1082648 memory=896308 CPUtime=102.02 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 116713 0 0 0 9960 242 0 0 20 0 1 0 198088789 1108631552 224077 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 270662 224077 1817 922 0 262614 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1082648 KiB
Current children cumulated memory: 896308 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.56 3.82 5/244 1045942
/proc/meminfo: memFree=125144104/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=1275096 memory=1139380 CPUtime=161.85 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 149038 0 0 0 15896 289 0 0 20 0 1 0 198088789 1305698304 284845 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 318774 284845 1817 922 0 310726 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1275096 KiB
Current children cumulated memory: 1139380 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 3.69 3.85 5/244 1045952
/proc/meminfo: memFree=124542720/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=1316292 memory=1180696 CPUtime=221.67 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 152422 0 0 0 21858 309 0 0 20 0 1 0 198088789 1347883008 295174 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 329073 295174 1817 922 0 321025 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1316292 KiB
Current children cumulated memory: 1180696 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 3.78 3.87 5/244 1045963
/proc/meminfo: memFree=124303084/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=1582168 memory=1315728 CPUtime=281.47 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 165405 0 0 0 27790 357 0 0 20 0 1 0 198088789 1620140032 328932 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 395542 328932 1817 922 0 387494 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1582168 KiB
Current children cumulated memory: 1315728 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.85 3.89 5/243 1045973
/proc/meminfo: memFree=123974560/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=1621076 memory=1344596 CPUtime=341.28 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 170381 0 0 0 33754 374 0 0 20 0 1 0 198088789 1659981824 336149 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 405269 336149 1817 922 0 397221 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1621076 KiB
Current children cumulated memory: 1344596 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.90 3.91 5/243 1045984
/proc/meminfo: memFree=123487324/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=1621076 memory=1371752 CPUtime=401.09 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 172286 0 0 0 39675 434 0 0 20 0 1 0 198088789 1659981824 342938 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 405269 342938 1817 922 0 397221 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 1621076 KiB
Current children cumulated memory: 1371752 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.95 3.93 5/241 1045995
/proc/meminfo: memFree=123351408/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=1621076 memory=1389056 CPUtime=460.9 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 173149 0 0 0 45638 452 0 0 20 0 1 0 198088789 1659981824 347264 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 405269 347264 1817 922 0 397221 0

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

Current children cumulated memory: 2692608 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/243 1047434
/proc/meminfo: memFree=118516164/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2760144 memory=2692608 CPUtime=2914.29 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 355926 0 0 0 290040 1389 0 0 20 0 1 0 198088789 2826387456 673152 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 690036 673152 1968 922 0 681988 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 2760144 KiB
Current children cumulated memory: 2692608 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.17 4.15 5/243 1047444
/proc/meminfo: memFree=118396792/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2760152 memory=2692616 CPUtime=2974.14 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 358552 0 0 0 295998 1416 0 0 20 0 1 0 198088789 2826395648 673154 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 690038 673154 1968 922 0 681990 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 2760152 KiB
Current children cumulated memory: 2692616 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/243 1047623
/proc/meminfo: memFree=118312804/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2760152 memory=2692616 CPUtime=3034 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 359635 0 0 0 301952 1448 0 0 20 0 1 0 198088789 2826395648 673154 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 690038 673154 1968 922 0 681990 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 2760152 KiB
Current children cumulated memory: 2692616 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/243 1047634
/proc/meminfo: memFree=118038796/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786688 memory=2719152 CPUtime=3093.85 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 363739 0 0 0 307892 1493 0 0 20 0 1 0 198088789 2853568512 679788 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696672 679788 1968 922 0 688624 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 2786688 KiB
Current children cumulated memory: 2719152 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/242 1047657
/proc/meminfo: memFree=118038328/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786688 memory=2719152 CPUtime=3153.71 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 364837 0 0 0 313849 1522 0 0 20 0 1 0 198088789 2853568512 679788 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696672 679788 1968 922 0 688624 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 2786688 KiB
Current children cumulated memory: 2719152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.17 4.15 5/242 1047667
/proc/meminfo: memFree=118035460/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786688 memory=2719152 CPUtime=3213.57 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 365916 0 0 0 319814 1543 0 0 20 0 1 0 198088789 2853568512 679788 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696672 679788 1968 922 0 688624 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 2786688 KiB
Current children cumulated memory: 2719152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.15 5/242 1047678
/proc/meminfo: memFree=118042412/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786688 memory=2719152 CPUtime=3273.43 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 367161 0 0 0 325778 1565 0 0 20 0 1 0 198088789 2853568512 679788 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696672 679788 1968 922 0 688624 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 2786688 KiB
Current children cumulated memory: 2719152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/241 1047688
/proc/meminfo: memFree=118032796/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786688 memory=2719152 CPUtime=3333.28 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 368124 0 0 0 331734 1594 0 0 20 0 1 0 198088789 2853568512 679788 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696672 679788 1968 922 0 688624 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 2786688 KiB
Current children cumulated memory: 2719152 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/242 1047700
/proc/meminfo: memFree=118013832/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786688 memory=2719152 CPUtime=3393.14 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 369040 0 0 0 337689 1625 0 0 20 0 1 0 198088789 2853568512 679788 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696672 679788 1968 922 0 688624 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 2786688 KiB
Current children cumulated memory: 2719152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/242 1047711
/proc/meminfo: memFree=118003732/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786688 memory=2719152 CPUtime=3452.99 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 369615 0 0 0 343667 1632 0 0 20 0 1 0 198088789 2853568512 679788 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696672 679788 1968 922 0 688624 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 2786688 KiB
Current children cumulated memory: 2719152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.15 5/242 1047721
/proc/meminfo: memFree=117988760/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786968 memory=2719432 CPUtime=3512.86 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 373187 0 0 0 349613 1673 0 0 20 0 1 0 198088789 2853855232 679858 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696742 679858 1968 922 0 688694 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 2786968 KiB
Current children cumulated memory: 2719432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/242 1047731
/proc/meminfo: memFree=117942088/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786968 memory=2719432 CPUtime=3572.71 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 375466 0 0 0 355548 1723 0 0 20 0 1 0 198088789 2853855232 679858 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696742 679858 1968 922 0 688694 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 2786968 KiB
Current children cumulated memory: 2719432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.16 4.16 4.15 5/242 1047737
/proc/meminfo: memFree=117978852/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786968 memory=2719432 CPUtime=3600.05 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 375863 0 0 0 358264 1741 0 0 20 0 1 0 198088789 2853855232 679858 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696742 679858 1968 922 0 688694 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2786968 KiB
Current children cumulated memory: 2719432 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.65 s, system=17.4211 s

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

[startup+3609.7 s]
/proc/loadavg: 4.16 4.16 4.15 5/242 1047737
/proc/meminfo: memFree=117978852/131655788 swapFree=131071996/131071996
[pid=1045888] ppid=1045884 vsize=2786968 memory=2719432 CPUtime=3600.05 cores=4,6
/proc/1045888/stat : 1045888 (roundingsat) R 1045884 1045888 1045835 0 -1 4194304 375863 0 0 0 358264 1741 0 0 20 0 1 0 198088789 2853855232 679858 134679101440 4194304 7968373 140727746221296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 41189376 140727746229180 140727746229344 140727746229344 140727746236361 0
/proc/1045888/statm: 696742 679858 1968 922 0 688694 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2786968 KiB
Current children cumulated memory: 2719432 KiB

Child status: 0

Real time (s): 3609.71
CPU time (s): 3600.07
CPU user time (s): 3582.65
CPU system time (s): 17.4211
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 2826848
Max. memory (cumulated for all children) (KiB): 2759264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.65
system time used= 17.4211
maximum resident set size= 2759312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375875
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= 108
involuntary context switches= 1698


# summary of solver processes directly reported to runsolver:
#   pid: 1045888
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3582.65
#   total CPU system time (s): 17.4211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6624 second user time and 31.7774 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-20 09:08:24
IDJOB=4455145
IDBENCH=147564
IDSOLVER=3084
FILE ID=nodeC009/4455145-1721459292
RUNJOBID= nodeC009-1721459303-1045846
SLURM_JOB_ID= 7545707
Free space on /tmp= 723700 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455145-1721459292/watcher-4455145-1721459292 -o /tmp/evaluation-result-4455145-1721459292/solver-4455145-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045846 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455145-1721459292.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1089709519

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128871980 kB
MemAvailable:   129897336 kB
Buffers:          600408 kB
Cached:          1268960 kB
SwapCached:            0 kB
Active:          1158428 kB
Inactive:        1070008 kB
Active(anon):       1420 kB
Inactive(anon):   403564 kB
Active(file):    1157008 kB
Inactive(file):   666444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             77688 kB
Writeback:             4 kB
AnonPages:        359456 kB
Mapped:           108756 kB
Shmem:             45892 kB
KReclaimable:      83868 kB
Slab:             185196 kB
SReclaimable:      83868 kB
SUnreclaim:       101328 kB
KernelStack:        3728 kB
PageTables:         9816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     721212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC009 at 2024-07-20 10:08:34