Trace number 4435689

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
mixed-bag 2024-07-02OPT3437313 3124.3 3134.59

DiagnosticValue
AM1LB0
LOWERBOUND3179954
NAM1S0
NCORES14
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED2

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
MD5SUM9e5b0b67365644613b47988ddf91495e
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 benchmark3437313
Best CPU time to get the best result obtained on this benchmark711.141
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 77399784670
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 77399784670
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	3437313

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62492 MiB free)
  memory of node 1: 64473 MiB (58119 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435689-1721135096/watcher-4435689-1721135096 -o /tmp/evaluation-result-4435689-1721135096/solver-4435689-1721135096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850376 --watchdog 3760 mixed-bag HOME/instance-4435689-1721135096.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100066 s]*
/proc/loadavg: 4.10 4.14 4.13 5/255 854476
/proc/meminfo: memFree=123473308/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=119340 memory=52236 CPUtime=0.1 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 11942 0 0 0 9 1 0 0 20 0 1 0 165676289 122204160 13059 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 29835 13059 3805 3002 0 13586 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119340 KiB
Current children cumulated memory: 52236 KiB

[startup+0.20583 s]*
/proc/loadavg: 4.10 4.14 4.13 5/255 854476
/proc/meminfo: memFree=123454324/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=133892 memory=66528 CPUtime=0.19 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 15430 0 0 0 18 1 0 0 20 0 1 0 165676289 137105408 16632 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 33473 16632 3885 3002 0 17224 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133892 KiB
Current children cumulated memory: 66528 KiB

[startup+0.305781 s]*
/proc/loadavg: 4.10 4.14 4.13 5/255 854476
/proc/meminfo: memFree=123444468/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=148924 memory=78012 CPUtime=0.3 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 18383 0 0 0 28 2 0 0 20 0 1 0 165676289 152498176 19503 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 37231 19503 3885 3002 0 20982 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148924 KiB
Current children cumulated memory: 78012 KiB

[startup+0.700158 s]
/proc/loadavg: 4.10 4.14 4.13 5/255 854476
/proc/meminfo: memFree=123415904/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=179000 memory=103164 CPUtime=0.69 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 24668 0 0 0 66 3 0 0 20 0 1 0 165676289 183296000 25791 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 44750 25791 4085 3002 0 28501 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 179000 KiB
Current children cumulated memory: 103164 KiB

[startup+1.50015 s]
/proc/loadavg: 4.10 4.14 4.13 5/255 854476
/proc/meminfo: memFree=123408160/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=180504 memory=104484 CPUtime=1.48 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 24965 0 0 0 145 3 0 0 20 0 1 0 165676289 184836096 26121 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 45126 26121 4085 3002 0 28877 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180504 KiB
Current children cumulated memory: 104484 KiB

[startup+3.106 s]
/proc/loadavg: 4.10 4.14 4.13 5/255 854477
/proc/meminfo: memFree=123398052/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=183168 memory=107120 CPUtime=3.08 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 25664 0 0 0 305 3 0 0 20 0 1 0 165676289 187564032 26780 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 45792 26780 4085 3002 0 29543 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 183168 KiB
Current children cumulated memory: 107120 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.14 4.13 5/255 854477
/proc/meminfo: memFree=123382268/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=192780 memory=116492 CPUtime=6.26 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 28034 0 0 0 623 3 0 0 20 0 1 0 165676289 197406720 29123 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 48195 29123 4085 3002 0 31946 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 192780 KiB
Current children cumulated memory: 116492 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.12 5/255 854477
/proc/meminfo: memFree=123339804/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=210120 memory=134060 CPUtime=12.64 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 32496 0 0 0 1260 4 0 0 20 0 1 0 165676289 215162880 33515 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 52530 33515 4100 3002 0 36281 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 210120 KiB
Current children cumulated memory: 134060 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.12 5/255 854480
/proc/meminfo: memFree=123266912/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=237676 memory=161528 CPUtime=25.41 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 39353 0 0 0 2535 6 0 0 20 0 1 0 165676289 243380224 40382 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 59419 40382 4116 3002 0 43170 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 237676 KiB
Current children cumulated memory: 161528 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.13 4.12 5/255 854483
/proc/meminfo: memFree=123221388/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=252656 memory=175684 CPUtime=50.93 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 42899 0 0 0 5085 8 0 0 20 0 1 0 165676289 258719744 43921 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 63164 43921 4132 3002 0 46915 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 252656 KiB
Current children cumulated memory: 175684 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/254 854492
/proc/meminfo: memFree=123172724/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=252656 memory=175740 CPUtime=101.96 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 43021 0 0 0 10184 12 0 0 20 0 1 0 165676289 258719744 43935 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 63164 43935 4132 3002 0 46915 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 252656 KiB
Current children cumulated memory: 175740 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/254 854503
/proc/meminfo: memFree=123133592/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=252656 memory=175768 CPUtime=161.77 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 43088 0 0 0 16163 14 0 0 20 0 1 0 165676289 258719744 43942 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 63164 43942 4132 3002 0 46915 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 252656 KiB
Current children cumulated memory: 175768 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 854559
/proc/meminfo: memFree=128187448/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=252656 memory=176104 CPUtime=221.55 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 43176 0 0 0 22141 14 0 0 20 0 1 0 165676289 258719744 44026 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 63164 44026 4132 3002 0 46915 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 252656 KiB
Current children cumulated memory: 176104 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/255 854570
/proc/meminfo: memFree=128122856/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=269968 memory=193776 CPUtime=281.33 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 47600 0 0 0 28117 16 0 0 20 0 1 0 165676289 276447232 48444 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 67492 48444 4132 3002 0 51243 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 269968 KiB
Current children cumulated memory: 193776 KiB

[startup+342.3 s]
/proc/loadavg: 4.29 4.15 4.11 5/258 854587
/proc/meminfo: memFree=127980044/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=323984 memory=249380 CPUtime=341.11 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 51477 0 0 0 34066 45 0 0 20 0 1 0 165676289 331759616 62345 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 80996 62345 4244 3002 0 64747 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 323984 KiB
Current children cumulated memory: 249380 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/258 854642
/proc/meminfo: memFree=127812740/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=388372 memory=291032 CPUtime=400.88 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 54287 0 0 0 40018 70 0 0 20 0 1 0 165676289 397692928 72758 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 97093 72758 4244 3002 0 80844 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 388372 KiB
Current children cumulated memory: 291032 KiB

[startup+462.3 s]
/proc/loadavg: 4.65 4.29 4.16 5/258 854652
/proc/meminfo: memFree=127704552/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=401848 memory=303224 CPUtime=460.66 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 56307 0 0 0 45974 92 0 0 20 0 1 0 165676289 411492352 75806 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 100462 75806 4244 3002 0 84213 0

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

/proc/loadavg: 4.08 4.13 4.09 5/257 855678
/proc/meminfo: memFree=124891912/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=528692 CPUtime=2733.29 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 93237 0 0 0 272964 365 0 0 20 0 1 0 165676289 663814144 132173 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 132173 4244 3002 0 145815 0
Current children cumulated CPU time: 2733.29 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 528692 KiB

[startup+2802.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 855688
/proc/meminfo: memFree=124871576/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=545728 CPUtime=2793.09 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 93541 0 0 0 278937 372 0 0 20 0 1 0 165676289 663814144 136432 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 136432 4244 3002 0 145815 0
Current children cumulated CPU time: 2793.09 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 545728 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 855698
/proc/meminfo: memFree=124791764/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=2852.9 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 93743 0 0 0 284913 377 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 2852.9 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 855709
/proc/meminfo: memFree=124710712/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=2912.7 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 93952 0 0 0 290883 387 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 2912.7 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 855720
/proc/meminfo: memFree=124650860/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=2972.51 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94168 0 0 0 296859 392 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 2972.51 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 856115
/proc/meminfo: memFree=124649712/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3032.3 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94389 0 0 0 302834 396 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3032.3 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3102.3 s]
/proc/loadavg: 4.51 4.23 4.13 5/258 856126
/proc/meminfo: memFree=124647308/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3092.11 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94598 0 0 0 308805 406 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3092.11 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

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

# cumulated CPU time of all completed processes:  user=3120.16 s, system=4.13858 s

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

[startup+3110.4 s]
/proc/loadavg: 4.43 4.22 4.13 5/258 856128
/proc/meminfo: memFree=124646888/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3100.19 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94666 0 0 0 309611 408 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3100.19 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3123.2 s]
/proc/loadavg: 4.37 4.21 4.13 5/258 856132
/proc/meminfo: memFree=124642496/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3112.94 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94669 0 0 0 310884 410 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3112.94 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3129.6 s]
/proc/loadavg: 4.34 4.21 4.12 5/258 856132
/proc/meminfo: memFree=124632044/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3119.31 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94670 0 0 0 311520 411 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3119.31 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3132.8 s]
/proc/loadavg: 4.39 4.22 4.13 5/258 856132
/proc/meminfo: memFree=124627280/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3122.51 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94670 0 0 0 311839 412 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3122.51 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3133.6 s]
/proc/loadavg: 4.39 4.22 4.13 5/258 856133
/proc/meminfo: memFree=124626160/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3123.31 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94670 0 0 0 311918 413 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3123.31 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3134 s]*
/proc/loadavg: 4.39 4.22 4.13 5/258 856133
/proc/meminfo: memFree=124623108/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3123.71 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94670 0 0 0 311958 413 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3123.71 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3134.4 s]
/proc/loadavg: 4.39 4.22 4.13 5/258 856133
/proc/meminfo: memFree=124623108/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3124.1 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94670 0 0 0 311997 413 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3124.1 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

[startup+3134.5 s]
/proc/loadavg: 4.39 4.22 4.13 5/258 856133
/proc/meminfo: memFree=124623108/131524600 swapFree=131071996/131071996
[pid=854475] ppid=854472 vsize=648256 memory=572264 CPUtime=3124.2 cores=0,2
/proc/854475/stat : 854475 (mixed-bag) R 854472 854475 850366 0 -1 4194304 94670 0 0 0 312007 413 0 0 20 0 1 0 165676289 663814144 143066 134679101440 4194304 16487941 140729621363856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 45535232 140729621365783 140729621365860 140729621365860 140729621372875 0
/proc/854475/statm: 162064 143066 4244 3002 0 145815 0
Current children cumulated CPU time: 3124.2 s
Current children cumulated vsize: 648256 KiB
Current children cumulated memory: 572264 KiB

Child status: 0

Real time (s): 3134.59
CPU time (s): 3124.3
CPU user time (s): 3120.16
CPU system time (s): 4.13858
CPU usage (%): 99.6718
Max. virtual memory (cumulated for all children) (KiB): 648256
Max. memory (cumulated for all children) (KiB): 572264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3120.16
system time used= 4.13858
maximum resident set size= 574292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95255
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= 96
involuntary context switches= 21979


# summary of solver processes directly reported to runsolver:
#   pid: 854475
#   total CPU time (s): 3124.3
#   total CPU user time (s): 3120.16
#   total CPU system time (s): 4.13858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65771 second user time and 14.8446 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-16 15:05:09
IDJOB=4435689
IDBENCH=155624
IDSOLVER=3066
FILE ID=nodeC027/4435689-1721135096
RUNJOBID= nodeC027-1721127883-850376
SLURM_JOB_ID= 7505687
Free space on /tmp= 889984 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435689-1721135096/watcher-4435689-1721135096 -o /tmp/evaluation-result-4435689-1721135096/solver-4435689-1721135096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850376 --watchdog 3760  mixed-bag HOME/instance-4435689-1721135096.opb

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

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=1309239330

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123507484 kB
MemAvailable:   124344616 kB
Buffers:          402564 kB
Cached:          1271600 kB
SwapCached:            0 kB
Active:           756488 kB
Inactive:        6658020 kB
Active(anon):       1552 kB
Inactive(anon):  5776560 kB
Active(file):     754936 kB
Inactive(file):   881460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             51792 kB
Writeback:             0 kB
AnonPages:       5738512 kB
Mapped:           137664 kB
Shmem:             37720 kB
KReclaimable:      81116 kB
Slab:             185468 kB
SReclaimable:      81116 kB
SUnreclaim:       104352 kB
KernelStack:        4080 kB
PageTables:        21956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7337828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61792 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1662976 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC027 at 2024-07-16 15:57:24