Trace number 4454242

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)3545312797 3600.15 3609.55

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

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

Verifier Data 

OK	3545312797

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: 63931 MiB (61080 MiB free)
  memory of node 1: 64510 MiB (62979 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454242-1721446046/watcher-4454242-1721446046 -o /tmp/evaluation-result-4454242-1721446046/solver-4454242-1721446046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059496 --watchdog 3760 pb-oll-rs HOME/instance-4454242-1721446046.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100087 s]*
/proc/loadavg: 3.93 4.05 4.08 6/257 1059556
/proc/meminfo: memFree=126993976/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=42624 memory=12724 CPUtime=0.09 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 1652 0 0 0 9 0 0 0 20 0 1 0 196768764 43646976 3181 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 10656 3181 1186 291 0 2190 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42624 KiB
Current children cumulated memory: 12724 KiB

[startup+0.205642 s]*
/proc/loadavg: 3.93 4.05 4.08 6/257 1059556
/proc/meminfo: memFree=126978140/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=45848 memory=16924 CPUtime=0.2 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 2473 0 0 0 17 3 0 0 20 0 1 0 196768764 46948352 4231 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 11462 4231 1392 291 0 2996 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 16924 KiB

[startup+0.305472 s]*
/proc/loadavg: 3.93 4.05 4.08 6/257 1059556
/proc/meminfo: memFree=126974628/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=48124 memory=19300 CPUtime=0.3 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 3069 0 0 0 23 7 0 0 20 0 1 0 196768764 49278976 4825 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 12031 4825 1392 291 0 3565 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48124 KiB
Current children cumulated memory: 19300 KiB

[startup+0.700234 s]
/proc/loadavg: 3.93 4.05 4.08 6/257 1059556
/proc/meminfo: memFree=126956080/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=66252 memory=36440 CPUtime=0.69 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 6852 0 0 0 54 15 0 0 20 0 1 0 196768764 67842048 9110 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 16563 9110 1392 291 0 8097 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66252 KiB
Current children cumulated memory: 36440 KiB

[startup+1.50019 s]
/proc/loadavg: 3.94 4.05 4.08 6/257 1059556
/proc/meminfo: memFree=126905244/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=119852 memory=85324 CPUtime=1.49 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 16474 0 0 0 128 21 0 0 20 0 1 0 196768764 122728448 21331 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 29963 21331 1454 291 0 21497 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 119852 KiB
Current children cumulated memory: 85324 KiB

[startup+3.10558 s]
/proc/loadavg: 3.94 4.05 4.08 6/257 1059558
/proc/meminfo: memFree=126757316/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=186264 memory=157424 CPUtime=3.09 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 28874 0 0 0 275 34 0 0 20 0 1 0 196768764 190734336 39356 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 46566 39356 1454 291 0 38100 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 186264 KiB
Current children cumulated memory: 157424 KiB

[startup+6.30021 s]
/proc/loadavg: 3.94 4.05 4.08 6/257 1059558
/proc/meminfo: memFree=126602188/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=355624 memory=275612 CPUtime=6.27 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 48233 0 0 0 580 47 0 0 20 0 1 0 196768764 364158976 68903 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 88906 68903 1454 291 0 80440 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 355624 KiB
Current children cumulated memory: 275612 KiB

[startup+12.7002 s]
/proc/loadavg: 3.95 4.05 4.08 6/257 1059558
/proc/meminfo: memFree=126032228/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=457580 memory=384248 CPUtime=12.66 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 58014 0 0 0 1196 70 0 0 20 0 1 0 196768764 468561920 96062 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 114395 96062 1454 291 0 105929 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 457580 KiB
Current children cumulated memory: 384248 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 6/257 1059561
/proc/meminfo: memFree=125384052/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=647800 memory=572688 CPUtime=25.43 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 94436 0 0 0 2449 94 0 0 20 0 1 0 196768764 663347200 143172 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 161950 143172 1454 291 0 153484 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 647800 KiB
Current children cumulated memory: 572688 KiB

[startup+51.1057 s]
/proc/loadavg: 4.02 4.06 4.08 6/258 1059733
/proc/meminfo: memFree=124570940/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=786516 memory=721836 CPUtime=50.97 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 107297 0 0 0 4969 128 0 0 20 0 1 0 196768764 805392384 180459 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 196629 180459 1454 291 0 188163 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 786516 KiB
Current children cumulated memory: 721836 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.06 4.08 6/258 1059741
/proc/meminfo: memFree=123605712/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=1357188 memory=1029556 CPUtime=102.04 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 166470 0 0 0 10017 187 0 0 20 0 1 0 196768764 1389760512 257389 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 339297 257389 1454 291 0 330831 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1357188 KiB
Current children cumulated memory: 1029556 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.06 4.08 6/258 1059807
/proc/meminfo: memFree=122964024/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=1390696 memory=1157812 CPUtime=161.9 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 182291 0 0 0 15955 235 0 0 20 0 1 0 196768764 1424072704 289453 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 347674 289453 1454 291 0 339208 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1390696 KiB
Current children cumulated memory: 1157812 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.06 4.08 6/257 1059820
/proc/meminfo: memFree=122760428/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=1392400 memory=1250424 CPUtime=221.75 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 190402 0 0 0 21878 297 0 0 20 0 1 0 196768764 1425817600 312606 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 348100 312606 1454 291 0 339634 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 1392400 KiB
Current children cumulated memory: 1250424 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.08 4.09 6/257 1059830
/proc/meminfo: memFree=122457592/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=1392784 memory=1296124 CPUtime=281.6 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 194744 0 0 0 27820 340 0 0 20 0 1 0 196768764 1426210816 324031 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 348196 324031 1454 291 0 339730 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 1392784 KiB
Current children cumulated memory: 1296124 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.06 4.08 6/257 1059840
/proc/meminfo: memFree=122198936/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=1742372 memory=1397396 CPUtime=341.45 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 203891 0 0 0 33759 386 0 0 20 0 1 0 196768764 1784188928 349349 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 435593 349349 1454 291 0 427127 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 1742372 KiB
Current children cumulated memory: 1397396 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.08 4.09 6/256 1059852
/proc/meminfo: memFree=121526340/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=1742372 memory=1431384 CPUtime=401.3 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 206361 0 0 0 39711 419 0 0 20 0 1 0 196768764 1784188928 357846 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 435593 357846 1454 291 0 427127 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 1742372 KiB
Current children cumulated memory: 1431384 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.11 4.09 6/256 1059862
/proc/meminfo: memFree=121421196/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=1758716 memory=1462356 CPUtime=461.15 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 210092 0 0 0 45673 442 0 0 20 0 1 0 196768764 1800925184 365589 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 439679 365589 1454 291 0 431213 0

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

Current children cumulated memory: 3118096 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.11 6/254 1060871
/proc/meminfo: memFree=115766732/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=3600820 memory=3123340 CPUtime=2914.75 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 490816 0 0 0 289855 1620 0 0 20 0 1 0 196768764 3687239680 780835 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 900205 780835 1454 291 0 891739 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 3600820 KiB
Current children cumulated memory: 3123340 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.10 6/254 1060881
/proc/meminfo: memFree=115586740/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=3837892 memory=3301972 CPUtime=2974.6 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 527522 0 0 0 295777 1683 0 0 20 0 1 0 196768764 3930001408 825493 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 959473 825493 1454 291 0 951007 0
Current children cumulated CPU time: 2974.6 s
Current children cumulated vsize: 3837892 KiB
Current children cumulated memory: 3301972 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.10 6/254 1060892
/proc/meminfo: memFree=115586456/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=3837892 memory=3301972 CPUtime=3034.43 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 528797 0 0 0 301719 1724 0 0 20 0 1 0 196768764 3930001408 825493 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 959473 825493 1454 291 0 951007 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 3837892 KiB
Current children cumulated memory: 3301972 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/254 1060902
/proc/meminfo: memFree=115585816/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=3837892 memory=3302304 CPUtime=3094.27 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 530275 0 0 0 307662 1765 0 0 20 0 1 0 196768764 3930001408 825576 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 959473 825576 1454 291 0 951007 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 3837892 KiB
Current children cumulated memory: 3302304 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/256 1060917
/proc/meminfo: memFree=115406344/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4037840 memory=3481580 CPUtime=3154.11 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 561567 0 0 0 313613 1798 0 0 20 0 1 0 196768764 4134748160 870395 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1009460 870395 1454 291 0 1000994 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 4037840 KiB
Current children cumulated memory: 3481580 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/256 1060928
/proc/meminfo: memFree=115375900/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4069584 memory=3509816 CPUtime=3213.94 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 567595 0 0 0 319578 1816 0 0 20 0 1 0 196768764 4167254016 877454 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1017396 877454 1454 291 0 1008930 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 4069584 KiB
Current children cumulated memory: 3509816 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/256 1060938
/proc/meminfo: memFree=115374812/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4069584 memory=3510184 CPUtime=3273.79 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 568962 0 0 0 325550 1829 0 0 20 0 1 0 196768764 4167254016 877546 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1017396 877546 1454 291 0 1008930 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 4069584 KiB
Current children cumulated memory: 3510184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/256 1060948
/proc/meminfo: memFree=115371932/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4071124 memory=3512712 CPUtime=3333.62 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 571080 0 0 0 331524 1838 0 0 20 0 1 0 196768764 4168830976 878178 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1017781 878178 1454 291 0 1009315 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 4071124 KiB
Current children cumulated memory: 3512712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 1060961
/proc/meminfo: memFree=115299576/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4171224 memory=3584208 CPUtime=3393.45 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 589522 0 0 0 337483 1862 0 0 20 0 1 0 196768764 4271333376 896052 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1042806 896052 1454 291 0 1034340 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 4171224 KiB
Current children cumulated memory: 3584208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/258 1061355
/proc/meminfo: memFree=115294792/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4171224 memory=3587604 CPUtime=3453.28 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 590911 0 0 0 343438 1890 0 0 20 0 1 0 196768764 4271333376 896901 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1042806 896901 1454 291 0 1034340 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 4171224 KiB
Current children cumulated memory: 3587604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/256 1061365
/proc/meminfo: memFree=115252636/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4171224 memory=3593900 CPUtime=3513.13 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 592356 0 0 0 349395 1918 0 0 20 0 1 0 196768764 4271333376 898475 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1042806 898475 1454 291 0 1034340 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 4171224 KiB
Current children cumulated memory: 3593900 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/256 1061375
/proc/meminfo: memFree=115143148/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4202204 memory=3628588 CPUtime=3572.96 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 598339 0 0 0 355356 1940 0 0 20 0 1 0 196768764 4303056896 907147 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1050551 907147 1454 291 0 1042085 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 4202204 KiB
Current children cumulated memory: 3628588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.06 4.08 4.09 4/254 1061382
/proc/meminfo: memFree=121767504/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4267232 memory=3691364 CPUtime=3600.09 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 608563 0 0 0 358054 1955 0 0 20 0 1 0 196768764 4369645568 922841 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1066808 922841 1454 291 0 1058342 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4267232 KiB
Current children cumulated memory: 3691364 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.55 s, system=19.6038 s

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

[startup+3609.5 s]
/proc/loadavg: 4.06 4.08 4.09 4/254 1061382
/proc/meminfo: memFree=121767504/131524600 swapFree=131071996/131071996
[pid=1059549] ppid=1059546 vsize=4267232 memory=3691364 CPUtime=3600.09 cores=5,7
/proc/1059549/stat : 1059549 (pb-oll-rs) R 1059546 1059549 1059483 0 -1 4194304 608563 0 0 0 358054 1955 0 0 20 0 1 0 196768764 4369645568 922841 134679101440 4194304 5384485 140735618423616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24096768 140735618429973 140735618430050 140735618430050 140735618437067 0
/proc/1059549/statm: 1066808 922841 1454 291 0 1058342 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4267232 KiB
Current children cumulated memory: 3691364 KiB

Child status: 0

Real time (s): 3609.55
CPU time (s): 3600.15
CPU user time (s): 3580.55
CPU system time (s): 19.6038
CPU usage (%): 99.7396
Max. virtual memory (cumulated for all children) (KiB): 4267232
Max. memory (cumulated for all children) (KiB): 3691364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.55
system time used= 19.6038
maximum resident set size= 3691720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 608593
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= 175
involuntary context switches= 2686


# summary of solver processes directly reported to runsolver:
#   pid: 1059549
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3580.55
#   total CPU system time (s): 19.6038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8821 second user time and 17.3989 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 05:27:39
IDJOB=4454242
IDBENCH=146793
IDSOLVER=3082
FILE ID=nodeC022/4454242-1721446046
RUNJOBID= nodeC022-1721446059-1059496
SLURM_JOB_ID= 7545669
Free space on /tmp= 890072 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454242-1721446046/watcher-4454242-1721446046 -o /tmp/evaluation-result-4454242-1721446046/solver-4454242-1721446046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059496 --watchdog 3760  pb-oll-rs HOME/instance-4454242-1721446046.opb

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

MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=1960752408

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127042044 kB
MemAvailable:   129679004 kB
Buffers:          537772 kB
Cached:          2923924 kB
SwapCached:            0 kB
Active:          1238828 kB
Inactive:        2586612 kB
Active(anon):       1468 kB
Inactive(anon):   408184 kB
Active(file):    1237360 kB
Inactive(file):  2178428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15864 kB
Writeback:             4 kB
AnonPages:        363196 kB
Mapped:           108144 kB
Shmem:             45912 kB
KReclaimable:     121640 kB
Slab:             238100 kB
SReclaimable:     121640 kB
SUnreclaim:       116460 kB
KernelStack:        3872 kB
PageTables:         9756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     658936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC022 at 2024-07-20 06:27:48