Trace number 4462577

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 (3)No Cert. 3600.14 3633.14

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10008 s]*
/proc/loadavg: 0.07 0.08 0.09 4/253 7538
/proc/meminfo: memFree=130380352/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=37376 memory=2684 CPUtime=0 cores=0,2
/proc/7537/stat : 7537 (roundingsat) D 7534 7537 7465 0 -1 1078198272 220 0 0 0 0 0 0 0 20 0 1 0 678366 38273024 671 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 9344 671 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2684 KiB

[startup+0.214072 s]*
/proc/loadavg: 0.07 0.08 0.09 5/253 7538
/proc/meminfo: memFree=130371424/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=40828 memory=8940 CPUtime=0.01 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 1442 0 0 0 1 0 0 0 20 0 1 0 678366 41807872 2235 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 10207 2235 1362 992 0 2065 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 8940 KiB

[startup+0.30507 s]*
/proc/loadavg: 0.07 0.08 0.09 5/253 7538
/proc/meminfo: memFree=130369100/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=41212 memory=10640 CPUtime=0.09 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 1871 0 0 0 7 2 0 0 20 0 1 0 678366 42201088 2660 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 10303 2660 1394 992 0 2161 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 10640 KiB

[startup+0.70019 s]
/proc/loadavg: 0.07 0.08 0.09 5/253 7538
/proc/meminfo: memFree=130356632/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=52628 memory=21280 CPUtime=0.47 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 3498 0 0 0 34 13 0 0 20 0 1 0 678366 53891072 5320 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 13157 5320 1394 992 0 5015 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 21280 KiB

[startup+1.50019 s]
/proc/loadavg: 0.07 0.08 0.09 5/253 7538
/proc/meminfo: memFree=130311036/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=83504 memory=47260 CPUtime=1.27 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 7429 0 0 0 92 35 0 0 20 0 1 0 678366 85508096 11815 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 20876 11815 1394 992 0 12734 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 83504 KiB
Current children cumulated memory: 47260 KiB

[startup+3.10552 s]
/proc/loadavg: 0.46 0.17 0.11 5/253 7538
/proc/meminfo: memFree=129973692/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=361156 memory=330068 CPUtime=2.87 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 57620 0 0 0 232 55 0 0 20 0 1 0 678366 369823744 82517 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 90289 82517 1744 992 0 82147 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 361156 KiB
Current children cumulated memory: 330068 KiB

[startup+6.30022 s]
/proc/loadavg: 0.46 0.17 0.11 5/256 7543
/proc/meminfo: memFree=129856404/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=376408 memory=330412 CPUtime=6.06 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 58634 0 0 0 528 78 0 0 20 0 1 0 678366 385441792 82603 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 94102 82603 1891 992 0 85960 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 376408 KiB
Current children cumulated memory: 330412 KiB

[startup+12.7002 s]
/proc/loadavg: 0.75 0.23 0.14 5/256 7543
/proc/meminfo: memFree=129646756/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=449060 memory=390248 CPUtime=12.44 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 62902 0 0 0 1110 134 0 0 20 0 1 0 678366 459837440 97562 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 112265 97562 1891 992 0 104123 0
Current children cumulated CPU time: 12.44 s
Current children cumulated vsize: 449060 KiB
Current children cumulated memory: 390248 KiB

[startup+25.5002 s]
/proc/loadavg: 1.55 0.43 0.20 5/256 7546
/proc/meminfo: memFree=129488804/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=449060 memory=409180 CPUtime=25.2 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 63114 0 0 0 2358 162 0 0 20 0 1 0 678366 459837440 102295 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 112265 102295 1891 992 0 104123 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 449060 KiB
Current children cumulated memory: 409180 KiB

[startup+51.1059 s]
/proc/loadavg: 2.81 0.82 0.34 5/258 7553
/proc/meminfo: memFree=129042860/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=659960 memory=564544 CPUtime=50.71 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 71194 0 0 0 4872 199 0 0 20 0 1 0 678366 675799040 141136 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 164990 141136 1907 992 0 156848 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 659960 KiB
Current children cumulated memory: 564544 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 1.34 0.54 5/258 7573
/proc/meminfo: memFree=128213364/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=793420 memory=676176 CPUtime=101.73 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 79477 0 0 0 9904 269 0 0 20 0 1 0 678366 812462080 169044 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 198355 169044 1907 992 0 190213 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 793420 KiB
Current children cumulated memory: 676176 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 1.84 0.77 5/258 7583
/proc/meminfo: memFree=126386724/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=1229364 memory=1088840 CPUtime=161.53 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 140497 0 0 0 15775 378 0 0 20 0 1 0 678366 1258868736 272210 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 307341 272210 1907 992 0 299199 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 1229364 KiB
Current children cumulated memory: 1088840 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.27 0.98 6/258 7594
/proc/meminfo: memFree=124736356/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=1581368 memory=1303564 CPUtime=221.33 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 165120 0 0 0 21599 534 0 0 20 0 1 0 678366 1619320832 325891 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 395342 325891 1907 992 0 387200 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 1581368 KiB
Current children cumulated memory: 1303564 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.60 1.18 5/257 7604
/proc/meminfo: memFree=123190408/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=1593456 memory=1310252 CPUtime=281.1 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 166401 0 0 0 27426 684 0 0 20 0 1 0 678366 1631698944 327563 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 398364 327563 1907 992 0 390222 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 1593456 KiB
Current children cumulated memory: 1310252 KiB

[startup+342.3 s]
/proc/loadavg: 4.03 2.86 1.36 5/256 7615
/proc/meminfo: memFree=121748112/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=1594416 memory=1318980 CPUtime=340.87 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 167323 0 0 0 33343 744 0 0 20 0 1 0 678366 1632681984 329745 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 398604 329745 1907 992 0 390462 0
Current children cumulated CPU time: 340.87 s
Current children cumulated vsize: 1594416 KiB
Current children cumulated memory: 1318980 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.10 1.54 5/254 7626
/proc/meminfo: memFree=120093036/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=1651816 memory=1397572 CPUtime=400.6 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 176145 0 0 0 39191 869 0 0 20 0 1 0 678366 1691459584 349393 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 412954 349393 1907 992 0 404812 0
Current children cumulated CPU time: 400.6 s
Current children cumulated vsize: 1651816 KiB
Current children cumulated memory: 1397572 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.28 1.70 5/255 7637
/proc/meminfo: memFree=118337716/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=1664188 memory=1407100 CPUtime=460.35 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 177181 0 0 0 45050 985 0 0 20 0 1 0 678366 1704128512 351775 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 416047 351775 1907 992 0 407905 0

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


[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.02 5/257 8741
/proc/meminfo: memFree=64022032/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5458152 memory=4396944 CPUtime=3090.82 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 608224 0 0 0 304959 4123 0 0 20 0 1 0 678366 5589147648 1099236 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1364538 1099236 1907 992 0 1356396 0
Current children cumulated CPU time: 3090.82 s
Current children cumulated vsize: 5458152 KiB
Current children cumulated memory: 4396944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/257 8751
/proc/meminfo: memFree=63393328/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5487332 memory=4516896 CPUtime=3150.62 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 619484 0 0 0 310912 4150 0 0 20 0 1 0 678366 5619027968 1129224 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1371833 1129224 1907 992 0 1363691 0
Current children cumulated CPU time: 3150.62 s
Current children cumulated vsize: 5487332 KiB
Current children cumulated memory: 4516896 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/257 8761
/proc/meminfo: memFree=62709476/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5517348 memory=4619872 CPUtime=3210.42 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 627462 0 0 0 316865 4177 0 0 20 0 1 0 678366 5649764352 1154968 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1379337 1154968 1907 992 0 1371195 0
Current children cumulated CPU time: 3210.42 s
Current children cumulated vsize: 5517348 KiB
Current children cumulated memory: 4619872 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/257 8771
/proc/meminfo: memFree=61936008/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5537832 memory=4714608 CPUtime=3270.22 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 631495 0 0 0 322818 4204 0 0 20 0 1 0 678366 5670739968 1178652 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1384458 1178652 1907 992 0 1376316 0
Current children cumulated CPU time: 3270.22 s
Current children cumulated vsize: 5537832 KiB
Current children cumulated memory: 4714608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/258 8783
/proc/meminfo: memFree=61180516/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5545196 memory=4807576 CPUtime=3330.03 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 636636 0 0 0 328775 4228 0 0 20 0 1 0 678366 5678280704 1201894 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1386299 1201894 1907 992 0 1378157 0
Current children cumulated CPU time: 3330.03 s
Current children cumulated vsize: 5545196 KiB
Current children cumulated memory: 4807576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/257 9177
/proc/meminfo: memFree=60490300/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5561324 memory=4900416 CPUtime=3389.83 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 644482 0 0 0 334733 4250 0 0 20 0 1 0 678366 5694795776 1225104 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1390331 1225104 1907 992 0 1382189 0
Current children cumulated CPU time: 3389.83 s
Current children cumulated vsize: 5561324 KiB
Current children cumulated memory: 4900416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/257 9187
/proc/meminfo: memFree=59802600/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5571824 memory=4984716 CPUtime=3449.63 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 650567 0 0 0 340689 4274 0 0 20 0 1 0 678366 5705547776 1246179 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1392956 1246179 1907 992 0 1384814 0
Current children cumulated CPU time: 3449.63 s
Current children cumulated vsize: 5571824 KiB
Current children cumulated memory: 4984716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/257 9199
/proc/meminfo: memFree=59156824/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5586556 memory=5074060 CPUtime=3509.44 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 658097 0 0 0 346646 4298 0 0 20 0 1 0 678366 5720633344 1268515 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1396639 1268515 1907 992 0 1388497 0
Current children cumulated CPU time: 3509.44 s
Current children cumulated vsize: 5586556 KiB
Current children cumulated memory: 5074060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/257 9377
/proc/meminfo: memFree=58430472/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5659432 memory=5218400 CPUtime=3569.24 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 675835 0 0 0 352600 4324 0 0 20 0 1 0 678366 5795258368 1304600 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1414858 1304600 1907 992 0 1406716 0
Current children cumulated CPU time: 3569.24 s
Current children cumulated vsize: 5659432 KiB
Current children cumulated memory: 5218400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.2 s]
/proc/loadavg: 4.04 4.08 4.02 2/242 9464
/proc/meminfo: memFree=59634320/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5703928 memory=5281796 CPUtime=3600.03 cores=0,2
/proc/7537/stat : 7537 (roundingsat) R 7534 7537 7465 0 -1 4194304 687597 0 0 0 355666 4337 0 0 20 0 1 0 678366 5840822272 1320449 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1425982 1320449 1907 992 0 1417840 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5703928 KiB
Current children cumulated memory: 5281796 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.12 4.09 4.03 1/242 9465
/proc/meminfo: memFree=59630292/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5703928 memory=5281796 CPUtime=3600.06 cores=0,2
/proc/7537/stat : 7537 (roundingsat) D 7534 7537 7465 0 -1 4194304 687606 0 0 0 355668 4338 0 0 20 0 1 0 678366 5840822272 1320449 134679101440 4194304 8255733 140737293800208 0 0 256 0 0 25182210 0 0 0 17 2 0 0 332 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1425982 1320449 1907 992 0 1417840 0
??? kill 7537 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3556.68 s, system=43.4553 s

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

[startup+3614.4 s]
/proc/loadavg: 4.12 4.09 4.03 1/242 9465
/proc/meminfo: memFree=59629936/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5703928 memory=5281796 CPUtime=3600.06 cores=0,2
/proc/7537/stat : 7537 (roundingsat) D 7534 7537 7465 0 -1 4194304 687606 0 0 0 355668 4338 0 0 20 0 1 0 678366 5840822272 1320449 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 2 0 0 201 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1425982 1320449 1907 992 0 1417840 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5703928 KiB
Current children cumulated memory: 5281796 KiB

[startup+3614.8 s]
/proc/loadavg: 4.12 4.09 4.03 1/242 9465
/proc/meminfo: memFree=59629936/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5703928 memory=5281796 CPUtime=3600.06 cores=0,2
/proc/7537/stat : 7537 (roundingsat) D 7534 7537 7465 0 -1 4194304 687606 0 0 0 355668 4338 0 0 20 0 1 0 678366 5840822272 1320449 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 2 0 0 201 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1425982 1320449 1907 992 0 1417840 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5703928 KiB
Current children cumulated memory: 5281796 KiB

[startup+3615.2 s]
/proc/loadavg: 4.12 4.09 4.03 1/242 9465
/proc/meminfo: memFree=59630032/131524600 swapFree=131071996/131071996
[pid=7537] ppid=7534 vsize=5703928 memory=5281796 CPUtime=3600.06 cores=0,2
/proc/7537/stat : 7537 (roundingsat) D 7534 7537 7465 0 -1 4194304 687606 0 0 0 355668 4338 0 0 20 0 1 0 678366 5840822272 1320449 134679101440 4194304 8255733 140737293800208 0 0 0 0 0 25182210 0 0 0 17 2 0 0 332 0 0 9037040 9046032 18825216 140737293808482 140737293808744 140737293808744 140737293815753 0
/proc/7537/statm: 1425982 1320449 1907 992 0 1417840 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5703928 KiB
Current children cumulated memory: 5281796 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3633.14
CPU time (s): 3600.14
CPU user time (s): 3556.68
CPU system time (s): 43.4553
CPU usage (%): 99.0917
Max. virtual memory (cumulated for all children) (KiB): 5703928
Max. memory (cumulated for all children) (KiB): 5281796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.68
system time used= 43.4553
maximum resident set size= 5282436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 687606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 95749720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2037
involuntary context switches= 25961


# summary of solver processes directly reported to runsolver:
#   pid: 7537
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3556.68
#   total CPU system time (s): 43.4553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77877 second user time and 17.4436 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-30 13:59:25
IDJOB=4462577
IDBENCH=147556
IDSOLVER=3089
FILE ID=nodeC030/4462577-1722340764
RUNJOBID= nodeC030-1722340763-7475
SLURM_JOB_ID= 8249003
Free space on /tmp= 890048 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-4462577-1722340764/watcher-4462577-1722340764 -o /tmp/evaluation-result-4462577-1722340764/solver-4462577-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7475 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462577-1722340764 --lp-cut-gomory=0 HOME/instance-4462577-1722340764.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=1492646933

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130426012 kB
MemAvailable:   129998476 kB
Buffers:           38068 kB
Cached:           322416 kB
SwapCached:            0 kB
Active:           129036 kB
Inactive:         516300 kB
Active(anon):       1552 kB
Inactive(anon):   304648 kB
Active(file):     127484 kB
Inactive(file):   211652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             41936 kB
Writeback:             0 kB
AnonPages:        285136 kB
Mapped:            93424 kB
Shmem:             21328 kB
KReclaimable:      42272 kB
Slab:             116472 kB
SReclaimable:      42272 kB
SUnreclaim:        74200 kB
KernelStack:        4064 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     594352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC030 at 2024-07-30 14:59:58