Trace number 4454533

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19SAT (TO)3902259 3600.09 3609.17

DiagnosticValue
AM1LB0
LOWERBOUND-70
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
MD5SUMf134d089c54411466f2bcbd6371e604a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3892789
Best CPU time to get the best result obtained on this benchmark737.579
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 171879616
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 85431562646
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 171879616
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 85431562646
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	3902259

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454533-1721473998/watcher-4454533-1721473998 -o /tmp/evaluation-result-4454533-1721473998/solver-4454533-1721473998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056732 --watchdog 3760 pb-oll-rs HOME/instance-4454533-1721473998.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1059738, runsolver pid=1059735

[startup+0.100109 s]*
/proc/loadavg: 4.13 4.14 4.09 5/243 1059739
/proc/meminfo: memFree=127849980/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=43500 memory=12656 CPUtime=0.1 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 1950 0 0 0 8 2 0 0 20 0 1 0 199557855 44544000 3164 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 10875 3164 1335 291 0 2409 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 12656 KiB

[startup+0.213085 s]*
/proc/loadavg: 4.13 4.14 4.09 5/243 1059739
/proc/meminfo: memFree=127847344/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=43500 memory=12656 CPUtime=0.22 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 1964 0 0 0 20 2 0 0 20 0 1 0 199557855 44544000 3164 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 10875 3164 1335 291 0 2409 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 12656 KiB

[startup+0.313081 s]*
/proc/loadavg: 4.13 4.14 4.09 5/243 1059739
/proc/meminfo: memFree=127847344/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=43500 memory=12656 CPUtime=0.32 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 1964 0 0 0 30 2 0 0 20 0 1 0 199557855 44544000 3164 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 10875 3164 1335 291 0 2409 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 12656 KiB

[startup+0.700367 s]
/proc/loadavg: 4.12 4.14 4.09 5/243 1059739
/proc/meminfo: memFree=127847352/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=43648 memory=13040 CPUtime=0.69 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 1985 0 0 0 67 2 0 0 20 0 1 0 199557855 44695552 3260 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 10912 3260 1367 291 0 2446 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43648 KiB
Current children cumulated memory: 13040 KiB

[startup+1.50035 s]
/proc/loadavg: 4.12 4.14 4.09 5/243 1059739
/proc/meminfo: memFree=127837608/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=60200 memory=28772 CPUtime=1.48 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 5876 0 0 0 145 3 0 0 20 0 1 0 199557855 61644800 7193 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 15050 7193 1441 291 0 6584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60200 KiB
Current children cumulated memory: 28772 KiB

[startup+3.11298 s]
/proc/loadavg: 4.12 4.14 4.09 5/243 1059739
/proc/meminfo: memFree=127780196/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=107720 memory=77876 CPUtime=3.1 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 14586 0 0 0 303 7 0 0 20 0 1 0 199557855 110305280 19469 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 26930 19469 1441 291 0 18464 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 107720 KiB
Current children cumulated memory: 77876 KiB

[startup+6.30031 s]
/proc/loadavg: 4.11 4.14 4.09 5/243 1059741
/proc/meminfo: memFree=127711088/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=194308 memory=143296 CPUtime=6.27 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 24324 0 0 0 617 10 0 0 20 0 1 0 199557855 198971392 35824 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 48577 35824 1441 291 0 40111 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 194308 KiB
Current children cumulated memory: 143296 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.13 4.09 5/243 1059741
/proc/meminfo: memFree=127643088/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=242196 memory=208012 CPUtime=12.65 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 35383 0 0 0 1249 16 0 0 20 0 1 0 199557855 248008704 52003 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 60549 52003 1441 291 0 52083 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 242196 KiB
Current children cumulated memory: 208012 KiB

[startup+25.5004 s]
/proc/loadavg: 4.32 4.18 4.11 5/243 1059744
/proc/meminfo: memFree=127516700/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=381896 memory=335384 CPUtime=25.42 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 55526 0 0 0 2516 26 0 0 20 0 1 0 199557855 391061504 83846 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 95474 83846 1441 291 0 87008 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 381896 KiB
Current children cumulated memory: 335384 KiB

[startup+51.113 s]
/proc/loadavg: 4.67 4.27 4.14 5/243 1059747
/proc/meminfo: memFree=127421004/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=497360 memory=406584 CPUtime=50.95 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 66186 0 0 0 5061 34 0 0 20 0 1 0 199557855 509296640 101646 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 124340 101646 1441 291 0 115874 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 497360 KiB
Current children cumulated memory: 406584 KiB

[startup+102.3 s]
/proc/loadavg: 4.61 4.34 4.17 5/244 1059758
/proc/meminfo: memFree=127384996/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=500112 memory=409476 CPUtime=101.99 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 66905 0 0 0 10150 49 0 0 20 0 1 0 199557855 512114688 102369 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 125028 102369 1441 291 0 116562 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 500112 KiB
Current children cumulated memory: 409476 KiB

[startup+162.3 s]
/proc/loadavg: 4.32 4.30 4.17 5/242 1059769
/proc/meminfo: memFree=127322624/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=554620 memory=463980 CPUtime=161.82 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 77993 0 0 0 16114 68 0 0 20 0 1 0 199557855 567930880 115995 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 138655 115995 1441 291 0 130189 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 463980 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.26 4.16 5/242 1059780
/proc/meminfo: memFree=127260664/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=577408 memory=477700 CPUtime=221.64 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 81444 0 0 0 22083 81 0 0 20 0 1 0 199557855 591265792 119425 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 144352 119425 1441 291 0 135886 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 577408 KiB
Current children cumulated memory: 477700 KiB

[startup+282.3 s]
/proc/loadavg: 4.25 4.26 4.17 6/242 1059790
/proc/meminfo: memFree=127208304/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=577408 memory=478208 CPUtime=281.47 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 81555 0 0 0 28052 95 0 0 20 0 1 0 199557855 591265792 119552 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 144352 119552 1441 291 0 135886 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 577408 KiB
Current children cumulated memory: 478208 KiB

[startup+342.3 s]
/proc/loadavg: 4.25 4.26 4.18 5/242 1059802
/proc/meminfo: memFree=127046632/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=676220 memory=597544 CPUtime=341.29 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 101229 0 0 0 34015 114 0 0 20 0 1 0 199557855 692449280 149386 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 169055 149386 1441 291 0 160589 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 676220 KiB
Current children cumulated memory: 597544 KiB

[startup+402.3 s]
/proc/loadavg: 4.77 4.41 4.24 5/241 1059812
/proc/meminfo: memFree=127044168/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=676220 memory=598244 CPUtime=401.11 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 101447 0 0 0 39983 128 0 0 20 0 1 0 199557855 692449280 149561 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 169055 149561 1441 291 0 160589 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 676220 KiB
Current children cumulated memory: 598244 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 4.36 4.23 5/243 1059826
/proc/meminfo: memFree=127034548/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=677320 memory=599360 CPUtime=460.95 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 101783 0 0 0 45953 142 0 0 20 0 1 0 199557855 693575680 149840 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 169330 149840 1441 291 0 160864 0

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

Current children cumulated memory: 1286924 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.20 4.18 5/244 1061456
/proc/meminfo: memFree=123006484/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1576612 memory=1330624 CPUtime=2914.91 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 214541 0 0 0 291001 490 0 0 20 0 1 0 199557855 1614450688 332656 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 394153 332656 1441 291 0 385687 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 1576612 KiB
Current children cumulated memory: 1330624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.16 4.17 5/244 1061468
/proc/meminfo: memFree=122913244/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1576612 memory=1330624 CPUtime=2974.76 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 214812 0 0 0 296977 499 0 0 20 0 1 0 199557855 1614450688 332656 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 394153 332656 1441 291 0 385687 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 1576612 KiB
Current children cumulated memory: 1330624 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.17 5/244 1061479
/proc/meminfo: memFree=122906556/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1576612 memory=1330624 CPUtime=3034.61 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 215235 0 0 0 302955 506 0 0 20 0 1 0 199557855 1614450688 332656 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 394153 332656 1441 291 0 385687 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 1576612 KiB
Current children cumulated memory: 1330624 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/243 1061490
/proc/meminfo: memFree=122858496/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1576612 memory=1330624 CPUtime=3094.46 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 215602 0 0 0 308935 511 0 0 20 0 1 0 199557855 1614450688 332656 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 394153 332656 1441 291 0 385687 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 1576612 KiB
Current children cumulated memory: 1330624 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/241 1061501
/proc/meminfo: memFree=122812788/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1593788 memory=1375148 CPUtime=3154.3 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 220518 0 0 0 314911 519 0 0 20 0 1 0 199557855 1632038912 343787 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 398447 343787 1441 291 0 389981 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 1593788 KiB
Current children cumulated memory: 1375148 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/241 1061511
/proc/meminfo: memFree=122652888/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1596456 memory=1379940 CPUtime=3214.16 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 221539 0 0 0 320890 526 0 0 20 0 1 0 199557855 1634770944 344985 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399114 344985 1441 291 0 390648 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 1596456 KiB
Current children cumulated memory: 1379940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/241 1061522
/proc/meminfo: memFree=122649784/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1596456 memory=1379940 CPUtime=3274 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 221952 0 0 0 326869 531 0 0 20 0 1 0 199557855 1634770944 344985 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399114 344985 1441 291 0 390648 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 1596456 KiB
Current children cumulated memory: 1379940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.16 5/242 1061672
/proc/meminfo: memFree=124992744/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1596456 memory=1379940 CPUtime=3333.85 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 222263 0 0 0 332850 535 0 0 20 0 1 0 199557855 1634770944 344985 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399114 344985 1441 291 0 390648 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 1596456 KiB
Current children cumulated memory: 1379940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/242 1061729
/proc/meminfo: memFree=124963868/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1596456 memory=1379940 CPUtime=3393.71 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 222725 0 0 0 338832 539 0 0 20 0 1 0 199557855 1634770944 344985 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399114 344985 1441 291 0 390648 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 1596456 KiB
Current children cumulated memory: 1379940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/245 1061789
/proc/meminfo: memFree=124707648/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1596456 memory=1380280 CPUtime=3453.56 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 223299 0 0 0 344814 542 0 0 20 0 1 0 199557855 1634770944 345070 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399114 345070 1441 291 0 390648 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 1596456 KiB
Current children cumulated memory: 1380280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/245 1061799
/proc/meminfo: memFree=124453248/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1598636 memory=1400796 CPUtime=3513.42 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 225224 0 0 0 350794 548 0 0 20 0 1 0 199557855 1637003264 350199 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399659 350199 1441 291 0 391193 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 1598636 KiB
Current children cumulated memory: 1400796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/245 1061810
/proc/meminfo: memFree=124234144/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1598636 memory=1400872 CPUtime=3573.28 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 225509 0 0 0 356773 555 0 0 20 0 1 0 199557855 1637003264 350218 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399659 350218 1441 291 0 391193 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 1598636 KiB
Current children cumulated memory: 1400872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.13 4.13 4.15 5/245 1061816
/proc/meminfo: memFree=124189156/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1598636 memory=1400872 CPUtime=3600.03 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 225779 0 0 0 359446 557 0 0 20 0 1 0 199557855 1637003264 350218 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399659 350218 1441 291 0 391193 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1598636 KiB
Current children cumulated memory: 1400872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.5 s, system=5.59322 s

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

[startup+3609.11 s]
/proc/loadavg: 4.13 4.13 4.15 5/245 1061816
/proc/meminfo: memFree=124189156/131655788 swapFree=131071996/131071996
[pid=1059738] ppid=1059735 vsize=1598636 memory=1400872 CPUtime=3600.03 cores=5,7
/proc/1059738/stat : 1059738 (pb-oll-rs) R 1059735 1059738 1056719 0 -1 4194304 225779 0 0 0 359446 557 0 0 20 0 1 0 199557855 1637003264 350218 134679101440 4194304 5384485 140737171269344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20230144 140737171272725 140737171272802 140737171272802 140737171279819 0
/proc/1059738/statm: 399659 350218 1441 291 0 391193 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1598636 KiB
Current children cumulated memory: 1400872 KiB

Child status: 0

Real time (s): 3609.17
CPU time (s): 3600.09
CPU user time (s): 3594.5
CPU system time (s): 5.59322
CPU usage (%): 99.7485
Max. virtual memory (cumulated for all children) (KiB): 1598636
Max. memory (cumulated for all children) (KiB): 1400872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.5
system time used= 5.59322
maximum resident set size= 1401068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 2275


# summary of solver processes directly reported to runsolver:
#   pid: 1059738
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.5
#   total CPU system time (s): 5.59322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9528 second user time and 34.6915 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-20 13:13:31
IDJOB=4454533
IDBENCH=155609
IDSOLVER=3082
FILE ID=nodeC002/4454533-1721473998
RUNJOBID= nodeC002-1721469936-1056732
SLURM_JOB_ID= 7545731
Free space on /tmp= 723764 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454533-1721473998/watcher-4454533-1721473998 -o /tmp/evaluation-result-4454533-1721473998/solver-4454533-1721473998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056732 --watchdog 3760  pb-oll-rs HOME/instance-4454533-1721473998.opb

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

MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=1164054476

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127857904 kB
MemAvailable:   129336212 kB
Buffers:          590460 kB
Cached:          1722812 kB
SwapCached:            0 kB
Active:          1084692 kB
Inactive:        2128960 kB
Active(anon):       2684 kB
Inactive(anon):   943584 kB
Active(file):    1082008 kB
Inactive(file):  1185376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2688 kB
Writeback:             0 kB
AnonPages:        900208 kB
Mapped:           111348 kB
Shmem:             45896 kB
KReclaimable:     101908 kB
Slab:             207484 kB
SReclaimable:     101908 kB
SUnreclaim:       105576 kB
KernelStack:        3952 kB
PageTables:        11432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1315536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63840 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723552 MiB
End job on nodeC002 at 2024-07-20 14:13:40