Trace number 4456763

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 log (1)SAT (TO)297 3600.14 3610.43

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUMa599905096c946af5176c07959aa4b57
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 benchmark225
Best CPU time to get the best result obtained on this benchmark3558.15
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 488873
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 488873
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 
3.15/3.20	c #variables 10000 #constraints 656900
5.24/5.39	c bounds - >= 0 @ 2.31956
5.24/5.39	c rational objective 164.944
23.80/23.98	c bounds 5240 >= 0 @ 5.46401
23.80/23.98	c bounds 5019 >= 0 @ 5.47058
23.80/23.98	c bounds 5013 >= 0 @ 5.48415
23.80/23.98	c bounds 4998 >= 0 @ 5.49484
23.80/23.98	c bounds 4963 >= 0 @ 5.50049
23.80/23.98	c bounds 4947 >= 0 @ 5.50908
23.80/23.98	c bounds 4855 >= 0 @ 5.51466
23.80/23.98	c bounds 4585 >= 0 @ 5.51912
23.80/23.98	c bounds 4566 >= 0 @ 5.53236
23.80/23.98	c bounds 4545 >= 0 @ 5.5418
23.80/23.98	c bounds 4524 >= 0 @ 5.55545
23.80/23.98	c bounds 4480 >= 0 @ 5.55986
23.80/23.98	c bounds 4469 >= 0 @ 5.56777
23.80/23.98	c bounds 4445 >= 0 @ 5.67147
23.80/23.98	c bounds 4360 >= 0 @ 5.6773
23.80/23.98	c bounds 4313 >= 0 @ 5.69642
23.80/23.98	c bounds 4287 >= 0 @ 5.70663
23.80/23.98	c bounds 4222 >= 0 @ 5.71248
23.80/23.98	c bounds 4162 >= 0 @ 5.71662
23.80/23.98	c bounds 4120 >= 0 @ 5.72162
23.80/23.98	c bounds 4086 >= 0 @ 5.7359
23.80/23.98	c bounds 4072 >= 0 @ 5.75133
23.80/23.98	c bounds 4010 >= 0 @ 5.75835
23.80/23.98	c bounds 3988 >= 0 @ 5.76746
23.80/23.98	c bounds 3980 >= 0 @ 5.77199
23.80/23.98	c bounds 3958 >= 0 @ 5.78011
23.80/23.98	c bounds 3916 >= 0 @ 5.79394
23.80/23.98	c bounds 3909 >= 0 @ 5.79831
23.80/23.98	c bounds 3901 >= 0 @ 5.82218
23.80/23.98	c bounds 3899 >= 0 @ 5.88228
23.80/23.98	c bounds 3895 >= 0 @ 5.91049
23.80/23.98	c bounds 3849 >= 0 @ 5.96021
23.80/23.98	c bounds 3765 >= 0 @ 5.9656
23.80/23.98	c bounds 3758 >= 0 @ 6.07636
23.80/23.98	c bounds 3757 >= 0 @ 6.08381
23.80/23.98	c bounds 3701 >= 0 @ 6.09051
23.80/23.98	c bounds 3645 >= 0 @ 6.09691
23.80/23.98	c bounds 3602 >= 0 @ 6.106
23.80/23.98	c bounds 3535 >= 0 @ 6.11122
23.80/23.98	c bounds 3526 >= 0 @ 6.19076
23.80/23.98	c bounds 3501 >= 0 @ 6.20122
23.80/23.98	c bounds 3494 >= 0 @ 6.41319
23.80/23.98	c bounds 3474 >= 0 @ 6.48455
23.80/23.98	c bounds 3410 >= 0 @ 6.49146
23.80/23.98	c bounds 3407 >= 0 @ 6.52355
23.80/23.98	c bounds 3349 >= 0 @ 6.54075
23.80/23.98	c bounds 3221 >= 0 @ 6.63682
23.80/23.98	c bounds 3178 >= 0 @ 6.652
23.80/23.98	c bounds 3127 >= 0 @ 6.65644
23.80/23.98	c bounds 3103 >= 0 @ 6.70467
23.80/23.98	c bounds 3061 >= 0 @ 6.71185
23.80/23.98	c bounds 3018 >= 0 @ 6.72393
23.80/23.98	c bounds 2919 >= 0 @ 6.73103
23.80/23.98	c bounds 2898 >= 0 @ 6.74265
23.80/23.98	c bounds 2848 >= 0 @ 6.748
23.80/23.98	c bounds 2793 >= 0 @ 6.7549
23.80/23.98	c bounds 2776 >= 0 @ 6.76205
23.80/23.98	c bounds 2767 >= 0 @ 6.77098
23.80/23.98	c bounds 2740 >= 0 @ 6.77936
23.80/23.98	c bounds 2693 >= 0 @ 6.78853
23.80/23.98	c bounds 2667 >= 0 @ 6.79561
23.80/23.98	c bounds 2664 >= 0 @ 6.81316
23.80/23.98	c bounds 2573 >= 0 @ 6.821
23.80/23.98	c bounds 2458 >= 0 @ 6.82687
23.80/23.98	c bounds 2449 >= 0 @ 6.84721
23.80/23.98	c bounds 2377 >= 0 @ 6.85594
23.80/23.98	c bounds 2363 >= 0 @ 6.86543
23.80/23.98	c bounds 2272 >= 0 @ 6.8718
23.80/23.98	c bounds 2268 >= 0 @ 6.89111
23.80/23.98	c bounds 2254 >= 0 @ 6.90212
23.80/23.98	c bounds 2246 >= 0 @ 7.02835
23.80/23.98	c bounds 2241 >= 0 @ 7.03998
23.80/23.98	c bounds 2217 >= 0 @ 7.05348
23.80/23.98	c bounds 2205 >= 0 @ 7.06795
23.80/23.98	c bounds 2200 >= 0 @ 7.17804
23.80/23.98	c bounds 2198 >= 0 @ 7.18559
23.80/23.98	c bounds 2104 >= 0 @ 7.19252
23.80/23.98	c bounds 2019 >= 0 @ 7.20123
23.80/23.98	c bounds 1968 >= 0 @ 7.21031
23.80/23.98	c bounds 1964 >= 0 @ 7.30056
23.80/23.98	c bounds 1957 >= 0 @ 7.4026
23.80/23.98	c bounds 1947 >= 0 @ 7.40814
23.80/23.98	c bounds 1845 >= 0 @ 7.41731
23.80/23.98	c bounds 1841 >= 0 @ 7.42386
23.80/23.98	c bounds 1833 >= 0 @ 7.79912
23.80/23.98	c bounds 1822 >= 0 @ 7.80879
23.80/23.98	c bounds 1815 >= 0 @ 7.81858
23.80/23.98	c bounds 1715 >= 0 @ 7.82737
23.80/23.98	c bounds 1696 >= 0 @ 7.84006
23.80/23.98	c bounds 1694 >= 0 @ 8.02092
23.80/23.98	c bounds 1690 >= 0 @ 8.03046
23.80/23.98	c bounds 1684 >= 0 @ 8.50295
23.80/23.98	c bounds 1627 >= 0 @ 8.51257
23.80/23.98	c bounds 1605 >= 0 @ 8.52297
23.80/23.98	c bounds 1551 >= 0 @ 8.53166
23.80/23.98	c bounds 1543 >= 0 @ 8.53805
23.80/23.98	c bounds 1530 >= 0 @ 8.54901
23.80/23.98	c bounds 1519 >= 0 @ 8.7153
23.80/23.98	c bounds 1472 >= 0 @ 8.72903
23.80/23.98	c bounds 1335 >= 0 @ 8.77291
23.80/23.98	c #Conflicts:       1000 | #Constraints:     658009
23.80/23.98	c bounds 1288 >= 0 @ 8.78642
23.80/23.98	c bounds 1197 >= 0 @ 8.79255
23.80/23.98	c bounds 1108 >= 0 @ 8.80023
23.80/23.98	c bounds 1097 >= 0 @ 8.80978
23.80/23.98	c bounds 1066 >= 0 @ 8.82066
23.80/23.98	c bounds 1036 >= 0 @ 8.829
23.80/23.98	c bounds 990 >= 0 @ 8.84623
23.80/23.98	c bounds 978 >= 0 @ 8.92636
23.80/23.98	c bounds 971 >= 0 @ 9.37514
23.80/23.98	c bounds 925 >= 0 @ 9.54411
23.80/23.98	c bounds 872 >= 0 @ 9.60204
23.80/23.98	c bounds 772 >= 0 @ 9.62772
23.80/23.98	c bounds 648 >= 0 @ 9.76216
23.80/23.98	c bounds 626 >= 0 @ 9.77568
23.80/23.98	c bounds 580 >= 0 @ 9.99757
23.80/23.98	c bounds 576 >= 0 @ 10.0097
23.80/23.98	c bounds 569 >= 0 @ 10.0176
23.80/23.98	c bounds 489 >= 0 @ 10.4478
23.80/23.98	c bounds 488 >= 0 @ 10.4563
23.80/23.98	c bounds 486 >= 0 @ 10.9946
23.80/23.98	c #Conflicts:       2000 | #Constraints:     659032
23.80/23.98	c INPROCESSING
23.80/23.98	c GARBAGE COLLECT
23.80/23.98	c bounds 445 >= 0 @ 12.3189
23.80/23.98	c #Conflicts:       3000 | #Constraints:     658917
23.80/23.98	c bounds 376 >= 0 @ 15.2586
23.80/23.98	c bounds 375 >= 0 @ 15.2654
23.80/23.98	c bounds 374 >= 0 @ 15.2703
23.80/23.98	c bounds 370 >= 0 @ 15.2762
23.80/23.98	c bounds 366 >= 0 @ 15.3229
23.80/23.98	c bounds 363 >= 0 @ 15.4273
23.80/23.98	c bounds 360 >= 0 @ 15.4904
23.80/23.98	c bounds 357 >= 0 @ 15.5085
23.80/23.98	c bounds 351 >= 0 @ 15.5401
23.80/23.98	c bounds 350 >= 0 @ 15.5647
23.80/23.98	c bounds 349 >= 0 @ 15.8791
23.80/23.98	c #Conflicts:       4000 | #Constraints:     659928
23.80/23.98	c INPROCESSING
23.80/23.98	c GARBAGE COLLECT
23.80/23.98	c #Conflicts:       5000 | #Constraints:     659323
33.16/33.35	c #Conflicts:       6000 | #Constraints:     660323
33.16/33.35	c INPROCESSING
33.16/33.35	c GARBAGE COLLECT
33.16/33.35	c rational objective 164.944
49.02/49.22	c bounds 348 >= 0 @ 31.4147
49.02/49.22	c #Conflicts:       7000 | #Constraints:     659331
49.02/49.22	c bounds 346 >= 0 @ 35.1649
49.02/49.22	c bounds 346 >= 5 @ 35.1731
49.02/49.22	c #Conflicts:       8000 | #Constraints:     660337
49.02/49.22	c #Conflicts:       9000 | #Constraints:     661337
49.02/49.22	c INPROCESSING
49.02/49.22	c GARBAGE COLLECT
49.02/49.22	c rational objective 165.25
63.80/64.04	c #Conflicts:      10000 | #Constraints:     660047
63.80/64.04	c bounds 346 >= 10 @ 51.5385
63.80/64.04	c #Conflicts:      11000 | #Constraints:     661053
63.80/64.04	c #Conflicts:      12000 | #Constraints:     662053
63.80/64.04	c INPROCESSING
63.80/64.04	c GARBAGE COLLECT
63.80/64.04	c rational objective 165.91
93.40/93.75	c bounds 345 >= 10 @ 61.7384
93.40/93.75	c bounds 344 >= 10 @ 67.494
93.40/93.75	c bounds 344 >= 14 @ 67.5105
93.40/93.75	c #Conflicts:      13000 | #Constraints:     660510
93.40/93.75	c #Conflicts:      14000 | #Constraints:     661520
93.40/93.75	c #Conflicts:      15000 | #Constraints:     662523
93.40/93.75	c INPROCESSING
93.40/93.75	c GARBAGE COLLECT
93.40/93.75	c rational objective 165.96
122.32/122.78	c bounds 343 >= 14 @ 92.0513
122.32/122.78	c bounds 341 >= 14 @ 92.0891
122.32/122.78	c #Conflicts:      16000 | #Constraints:     660726
122.32/122.78	c bounds 339 >= 14 @ 102.41
122.32/122.78	c #Conflicts:      17000 | #Constraints:     661727
122.32/122.78	c #Conflicts:      18000 | #Constraints:     662727
122.32/122.78	c INPROCESSING
122.32/122.78	c GARBAGE COLLECT
122.32/122.78	c rational objective 166.004
185.14/185.72	c #Conflicts:      19000 | #Constraints:     660739
185.14/185.72	c #Conflicts:      20000 | #Constraints:     661739
185.14/185.72	c #Conflicts:      21000 | #Constraints:     662740
185.14/185.72	c INPROCESSING
185.14/185.72	c #Conflicts:      22000 | #Constraints:     660540
185.14/185.72	c #Conflicts:      23000 | #Constraints:     661541
185.14/185.72	c #Conflicts:      24000 | #Constraints:     662542
185.14/185.72	c #Conflicts:      25000 | #Constraints:     663545
185.14/185.72	c INPROCESSING
185.14/185.72	c GARBAGE COLLECT
185.14/185.72	c rational objective 166.004
283.35/284.26	c #Conflicts:      26000 | #Constraints:     661148
283.35/284.26	c #Conflicts:      27000 | #Constraints:     662149
283.35/284.26	c #Conflicts:      28000 | #Constraints:     663151
283.35/284.26	c #Conflicts:      29000 | #Constraints:     664153
283.35/284.26	c INPROCESSING
283.35/284.26	c #Conflicts:      30000 | #Constraints:     661550
283.35/284.26	c #Conflicts:      31000 | #Constraints:     662554
283.35/284.26	c #Conflicts:      32000 | #Constraints:     663555
283.35/284.26	c #Conflicts:      33000 | #Constraints:     664556
283.35/284.26	c INPROCESSING
283.35/284.26	c GARBAGE COLLECT
283.35/284.26	c #Conflicts:      34000 | #Constraints:     661753
283.35/284.26	c #Conflicts:      35000 | #Constraints:     662756
283.35/284.26	c #Conflicts:      36000 | #Constraints:     663760
283.35/284.26	c #Conflicts:      37000 | #Constraints:     664761
283.35/284.26	c INPROCESSING
283.35/284.26	c GARBAGE COLLECT
283.35/284.26	c rational objective 166.004
320.06/321.03	c #Conflicts:      38000 | #Constraints:     661762
320.06/321.03	c #Conflicts:      39000 | #Constraints:     662762
320.06/321.03	c #Conflicts:      40000 | #Constraints:     663763
320.06/321.03	c #Conflicts:      41000 | #Constraints:     664767
320.06/321.03	c INPROCESSING
320.06/321.03	c GARBAGE COLLECT
320.06/321.03	c rational objective 166.053
414.08/415.39	c #Conflicts:      42000 | #Constraints:     661574
414.08/415.39	c #Conflicts:      43000 | #Constraints:     662574
414.08/415.39	c #Conflicts:      44000 | #Constraints:     663577
414.08/415.39	c #Conflicts:      45000 | #Constraints:     664582
414.08/415.39	c #Conflicts:      46000 | #Constraints:     665583
414.08/415.39	c INPROCESSING
414.08/415.39	c GARBAGE COLLECT
414.08/415.39	c bounds 338 >= 14 @ 351.331
414.08/415.39	c bounds 338 >= 16 @ 351.341
414.08/415.39	c bounds 338 >= 18 @ 351.354
414.08/415.39	c bounds 338 >= 20 @ 351.373
414.08/415.39	c bounds 338 >= 22 @ 351.407
414.08/415.39	c bounds 338 >= 24 @ 352.045
414.08/415.39	c #Conflicts:      47000 | #Constraints:     662214
414.08/415.39	c #Conflicts:      48000 | #Constraints:     663214
414.08/415.39	c #Conflicts:      49000 | #Constraints:     664214
414.08/415.39	c #Conflicts:      50000 | #Constraints:     665214
414.08/415.39	c #Conflicts:      51000 | #Constraints:     666214
414.08/415.39	c INPROCESSING
414.08/415.39	c GARBAGE COLLECT
414.08/415.39	c rational objective 166.055
526.97/528.51	c bounds 334 >= 24 @ 411.113
526.97/528.51	c bounds 331 >= 24 @ 411.293
526.97/528.51	c bounds 328 >= 24 @ 411.637
526.97/528.51	c bounds 327 >= 24 @ 412.416
526.97/528.51	c bounds 323 >= 24 @ 415.717
526.97/528.51	c #Conflicts:      52000 | #Constraints:     662643
526.97/528.51	c #Conflicts:      53000 | #Constraints:     663654
526.97/528.51	c #Conflicts:      54000 | #Constraints:     664673
526.97/528.51	c bounds 322 >= 24 @ 456.113
526.97/528.51	c bounds 322 >= 25 @ 456.137
526.97/528.51	c bounds 322 >= 26 @ 456.17
526.97/528.51	c bounds 322 >= 27 @ 456.198
526.97/528.51	c bounds 322 >= 28 @ 456.232
526.97/528.51	c bounds 322 >= 29 @ 456.267
526.97/528.51	c bounds 322 >= 30 @ 456.306
526.97/528.51	c bounds 322 >= 31 @ 456.341
526.97/528.51	c bounds 322 >= 32 @ 456.371
526.97/528.51	c bounds 322 >= 33 @ 456.407
526.97/528.51	c bounds 322 >= 34 @ 456.438
526.97/528.51	c bounds 322 >= 35 @ 456.472
526.97/528.51	c bounds 322 >= 36 @ 456.51
526.97/528.51	c bounds 322 >= 37 @ 456.55
526.97/528.51	c bounds 322 >= 38 @ 456.585
526.97/528.51	c bounds 322 >= 39 @ 456.617
526.97/528.51	c bounds 322 >= 40 @ 456.653
526.97/528.51	c bounds 322 >= 41 @ 456.696
526.97/528.51	c bounds 322 >= 42 @ 456.737
526.97/528.51	c bounds 322 >= 43 @ 456.772
526.97/528.51	c bounds 322 >= 44 @ 456.809
526.97/528.51	c bounds 322 >= 45 @ 456.847
526.97/528.51	c bounds 322 >= 46 @ 456.884
526.97/528.51	c bounds 322 >= 47 @ 456.917
526.97/528.51	c bounds 322 >= 48 @ 456.973
526.97/528.51	c bounds 322 >= 49 @ 460.858
526.97/528.51	c bounds 322 >= 50 @ 460.921
526.97/528.51	c bounds 322 >= 51 @ 460.98
526.97/528.51	c bounds 322 >= 52 @ 461.068
526.97/528.51	c bounds 322 >= 53 @ 461.164
526.97/528.51	c bounds 322 >= 54 @ 461.266
526.97/528.51	c bounds 322 >= 55 @ 461.747
526.97/528.51	c bounds 322 >= 56 @ 461.9
526.97/528.51	c bounds 322 >= 57 @ 462.084
526.97/528.51	c bounds 322 >= 58 @ 462.692
526.97/528.51	c bounds 322 >= 59 @ 463.273
526.97/528.51	c bounds 322 >= 60 @ 463.872
526.97/528.51	c bounds 322 >= 61 @ 464.795
526.97/528.51	c bounds 322 >= 62 @ 464.888
526.97/528.51	c bounds 322 >= 63 @ 466.098
526.97/528.51	c bounds 322 >= 64 @ 467.541
526.97/528.51	c #Conflicts:      55000 | #Constraints:     666034
526.97/528.51	c bounds 322 >= 65 @ 468.836
526.97/528.51	c bounds 322 >= 66 @ 470.654
526.97/528.51	c bounds 322 >= 67 @ 472.67
526.97/528.51	c #Conflicts:      56000 | #Constraints:     667091
526.97/528.51	c INPROCESSING
526.97/528.51	c GARBAGE COLLECT
526.97/528.51	c rational objective 166.104
631.50/633.34	c bounds 322 >= 68 @ 521.65
631.50/633.34	c bounds 322 >= 69 @ 523.709
631.50/633.34	c #Conflicts:      57000 | #Constraints:     663263
631.50/633.34	c bounds 322 >= 70 @ 534.556
631.50/633.34	c #Conflicts:      58000 | #Constraints:     664293
631.50/633.34	c bounds 322 >= 71 @ 541.042
631.50/633.34	c #Conflicts:      59000 | #Constraints:     665320
631.50/633.34	c bounds 322 >= 72 @ 546.249
631.50/633.34	c #Conflicts:      60000 | #Constraints:     666359
631.50/633.34	c bounds 322 >= 73 @ 557.562
631.50/633.34	c #Conflicts:      61000 | #Constraints:     667380
631.50/633.34	c INPROCESSING
631.50/633.34	c GARBAGE COLLECT
631.50/633.34	c rational objective 166.104
787.97/790.22	c #Conflicts:      62000 | #Constraints:     663361
787.97/790.22	c bounds 322 >= 74 @ 630.138
787.97/790.22	c #Conflicts:      63000 | #Constraints:     664388
787.97/790.22	c #Conflicts:      64000 | #Constraints:     665388
787.97/790.22	c bounds 319 >= 74 @ 644.938
787.97/790.22	c bounds 319 >= 75 @ 657.028
787.97/790.22	c bounds 318 >= 75 @ 657.069
787.97/790.22	c #Conflicts:      65000 | #Constraints:     666420
787.97/790.22	c bounds 317 >= 75 @ 661.153
787.97/790.22	c #Conflicts:      66000 | #Constraints:     667421
787.97/790.22	c INPROCESSING
787.97/790.22	c GARBAGE COLLECT
787.97/790.22	c bounds 316 >= 75 @ 670.794
787.97/790.22	c #Conflicts:      67000 | #Constraints:     663218
787.97/790.22	c bounds 315 >= 75 @ 677.332
787.97/790.22	c bounds 313 >= 75 @ 677.378
787.97/790.22	c bounds 311 >= 75 @ 679.724
787.97/790.22	c #Conflicts:      68000 | #Constraints:     664227
787.97/790.22	c bounds 311 >= 76 @ 687.729
787.97/790.22	c #Conflicts:      69000 | #Constraints:     665251
787.97/790.22	c #Conflicts:      70000 | #Constraints:     666251
787.97/790.22	c #Conflicts:      71000 | #Constraints:     667259
787.97/790.22	c #Conflicts:      72000 | #Constraints:     668269
787.97/790.22	c INPROCESSING
787.97/790.22	c GARBAGE COLLECT
787.97/790.22	c rational objective 166.104
965.78/968.50	c #Conflicts:      73000 | #Constraints:     663844
965.78/968.50	c bounds 311 >= 77 @ 786.577
965.78/968.50	c #Conflicts:      74000 | #Constraints:     664862
965.78/968.50	c #Conflicts:      75000 | #Constraints:     665862
965.78/968.50	c bounds 311 >= 78 @ 804.387
965.78/968.50	c #Conflicts:      76000 | #Constraints:     666904
965.78/968.50	c #Conflicts:      77000 | #Constraints:     667904
965.78/968.50	c bounds 311 >= 79 @ 827.38
965.78/968.50	c #Conflicts:      78000 | #Constraints:     668931
965.78/968.50	c INPROCESSING
965.78/968.50	c GARBAGE COLLECT
965.78/968.50	c rational objective 166.104
1235.01/1238.50	c #Conflicts:      79000 | #Constraints:     664326
1235.01/1238.50	c #Conflicts:      80000 | #Constraints:     665326
1235.01/1238.50	c #Conflicts:      81000 | #Constraints:     666326
1235.01/1238.50	c bounds 311 >= 80 @ 990.593
1235.01/1238.50	c #Conflicts:      82000 | #Constraints:     667368
1235.01/1238.50	c #Conflicts:      83000 | #Constraints:     668368
1235.01/1238.50	c #Conflicts:      84000 | #Constraints:     669368
1235.01/1238.50	c INPROCESSING
1235.01/1238.50	c GARBAGE COLLECT
1235.01/1238.50	c #Conflicts:      85000 | #Constraints:     664583
1235.01/1238.50	c #Conflicts:      86000 | #Constraints:     665583
1235.01/1238.50	c #Conflicts:      87000 | #Constraints:     666583
1235.01/1238.50	c #Conflicts:      88000 | #Constraints:     667583
1235.01/1238.50	c bounds 311 >= 81 @ 1066.25
1235.01/1238.50	c #Conflicts:      89000 | #Constraints:     668640
1235.01/1238.50	c #Conflicts:      90000 | #Constraints:     669649
1235.01/1238.50	c INPROCESSING
1235.01/1238.50	c GARBAGE COLLECT
1235.01/1238.50	c #Conflicts:      91000 | #Constraints:     664637
1235.01/1238.50	c #Conflicts:      92000 | #Constraints:     665644
1235.01/1238.50	c #Conflicts:      93000 | #Constraints:     666653
1235.01/1238.50	c #Conflicts:      94000 | #Constraints:     667662
1235.01/1238.50	c #Conflicts:      95000 | #Constraints:     668671
1235.01/1238.50	c #Conflicts:      96000 | #Constraints:     669679
1235.01/1238.50	c INPROCESSING
1235.01/1238.50	c GARBAGE COLLECT
1235.01/1238.50	c rational objective 166.104
1310.59/1314.34	c #Conflicts:      97000 | #Constraints:     664461
1310.59/1314.34	c #Conflicts:      98000 | #Constraints:     665461
1310.59/1314.34	c #Conflicts:      99000 | #Constraints:     666461
1310.59/1314.34	c #Conflicts:     100000 | #Constraints:     667461
1310.59/1314.34	c #Conflicts:     101000 | #Constraints:     668461
1310.59/1314.34	c #Conflicts:     102000 | #Constraints:     669461
1310.59/1314.34	c #Conflicts:     103000 | #Constraints:     670461
1310.59/1314.34	c INPROCESSING
1310.59/1314.34	c GARBAGE COLLECT
1310.59/1314.34	c rational objective 166.104
1399.55/1403.60	c #Conflicts:     104000 | #Constraints:     665064
1399.55/1403.60	c #Conflicts:     105000 | #Constraints:     666064
1399.55/1403.60	c #Conflicts:     106000 | #Constraints:     667064
1399.55/1403.60	c #Conflicts:     107000 | #Constraints:     668064
1399.55/1403.60	c bounds 311 >= 82 @ 1343.41
1399.55/1403.60	c #Conflicts:     108000 | #Constraints:     669088
1399.55/1403.60	c #Conflicts:     109000 | #Constraints:     670088
1399.55/1403.60	c #Conflicts:     110000 | #Constraints:     671088
1399.55/1403.60	c INPROCESSING
1399.55/1403.60	c GARBAGE COLLECT
1399.55/1403.60	c rational objective 166.5
1493.07/1497.31	c #Conflicts:     111000 | #Constraints:     665486
1493.07/1497.31	c #Conflicts:     112000 | #Constraints:     666486
1493.07/1497.31	c #Conflicts:     113000 | #Constraints:     667486
1493.07/1497.31	c #Conflicts:     114000 | #Constraints:     668486
1493.07/1497.31	c #Conflicts:     115000 | #Constraints:     669486
1493.07/1497.31	c #Conflicts:     116000 | #Constraints:     670486
1493.07/1497.31	c bounds 311 >= 83 @ 1457.25
1493.07/1497.31	c #Conflicts:     117000 | #Constraints:     671543
1493.07/1497.31	c INPROCESSING
1493.07/1497.31	c GARBAGE COLLECT
1493.07/1497.31	c rational objective 166.5
1584.11/1588.66	c #Conflicts:     118000 | #Constraints:     665737
1584.11/1588.66	c #Conflicts:     119000 | #Constraints:     666737
1584.11/1588.66	c #Conflicts:     120000 | #Constraints:     667737
1584.11/1588.66	c #Conflicts:     121000 | #Constraints:     668737
1584.11/1588.66	c #Conflicts:     122000 | #Constraints:     669737
1584.11/1588.66	c #Conflicts:     123000 | #Constraints:     670737
1584.11/1588.66	c #Conflicts:     124000 | #Constraints:     671737
1584.11/1588.66	c INPROCESSING
1584.11/1588.66	c GARBAGE COLLECT
1584.11/1588.66	c rational objective 166.5
1761.31/1766.37	c #Conflicts:     125000 | #Constraints:     665731
1761.31/1766.37	c bounds 310 >= 83 @ 1571.27
1761.31/1766.37	c bounds 309 >= 83 @ 1571.3
1761.31/1766.37	c #Conflicts:     126000 | #Constraints:     666751
1761.31/1766.37	c #Conflicts:     127000 | #Constraints:     667767
1761.31/1766.37	c #Conflicts:     128000 | #Constraints:     668780
1761.31/1766.37	c #Conflicts:     129000 | #Constraints:     669788
1761.31/1766.37	c #Conflicts:     130000 | #Constraints:     670797
1761.31/1766.37	c #Conflicts:     131000 | #Constraints:     671808
1761.31/1766.37	c INPROCESSING
1761.31/1766.37	c GARBAGE COLLECT
1761.31/1766.37	c rational objective 166.5
2025.30/2031.06	c #Conflicts:     132000 | #Constraints:     665574
2025.30/2031.06	c #Conflicts:     133000 | #Constraints:     666574
2025.30/2031.06	c #Conflicts:     134000 | #Constraints:     667574
2025.30/2031.06	c #Conflicts:     135000 | #Constraints:     668574
2025.30/2031.06	c #Conflicts:     136000 | #Constraints:     669574
2025.30/2031.06	c #Conflicts:     137000 | #Constraints:     670574
2025.30/2031.06	c #Conflicts:     138000 | #Constraints:     671574
2025.30/2031.06	c bounds 309 >= 84 @ 1840.51
2025.30/2031.06	c #Conflicts:     139000 | #Constraints:     672631
2025.30/2031.06	c INPROCESSING
2025.30/2031.06	c GARBAGE COLLECT
2025.30/2031.06	c rational objective 166.5
2143.07/2149.19	c #Conflicts:     140000 | #Constraints:     666213
2143.07/2149.19	c #Conflicts:     141000 | #Constraints:     667213
2143.07/2149.19	c #Conflicts:     142000 | #Constraints:     668213
2143.07/2149.19	c #Conflicts:     143000 | #Constraints:     669213
2143.07/2149.19	c #Conflicts:     144000 | #Constraints:     670213
2143.07/2149.19	c #Conflicts:     145000 | #Constraints:     671213
2143.07/2149.19	c #Conflicts:     146000 | #Constraints:     672213
2143.07/2149.19	c #Conflicts:     147000 | #Constraints:     673213
2143.07/2149.19	c INPROCESSING
2143.07/2149.19	c GARBAGE COLLECT
2143.07/2149.19	c rational objective 166.5
2267.61/2274.10	c #Conflicts:     148000 | #Constraints:     666605
2267.61/2274.10	c #Conflicts:     149000 | #Constraints:     667605
2267.61/2274.10	c #Conflicts:     150000 | #Constraints:     668605
2267.61/2274.10	c #Conflicts:     151000 | #Constraints:     669605
2267.61/2274.10	c #Conflicts:     152000 | #Constraints:     670605
2267.61/2274.10	c #Conflicts:     153000 | #Constraints:     671605
2267.61/2274.10	c #Conflicts:     154000 | #Constraints:     672605
2267.61/2274.10	c #Conflicts:     155000 | #Constraints:     673605
2267.61/2274.10	c INPROCESSING
2267.61/2274.10	c GARBAGE COLLECT
2267.61/2274.10	c rational objective 166.5
2400.92/2407.73	c #Conflicts:     156000 | #Constraints:     666807
2400.92/2407.73	c #Conflicts:     157000 | #Constraints:     667807
2400.92/2407.73	c #Conflicts:     158000 | #Constraints:     668807
2400.92/2407.73	c #Conflicts:     159000 | #Constraints:     669807
2400.92/2407.73	c #Conflicts:     160000 | #Constraints:     670807
2400.92/2407.73	c #Conflicts:     161000 | #Constraints:     671807
2400.92/2407.73	c #Conflicts:     162000 | #Constraints:     672807
2400.92/2407.73	c #Conflicts:     163000 | #Constraints:     673807
2400.92/2407.73	c INPROCESSING
2400.92/2407.73	c GARBAGE COLLECT
2400.92/2407.73	c rational objective 166.5
2568.63/2575.90	c #Conflicts:     164000 | #Constraints:     666816
2568.63/2575.90	c #Conflicts:     165000 | #Constraints:     667830
2568.63/2575.90	c #Conflicts:     166000 | #Constraints:     668836
2568.63/2575.90	c #Conflicts:     167000 | #Constraints:     669845
2568.63/2575.90	c bounds 307 >= 84 @ 2439.88
2568.63/2575.90	c #Conflicts:     168000 | #Constraints:     670856
2568.63/2575.90	c #Conflicts:     169000 | #Constraints:     671856
2568.63/2575.90	c #Conflicts:     170000 | #Constraints:     672856
2568.63/2575.90	c #Conflicts:     171000 | #Constraints:     673856
2568.63/2575.90	c INPROCESSING
2568.63/2575.90	c GARBAGE COLLECT
2568.63/2575.90	c rational objective 166.5
2757.50/2765.30	c bounds 306 >= 84 @ 2535.88
2757.50/2765.30	c #Conflicts:     172000 | #Constraints:     666634
2757.50/2765.30	c #Conflicts:     173000 | #Constraints:     667648
2757.50/2765.30	c #Conflicts:     174000 | #Constraints:     668658
2757.50/2765.30	c #Conflicts:     175000 | #Constraints:     669672
2757.50/2765.30	c #Conflicts:     176000 | #Constraints:     670690
2757.50/2765.30	c #Conflicts:     177000 | #Constraints:     671704
2757.50/2765.30	c #Conflicts:     178000 | #Constraints:     672716
2757.50/2765.30	c bounds 305 >= 84 @ 2675.14
2757.50/2765.30	c #Conflicts:     179000 | #Constraints:     673723
2757.50/2765.30	c #Conflicts:     180000 | #Constraints:     674723
2757.50/2765.30	c INPROCESSING
2757.50/2765.30	c GARBAGE COLLECT
2757.50/2765.30	c rational objective 166.5
2908.08/2916.34	c #Conflicts:     181000 | #Constraints:     667264
2908.08/2916.34	c #Conflicts:     182000 | #Constraints:     668264
2908.08/2916.34	c #Conflicts:     183000 | #Constraints:     669264
2908.08/2916.34	c #Conflicts:     184000 | #Constraints:     670264
2908.08/2916.34	c #Conflicts:     185000 | #Constraints:     671264
2908.08/2916.34	c #Conflicts:     186000 | #Constraints:     672264
2908.08/2916.34	c #Conflicts:     187000 | #Constraints:     673264
2908.08/2916.34	c #Conflicts:     188000 | #Constraints:     674264
2908.08/2916.34	c #Conflicts:     189000 | #Constraints:     675264
2908.08/2916.34	c INPROCESSING
2908.08/2916.34	c GARBAGE COLLECT
2908.08/2916.34	c rational objective 166.5
3072.62/3081.36	c #Conflicts:     190000 | #Constraints:     667637
3072.62/3081.36	c #Conflicts:     191000 | #Constraints:     668637
3072.62/3081.36	c #Conflicts:     192000 | #Constraints:     669637
3072.62/3081.36	c #Conflicts:     193000 | #Constraints:     670637
3072.62/3081.36	c #Conflicts:     194000 | #Constraints:     671637
3072.62/3081.36	c #Conflicts:     195000 | #Constraints:     672637
3072.62/3081.36	c bounds 305 >= 85 @ 2977.76
3072.62/3081.36	c #Conflicts:     196000 | #Constraints:     673667
3072.62/3081.36	c bounds 304 >= 85 @ 2978.82
3072.62/3081.36	c #Conflicts:     197000 | #Constraints:     674691
3072.62/3081.36	c #Conflicts:     198000 | #Constraints:     675706
3072.62/3081.36	c INPROCESSING
3072.62/3081.36	c GARBAGE COLLECT
3072.62/3081.36	c rational objective 166.5
3258.08/3267.32	c bounds 302 >= 85 @ 3040.69
3258.08/3267.32	c bounds 301 >= 85 @ 3043.41
3258.08/3267.32	c #Conflicts:     199000 | #Constraints:     667870
3258.08/3267.32	c #Conflicts:     200000 | #Constraints:     668880
3258.08/3267.32	c #Conflicts:     201000 | #Constraints:     669888
3258.08/3267.32	c bounds 300 >= 85 @ 3101.09
3258.08/3267.32	c #Conflicts:     202000 | #Constraints:     670895
3258.08/3267.32	c #Conflicts:     203000 | #Constraints:     671895
3258.08/3267.32	c #Conflicts:     204000 | #Constraints:     672895
3258.08/3267.32	c #Conflicts:     205000 | #Constraints:     673895
3258.08/3267.32	c #Conflicts:     206000 | #Constraints:     674895
3258.08/3267.32	c #Conflicts:     207000 | #Constraints:     675895
3258.08/3267.32	c INPROCESSING
3258.08/3267.32	c GARBAGE COLLECT
3258.08/3267.32	c rational objective 166.5
3413.73/3423.41	c #Conflicts:     208000 | #Constraints:     667857
3413.73/3423.41	c #Conflicts:     209000 | #Constraints:     668857
3413.73/3423.41	c #Conflicts:     210000 | #Constraints:     669857
3413.73/3423.41	c #Conflicts:     211000 | #Constraints:     670857
3413.73/3423.41	c #Conflicts:     212000 | #Constraints:     671857
3413.73/3423.41	c #Conflicts:     213000 | #Constraints:     672857
3413.73/3423.41	c #Conflicts:     214000 | #Constraints:     673857
3413.73/3423.41	c #Conflicts:     215000 | #Constraints:     674857
3413.73/3423.41	c #Conflicts:     216000 | #Constraints:     675857
3413.73/3423.41	c INPROCESSING
3413.73/3423.41	c GARBAGE COLLECT
3413.73/3423.41	c rational objective 166.5
3600.05/3610.34	c #Conflicts:     217000 | #Constraints:     667648
3600.05/3610.34	c bounds 298 >= 85 @ 3376.69
3600.05/3610.34	c bounds 297 >= 85 @ 3380.81
3600.05/3610.34	c #Conflicts:     218000 | #Constraints:     668655
3600.05/3610.34	c #Conflicts:     219000 | #Constraints:     669666
3600.05/3610.34	c #Conflicts:     220000 | #Constraints:     670672
3600.05/3610.34	c #Conflicts:     221000 | #Constraints:     671684
3600.05/3610.34	c #Conflicts:     222000 | #Constraints:     672695
3600.05/3610.34	c #Conflicts:     223000 | #Constraints:     673700
3600.05/3610.34	c #Conflicts:     224000 | #Constraints:     674705
3600.05/3610.34	c #Conflicts:     225000 | #Constraints:     675713
3600.05/3610.34	c Program interrupted by user.
3600.05/3610.34	c cpu time 3555.97 s
3600.05/3610.34	c deterministic time 450537980281 4.51e+11
3600.05/3610.34	c optimization time 176.111 s
3600.05/3610.34	c total solve time 3377.54 s
3600.05/3610.34	c core-guided solve time 2444.4 s
3600.05/3610.34	c propagation time 1943.35 s
3600.05/3610.34	c conflict analysis time 879.203 s
3600.05/3610.34	c propagations 77652933
3600.05/3610.34	c resolve steps 3208585
3600.05/3610.34	c decisions 13422704
3600.05/3610.34	c conflicts 225483
3600.05/3610.34	c restarts 510
3600.05/3610.34	c inprocessing phases 38
3600.05/3610.34	c input clauses 657181
3600.05/3610.34	c input cardinalities 69
3600.05/3610.34	c input general constraints 864
3600.05/3610.34	c input average constraint length 6.45
3600.05/3610.34	c input average constraint degree 122.75
3600.05/3610.34	c learned clauses 87981
3600.05/3610.34	c learned cardinalities 3
3600.05/3610.34	c learned general constraints 138100
3600.05/3610.34	c learned average constraint length 4319.71
3600.05/3610.34	c learned average constraint degree 92727802987.76
3600.05/3610.34	c watched constraints 27470
3600.05/3610.34	c counting constraints 111494
3600.05/3610.34	c gcd simplifications 4037
3600.05/3610.34	c detected cardinalities 0
3600.05/3610.34	c weakened non-implied lits 313063377
3600.05/3610.34	c weakened non-implying lits 76221
3600.05/3610.34	c original variables 10000
3600.05/3610.34	c clausal propagations 14856061
3600.05/3610.34	c cardinality propagations 124494
3600.05/3610.34	c watched propagations 3418924
3600.05/3610.34	c counting propagations 58440866
3600.05/3610.34	c watch lookups 14121516661
3600.05/3610.34	c watch backjump lookups 13949366411
3600.05/3610.34	c watch checks 161423551608
3600.05/3610.34	c propagation checks 255938078710
3600.05/3610.34	c constraint additions 4922741563
3600.05/3610.34	c trail pops 91290558
3600.05/3610.34	c formula constraints 656900
3600.05/3610.34	c learned constraints 224908
3600.05/3610.34	c bound constraints 233
3600.05/3610.34	c core-guided constraints 981
3600.05/3610.34	c encountered formula constraints 1490940
3600.05/3610.34	c encountered learned constraints 1432722
3600.05/3610.34	c encountered bound constraints 2787
3600.05/3610.34	c encountered core-guided constraints 461395
3600.05/3610.34	c LP total time 1073.67 s
3600.05/3610.34	c LP solve time 1052.65 s
3600.05/3610.34	c LP constraints added 656922
3600.05/3610.34	c LP constraints removed 14
3600.05/3610.34	c LP pivots internal 225540
3600.05/3610.34	c LP pivots root 133592
3600.05/3610.34	c LP calls 1049
3600.05/3610.34	c LP optimalities 457
3600.05/3610.34	c LP no pivot count 128
3600.05/3610.34	c LP infeasibilities 588
3600.05/3610.34	c LP valid Farkas constraints 588
3600.05/3610.34	c LP learned Farkas constraints 588
3600.05/3610.34	c LP basis resets 0
3600.05/3610.34	c LP cycling count 0
3600.05/3610.34	c LP singular count 0
3600.05/3610.34	c LP no primal count 0
3600.05/3610.34	c LP no farkas count 0
3600.05/3610.34	c LP other issue count 0
3600.05/3610.34	c LP Gomory cuts 0
3600.05/3610.34	c LP learned cuts 22
3600.05/3610.34	c LP deleted cuts 14
3600.05/3610.34	c LP encountered Gomory constraints 0
3600.05/3610.34	c LP encountered Farkas constraints 43371
3600.05/3610.34	c LP encountered learned Farkas constraints 2265
3600.05/3610.34	c CG auxiliary variables introduced 350
3600.05/3610.34	c CG solutions found 164
3600.05/3610.34	c CG cores constructed 69
3600.05/3610.34	c CG core cardinality constraints returned 0
3600.05/3610.34	c CG unit cores 0
3600.05/3610.34	c CG single cores 63
3600.05/3610.34	c CG blocks removed during cardinality reduction 0
3600.05/3610.34	c CG first core best 0
3600.05/3610.34	c CG decision core best 0
3600.05/3610.34	c CG core reduction tie 6
3600.05/3610.34	c CG core degree average 1.00
3600.05/3610.34	c CG core slack average 654.13
3600.05/3610.34	s SATISFIABLE
3600.05/3610.34	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	297

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456763-1721772516/watcher-4456763-1721772516 -o /tmp/evaluation-result-4456763-1721772516/solver-4456763-1721772516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117320 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456763-1721772516 --lp-cut-gomory=0 HOME/instance-4456763-1721772516.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100693 s]*
/proc/loadavg: 4.41 4.21 4.23 5/267 121858
/proc/meminfo: memFree=19780836/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=40828 memory=9516 CPUtime=0.09 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 1573 0 1 0 7 2 0 0 20 0 1 0 13240961 41807872 2379 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 10207 2379 1378 992 0 2065 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9516 KiB

[startup+0.210692 s]*
/proc/loadavg: 4.41 4.21 4.23 5/267 121858
/proc/meminfo: memFree=19778904/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=41212 memory=10572 CPUtime=0.18 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 1848 0 1 0 13 5 0 0 20 0 1 0 13240961 42201088 2643 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 10303 2643 1378 992 0 2161 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 10572 KiB

[startup+0.310694 s]*
/proc/loadavg: 4.41 4.21 4.23 5/267 121858
/proc/meminfo: memFree=19775148/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=41344 memory=13412 CPUtime=0.28 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 2062 0 1 0 20 8 0 0 20 0 1 0 13240961 42336256 3353 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 10336 3353 1378 992 0 2194 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41344 KiB
Current children cumulated memory: 13412 KiB

[startup+0.700263 s]
/proc/loadavg: 4.41 4.21 4.23 5/267 121858
/proc/meminfo: memFree=19772264/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=42800 memory=15256 CPUtime=0.66 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 2463 0 1 0 47 19 0 0 20 0 1 0 13240961 43827200 3814 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 10700 3814 1378 992 0 2558 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 42800 KiB
Current children cumulated memory: 15256 KiB

[startup+1.50033 s]
/proc/loadavg: 4.41 4.21 4.23 5/267 121858
/proc/meminfo: memFree=19764056/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=54080 memory=25372 CPUtime=1.46 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 3992 0 1 0 106 40 0 0 20 0 1 0 13240961 55377920 6343 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 13520 6343 1378 992 0 5378 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 25372 KiB

[startup+3.11413 s]
/proc/loadavg: 4.45 4.23 4.24 5/267 121858
/proc/meminfo: memFree=19645272/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=194080 memory=163416 CPUtime=3.07 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 34819 0 1 0 224 83 0 0 20 0 1 0 13240961 198737920 40854 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 48520 40854 1665 992 0 40378 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 194080 KiB
Current children cumulated memory: 163416 KiB

[startup+6.30029 s]
/proc/loadavg: 4.45 4.23 4.24 5/267 121859
/proc/meminfo: memFree=19427300/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=361156 memory=332256 CPUtime=6.25 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 57298 0 1 0 529 96 0 0 20 0 1 0 13240961 369823744 83064 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 90289 83064 1713 992 0 82147 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 361156 KiB
Current children cumulated memory: 332256 KiB

[startup+12.7003 s]
/proc/loadavg: 4.38 4.22 4.23 5/267 121859
/proc/meminfo: memFree=19276840/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=429736 memory=373168 CPUtime=12.62 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 60758 0 1 0 1097 165 0 0 20 0 1 0 13240961 440049664 93292 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 107434 93292 1888 992 0 99292 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 429736 KiB
Current children cumulated memory: 373168 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.23 4.24 5/267 121861
/proc/meminfo: memFree=19139536/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=449060 memory=401128 CPUtime=25.39 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 63219 0 1 0 2342 197 0 0 20 0 1 0 13240961 459837440 100282 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 112265 100282 1888 992 0 104123 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 449060 KiB
Current children cumulated memory: 401128 KiB

[startup+51.1143 s]
/proc/loadavg: 4.27 4.21 4.23 5/267 121865
/proc/meminfo: memFree=18782812/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=659960 memory=543632 CPUtime=50.93 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 71676 0 1 0 4859 234 0 0 20 0 1 0 13240961 675799040 135908 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 164990 135908 1904 992 0 156848 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 659960 KiB
Current children cumulated memory: 543632 KiB

[startup+102.301 s]
/proc/loadavg: 4.27 4.22 4.23 5/267 122165
/proc/meminfo: memFree=17639932/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=895456 memory=793192 CPUtime=101.98 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 104296 0 1 0 9885 313 0 0 20 0 1 0 13240961 916946944 198298 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 223864 198298 1904 992 0 215722 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 895456 KiB
Current children cumulated memory: 793192 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.19 4.22 5/267 122175
/proc/meminfo: memFree=17173684/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=1059668 memory=858076 CPUtime=161.81 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 108894 0 1 0 15826 355 0 0 20 0 1 0 13240961 1085100032 214519 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 264917 214519 1904 992 0 256775 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1059668 KiB
Current children cumulated memory: 858076 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.17 4.21 5/265 122186
/proc/meminfo: memFree=16840448/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=1059668 memory=858084 CPUtime=221.63 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 109031 0 1 0 21768 395 0 0 20 0 1 0 13240961 1085100032 214521 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 264917 214521 1904 992 0 256775 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1059668 KiB
Current children cumulated memory: 858084 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.20 5/259 122196
/proc/meminfo: memFree=16291192/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=1059668 memory=872592 CPUtime=281.46 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 109236 0 1 0 27710 436 0 0 20 0 1 0 13240961 1085100032 218148 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 264917 218148 1904 992 0 256775 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 1059668 KiB
Current children cumulated memory: 872592 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.19 5/255 122393
/proc/meminfo: memFree=16062096/131655788 swapFree=131047872/131071996
[pid=121857] ppid=121854 vsize=1069936 memory=893112 CPUtime=341.28 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 110518 0 1 0 33661 467 0 0 20 0 1 0 13240961 1095614464 223278 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 267484 223278 1904 992 0 259342 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1069936 KiB
Current children cumulated memory: 893112 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.15 4.18 5/255 122543
/proc/meminfo: memFree=15088356/131655788 swapFree=131047872/131071996
[pid=121857] ppid=121854 vsize=1471612 memory=1170176 CPUtime=401.12 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 147666 0 1 0 39538 574 0 0 20 0 1 0 13240961 1506930688 292544 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 367903 292544 1904 992 0 359761 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1471612 KiB
Current children cumulated memory: 1170176 KiB

[startup+462.3 s]
/proc/loadavg: 4.41 4.22 4.20 5/256 122562
/proc/meminfo: memFree=11973848/131655788 swapFree=131047872/131071996
[pid=121857] ppid=121854 vsize=1593864 memory=1344908 CPUtime=460.95 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 176244 0 1 0 45452 643 0 0 20 0 1 0 13240961 1632116736 336227 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 398466 336227 1904 992 0 390324 0

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

/proc/121857/statm: 675533 604453 1904 992 0 667391 0
Current children cumulated CPU time: 2854.22 s
Current children cumulated vsize: 2702132 KiB
Current children cumulated memory: 2417812 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.20 4.22 5/262 124079
/proc/meminfo: memFree=618572/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2702132 memory=2420120 CPUtime=2914.05 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 463109 0 1 0 287737 3668 0 0 20 0 1 0 13240961 2766983168 605030 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 675533 605030 1904 992 0 667391 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 2702132 KiB
Current children cumulated memory: 2420120 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.18 4.20 5/260 124269
/proc/meminfo: memFree=506912/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2420124 CPUtime=2973.89 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 463500 0 1 0 293643 3746 0 0 20 0 1 0 13240961 2769715200 605031 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 605031 1904 992 0 668058 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2420124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.19 4.20 5/269 124290
/proc/meminfo: memFree=571160/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2420128 CPUtime=3033.72 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 464663 0 1 0 299550 3822 0 0 20 0 1 0 13240961 2769715200 605032 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 605032 1904 992 0 668058 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2420128 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.20 4.20 5/270 124303
/proc/meminfo: memFree=623232/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2421692 CPUtime=3093.56 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 466307 0 1 0 305485 3871 0 0 20 0 1 0 13240961 2769715200 605423 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 605423 1904 992 0 668058 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2421692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.21 4.20 5/273 124329
/proc/meminfo: memFree=505824/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2423740 CPUtime=3153.38 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 467511 0 1 0 311410 3928 0 0 20 0 1 0 13240961 2769715200 605935 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 605935 1904 992 0 668058 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2423740 KiB

[startup+3222.3 s]
/proc/loadavg: 4.30 4.23 4.21 5/274 124342
/proc/meminfo: memFree=566036/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2423744 CPUtime=3213.21 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 468387 0 1 0 317329 3992 0 0 20 0 1 0 13240961 2769715200 605936 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 605936 1904 992 0 668058 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2423744 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.23 4.21 5/264 124353
/proc/meminfo: memFree=680064/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2424376 CPUtime=3273.04 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 471473 0 1 0 323243 4061 0 0 20 0 1 0 13240961 2769715200 606094 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 606094 1904 992 0 668058 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2424376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.22 4.20 5/264 124364
/proc/meminfo: memFree=549968/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2424376 CPUtime=3332.86 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 471839 0 1 0 329138 4148 0 0 20 0 1 0 13240961 2769715200 606094 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 606094 1904 992 0 668058 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2424376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.19 4.19 5/264 124377
/proc/meminfo: memFree=610620/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2424376 CPUtime=3392.69 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 472386 0 1 0 335051 4218 0 0 20 0 1 0 13240961 2769715200 606094 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 606094 1904 992 0 668058 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2424376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.17 4.18 5/268 124391
/proc/meminfo: memFree=525760/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2424376 CPUtime=3452.51 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 472878 0 1 0 340962 4289 0 0 20 0 1 0 13240961 2769715200 606094 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 606094 1904 992 0 668058 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2424376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/272 124405
/proc/meminfo: memFree=669964/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2704800 memory=2424376 CPUtime=3512.33 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 473478 0 1 0 346888 4345 0 0 20 0 1 0 13240961 2769715200 606094 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676200 606094 1904 992 0 668058 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2424376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/263 124415
/proc/meminfo: memFree=599172/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2707180 memory=2452008 CPUtime=3572.14 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 478012 0 1 0 352825 4389 0 0 20 0 1 0 13240961 2772152320 613002 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 676795 613002 1904 992 0 668653 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 2707180 KiB
Current children cumulated memory: 2452008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.41 4.23 4.20 5/273 124431
/proc/meminfo: memFree=609892/131655788 swapFree=131047360/131071996
[pid=121857] ppid=121854 vsize=2710432 memory=2521456 CPUtime=3600.05 cores=5,7
/proc/121857/stat : 121857 (roundingsat) R 121854 121857 117307 0 -1 4194304 482053 0 1 0 355596 4409 0 0 20 0 1 0 13240961 2775482368 630364 134679101440 4194304 8254037 140726376498704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31064064 140726376506204 140726376506466 140726376506466 140726376513481 0
/proc/121857/statm: 677608 630364 1904 992 0 669466 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2710432 KiB
Current children cumulated memory: 2521456 KiB

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

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

# cumulated CPU time of all completed processes:  user=3555.98 s, system=44.1667 s

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

[startup+3610.4 s]*
/proc/loadavg: 4.41 4.23 4.20 5/273 124431
/proc/meminfo: memFree=1889012/131655788 swapFree=131047360/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3610.43
CPU time (s): 3600.14
CPU user time (s): 3555.98
CPU system time (s): 44.1667
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 2710432
Max. memory (cumulated for all children) (KiB): 2521456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.98
system time used= 44.1667
maximum resident set size= 2521688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482073
page faults= 2
swaps= 0
block input operations= 4320
block output operations= 89501784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 831
involuntary context switches= 4316


# summary of solver processes directly reported to runsolver:
#   pid: 121857
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3555.98
#   total CPU system time (s): 44.1667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8562 second user time and 38.9786 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 00:08:37
IDJOB=4456763
IDBENCH=147556
IDSOLVER=3085
FILE ID=nodeC006/4456763-1721772516
RUNJOBID= nodeC006-1721765589-117320
SLURM_JOB_ID= 7770663
Free space on /tmp= 723740 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456763-1721772516/watcher-4456763-1721772516 -o /tmp/evaluation-result-4456763-1721772516/solver-4456763-1721772516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117320 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456763-1721772516 --lp-cut-gomory=0 HOME/instance-4456763-1721772516.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=439429828

nodeC006.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		: 3495.645
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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		: 3654.514
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.40
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.157
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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.234
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.40
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		: 3504.680
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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		: 1396.325
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.40
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.292
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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.097
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        19786724 kB
MemAvailable:   128449316 kB
Buffers:          174768 kB
Cached:         109065820 kB
SwapCached:          320 kB
Active:          1053052 kB
Inactive:       109870736 kB
Active(anon):       4776 kB
Inactive(anon):  1715776 kB
Active(file):    1048276 kB
Inactive(file): 108154960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131047360 kB
Dirty:            180952 kB
Writeback:            16 kB
AnonPages:       1681296 kB
Mapped:           107976 kB
Shmem:             37252 kB
KReclaimable:     521264 kB
Slab:             627936 kB
SReclaimable:     521264 kB
SUnreclaim:       106672 kB
KernelStack:        4288 kB
PageTables:        12812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2392184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    860160 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:      357192 kB
DirectMap2M:    45684736 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC006 at 2024-07-24 01:08:48