Trace number 4460187

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 (2)No Cert. 3600.25 3665.17

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 
2.78/2.80	c #variables 10000 #constraints 656900
5.17/5.28	c bounds - >= 0 @ 2.05839
5.17/5.28	c rational objective 164.944
23.52/23.69	c bounds 5240 >= 0 @ 5.5707
23.52/23.69	c bounds 5019 >= 0 @ 5.57727
23.52/23.69	c bounds 5013 >= 0 @ 5.59119
23.52/23.69	c bounds 4998 >= 0 @ 5.59785
23.52/23.69	c bounds 4963 >= 0 @ 5.60364
23.52/23.69	c bounds 4947 >= 0 @ 5.61371
23.52/23.69	c bounds 4855 >= 0 @ 5.61744
23.52/23.69	c bounds 4585 >= 0 @ 5.62277
23.52/23.69	c bounds 4566 >= 0 @ 5.6286
23.52/23.69	c bounds 4545 >= 0 @ 5.63444
23.52/23.69	c bounds 4524 >= 0 @ 5.64746
23.52/23.69	c bounds 4480 >= 0 @ 5.65118
23.52/23.69	c bounds 4469 >= 0 @ 5.65672
23.52/23.69	c bounds 4445 >= 0 @ 5.7515
23.52/23.69	c bounds 4360 >= 0 @ 5.75795
23.52/23.69	c bounds 4313 >= 0 @ 5.77437
23.52/23.69	c bounds 4287 >= 0 @ 5.78431
23.52/23.69	c bounds 4222 >= 0 @ 5.78873
23.52/23.69	c bounds 4162 >= 0 @ 5.79516
23.52/23.69	c bounds 4120 >= 0 @ 5.79959
23.52/23.69	c bounds 4086 >= 0 @ 5.81352
23.52/23.69	c bounds 4072 >= 0 @ 5.83002
23.52/23.69	c bounds 4010 >= 0 @ 5.83592
23.52/23.69	c bounds 3988 >= 0 @ 5.8439
23.52/23.69	c bounds 3980 >= 0 @ 5.84906
23.52/23.69	c bounds 3958 >= 0 @ 5.85319
23.52/23.69	c bounds 3916 >= 0 @ 5.86468
23.52/23.69	c bounds 3909 >= 0 @ 5.86893
23.52/23.69	c bounds 3901 >= 0 @ 5.88823
23.52/23.69	c bounds 3899 >= 0 @ 5.93932
23.52/23.69	c bounds 3895 >= 0 @ 5.96279
23.52/23.69	c bounds 3849 >= 0 @ 6.00959
23.52/23.69	c bounds 3765 >= 0 @ 6.01546
23.52/23.69	c bounds 3758 >= 0 @ 6.12355
23.52/23.69	c bounds 3757 >= 0 @ 6.12954
23.52/23.69	c bounds 3701 >= 0 @ 6.13532
23.52/23.69	c bounds 3645 >= 0 @ 6.14097
23.52/23.69	c bounds 3602 >= 0 @ 6.15077
23.52/23.69	c bounds 3535 >= 0 @ 6.15507
23.52/23.69	c bounds 3526 >= 0 @ 6.23436
23.52/23.69	c bounds 3501 >= 0 @ 6.24322
23.52/23.69	c bounds 3494 >= 0 @ 6.45056
23.52/23.69	c bounds 3474 >= 0 @ 6.5167
23.52/23.69	c bounds 3410 >= 0 @ 6.52504
23.52/23.69	c bounds 3407 >= 0 @ 6.55572
23.52/23.69	c bounds 3349 >= 0 @ 6.57203
23.52/23.69	c bounds 3221 >= 0 @ 6.66677
23.52/23.69	c bounds 3178 >= 0 @ 6.68338
23.52/23.69	c bounds 3127 >= 0 @ 6.69229
23.52/23.69	c bounds 3103 >= 0 @ 6.74515
23.52/23.69	c bounds 3061 >= 0 @ 6.75314
23.52/23.69	c bounds 3018 >= 0 @ 6.76182
23.52/23.69	c bounds 2919 >= 0 @ 6.7672
23.52/23.69	c bounds 2898 >= 0 @ 6.77547
23.52/23.69	c bounds 2848 >= 0 @ 6.78287
23.52/23.69	c bounds 2793 >= 0 @ 6.7905
23.52/23.69	c bounds 2776 >= 0 @ 6.79704
23.52/23.69	c bounds 2767 >= 0 @ 6.80283
23.52/23.69	c bounds 2740 >= 0 @ 6.81096
23.52/23.69	c bounds 2693 >= 0 @ 6.81646
23.52/23.69	c bounds 2667 >= 0 @ 6.82519
23.52/23.69	c bounds 2664 >= 0 @ 6.84286
23.52/23.69	c bounds 2573 >= 0 @ 6.85487
23.52/23.69	c bounds 2458 >= 0 @ 6.86384
23.52/23.69	c bounds 2449 >= 0 @ 6.87902
23.52/23.69	c bounds 2377 >= 0 @ 6.88622
23.52/23.69	c bounds 2363 >= 0 @ 6.89424
23.52/23.69	c bounds 2272 >= 0 @ 6.90015
23.52/23.69	c bounds 2268 >= 0 @ 6.91837
23.52/23.69	c bounds 2254 >= 0 @ 6.92244
23.52/23.69	c bounds 2246 >= 0 @ 7.05248
23.52/23.69	c bounds 2241 >= 0 @ 7.06476
23.52/23.69	c bounds 2217 >= 0 @ 7.07844
23.52/23.69	c bounds 2205 >= 0 @ 7.09137
23.52/23.69	c bounds 2200 >= 0 @ 7.2023
23.52/23.69	c bounds 2198 >= 0 @ 7.20976
23.52/23.69	c bounds 2104 >= 0 @ 7.21976
23.52/23.69	c bounds 2019 >= 0 @ 7.22926
23.52/23.69	c bounds 1968 >= 0 @ 7.23626
23.52/23.69	c bounds 1964 >= 0 @ 7.32758
23.52/23.69	c bounds 1957 >= 0 @ 7.43275
23.52/23.69	c bounds 1947 >= 0 @ 7.43772
23.52/23.69	c bounds 1845 >= 0 @ 7.44553
23.52/23.69	c bounds 1841 >= 0 @ 7.45531
23.52/23.69	c bounds 1833 >= 0 @ 7.8167
23.52/23.69	c bounds 1822 >= 0 @ 7.82313
23.52/23.69	c bounds 1815 >= 0 @ 7.83097
23.52/23.69	c bounds 1715 >= 0 @ 7.83987
23.52/23.69	c bounds 1696 >= 0 @ 7.84804
23.52/23.69	c bounds 1694 >= 0 @ 8.02564
23.52/23.69	c bounds 1690 >= 0 @ 8.03291
23.52/23.69	c bounds 1684 >= 0 @ 8.49128
23.52/23.69	c bounds 1627 >= 0 @ 8.49752
23.52/23.69	c bounds 1605 >= 0 @ 8.50548
23.52/23.69	c bounds 1551 >= 0 @ 8.5137
23.52/23.69	c bounds 1543 >= 0 @ 8.51786
23.52/23.69	c bounds 1530 >= 0 @ 8.52505
23.52/23.69	c bounds 1519 >= 0 @ 8.70077
23.52/23.69	c bounds 1472 >= 0 @ 8.71394
23.52/23.69	c bounds 1335 >= 0 @ 8.75214
23.52/23.69	c #Conflicts:       1000 | #Constraints:     658009
23.52/23.69	c bounds 1288 >= 0 @ 8.76336
23.52/23.69	c bounds 1197 >= 0 @ 8.77093
23.52/23.69	c bounds 1108 >= 0 @ 8.78067
23.52/23.69	c bounds 1097 >= 0 @ 8.79072
23.52/23.69	c bounds 1066 >= 0 @ 8.80077
23.52/23.69	c bounds 1036 >= 0 @ 8.80716
23.52/23.69	c bounds 990 >= 0 @ 8.82059
23.52/23.69	c bounds 978 >= 0 @ 8.89183
23.52/23.69	c bounds 971 >= 0 @ 9.33496
23.52/23.69	c bounds 925 >= 0 @ 9.51203
23.52/23.69	c bounds 872 >= 0 @ 9.57436
23.52/23.69	c bounds 772 >= 0 @ 9.59935
23.52/23.69	c bounds 648 >= 0 @ 9.73322
23.52/23.69	c bounds 626 >= 0 @ 9.74215
23.52/23.69	c bounds 580 >= 0 @ 9.95985
23.52/23.69	c bounds 576 >= 0 @ 9.97321
23.52/23.69	c bounds 569 >= 0 @ 9.9803
23.52/23.69	c bounds 489 >= 0 @ 10.4325
23.52/23.69	c bounds 488 >= 0 @ 10.4395
23.52/23.69	c bounds 486 >= 0 @ 10.9617
23.52/23.69	c #Conflicts:       2000 | #Constraints:     659032
23.52/23.69	c INPROCESSING
23.52/23.69	c GARBAGE COLLECT
23.52/23.69	c bounds 445 >= 0 @ 12.1854
23.52/23.69	c #Conflicts:       3000 | #Constraints:     658917
23.52/23.69	c bounds 376 >= 0 @ 15.091
23.52/23.69	c bounds 375 >= 0 @ 15.1012
23.52/23.69	c bounds 374 >= 0 @ 15.109
23.52/23.69	c bounds 370 >= 0 @ 15.117
23.52/23.69	c bounds 366 >= 0 @ 15.1701
23.52/23.69	c bounds 363 >= 0 @ 15.2711
23.52/23.69	c bounds 360 >= 0 @ 15.3365
23.52/23.69	c bounds 357 >= 0 @ 15.356
23.52/23.69	c bounds 351 >= 0 @ 15.3818
23.52/23.69	c bounds 350 >= 0 @ 15.4038
23.52/23.69	c bounds 349 >= 0 @ 15.6865
23.52/23.69	c #Conflicts:       4000 | #Constraints:     659928
23.52/23.69	c INPROCESSING
23.52/23.69	c GARBAGE COLLECT
23.52/23.69	c #Conflicts:       5000 | #Constraints:     659323
33.00/33.18	c #Conflicts:       6000 | #Constraints:     660323
33.00/33.18	c INPROCESSING
33.00/33.18	c GARBAGE COLLECT
33.00/33.18	c rational objective 164.944
48.34/48.57	c bounds 348 >= 0 @ 31.3221
48.34/48.57	c #Conflicts:       7000 | #Constraints:     659331
48.34/48.57	c bounds 346 >= 0 @ 34.8701
48.34/48.57	c bounds 346 >= 5 @ 34.8813
48.34/48.57	c #Conflicts:       8000 | #Constraints:     660337
48.34/48.57	c #Conflicts:       9000 | #Constraints:     661337
48.34/48.57	c INPROCESSING
48.34/48.57	c GARBAGE COLLECT
48.34/48.57	c rational objective 165.25
63.31/63.56	c #Conflicts:      10000 | #Constraints:     660047
63.31/63.56	c bounds 346 >= 10 @ 51.0042
63.31/63.56	c #Conflicts:      11000 | #Constraints:     661053
63.31/63.56	c #Conflicts:      12000 | #Constraints:     662053
63.31/63.56	c INPROCESSING
63.31/63.56	c GARBAGE COLLECT
63.31/63.56	c rational objective 165.91
92.53/92.86	c bounds 345 >= 10 @ 61.3646
92.53/92.86	c bounds 344 >= 10 @ 67.078
92.53/92.86	c bounds 344 >= 14 @ 67.0944
92.53/92.86	c #Conflicts:      13000 | #Constraints:     660510
92.53/92.86	c #Conflicts:      14000 | #Constraints:     661520
92.53/92.86	c #Conflicts:      15000 | #Constraints:     662523
92.53/92.86	c INPROCESSING
92.53/92.86	c GARBAGE COLLECT
92.53/92.86	c rational objective 165.96
121.16/121.54	c bounds 343 >= 14 @ 91.2579
121.16/121.54	c bounds 341 >= 14 @ 91.2961
121.16/121.54	c #Conflicts:      16000 | #Constraints:     660726
121.16/121.54	c bounds 339 >= 14 @ 101.539
121.16/121.54	c #Conflicts:      17000 | #Constraints:     661727
121.16/121.54	c #Conflicts:      18000 | #Constraints:     662727
121.16/121.54	c INPROCESSING
121.16/121.54	c GARBAGE COLLECT
121.16/121.54	c rational objective 166.004
187.48/188.07	c #Conflicts:      19000 | #Constraints:     660739
187.48/188.07	c #Conflicts:      20000 | #Constraints:     661739
187.48/188.07	c #Conflicts:      21000 | #Constraints:     662740
187.48/188.07	c INPROCESSING
187.48/188.07	c #Conflicts:      22000 | #Constraints:     660540
187.48/188.07	c #Conflicts:      23000 | #Constraints:     661541
187.48/188.07	c #Conflicts:      24000 | #Constraints:     662542
187.48/188.07	c #Conflicts:      25000 | #Constraints:     663545
187.48/188.07	c INPROCESSING
187.48/188.07	c GARBAGE COLLECT
187.48/188.07	c rational objective 166.004
287.59/288.40	c #Conflicts:      26000 | #Constraints:     661148
287.59/288.40	c #Conflicts:      27000 | #Constraints:     662149
287.59/288.40	c #Conflicts:      28000 | #Constraints:     663151
287.59/288.40	c #Conflicts:      29000 | #Constraints:     664153
287.59/288.40	c INPROCESSING
287.59/288.40	c #Conflicts:      30000 | #Constraints:     661550
287.59/288.40	c #Conflicts:      31000 | #Constraints:     662554
287.59/288.40	c #Conflicts:      32000 | #Constraints:     663555
287.59/288.40	c #Conflicts:      33000 | #Constraints:     664556
287.59/288.40	c INPROCESSING
287.59/288.40	c GARBAGE COLLECT
287.59/288.40	c #Conflicts:      34000 | #Constraints:     661753
287.59/288.40	c #Conflicts:      35000 | #Constraints:     662756
287.59/288.40	c #Conflicts:      36000 | #Constraints:     663760
287.59/288.40	c #Conflicts:      37000 | #Constraints:     664761
287.59/288.40	c INPROCESSING
287.59/288.40	c GARBAGE COLLECT
287.59/288.40	c rational objective 166.004
331.37/332.30	c #Conflicts:      38000 | #Constraints:     661762
331.37/332.30	c #Conflicts:      39000 | #Constraints:     662762
331.37/332.30	c #Conflicts:      40000 | #Constraints:     663763
331.37/332.30	c #Conflicts:      41000 | #Constraints:     664767
331.37/332.30	c INPROCESSING
331.37/332.30	c GARBAGE COLLECT
331.37/332.30	c rational objective 166.053
432.50/433.74	c #Conflicts:      42000 | #Constraints:     661574
432.50/433.74	c #Conflicts:      43000 | #Constraints:     662574
432.50/433.74	c #Conflicts:      44000 | #Constraints:     663577
432.50/433.74	c #Conflicts:      45000 | #Constraints:     664582
432.50/433.74	c #Conflicts:      46000 | #Constraints:     665583
432.50/433.74	c INPROCESSING
432.50/433.74	c GARBAGE COLLECT
432.50/433.74	c bounds 338 >= 14 @ 365.259
432.50/433.74	c bounds 338 >= 16 @ 365.272
432.50/433.74	c bounds 338 >= 18 @ 365.291
432.50/433.74	c bounds 338 >= 20 @ 365.314
432.50/433.74	c bounds 338 >= 22 @ 365.347
432.50/433.74	c bounds 338 >= 24 @ 366.11
432.50/433.74	c #Conflicts:      47000 | #Constraints:     662214
432.50/433.74	c #Conflicts:      48000 | #Constraints:     663214
432.50/433.74	c #Conflicts:      49000 | #Constraints:     664214
432.50/433.74	c #Conflicts:      50000 | #Constraints:     665214
432.50/433.74	c #Conflicts:      51000 | #Constraints:     666214
432.50/433.74	c INPROCESSING
432.50/433.74	c GARBAGE COLLECT
432.50/433.74	c rational objective 166.055
548.79/550.34	c bounds 334 >= 24 @ 429.465
548.79/550.34	c bounds 331 >= 24 @ 429.655
548.79/550.34	c bounds 328 >= 24 @ 430.021
548.79/550.34	c bounds 327 >= 24 @ 430.856
548.79/550.34	c bounds 323 >= 24 @ 434.423
548.79/550.34	c #Conflicts:      52000 | #Constraints:     662643
548.79/550.34	c #Conflicts:      53000 | #Constraints:     663654
548.79/550.34	c #Conflicts:      54000 | #Constraints:     664673
548.79/550.34	c bounds 322 >= 24 @ 476.046
548.79/550.34	c bounds 322 >= 25 @ 476.072
548.79/550.34	c bounds 322 >= 26 @ 476.105
548.79/550.34	c bounds 322 >= 27 @ 476.14
548.79/550.34	c bounds 322 >= 28 @ 476.17
548.79/550.34	c bounds 322 >= 29 @ 476.201
548.79/550.34	c bounds 322 >= 30 @ 476.235
548.79/550.34	c bounds 322 >= 31 @ 476.275
548.79/550.34	c bounds 322 >= 32 @ 476.303
548.79/550.34	c bounds 322 >= 33 @ 476.341
548.79/550.34	c bounds 322 >= 34 @ 476.375
548.79/550.34	c bounds 322 >= 35 @ 476.409
548.79/550.34	c bounds 322 >= 36 @ 476.445
548.79/550.34	c bounds 322 >= 37 @ 476.49
548.79/550.34	c bounds 322 >= 38 @ 476.527
548.79/550.34	c bounds 322 >= 39 @ 476.565
548.79/550.34	c bounds 322 >= 40 @ 476.607
548.79/550.34	c bounds 322 >= 41 @ 476.654
548.79/550.34	c bounds 322 >= 42 @ 476.698
548.79/550.34	c bounds 322 >= 43 @ 476.737
548.79/550.34	c bounds 322 >= 44 @ 476.777
548.79/550.34	c bounds 322 >= 45 @ 476.817
548.79/550.34	c bounds 322 >= 46 @ 476.852
548.79/550.34	c bounds 322 >= 47 @ 476.886
548.79/550.34	c bounds 322 >= 48 @ 476.94
548.79/550.34	c bounds 322 >= 49 @ 481.294
548.79/550.34	c bounds 322 >= 50 @ 481.347
548.79/550.34	c bounds 322 >= 51 @ 481.405
548.79/550.34	c bounds 322 >= 52 @ 481.492
548.79/550.34	c bounds 322 >= 53 @ 481.589
548.79/550.34	c bounds 322 >= 54 @ 481.696
548.79/550.34	c bounds 322 >= 55 @ 482.225
548.79/550.34	c bounds 322 >= 56 @ 482.379
548.79/550.34	c bounds 322 >= 57 @ 482.568
548.79/550.34	c bounds 322 >= 58 @ 483.186
548.79/550.34	c bounds 322 >= 59 @ 483.805
548.79/550.34	c bounds 322 >= 60 @ 484.454
548.79/550.34	c bounds 322 >= 61 @ 485.501
548.79/550.34	c bounds 322 >= 62 @ 485.6
548.79/550.34	c bounds 322 >= 63 @ 486.896
548.79/550.34	c bounds 322 >= 64 @ 488.394
548.79/550.34	c #Conflicts:      55000 | #Constraints:     666034
548.79/550.34	c bounds 322 >= 65 @ 489.718
548.79/550.34	c bounds 322 >= 66 @ 491.501
548.79/550.34	c bounds 322 >= 67 @ 493.565
548.79/550.34	c #Conflicts:      56000 | #Constraints:     667091
548.79/550.34	c INPROCESSING
548.79/550.34	c GARBAGE COLLECT
548.79/550.34	c rational objective 166.104
654.60/656.43	c bounds 322 >= 68 @ 543.308
654.60/656.43	c bounds 322 >= 69 @ 545.597
654.60/656.43	c #Conflicts:      57000 | #Constraints:     663263
654.60/656.43	c bounds 322 >= 70 @ 557.223
654.60/656.43	c #Conflicts:      58000 | #Constraints:     664293
654.60/656.43	c bounds 322 >= 71 @ 563.858
654.60/656.43	c #Conflicts:      59000 | #Constraints:     665320
654.60/656.43	c bounds 322 >= 72 @ 569.205
654.60/656.43	c #Conflicts:      60000 | #Constraints:     666359
654.60/656.43	c bounds 322 >= 73 @ 580.934
654.60/656.43	c #Conflicts:      61000 | #Constraints:     667380
654.60/656.43	c INPROCESSING
654.60/656.43	c GARBAGE COLLECT
654.60/656.43	c rational objective 166.104
813.37/815.60	c #Conflicts:      62000 | #Constraints:     663361
813.37/815.60	c bounds 322 >= 74 @ 653.177
813.37/815.60	c #Conflicts:      63000 | #Constraints:     664388
813.37/815.60	c #Conflicts:      64000 | #Constraints:     665388
813.37/815.60	c bounds 319 >= 74 @ 668.499
813.37/815.60	c bounds 319 >= 75 @ 680.987
813.37/815.60	c bounds 318 >= 75 @ 681.031
813.37/815.60	c #Conflicts:      65000 | #Constraints:     666420
813.37/815.60	c bounds 317 >= 75 @ 685.171
813.37/815.60	c #Conflicts:      66000 | #Constraints:     667421
813.37/815.60	c INPROCESSING
813.37/815.60	c GARBAGE COLLECT
813.37/815.60	c bounds 316 >= 75 @ 694.895
813.37/815.60	c #Conflicts:      67000 | #Constraints:     663218
813.37/815.60	c bounds 315 >= 75 @ 701.465
813.37/815.60	c bounds 313 >= 75 @ 701.509
813.37/815.60	c bounds 311 >= 75 @ 703.864
813.37/815.60	c #Conflicts:      68000 | #Constraints:     664227
813.37/815.60	c bounds 311 >= 76 @ 711.695
813.37/815.60	c #Conflicts:      69000 | #Constraints:     665251
813.37/815.60	c #Conflicts:      70000 | #Constraints:     666251
813.37/815.60	c #Conflicts:      71000 | #Constraints:     667259
813.37/815.60	c #Conflicts:      72000 | #Constraints:     668269
813.37/815.60	c INPROCESSING
813.37/815.60	c GARBAGE COLLECT
813.37/815.60	c rational objective 166.104
993.50/996.24	c #Conflicts:      73000 | #Constraints:     663844
993.50/996.24	c bounds 311 >= 77 @ 812.242
993.50/996.24	c #Conflicts:      74000 | #Constraints:     664862
993.50/996.24	c #Conflicts:      75000 | #Constraints:     665862
993.50/996.24	c bounds 311 >= 78 @ 829.415
993.50/996.24	c #Conflicts:      76000 | #Constraints:     666904
993.50/996.24	c #Conflicts:      77000 | #Constraints:     667904
993.50/996.24	c bounds 311 >= 79 @ 852.016
993.50/996.24	c #Conflicts:      78000 | #Constraints:     668931
993.50/996.24	c INPROCESSING
993.50/996.24	c GARBAGE COLLECT
993.50/996.24	c rational objective 166.104
1266.21/1269.77	c #Conflicts:      79000 | #Constraints:     664326
1266.21/1269.77	c #Conflicts:      80000 | #Constraints:     665326
1266.21/1269.77	c #Conflicts:      81000 | #Constraints:     666326
1266.21/1269.77	c bounds 311 >= 80 @ 1016.49
1266.21/1269.77	c #Conflicts:      82000 | #Constraints:     667368
1266.21/1269.77	c #Conflicts:      83000 | #Constraints:     668368
1266.21/1269.77	c #Conflicts:      84000 | #Constraints:     669368
1266.21/1269.77	c INPROCESSING
1266.21/1269.77	c GARBAGE COLLECT
1266.21/1269.77	c #Conflicts:      85000 | #Constraints:     664583
1266.21/1269.77	c #Conflicts:      86000 | #Constraints:     665583
1266.21/1269.77	c #Conflicts:      87000 | #Constraints:     666583
1266.21/1269.77	c #Conflicts:      88000 | #Constraints:     667583
1266.21/1269.77	c bounds 311 >= 81 @ 1093.38
1266.21/1269.77	c #Conflicts:      89000 | #Constraints:     668640
1266.21/1269.77	c #Conflicts:      90000 | #Constraints:     669649
1266.21/1269.77	c INPROCESSING
1266.21/1269.77	c GARBAGE COLLECT
1266.21/1269.77	c #Conflicts:      91000 | #Constraints:     664637
1266.21/1269.77	c #Conflicts:      92000 | #Constraints:     665644
1266.21/1269.77	c #Conflicts:      93000 | #Constraints:     666653
1266.21/1269.77	c #Conflicts:      94000 | #Constraints:     667662
1266.21/1269.77	c #Conflicts:      95000 | #Constraints:     668671
1266.21/1269.77	c #Conflicts:      96000 | #Constraints:     669679
1266.21/1269.77	c INPROCESSING
1266.21/1269.77	c GARBAGE COLLECT
1266.21/1269.77	c rational objective 166.104
1343.27/1347.03	c #Conflicts:      97000 | #Constraints:     664461
1343.27/1347.03	c #Conflicts:      98000 | #Constraints:     665461
1343.27/1347.03	c #Conflicts:      99000 | #Constraints:     666461
1343.27/1347.03	c #Conflicts:     100000 | #Constraints:     667461
1343.27/1347.03	c #Conflicts:     101000 | #Constraints:     668461
1343.27/1347.03	c #Conflicts:     102000 | #Constraints:     669461
1343.27/1347.03	c #Conflicts:     103000 | #Constraints:     670461
1343.27/1347.03	c INPROCESSING
1343.27/1347.03	c GARBAGE COLLECT
1343.27/1347.03	c rational objective 166.104
1434.65/1438.72	c #Conflicts:     104000 | #Constraints:     665064
1434.65/1438.72	c #Conflicts:     105000 | #Constraints:     666064
1434.65/1438.72	c #Conflicts:     106000 | #Constraints:     667064
1434.65/1438.72	c #Conflicts:     107000 | #Constraints:     668064
1434.65/1438.72	c bounds 311 >= 82 @ 1375.92
1434.65/1438.72	c #Conflicts:     108000 | #Constraints:     669088
1434.65/1438.72	c #Conflicts:     109000 | #Constraints:     670088
1434.65/1438.72	c #Conflicts:     110000 | #Constraints:     671088
1434.65/1438.72	c INPROCESSING
1434.65/1438.72	c GARBAGE COLLECT
1434.65/1438.72	c rational objective 166.5
1532.71/1537.12	c #Conflicts:     111000 | #Constraints:     665486
1532.71/1537.12	c #Conflicts:     112000 | #Constraints:     666486
1532.71/1537.12	c #Conflicts:     113000 | #Constraints:     667486
1532.71/1537.12	c #Conflicts:     114000 | #Constraints:     668486
1532.71/1537.12	c #Conflicts:     115000 | #Constraints:     669486
1532.71/1537.12	c #Conflicts:     116000 | #Constraints:     670486
1532.71/1537.12	c bounds 311 >= 83 @ 1496.7
1532.71/1537.12	c #Conflicts:     117000 | #Constraints:     671543
1532.71/1537.12	c INPROCESSING
1532.71/1537.12	c GARBAGE COLLECT
1532.71/1537.12	c rational objective 166.5
1623.00/1627.70	c #Conflicts:     118000 | #Constraints:     665737
1623.00/1627.70	c #Conflicts:     119000 | #Constraints:     666737
1623.00/1627.70	c #Conflicts:     120000 | #Constraints:     667737
1623.00/1627.70	c #Conflicts:     121000 | #Constraints:     668737
1623.00/1627.70	c #Conflicts:     122000 | #Constraints:     669737
1623.00/1627.70	c #Conflicts:     123000 | #Constraints:     670737
1623.00/1627.70	c #Conflicts:     124000 | #Constraints:     671737
1623.00/1627.70	c INPROCESSING
1623.00/1627.70	c GARBAGE COLLECT
1623.00/1627.70	c rational objective 166.5
1803.72/1809.05	c #Conflicts:     125000 | #Constraints:     665731
1803.72/1809.05	c bounds 310 >= 83 @ 1610.21
1803.72/1809.05	c bounds 309 >= 83 @ 1610.24
1803.72/1809.05	c #Conflicts:     126000 | #Constraints:     666751
1803.72/1809.05	c #Conflicts:     127000 | #Constraints:     667767
1803.72/1809.05	c #Conflicts:     128000 | #Constraints:     668780
1803.72/1809.05	c #Conflicts:     129000 | #Constraints:     669788
1803.72/1809.05	c #Conflicts:     130000 | #Constraints:     670797
1803.72/1809.05	c #Conflicts:     131000 | #Constraints:     671808
1803.72/1809.05	c INPROCESSING
1803.72/1809.05	c GARBAGE COLLECT
1803.72/1809.05	c rational objective 166.5
2070.83/2077.03	c #Conflicts:     132000 | #Constraints:     665574
2070.83/2077.03	c #Conflicts:     133000 | #Constraints:     666574
2070.83/2077.03	c #Conflicts:     134000 | #Constraints:     667574
2070.83/2077.03	c #Conflicts:     135000 | #Constraints:     668574
2070.83/2077.03	c #Conflicts:     136000 | #Constraints:     669574
2070.83/2077.03	c #Conflicts:     137000 | #Constraints:     670574
2070.83/2077.03	c #Conflicts:     138000 | #Constraints:     671574
2070.83/2077.03	c bounds 309 >= 84 @ 1883.63
2070.83/2077.03	c #Conflicts:     139000 | #Constraints:     672631
2070.83/2077.03	c INPROCESSING
2070.83/2077.03	c GARBAGE COLLECT
2070.83/2077.03	c rational objective 166.5
2187.04/2193.63	c #Conflicts:     140000 | #Constraints:     666213
2187.04/2193.63	c #Conflicts:     141000 | #Constraints:     667213
2187.04/2193.63	c #Conflicts:     142000 | #Constraints:     668213
2187.04/2193.63	c #Conflicts:     143000 | #Constraints:     669213
2187.04/2193.63	c #Conflicts:     144000 | #Constraints:     670213
2187.04/2193.63	c #Conflicts:     145000 | #Constraints:     671213
2187.04/2193.63	c #Conflicts:     146000 | #Constraints:     672213
2187.04/2193.63	c #Conflicts:     147000 | #Constraints:     673213
2187.04/2193.63	c INPROCESSING
2187.04/2193.63	c GARBAGE COLLECT
2187.04/2193.63	c rational objective 166.5
2307.85/2314.81	c #Conflicts:     148000 | #Constraints:     666605
2307.85/2314.81	c #Conflicts:     149000 | #Constraints:     667605
2307.85/2314.81	c #Conflicts:     150000 | #Constraints:     668605
2307.85/2314.81	c #Conflicts:     151000 | #Constraints:     669605
2307.85/2314.81	c #Conflicts:     152000 | #Constraints:     670605
2307.85/2314.81	c #Conflicts:     153000 | #Constraints:     671605
2307.85/2314.81	c #Conflicts:     154000 | #Constraints:     672605
2307.85/2314.81	c #Conflicts:     155000 | #Constraints:     673605
2307.85/2314.81	c INPROCESSING
2307.85/2314.81	c GARBAGE COLLECT
2307.85/2314.81	c rational objective 166.5
2437.92/2445.39	c #Conflicts:     156000 | #Constraints:     666807
2437.92/2445.39	c #Conflicts:     157000 | #Constraints:     667807
2437.92/2445.39	c #Conflicts:     158000 | #Constraints:     668807
2437.92/2445.39	c #Conflicts:     159000 | #Constraints:     669807
2437.92/2445.39	c #Conflicts:     160000 | #Constraints:     670807
2437.92/2445.39	c #Conflicts:     161000 | #Constraints:     671807
2437.92/2445.39	c #Conflicts:     162000 | #Constraints:     672807
2437.92/2445.39	c #Conflicts:     163000 | #Constraints:     673807
2437.92/2445.39	c INPROCESSING
2437.92/2445.39	c GARBAGE COLLECT
2437.92/2445.39	c rational objective 166.5
2600.89/2608.81	c #Conflicts:     164000 | #Constraints:     666816
2600.89/2608.81	c #Conflicts:     165000 | #Constraints:     667830
2600.89/2608.81	c #Conflicts:     166000 | #Constraints:     668836
2600.89/2608.81	c #Conflicts:     167000 | #Constraints:     669845
2600.89/2608.81	c bounds 307 >= 84 @ 2475.72
2600.89/2608.81	c #Conflicts:     168000 | #Constraints:     670856
2600.89/2608.81	c #Conflicts:     169000 | #Constraints:     671856
2600.89/2608.81	c #Conflicts:     170000 | #Constraints:     672856
2600.89/2608.81	c #Conflicts:     171000 | #Constraints:     673856
2600.89/2608.81	c INPROCESSING
2600.89/2608.81	c GARBAGE COLLECT
2600.89/2608.81	c rational objective 166.5
2785.69/2794.23	c bounds 306 >= 84 @ 2567.81
2785.69/2794.23	c #Conflicts:     172000 | #Constraints:     666634
2785.69/2794.23	c #Conflicts:     173000 | #Constraints:     667648
2785.69/2794.23	c #Conflicts:     174000 | #Constraints:     668658
2785.69/2794.23	c #Conflicts:     175000 | #Constraints:     669672
2785.69/2794.23	c #Conflicts:     176000 | #Constraints:     670690
2785.69/2794.23	c #Conflicts:     177000 | #Constraints:     671704
2785.69/2794.23	c #Conflicts:     178000 | #Constraints:     672716
2785.69/2794.23	c bounds 305 >= 84 @ 2705.08
2785.69/2794.23	c #Conflicts:     179000 | #Constraints:     673723
2785.69/2794.23	c #Conflicts:     180000 | #Constraints:     674723
2785.69/2794.23	c INPROCESSING
2785.69/2794.23	c GARBAGE COLLECT
2785.69/2794.23	c rational objective 166.5
2934.01/2943.08	c #Conflicts:     181000 | #Constraints:     667264
2934.01/2943.08	c #Conflicts:     182000 | #Constraints:     668264
2934.01/2943.08	c #Conflicts:     183000 | #Constraints:     669264
2934.01/2943.08	c #Conflicts:     184000 | #Constraints:     670264
2934.01/2943.08	c #Conflicts:     185000 | #Constraints:     671264
2934.01/2943.08	c #Conflicts:     186000 | #Constraints:     672264
2934.01/2943.08	c #Conflicts:     187000 | #Constraints:     673264
2934.01/2943.08	c #Conflicts:     188000 | #Constraints:     674264
2934.01/2943.08	c #Conflicts:     189000 | #Constraints:     675264
2934.01/2943.08	c INPROCESSING
2934.01/2943.08	c GARBAGE COLLECT
2934.01/2943.08	c rational objective 166.5
3097.65/3107.27	c #Conflicts:     190000 | #Constraints:     667637
3097.65/3107.27	c #Conflicts:     191000 | #Constraints:     668637
3097.65/3107.27	c #Conflicts:     192000 | #Constraints:     669637
3097.65/3107.27	c #Conflicts:     193000 | #Constraints:     670637
3097.65/3107.27	c #Conflicts:     194000 | #Constraints:     671637
3097.65/3107.27	c #Conflicts:     195000 | #Constraints:     672637
3097.65/3107.27	c bounds 305 >= 85 @ 3000.6
3097.65/3107.27	c #Conflicts:     196000 | #Constraints:     673667
3097.65/3107.27	c bounds 304 >= 85 @ 3001.61
3097.65/3107.27	c #Conflicts:     197000 | #Constraints:     674691
3097.65/3107.27	c #Conflicts:     198000 | #Constraints:     675706
3097.65/3107.27	c INPROCESSING
3097.65/3107.27	c GARBAGE COLLECT
3097.65/3107.27	c rational objective 166.5
3277.87/3288.09	c bounds 302 >= 85 @ 3064.92
3277.87/3288.09	c bounds 301 >= 85 @ 3067.65
3277.87/3288.09	c #Conflicts:     199000 | #Constraints:     667870
3277.87/3288.09	c #Conflicts:     200000 | #Constraints:     668880
3277.87/3288.09	c #Conflicts:     201000 | #Constraints:     669888
3277.87/3288.09	c bounds 300 >= 85 @ 3125.17
3277.87/3288.09	c #Conflicts:     202000 | #Constraints:     670895
3277.87/3288.09	c #Conflicts:     203000 | #Constraints:     671895
3277.87/3288.09	c #Conflicts:     204000 | #Constraints:     672895
3277.87/3288.09	c #Conflicts:     205000 | #Constraints:     673895
3277.87/3288.09	c #Conflicts:     206000 | #Constraints:     674895
3277.87/3288.09	c #Conflicts:     207000 | #Constraints:     675895
3277.87/3288.09	c INPROCESSING
3277.87/3288.09	c GARBAGE COLLECT
3277.87/3288.09	c rational objective 166.5
3431.09/3441.73	c #Conflicts:     208000 | #Constraints:     667857
3431.09/3441.73	c #Conflicts:     209000 | #Constraints:     668857
3431.09/3441.73	c #Conflicts:     210000 | #Constraints:     669857
3431.09/3441.73	c #Conflicts:     211000 | #Constraints:     670857
3431.09/3441.73	c #Conflicts:     212000 | #Constraints:     671857
3431.09/3441.73	c #Conflicts:     213000 | #Constraints:     672857
3431.09/3441.73	c #Conflicts:     214000 | #Constraints:     673857
3431.09/3441.73	c #Conflicts:     215000 | #Constraints:     674857
3431.09/3441.73	c #Conflicts:     216000 | #Constraints:     675857
3431.09/3441.73	c INPROCESSING
3431.09/3441.73	c GARBAGE COLLECT
3431.09/3441.73	c rational objective 166.5
3600.05/3611.16	c #Conflicts:     217000 | #Constraints:     667648
3600.05/3611.16	c bounds 298 >= 85 @ 3393.43
3600.05/3611.16	c bounds 297 >= 85 @ 3397.59
3600.05/3611.16	c #Conflicts:     218000 | #Constraints:     668655
3600.05/3611.16	c #Conflicts:     219000 | #Constraints:     669666
3600.05/3611.16	c #Conflicts:     220000 | #Constraints:     670672
3600.05/3611.16	c #Conflicts:     221000 | #Constraints:     671684
3600.05/3611.16	c #Conflicts:     222000 | #Constraints:     672695
3600.05/3611.16	c #Conflicts:     223000 | #Constraints:     673700
3600.05/3611.16	c #Conflicts:     224000 | #Constraints:     674705
3600.05/3611.16	c #Conflicts:     225000 | #Constraints:     675713
3600.05/3611.16	c Program interrupted by user.
3600.05/3611.16	c cpu time 3555.21 s
3600.05/3611.16	c deterministic time 445228119665 4.45e+11
3600.05/3611.16	c optimization time 158.545 s
3600.05/3611.16	c total solve time 3394.6 s
3600.05/3611.16	c core-guided solve time 2452.65 s
3600.05/3611.16	c propagation time 1923.18 s
3600.05/3611.16	c conflict analysis time 878.485 s
3600.05/3611.16	c propagations 77559942
3600.05/3611.16	c resolve steps 3203980
3600.05/3611.16	c decisions 13419189
3600.05/3611.16	c conflicts 225025
3600.05/3611.16	c restarts 510
3600.05/3611.16	c inprocessing phases 38
3600.05/3611.16	c input clauses 657181
3600.05/3611.16	c input cardinalities 69
3600.05/3611.16	c input general constraints 864
3600.05/3611.16	c input average constraint length 6.45
3600.05/3611.16	c input average constraint degree 122.75
3600.05/3611.16	c learned clauses 87973
3600.05/3611.16	c learned cardinalities 3
3600.05/3611.16	c learned general constraints 137646
3600.05/3611.16	c learned average constraint length 4311.55
3600.05/3611.16	c learned average constraint degree 92021895223.72
3600.05/3611.16	c watched constraints 27468
3600.05/3611.16	c counting constraints 111042
3600.05/3611.16	c gcd simplifications 4035
3600.05/3611.16	c detected cardinalities 0
3600.05/3611.16	c weakened non-implied lits 312505398
3600.05/3611.16	c weakened non-implying lits 75999
3600.05/3611.16	c original variables 10000
3600.05/3611.16	c clausal propagations 14835760
3600.05/3611.16	c cardinality propagations 123647
3600.05/3611.16	c watched propagations 3415838
3600.05/3611.16	c counting propagations 58373102
3600.05/3611.16	c watch lookups 14090411482
3600.05/3611.16	c watch backjump lookups 13918311532
3600.05/3611.16	c watch checks 161368341673
3600.05/3611.16	c propagation checks 250758367353
3600.05/3611.16	c constraint additions 4910156315
3600.05/3611.16	c trail pops 91193513
3600.05/3611.16	c formula constraints 656900
3600.05/3611.16	c learned constraints 224452
3600.05/3611.16	c bound constraints 233
3600.05/3611.16	c core-guided constraints 981
3600.05/3611.16	c encountered formula constraints 1487608
3600.05/3611.16	c encountered learned constraints 1431641
3600.05/3611.16	c encountered bound constraints 2787
3600.05/3611.16	c encountered core-guided constraints 461329
3600.05/3611.16	c LP total time 1094.52 s
3600.05/3611.16	c LP solve time 1073.38 s
3600.05/3611.16	c LP constraints added 656922
3600.05/3611.16	c LP constraints removed 14
3600.05/3611.16	c LP pivots internal 225073
3600.05/3611.16	c LP pivots root 133592
3600.05/3611.16	c LP calls 1046
3600.05/3611.16	c LP optimalities 457
3600.05/3611.16	c LP no pivot count 128
3600.05/3611.16	c LP infeasibilities 585
3600.05/3611.16	c LP valid Farkas constraints 585
3600.05/3611.16	c LP learned Farkas constraints 585
3600.05/3611.16	c LP basis resets 0
3600.05/3611.16	c LP cycling count 0
3600.05/3611.16	c LP singular count 0
3600.05/3611.16	c LP no primal count 0
3600.05/3611.16	c LP no farkas count 0
3600.05/3611.16	c LP other issue count 0
3600.05/3611.16	c LP Gomory cuts 0
3600.05/3611.16	c LP learned cuts 22
3600.05/3611.16	c LP deleted cuts 14
3600.05/3611.16	c LP encountered Gomory constraints 0
3600.05/3611.16	c LP encountered Farkas constraints 42847
3600.05/3611.16	c LP encountered learned Farkas constraints 2208
3600.05/3611.16	c CG auxiliary variables introduced 350
3600.05/3611.16	c CG solutions found 164
3600.05/3611.16	c CG cores constructed 69
3600.05/3611.16	c CG core cardinality constraints returned 0
3600.05/3611.16	c CG unit cores 0
3600.05/3611.16	c CG single cores 63
3600.05/3611.16	c CG blocks removed during cardinality reduction 0
3600.05/3611.16	c CG first core best 0
3600.05/3611.16	c CG decision core best 0
3600.05/3611.16	c CG core reduction tie 6
3600.05/3611.16	c CG core degree average 1.00
3600.05/3611.16	c CG core slack average 654.13
3600.05/3611.16	s SATISFIABLE
3600.05/3611.16	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 -x97

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61271 MiB free)
  memory of node 1: 64510 MiB (60515 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100084 s]*
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124698956/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=40828 memory=9328 CPUtime=0.1 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 1530 0 0 0 7 3 0 0 20 0 1 0 42473577 41807872 2332 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 10207 2332 1396 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9328 KiB

[startup+0.208618 s]*
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124694520/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=40828 memory=10120 CPUtime=0.2 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 1705 0 0 0 14 6 0 0 20 0 1 0 42473577 41807872 2530 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 10207 2530 1396 992 0 2065 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 10120 KiB

[startup+0.308665 s]*
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124689784/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=41212 memory=10912 CPUtime=0.3 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 1881 0 0 0 21 9 0 0 20 0 1 0 42473577 42201088 2728 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 10303 2728 1396 992 0 2161 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 10912 KiB

[startup+0.700288 s]
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124680968/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=45520 memory=15420 CPUtime=0.68 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 2516 0 0 0 48 20 0 0 20 0 1 0 42473577 46612480 3855 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 11380 3855 1396 992 0 3238 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 15420 KiB

[startup+1.50028 s]
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124647932/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=64500 memory=31716 CPUtime=1.49 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 5083 0 0 0 106 43 0 0 20 0 1 0 42473577 66048000 7929 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 16125 7929 1396 992 0 7983 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64500 KiB
Current children cumulated memory: 31716 KiB

[startup+3.11299 s]
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=123336420/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=498660 memory=464228 CPUtime=3.09 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 57631 0 0 0 226 83 0 0 20 0 1 0 42473577 510627840 116057 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 124665 116057 1746 992 0 116523 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 498660 KiB
Current children cumulated memory: 464228 KiB

[startup+6.3003 s]
/proc/loadavg: 0.39 0.15 0.11 5/244 310596
/proc/meminfo: memFree=123414860/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=361156 memory=332416 CPUtime=6.27 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 57679 0 0 0 542 85 0 0 20 0 1 0 42473577 369823744 83104 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 90289 83104 1746 992 0 82147 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 361156 KiB
Current children cumulated memory: 332416 KiB

[startup+12.7003 s]
/proc/loadavg: 0.68 0.21 0.13 5/247 310601
/proc/meminfo: memFree=122835432/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=429736 memory=372396 CPUtime=12.65 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 60399 0 0 0 1106 159 0 0 20 0 1 0 42473577 440049664 93099 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 107434 93099 1905 992 0 99292 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 429736 KiB
Current children cumulated memory: 372396 KiB

[startup+25.5003 s]
/proc/loadavg: 1.49 0.41 0.20 5/253 310608
/proc/meminfo: memFree=122157928/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=449060 memory=404976 CPUtime=25.41 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 63008 0 0 0 2350 191 0 0 20 0 1 0 42473577 459837440 101244 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 112265 101244 1905 992 0 104123 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 449060 KiB
Current children cumulated memory: 404976 KiB

[startup+51.1138 s]
/proc/loadavg: 2.35 0.70 0.30 5/253 310614
/proc/meminfo: memFree=120802644/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=659960 memory=550044 CPUtime=50.95 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 68001 0 0 0 4868 227 0 0 20 0 1 0 42473577 675799040 137511 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 164990 137511 1921 992 0 156848 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 659960 KiB
Current children cumulated memory: 550044 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.26 0.51 5/253 310622
/proc/meminfo: memFree=117942720/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=895456 memory=799168 CPUtime=102.01 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 98475 0 0 0 9892 309 0 0 20 0 1 0 42473577 916946944 199792 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 223864 199792 1921 992 0 215722 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 895456 KiB
Current children cumulated memory: 799168 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 1.80 0.75 5/256 310635
/proc/meminfo: memFree=115386428/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=1059668 memory=863880 CPUtime=161.83 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 103380 0 0 0 15834 349 0 0 20 0 1 0 42473577 1085100032 215970 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 264917 215970 1921 992 0 256775 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1059668 KiB
Current children cumulated memory: 863880 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.22 0.96 5/256 310646
/proc/meminfo: memFree=114048520/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=1059668 memory=863888 CPUtime=221.68 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 103588 0 0 0 21773 395 0 0 20 0 1 0 42473577 1085100032 215972 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 264917 215972 1921 992 0 256775 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1059668 KiB
Current children cumulated memory: 863888 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.58 1.16 5/256 311038
/proc/meminfo: memFree=111813296/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=1059668 memory=878224 CPUtime=281.51 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 103823 0 0 0 27718 433 0 0 20 0 1 0 42473577 1085100032 219556 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 264917 219556 1921 992 0 256775 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1059668 KiB
Current children cumulated memory: 878224 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 2.84 1.34 5/256 311051
/proc/meminfo: memFree=109522968/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=1069936 memory=898640 CPUtime=341.35 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 105042 0 0 0 33678 457 0 0 20 0 1 0 42473577 1095614464 224660 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 267484 224660 1921 992 0 259342 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1069936 KiB
Current children cumulated memory: 898640 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.08 1.52 5/256 311062
/proc/meminfo: memFree=107412068/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=1231600 memory=1114328 CPUtime=401.18 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 136321 0 0 0 39549 569 0 0 20 0 1 0 42473577 1261158400 278582 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 307900 278582 1921 992 0 299758 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1231600 KiB
Current children cumulated memory: 1114328 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 3.31 1.70 5/260 311245
/proc/meminfo: memFree=104689396/131655788 swapFree=131057052/131071996
[pid=310589] ppid=310586 vsize=1560120 memory=1290616 CPUtime=461.02 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 158533 0 0 0 45463 639 0 0 20 0 1 0 42473577 1597562880 322654 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 390030 322654 1921 992 0 381888 0

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


[startup+3222.3 s]
/proc/loadavg: 4.45 4.28 4.13 5/268 312437
/proc/meminfo: memFree=675312/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2704800 memory=2428116 CPUtime=3212.38 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 358699 0 0 0 317199 4039 0 0 20 0 1 0 42473577 2769715200 607029 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 676200 607029 1921 992 0 668058 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2428116 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.26 4.13 5/266 312447
/proc/meminfo: memFree=483912/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2704800 memory=2428232 CPUtime=3272.18 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 360233 0 0 0 323111 4107 0 0 20 0 1 0 42473577 2769715200 607058 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 676200 607058 1921 992 0 668058 0
Current children cumulated CPU time: 3272.18 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2428232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.25 4.14 5/266 312457
/proc/meminfo: memFree=543588/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2704800 memory=2428296 CPUtime=3331.98 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 362636 0 0 0 329004 4194 0 0 20 0 1 0 42473577 2769715200 607074 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 676200 607074 1921 992 0 668058 0
Current children cumulated CPU time: 3331.98 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2428296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.20 4.12 5/266 312469
/proc/meminfo: memFree=512052/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2704800 memory=2428444 CPUtime=3391.8 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 363528 0 0 0 334905 4275 0 0 20 0 1 0 42473577 2769715200 607111 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 676200 607111 1921 992 0 668058 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2428444 KiB

[startup+3462.3 s]
/proc/loadavg: 4.51 4.32 4.17 5/265 312479
/proc/meminfo: memFree=549004/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2704800 memory=2428536 CPUtime=3451.63 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 364687 0 0 0 340815 4348 0 0 20 0 1 0 42473577 2769715200 607134 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 676200 607134 1921 992 0 668058 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2428536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.31 4.17 5/265 312494
/proc/meminfo: memFree=496696/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2704800 memory=2431996 CPUtime=3511.47 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 365226 0 0 0 346735 4412 0 0 20 0 1 0 42473577 2769715200 607999 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 676200 607999 1921 992 0 668058 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2431996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.26 4.17 5/267 312509
/proc/meminfo: memFree=567892/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2704800 memory=2445228 CPUtime=3571.31 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 368988 0 0 0 352667 4464 0 0 20 0 1 0 42473577 2769715200 611307 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 676200 611307 1921 992 0 668058 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 2704800 KiB
Current children cumulated memory: 2445228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.33 4.29 4.18 4/267 312514
/proc/meminfo: memFree=501228/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2710432 memory=2500708 CPUtime=3600.05 cores=4,6
/proc/310589/stat : 310589 (roundingsat) R 310586 310589 310523 0 -1 4194304 371803 0 0 0 355520 4485 0 0 20 0 1 0 42473577 2775482368 625177 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 677608 625177 1921 992 0 669466 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2710432 KiB
Current children cumulated memory: 2500708 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.33 4.29 4.18 1/265 312514
/proc/meminfo: memFree=678820/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2710432 memory=2500708 CPUtime=3600.08 cores=4,6
/proc/310589/stat : 310589 (roundingsat) D 310586 310589 310523 0 -1 4194304 371814 0 1 0 355520 4488 0 0 20 0 1 0 42473577 2775482368 625177 134679101440 4194304 8254357 140726732882144 0 0 256 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 677608 625177 1921 992 0 669466 0
??? kill 310589 sig 9
??? end of watcher thread

[startup+3665.17 s]
# the end of solver process 310589 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3555.22 s, system=45.0279 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.33 4.29 4.18 4/267 312514
/proc/meminfo: memFree=501228/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2710432 memory=2500708 CPUtime=3600.08 cores=4,6
/proc/310589/stat : 310589 (roundingsat) D 310586 310589 310523 0 -1 4194304 371814 0 1 0 355520 4488 0 0 20 0 1 0 42473577 2775482368 625177 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 677608 625177 1921 992 0 669466 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2710432 KiB
Current children cumulated memory: 2500708 KiB

[startup+3612 s]*
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2710432 memory=2500708 CPUtime=3600.08 cores=4,6
/proc/310589/stat : 310589 (roundingsat) D 310586 310589 310523 0 -1 4194304 371814 0 1 0 355520 4488 0 0 20 0 1 0 42473577 2775482368 625177 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 677608 625177 1921 992 0 669466 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2710432 KiB
Current children cumulated memory: 2500708 KiB

[startup+3612.8 s]
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2710432 memory=2500708 CPUtime=3600.08 cores=4,6
/proc/310589/stat : 310589 (roundingsat) D 310586 310589 310523 0 -1 4194304 371814 0 1 0 355520 4488 0 0 20 0 1 0 42473577 2775482368 625177 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 677608 625177 1921 992 0 669466 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2710432 KiB
Current children cumulated memory: 2500708 KiB

[startup+3613 s]*
/proc/loadavg: 4.33 4.29 4.18 2/266 312514
/proc/meminfo: memFree=680808/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2710432 memory=2500708 CPUtime=3600.08 cores=4,6
/proc/310589/stat : 310589 (roundingsat) D 310586 310589 310523 0 -1 4194304 371814 0 1 0 355520 4488 0 0 20 0 1 0 42473577 2775482368 625177 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 677608 625177 1921 992 0 669466 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2710432 KiB
Current children cumulated memory: 2500708 KiB

[startup+3613.11 s]
/proc/loadavg: 4.33 4.29 4.18 2/266 312514
/proc/meminfo: memFree=680808/131655788 swapFree=131056796/131071996
[pid=310589] ppid=310586 vsize=2710432 memory=2500708 CPUtime=3600.08 cores=4,6
/proc/310589/stat : 310589 (roundingsat) D 310586 310589 310523 0 -1 4194304 371814 0 1 0 355520 4488 0 0 20 0 1 0 42473577 2775482368 625177 134679101440 4194304 8254357 140726732882144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 27672576 140726732890971 140726732891233 140726732891233 140726732898249 0
/proc/310589/statm: 677608 625177 1921 992 0 669466 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2710432 KiB
Current children cumulated memory: 2500708 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3665.17
CPU time (s): 3600.25
CPU user time (s): 3555.22
CPU system time (s): 45.0279
CPU usage (%): 98.2287
Max. virtual memory (cumulated for all children) (KiB): 2710432
Max. memory (cumulated for all children) (KiB): 2500708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.22
system time used= 45.0279
maximum resident set size= 2501396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371814
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 89177016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6826
involuntary context switches= 4337


# summary of solver processes directly reported to runsolver:
#   pid: 310589
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3555.22
#   total CPU system time (s): 45.0279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1634 second user time and 37.139 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-27 09:20:38
IDJOB=4460187
IDBENCH=147556
IDSOLVER=3086
FILE ID=nodeC012/4460187-1722064838
RUNJOBID= nodeC012-1722064838-310534
SLURM_JOB_ID= 8248114
Free space on /tmp= 723704 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-4460187-1722064838/watcher-4460187-1722064838 -o /tmp/evaluation-result-4460187-1722064838/solver-4460187-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722064838-310534 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460187-1722064838 --lp-cut-gomory=0 HOME/instance-4460187-1722064838.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=1957297555

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.167
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.179
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.32
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.214
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.47
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.168
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.227
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.167
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.32
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.167
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.47
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.192
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124717624 kB
MemAvailable:   129910160 kB
Buffers:          371256 kB
Cached:          5606828 kB
SwapCached:          188 kB
Active:          2689720 kB
Inactive:        3604556 kB
Active(anon):       3916 kB
Inactive(anon):   365352 kB
Active(file):    2685804 kB
Inactive(file):  3239204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057052 kB
Dirty:             90280 kB
Writeback:             0 kB
AnonPages:        313136 kB
Mapped:           118056 kB
Shmem:             53076 kB
KReclaimable:     215120 kB
Slab:             328400 kB
SReclaimable:     215120 kB
SUnreclaim:       113280 kB
KernelStack:        3744 kB
PageTables:         9908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     774616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15136 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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:      402248 kB
DirectMap2M:    55076864 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723692 MiB
End job on nodeC012 at 2024-07-27 10:21:44