Trace number 4454947

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-19OPT3437313 3499.3 3508.27

DiagnosticValue
AM1LB0
LOWERBOUND3179954
NAM1S0
NCORES14
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED2
SCIPUB6823985

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.06	c [STEP] preprocessing with Papilo
0.00/0.09	c [STEP] solving with SCIP
299.31/300.13	c [STEP] preprocessing done, loading into solver
299.31/300.15	c [STEP] solving
299.31/300.15	c #variables 4971 #constraints 5188
299.31/300.15	c SMALL=int, LARGE=long long
299.31/300.15	d SCIPUB 6823985
299.31/300.15	c bounds - >= -70 @ 299.05
299.31/300.15	c stratification level: 6750000
299.40/300.27	c bounds 6822913 >= -70 @ 299.169
299.40/300.27	c stratification level: 6615898
299.40/300.27	c bounds 6812129 >= -70 @ 299.17
299.40/300.27	c stratification level: 6483584
299.40/300.28	c bounds 6810887 >= -70 @ 299.176
299.40/300.28	c stratification level: 6353046
299.40/300.28	c bounds 6806735 >= -70 @ 299.179
299.40/300.28	c stratification level: 6224272
299.81/300.60	c bounds 6794687 >= -70 @ 299.491
299.81/300.60	c stratification level: 6097250
299.81/300.61	c bounds 6789081 >= -70 @ 299.497
299.81/300.61	c stratification level: 5971968
299.81/300.66	c bounds 6787647 >= -70 @ 299.544
299.81/300.66	c stratification level: 5848414
299.81/300.68	c bounds 6528357 >= -70 @ 299.559
299.81/300.68	c stratification level: 5726576
299.81/300.69	c bounds 6521197 >= -70 @ 299.569
299.81/300.69	c stratification level: 5606442
300.21/301.03	c #Conflicts:       1000 | #Constraints:       6197
300.21/301.03	c bounds 6372087 >= -70 @ 299.906
300.21/301.03	c stratification level: 5488000
300.21/301.05	c bounds 6371415 >= -70 @ 299.922
300.21/301.05	c stratification level: 5371238
300.31/301.14	c bounds 6340543 >= -70 @ 300.009
300.31/301.14	c stratification level: 5256144
300.71/301.53	c bounds 5673291 >= -70 @ 300.389
300.71/301.53	c stratification level: 5142706
300.80/301.64	c bounds 5671181 >= -70 @ 300.496
300.80/301.64	c stratification level: 5030912
300.80/301.67	c bounds 5670503 >= -70 @ 300.523
300.80/301.67	c stratification level: 4920750
300.80/301.69	c bounds 5669117 >= -70 @ 300.543
300.80/301.69	c stratification level: 4812208
300.91/301.71	c bounds 5668509 >= -70 @ 300.563
300.91/301.71	c stratification level: 4705274
300.91/301.73	c bounds 5634963 >= -70 @ 300.581
300.91/301.73	c stratification level: 4599936
300.91/301.79	c bounds 5618155 >= -70 @ 300.643
300.91/301.79	c stratification level: 4496182
301.00/301.86	c bounds 5615549 >= -70 @ 300.706
301.00/301.86	c stratification level: 4394000
301.00/301.87	c bounds 5411587 >= -70 @ 300.725
301.00/301.87	c stratification level: 4293378
301.10/301.96	c bounds 5407593 >= -70 @ 300.814
301.10/301.96	c stratification level: 4194304
301.10/301.99	c bounds 5400707 >= -70 @ 300.837
301.10/301.99	c stratification level: 4096766
301.21/302.02	c bounds 5386465 >= -70 @ 300.873
301.21/302.02	c stratification level: 4000752
301.30/302.17	c bounds 5375639 >= -70 @ 301.011
301.30/302.17	c stratification level: 3906250
301.40/302.20	c bounds 5374961 >= -70 @ 301.041
301.40/302.20	c stratification level: 3813248
301.40/302.22	c bounds 5374449 >= -70 @ 301.066
301.40/302.22	c stratification level: 3721734
301.40/302.26	c bounds 5370645 >= -70 @ 301.105
301.40/302.26	c stratification level: 3631696
301.50/302.36	c bounds 5370495 >= -70 @ 301.201
301.50/302.36	c stratification level: 3543122
301.60/302.43	c bounds 5363263 >= -70 @ 301.267
301.60/302.43	c stratification level: 3456000
305.59/306.48	c #Conflicts:       2000 | #Constraints:       7218
305.59/306.48	c INPROCESSING
305.59/306.48	c GARBAGE COLLECT
305.59/306.48	c #Conflicts:       3000 | #Constraints:       5430
305.59/306.48	c bounds 4776729 >= -70 @ 305.265
305.59/306.48	c stratification level: 3370318
306.88/307.75	c bounds 4776499 >= -70 @ 306.516
306.88/307.75	c stratification level: 3286064
306.99/307.82	c bounds 4775821 >= -70 @ 306.591
306.99/307.82	c stratification level: 3203226
307.30/308.16	c bounds 4764293 >= -70 @ 306.927
307.30/308.16	c stratification level: 3121792
307.59/308.40	c bounds 4760645 >= -70 @ 307.163
307.59/308.40	c stratification level: 3041750
307.59/308.48	c bounds 4756739 >= -70 @ 307.242
307.59/308.48	c stratification level: 2963088
307.78/308.60	c bounds 4754925 >= -70 @ 307.359
307.78/308.60	c stratification level: 2885794
308.09/308.97	c bounds 4753933 >= -70 @ 307.723
308.09/308.97	c stratification level: 2809856
308.19/309.08	c bounds 4750573 >= -70 @ 307.829
308.19/309.08	c stratification level: 2735262
308.29/309.16	c bounds 4745661 >= -70 @ 307.911
308.29/309.16	c stratification level: 2662000
310.18/311.05	c #Conflicts:       4000 | #Constraints:       6440
310.18/311.05	c INPROCESSING
310.18/311.05	c GARBAGE COLLECT
310.18/311.05	c bounds 4740363 >= -70 @ 309.779
310.18/311.05	c stratification level: 2590058
310.38/311.25	c bounds 4728129 >= -70 @ 309.982
310.38/311.25	c stratification level: 2519424
310.48/311.35	c bounds 4725857 >= -70 @ 310.073
310.48/311.35	c stratification level: 2450086
310.58/311.44	c bounds 4721965 >= -70 @ 310.166
310.58/311.44	c stratification level: 2382032
310.67/311.50	c bounds 4719691 >= -70 @ 310.224
310.67/311.50	c stratification level: 2315250
310.98/311.81	c bounds 4696425 >= -70 @ 310.522
310.98/311.81	c stratification level: 2249728
312.07/312.91	c #Conflicts:       5000 | #Constraints:       5797
312.07/312.91	c bounds 4598251 >= -70 @ 311.614
312.07/312.91	c stratification level: 2185454
327.73/328.64	c #Conflicts:       6000 | #Constraints:       6798
327.73/328.64	c INPROCESSING
327.73/328.64	c GARBAGE COLLECT
327.73/328.64	c #Conflicts:       7000 | #Constraints:       5786
327.73/328.64	c #Conflicts:       8000 | #Constraints:       6786
327.73/328.64	c bounds 4583891 >= -70 @ 327.252
327.73/328.64	c stratification level: 2122416
328.53/329.42	c bounds 4467837 >= -70 @ 328.017
328.53/329.42	c stratification level: 2060602
334.32/335.25	c #Conflicts:       9000 | #Constraints:       7788
334.32/335.25	c INPROCESSING
334.32/335.25	c GARBAGE COLLECT
334.32/335.25	c bounds 4076679 >= -70 @ 333.824
334.32/335.25	c stratification level: 2000000
334.41/335.30	c bounds 4050929 >= -70 @ 333.867
334.41/335.30	c stratification level: 1940598
334.52/335.40	c bounds 4040475 >= -70 @ 333.968
334.52/335.40	c stratification level: 1882384
334.81/335.70	c bounds 4039245 >= -70 @ 334.262
334.81/335.70	c stratification level: 1825346
352.87/353.82	c #Conflicts:      10000 | #Constraints:       6483
352.87/353.82	c #Conflicts:      11000 | #Constraints:       7483
352.87/353.82	c #Conflicts:      12000 | #Constraints:       8483
352.87/353.82	c INPROCESSING
352.87/353.82	c GARBAGE COLLECT
352.87/353.82	c #Conflicts:      13000 | #Constraints:       6892
352.87/353.82	c bounds 4038303 >= -70 @ 352.273
352.87/353.82	c stratification level: 1769472
352.87/353.89	c bounds 4037727 >= -70 @ 352.34
352.87/353.89	c stratification level: 1714750
355.67/356.68	c bounds 3995193 >= -70 @ 355.102
355.67/356.68	c stratification level: 1661168
357.35/358.37	c #Conflicts:      14000 | #Constraints:       7895
357.35/358.37	c bounds 3994445 >= -70 @ 356.782
357.35/358.37	c stratification level: 1608714
357.46/358.47	c bounds 3991621 >= -70 @ 356.885
357.46/358.47	c stratification level: 1557376
357.76/358.72	c bounds 3986395 >= -70 @ 357.128
357.76/358.72	c stratification level: 1507142
366.33/367.32	c #Conflicts:      15000 | #Constraints:       8898
366.33/367.32	c INPROCESSING
366.33/367.32	c GARBAGE COLLECT
366.33/367.32	c bounds 3981293 >= -70 @ 365.655
366.33/367.32	c stratification level: 1458000
368.73/369.74	c #Conflicts:      16000 | #Constraints:       7118
368.73/369.74	c bounds 3977431 >= -70 @ 368.048
368.73/369.74	c stratification level: 1409938
368.83/369.88	c bounds 3976863 >= -70 @ 368.189
368.83/369.88	c stratification level: 1362944
369.03/370.07	c bounds 3976351 >= -70 @ 368.376
369.03/370.07	c stratification level: 1317006
369.22/370.28	c bounds 3964157 >= -70 @ 368.581
369.22/370.28	c stratification level: 1272112
369.43/370.40	c bounds 3963719 >= -70 @ 368.697
369.43/370.40	c stratification level: 1228250
370.03/371.01	c bounds 3953985 >= -70 @ 369.305
370.03/371.01	c stratification level: 1185408
370.62/371.67	c bounds 3939075 >= -70 @ 369.96
370.62/371.67	c stratification level: 1143574
374.31/375.34	c #Conflicts:      17000 | #Constraints:       8125
374.31/375.34	c bounds 3938325 >= -70 @ 373.611
374.31/375.34	c stratification level: 1102736
374.81/375.89	c bounds 3937813 >= -70 @ 374.153
374.81/375.89	c stratification level: 1062882
481.75/483.02	c #Conflicts:      18000 | #Constraints:       9127
481.75/483.02	c INPROCESSING
481.75/483.02	c GARBAGE COLLECT
481.75/483.02	c #Conflicts:      19000 | #Constraints:       7157
481.75/483.02	c #Conflicts:      20000 | #Constraints:       8157
481.75/483.02	c #Conflicts:      21000 | #Constraints:       9157
481.75/483.02	c INPROCESSING
481.75/483.02	c GARBAGE COLLECT
481.75/483.02	c #Conflicts:      22000 | #Constraints:       6959
481.75/483.02	c #Conflicts:      23000 | #Constraints:       7959
481.75/483.02	c #Conflicts:      24000 | #Constraints:       8959
481.75/483.02	c #Conflicts:      25000 | #Constraints:       9959
481.75/483.02	c INPROCESSING
481.75/483.02	c GARBAGE COLLECT
481.75/483.02	c #Conflicts:      26000 | #Constraints:       7549
481.75/483.02	c #Conflicts:      27000 | #Constraints:       8549
481.75/483.02	c #Conflicts:      28000 | #Constraints:       9549
481.75/483.02	c #Conflicts:      29000 | #Constraints:      10549
481.75/483.02	c INPROCESSING
481.75/483.02	c GARBAGE COLLECT
481.75/483.02	c #Conflicts:      30000 | #Constraints:       7963
481.75/483.02	c #Conflicts:      31000 | #Constraints:       8963
481.75/483.02	c bounds 3931947 >= -70 @ 480.726
481.75/483.02	c stratification level: 1024000
522.14/523.56	c #Conflicts:      32000 | #Constraints:       9964
522.14/523.56	c #Conflicts:      33000 | #Constraints:      10964
522.14/523.56	c INPROCESSING
522.14/523.56	c GARBAGE COLLECT
522.14/523.56	c #Conflicts:      34000 | #Constraints:       8173
522.14/523.56	c #Conflicts:      35000 | #Constraints:       9173
522.14/523.56	c bounds 3922871 >= -70 @ 521.056
522.14/523.56	c stratification level: 986078
522.65/524.02	c bounds 3916141 >= -70 @ 521.52
522.65/524.02	c stratification level: 949104
529.52/530.98	c #Conflicts:      36000 | #Constraints:      10175
529.52/530.98	c bounds 3901539 >= -70 @ 528.449
529.52/530.98	c stratification level: 913066
529.81/531.20	c bounds 3901507 >= -70 @ 528.658
529.81/531.20	c stratification level: 877952
530.01/531.41	c bounds 3901363 >= -70 @ 528.866
530.01/531.41	c stratification level: 843750
530.22/531.62	c bounds 3901225 >= -70 @ 529.073
530.22/531.62	c stratification level: 810448
531.01/532.42	c bounds 3900505 >= -70 @ 529.869
531.01/532.42	c stratification level: 778034
531.71/533.15	c bounds 3887685 >= -70 @ 530.592
531.71/533.15	c stratification level: 746496
532.71/534.15	c bounds 3883477 >= -70 @ 531.58
532.71/534.15	c stratification level: 715822
533.81/535.26	c bounds 3881461 >= -70 @ 532.685
533.81/535.26	c stratification level: 686000
534.11/535.53	c bounds 3879323 >= -70 @ 532.961
534.11/535.53	c stratification level: 657018
534.41/535.84	c bounds 3878853 >= -70 @ 533.266
534.41/535.84	c stratification level: 628864
534.61/536.08	c bounds 3878715 >= -70 @ 533.501
534.61/536.08	c stratification level: 601526
537.80/539.22	c #Conflicts:      37000 | #Constraints:      11186
537.80/539.22	c INPROCESSING
537.80/539.22	c GARBAGE COLLECT
537.80/539.22	c bounds 3878069 >= -70 @ 536.622
537.80/539.22	c stratification level: 574992
538.20/539.66	c bounds 3868611 >= -70 @ 537.067
538.20/539.66	c stratification level: 572450
538.49/539.94	c bounds 3861217 >= -70 @ 537.342
538.49/539.94	c stratification level: 549250
539.09/540.51	c bounds 3861127 >= -70 @ 537.905
539.09/540.51	c stratification level: 524288
539.19/540.60	c bounds 3857233 >= -70 @ 537.994
539.19/540.60	c stratification level: 522242
539.19/540.69	c bounds 3856343 >= -70 @ 538.082
539.19/540.69	c stratification level: 500094
539.39/540.82	c bounds 3848569 >= -70 @ 538.211
539.39/540.82	c stratification level: 484128
539.49/540.91	c bounds 3846647 >= -70 @ 538.3
539.49/540.91	c stratification level: 482162
540.09/541.50	c bounds 3845193 >= -70 @ 538.89
540.09/541.50	c stratification level: 476656
541.69/543.12	c #Conflicts:      38000 | #Constraints:       8175
541.69/543.12	c bounds 3845007 >= -70 @ 540.504
541.69/543.12	c stratification level: 470450
541.88/543.35	c bounds 3835153 >= -70 @ 540.729
541.88/543.35	c stratification level: 456968
542.88/544.34	c bounds 3833661 >= -70 @ 541.714
542.88/544.34	c stratification level: 453962
542.99/544.48	c bounds 3830171 >= -70 @ 541.856
542.99/544.48	c stratification level: 449352
543.19/544.67	c bounds 3829989 >= -70 @ 542.039
543.19/544.67	c stratification level: 443682
543.28/544.79	c bounds 3828101 >= -70 @ 542.16
543.28/544.79	c stratification level: 432450
543.98/545.49	c bounds 3822347 >= -70 @ 542.859
543.98/545.49	c stratification level: 432000
550.66/552.11	c #Conflicts:      39000 | #Constraints:       9182
550.66/552.11	c bounds 3822095 >= -70 @ 549.427
550.66/552.11	c stratification level: 428738
550.77/552.27	c bounds 3820569 >= -70 @ 549.589
550.77/552.27	c stratification level: 426888
554.05/555.59	c bounds 3819213 >= -70 @ 552.888
554.05/555.59	c stratification level: 414050
555.35/556.86	c #Conflicts:      40000 | #Constraints:      10185
555.35/556.86	c bounds 3809839 >= -70 @ 554.151
555.35/556.86	c stratification level: 410758
559.24/560.79	c bounds 3806687 >= -70 @ 558.065
559.24/560.79	c stratification level: 408608
562.54/564.00	c #Conflicts:      41000 | #Constraints:      11187
562.54/564.00	c bounds 3803057 >= -70 @ 561.26
562.54/564.00	c stratification level: 406802
562.83/564.35	c bounds 3802519 >= -70 @ 561.602
562.83/564.35	c stratification level: 403202
563.13/564.62	c bounds 3801047 >= -70 @ 561.871
563.13/564.62	c stratification level: 401408
563.33/564.89	c bounds 3800635 >= -70 @ 562.139
563.33/564.89	c stratification level: 399618
570.11/571.69	c INPROCESSING
570.11/571.69	c GARBAGE COLLECT
570.11/571.69	c bounds 3799321 >= -70 @ 568.902
570.11/571.69	c stratification level: 397832
570.41/572.00	c bounds 3790049 >= -70 @ 569.209
570.41/572.00	c stratification level: 396050
570.62/572.11	c bounds 3789105 >= -70 @ 569.316
570.62/572.11	c stratification level: 394272
570.71/572.21	c bounds 3787655 >= -70 @ 569.421
570.71/572.21	c stratification level: 390728
571.02/572.57	c #Conflicts:      42000 | #Constraints:       7964
571.02/572.57	c bounds 3786075 >= -70 @ 569.777
571.02/572.57	c stratification level: 390224
573.51/575.05	c bounds 3769889 >= -70 @ 572.239
573.51/575.05	c stratification level: 388962
573.81/575.34	c bounds 3766829 >= -70 @ 572.526
573.81/575.34	c stratification level: 383688
574.00/575.52	c bounds 3758787 >= -70 @ 572.703
574.00/575.52	c stratification level: 381938
574.10/575.69	c bounds 3758397 >= -70 @ 572.866
574.10/575.69	c stratification level: 378450
574.41/575.98	c bounds 3757749 >= -70 @ 573.155
574.41/575.98	c stratification level: 374978
575.00/576.57	c bounds 3757539 >= -70 @ 573.743
575.00/576.57	c stratification level: 371522
575.20/576.72	c bounds 3755865 >= -70 @ 573.885
575.20/576.72	c stratification level: 370386
576.51/578.03	c bounds 3755749 >= -70 @ 575.193
576.51/578.03	c stratification level: 369800
576.61/578.17	c bounds 3755183 >= -70 @ 575.332
576.61/578.17	c stratification level: 368082
576.80/578.37	c bounds 3751785 >= -70 @ 575.525
576.80/578.37	c stratification level: 364658
577.50/579.02	c #Conflicts:      43000 | #Constraints:       8975
577.50/579.02	c bounds 3749801 >= -70 @ 576.17
577.50/579.02	c stratification level: 361250
577.89/579.44	c bounds 3749685 >= -70 @ 576.593
577.89/579.44	c stratification level: 359552
578.69/580.21	c bounds 3747601 >= -70 @ 577.353
578.69/580.21	c stratification level: 357858
579.39/580.91	c bounds 3746469 >= -70 @ 578.051
579.39/580.91	c stratification level: 356168
579.50/581.05	c bounds 3746389 >= -70 @ 578.196
579.50/581.05	c stratification level: 354482
581.68/583.20	c bounds 3739219 >= -70 @ 580.329
581.68/583.20	c stratification level: 352800
584.88/586.41	c bounds 3738861 >= -70 @ 583.515
584.88/586.41	c stratification level: 351232
584.98/586.58	c bounds 3738471 >= -70 @ 583.687
584.98/586.58	c stratification level: 351122
585.18/586.79	c bounds 3737681 >= -70 @ 583.89
585.18/586.79	c stratification level: 349448
585.77/587.31	c bounds 3732147 >= -70 @ 584.41
585.77/587.31	c stratification level: 347778
632.06/633.78	c #Conflicts:      44000 | #Constraints:       9985
632.06/633.78	c #Conflicts:      45000 | #Constraints:      10985
632.06/633.78	c #Conflicts:      46000 | #Constraints:      11985
632.06/633.78	c INPROCESSING
632.06/633.78	c GARBAGE COLLECT
632.06/633.78	c #Conflicts:      47000 | #Constraints:       8543
632.06/633.78	c #Conflicts:      48000 | #Constraints:       9543
632.06/633.78	c #Conflicts:      49000 | #Constraints:      10543
632.06/633.78	c bounds 3728957 >= -70 @ 630.643
632.06/633.78	c stratification level: 344450
632.26/633.98	c bounds 3728519 >= -70 @ 630.844
632.26/633.98	c stratification level: 342792
632.46/634.19	c bounds 3728169 >= -70 @ 631.054
632.46/634.19	c stratification level: 341138
632.75/634.42	c bounds 3727927 >= -70 @ 631.275
632.75/634.42	c stratification level: 339488
632.96/634.62	c bounds 3727741 >= -70 @ 631.475
632.96/634.62	c stratification level: 337842
633.16/634.85	c bounds 3727391 >= -70 @ 631.703
633.16/634.85	c stratification level: 336200
633.85/635.56	c bounds 3723499 >= -70 @ 632.409
633.85/635.56	c stratification level: 334562
634.15/635.80	c bounds 3721105 >= -70 @ 632.65
634.15/635.80	c stratification level: 332928
634.36/636.00	c bounds 3720863 >= -70 @ 632.851
634.36/636.00	c stratification level: 332750
634.65/636.32	c bounds 3720513 >= -70 @ 633.172
634.65/636.32	c stratification level: 331298
634.85/636.52	c bounds 3719869 >= -70 @ 633.37
634.85/636.52	c stratification level: 329672
644.72/646.45	c #Conflicts:      50000 | #Constraints:      11554
644.72/646.45	c bounds 3717197 >= -70 @ 643.234
644.72/646.45	c stratification level: 328050
645.53/647.23	c bounds 3715527 >= -70 @ 644.013
645.53/647.23	c stratification level: 326432
645.73/647.46	c bounds 3713687 >= -70 @ 644.239
645.73/647.46	c stratification level: 324818
646.02/647.72	c bounds 3712229 >= -70 @ 644.499
646.02/647.72	c stratification level: 323208
646.22/648.00	c bounds 3711179 >= -70 @ 644.78
646.22/648.00	c stratification level: 321602
647.32/649.03	c bounds 3710063 >= -70 @ 645.809
647.32/649.03	c stratification level: 320000
647.82/649.55	c bounds 3706961 >= -70 @ 646.325
647.82/649.55	c stratification level: 318402
648.91/650.62	c bounds 3696121 >= -70 @ 647.383
648.91/650.62	c stratification level: 316808
649.11/650.89	c bounds 3689057 >= -70 @ 647.655
649.11/650.89	c stratification level: 314928
649.51/651.27	c bounds 3687513 >= -70 @ 648.036
649.51/651.27	c stratification level: 313632
650.41/652.11	c bounds 3678911 >= -70 @ 648.867
650.41/652.11	c stratification level: 312050
651.00/652.76	c #Conflicts:      51000 | #Constraints:      12565
651.00/652.76	c INPROCESSING
651.00/652.76	c GARBAGE COLLECT
651.00/652.76	c bounds 3678261 >= -70 @ 649.507
651.00/652.76	c stratification level: 310472
652.31/654.05	c bounds 3676009 >= -70 @ 650.795
652.31/654.05	c stratification level: 308898
653.00/654.79	c bounds 3675049 >= -70 @ 651.531
653.00/654.79	c stratification level: 307328
653.20/654.91	c bounds 3673783 >= -70 @ 651.647
653.20/654.91	c stratification level: 305762
653.31/655.04	c bounds 3672967 >= -70 @ 651.775
653.31/655.04	c stratification level: 302642
653.41/655.17	c bounds 3670877 >= -70 @ 651.901
653.41/655.17	c stratification level: 301088
653.60/655.35	c bounds 3663187 >= -70 @ 652.086
653.60/655.35	c stratification level: 299538
653.70/655.48	c bounds 3662469 >= -70 @ 652.218
653.70/655.48	c stratification level: 297992
653.90/655.68	c bounds 3657495 >= -70 @ 652.416
653.90/655.68	c stratification level: 297754
654.09/655.80	c bounds 3656229 >= -70 @ 652.53
654.09/655.80	c stratification level: 296450
654.19/655.92	c bounds 3647109 >= -70 @ 652.648
654.19/655.92	c stratification level: 294912
654.31/656.04	c bounds 3636147 >= -70 @ 652.768
654.31/656.04	c stratification level: 293378
654.41/656.16	c bounds 3627757 >= -70 @ 652.886
654.41/656.16	c stratification level: 290322
654.70/656.47	c bounds 3627085 >= -70 @ 653.193
654.70/656.47	c stratification level: 288800
654.90/656.68	c bounds 3624753 >= -70 @ 653.4
654.90/656.68	c stratification level: 287282
654.99/656.79	c bounds 3621475 >= -70 @ 653.515
654.99/656.79	c stratification level: 285768
655.19/656.99	c bounds 3613555 >= -70 @ 653.707
655.19/656.99	c stratification level: 284258
655.41/657.13	c bounds 3612451 >= -70 @ 653.85
655.41/657.13	c stratification level: 282752
655.50/657.26	c bounds 3593777 >= -70 @ 653.976
655.50/657.26	c stratification level: 281250
655.80/657.50	c bounds 3586185 >= -70 @ 654.217
655.80/657.50	c stratification level: 281216
655.89/657.63	c bounds 3568025 >= -70 @ 654.344
655.89/657.63	c stratification level: 279752
655.99/657.76	c bounds 3567353 >= -70 @ 654.468
655.99/657.76	c stratification level: 278258
656.09/657.89	c bounds 3552129 >= -70 @ 654.595
656.09/657.89	c stratification level: 276768
656.39/658.13	c bounds 3550913 >= -70 @ 654.836
656.39/658.13	c stratification level: 275282
656.49/658.25	c bounds 3550897 >= -70 @ 654.959
656.49/658.25	c stratification level: 273800
656.59/658.38	c bounds 3547977 >= -70 @ 655.082
656.59/658.38	c stratification level: 272322
656.80/658.52	c bounds 3542849 >= -70 @ 655.227
656.80/658.52	c stratification level: 270848
656.99/658.70	c bounds 3525789 >= -70 @ 655.402
656.99/658.70	c stratification level: 269378
657.09/658.82	c bounds 3525101 >= -70 @ 655.519
657.09/658.82	c stratification level: 267912
657.89/659.65	c bounds 3517231 >= -70 @ 656.349
657.89/659.65	c stratification level: 266450
657.99/659.78	c bounds 3516559 >= -70 @ 656.477
657.99/659.78	c stratification level: 265302
658.30/660.02	c bounds 3515095 >= -70 @ 656.71
658.30/660.02	c stratification level: 264992
660.29/662.04	c #Conflicts:      52000 | #Constraints:       8964
660.29/662.04	c bounds 3510123 >= -70 @ 658.719
660.29/662.04	c stratification level: 263538
660.39/662.18	c bounds 3510053 >= -70 @ 658.853
660.39/662.18	c stratification level: 262088
660.78/662.53	c bounds 3503471 >= -70 @ 659.202
660.78/662.53	c stratification level: 260642
660.88/662.69	c bounds 3497703 >= -70 @ 659.368
660.88/662.69	c stratification level: 259200
661.08/662.83	c bounds 3497101 >= -70 @ 659.503
661.08/662.83	c stratification level: 257762
661.18/662.98	c bounds 3497031 >= -70 @ 659.653
661.18/662.98	c stratification level: 256328
661.48/663.20	c bounds 3493345 >= -70 @ 659.872
661.48/663.20	c stratification level: 254898
727.91/729.81	c #Conflicts:      53000 | #Constraints:       9971
727.91/729.81	c #Conflicts:      54000 | #Constraints:      10971
727.91/729.81	c #Conflicts:      55000 | #Constraints:      11971
727.91/729.81	c #Conflicts:      56000 | #Constraints:      12971
727.91/729.81	c INPROCESSING
727.91/729.81	c GARBAGE COLLECT
727.91/729.81	c #Conflicts:      57000 | #Constraints:       9120
727.91/729.81	c #Conflicts:      58000 | #Constraints:      10120
727.91/729.81	c #Conflicts:      59000 | #Constraints:      11120
727.91/729.81	c #Conflicts:      60000 | #Constraints:      12120
727.91/729.81	c bounds 3489079 >= -70 @ 726.147
727.91/729.81	c stratification level: 253472
728.11/730.08	c bounds 3489009 >= -70 @ 726.411
728.11/730.08	c stratification level: 252050
728.70/730.62	c bounds 3488567 >= -70 @ 726.953
728.70/730.62	c stratification level: 250632
735.78/737.76	c #Conflicts:      61000 | #Constraints:      13123
735.78/737.76	c bounds 3488171 >= -70 @ 734.049
735.78/737.76	c stratification level: 250000
736.09/738.05	c bounds 3487569 >= -70 @ 734.336
736.09/738.05	c stratification level: 249218
736.38/738.34	c bounds 3487499 >= -70 @ 734.625
736.38/738.34	c stratification level: 247808
739.28/741.25	c INPROCESSING
739.28/741.25	c GARBAGE COLLECT
739.28/741.25	c bounds 3485649 >= -70 @ 737.525
739.28/741.25	c stratification level: 246402
739.48/741.43	c bounds 3484833 >= -70 @ 737.707
739.48/741.43	c stratification level: 245000
739.57/741.58	c bounds 3484763 >= -70 @ 737.853
739.57/741.58	c stratification level: 243602
739.87/741.85	c bounds 3483263 >= -70 @ 738.119
739.87/741.85	c stratification level: 242208
739.97/742.00	c bounds 3482207 >= -70 @ 738.269
739.97/742.00	c stratification level: 240818
740.28/742.22	c bounds 3479669 >= -70 @ 738.491
740.28/742.22	c stratification level: 239432
740.78/742.78	c bounds 3478075 >= -70 @ 739.047
740.78/742.78	c stratification level: 238050
744.18/746.18	c #Conflicts:      62000 | #Constraints:       9126
744.18/746.18	c bounds 3477107 >= -70 @ 742.425
744.18/746.18	c stratification level: 236672
744.37/746.35	c bounds 3477037 >= -70 @ 742.593
744.37/746.35	c stratification level: 235298
746.66/748.69	c bounds 3473097 >= -70 @ 744.923
746.66/748.69	c stratification level: 233928
753.24/755.25	c #Conflicts:      63000 | #Constraints:      10129
753.24/755.25	c bounds 3470217 >= -70 @ 751.448
753.24/755.25	c stratification level: 232562
753.54/755.53	c bounds 3469751 >= -70 @ 751.733
753.54/755.53	c stratification level: 231200
759.33/761.31	c bounds 3468031 >= -70 @ 757.488
759.33/761.31	c stratification level: 229842
759.83/761.88	c bounds 3467991 >= -70 @ 758.048
759.83/761.88	c stratification level: 228488
763.62/765.67	c #Conflicts:      64000 | #Constraints:      11133
763.62/765.67	c bounds 3459743 >= -70 @ 761.823
763.62/765.67	c stratification level: 227138
763.91/765.92	c bounds 3459055 >= -70 @ 762.077
763.91/765.92	c stratification level: 225792
764.41/766.40	c bounds 3458581 >= -70 @ 762.551
764.41/766.40	c stratification level: 224450
778.38/780.41	c #Conflicts:      65000 | #Constraints:      12136
778.38/780.41	c bounds 3457241 >= -70 @ 776.497
778.38/780.41	c stratification level: 223112
798.22/800.37	c #Conflicts:      66000 | #Constraints:      13137
798.22/800.37	c INPROCESSING
798.22/800.37	c GARBAGE COLLECT
798.22/800.37	c bounds 3456717 >= -70 @ 796.348
798.22/800.37	c stratification level: 221778
799.12/801.24	c bounds 3455851 >= -70 @ 797.212
799.12/801.24	c stratification level: 221184
799.22/801.39	c bounds 3455249 >= -70 @ 797.363
799.22/801.39	c stratification level: 220448
799.42/801.56	c bounds 3453959 >= -70 @ 797.525
799.42/801.56	c stratification level: 219122
799.82/801.92	c bounds 3451841 >= -70 @ 797.887
799.82/801.92	c stratification level: 217800
807.70/809.82	c #Conflicts:      67000 | #Constraints:       8928
807.70/809.82	c bounds 3449153 >= -70 @ 805.731
807.70/809.82	c stratification level: 216482
807.90/810.08	c bounds 3447919 >= -70 @ 805.995
807.90/810.08	c stratification level: 215168
809.00/811.12	c bounds 3445249 >= -70 @ 807.03
809.00/811.12	c stratification level: 213858
812.58/814.76	c #Conflicts:      68000 | #Constraints:       9931
812.58/814.76	c bounds 3443283 >= -70 @ 810.649
812.58/814.76	c stratification level: 212552
814.29/816.47	c bounds 3437329 >= -70 @ 812.35
814.29/816.47	c stratification level: 211250
814.58/816.74	c bounds 3437313 >= -70 @ 812.62
814.58/816.74	c stratification level: 209952
2132.41/2137.95	c #Conflicts:      69000 | #Constraints:      10934
2132.41/2137.95	c #Conflicts:      70000 | #Constraints:      11934
2132.41/2137.95	c #Conflicts:      71000 | #Constraints:      12934
2132.41/2137.95	c #Conflicts:      72000 | #Constraints:      13934
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:      73000 | #Constraints:       9515
2132.41/2137.95	c #Conflicts:      74000 | #Constraints:      10515
2132.41/2137.95	c #Conflicts:      75000 | #Constraints:      11515
2132.41/2137.95	c bounds 3437313 >= 209882 @ 897.298
2132.41/2137.95	c #Conflicts:      76000 | #Constraints:      12516
2132.41/2137.95	c #Conflicts:      77000 | #Constraints:      13516
2132.41/2137.95	c #Conflicts:      78000 | #Constraints:      14516
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:      79000 | #Constraints:       9907
2132.41/2137.95	c #Conflicts:      80000 | #Constraints:      10907
2132.41/2137.95	c #Conflicts:      81000 | #Constraints:      11907
2132.41/2137.95	c #Conflicts:      82000 | #Constraints:      12907
2132.41/2137.95	c #Conflicts:      83000 | #Constraints:      13907
2132.41/2137.95	c bounds 3437313 >= 419834 @ 1049.93
2132.41/2137.95	c #Conflicts:      84000 | #Constraints:      14908
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:      85000 | #Constraints:      10114
2132.41/2137.95	c #Conflicts:      86000 | #Constraints:      11114
2132.41/2137.95	c #Conflicts:      87000 | #Constraints:      12114
2132.41/2137.95	c #Conflicts:      88000 | #Constraints:      13114
2132.41/2137.95	c #Conflicts:      89000 | #Constraints:      14114
2132.41/2137.95	c bounds 3437313 >= 636770 @ 1163.71
2132.41/2137.95	c #Conflicts:      90000 | #Constraints:      15115
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:      91000 | #Constraints:      10124
2132.41/2137.95	c #Conflicts:      92000 | #Constraints:      11124
2132.41/2137.95	c #Conflicts:      93000 | #Constraints:      12124
2132.41/2137.95	c #Conflicts:      94000 | #Constraints:      13124
2132.41/2137.95	c #Conflicts:      95000 | #Constraints:      14124
2132.41/2137.95	c #Conflicts:      96000 | #Constraints:      15124
2132.41/2137.95	c bounds 3437313 >= 877882 @ 1362.68
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:      97000 | #Constraints:       9950
2132.41/2137.95	c #Conflicts:      98000 | #Constraints:      10950
2132.41/2137.95	c #Conflicts:      99000 | #Constraints:      11950
2132.41/2137.95	c #Conflicts:     100000 | #Constraints:      12950
2132.41/2137.95	c #Conflicts:     101000 | #Constraints:      13950
2132.41/2137.95	c #Conflicts:     102000 | #Constraints:      14950
2132.41/2137.95	c #Conflicts:     103000 | #Constraints:      15950
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:     104000 | #Constraints:      10575
2132.41/2137.95	c bounds 3437313 >= 1102666 @ 1575.91
2132.41/2137.95	c #Conflicts:     105000 | #Constraints:      11576
2132.41/2137.95	c #Conflicts:     106000 | #Constraints:      12576
2132.41/2137.95	c #Conflicts:     107000 | #Constraints:      13576
2132.41/2137.95	c #Conflicts:     108000 | #Constraints:      14576
2132.41/2137.95	c #Conflicts:     109000 | #Constraints:      15576
2132.41/2137.95	c #Conflicts:     110000 | #Constraints:      16576
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:     111000 | #Constraints:      10965
2132.41/2137.95	c #Conflicts:     112000 | #Constraints:      11965
2132.41/2137.95	c #Conflicts:     113000 | #Constraints:      12965
2132.41/2137.95	c #Conflicts:     114000 | #Constraints:      13965
2132.41/2137.95	c #Conflicts:     115000 | #Constraints:      14965
2132.41/2137.95	c #Conflicts:     116000 | #Constraints:      15965
2132.41/2137.95	c #Conflicts:     117000 | #Constraints:      16965
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:     118000 | #Constraints:      11150
2132.41/2137.95	c #Conflicts:     119000 | #Constraints:      12150
2132.41/2137.95	c #Conflicts:     120000 | #Constraints:      13150
2132.41/2137.95	c #Conflicts:     121000 | #Constraints:      14150
2132.41/2137.95	c #Conflicts:     122000 | #Constraints:      15150
2132.41/2137.95	c bounds 3437313 >= 1316936 @ 1914.96
2132.41/2137.95	c #Conflicts:     123000 | #Constraints:      16151
2132.41/2137.95	c #Conflicts:     124000 | #Constraints:      17151
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:     125000 | #Constraints:      11182
2132.41/2137.95	c #Conflicts:     126000 | #Constraints:      12182
2132.41/2137.95	c #Conflicts:     127000 | #Constraints:      13182
2132.41/2137.95	c #Conflicts:     128000 | #Constraints:      14182
2132.41/2137.95	c #Conflicts:     129000 | #Constraints:      15182
2132.41/2137.95	c #Conflicts:     130000 | #Constraints:      16182
2132.41/2137.95	c #Conflicts:     131000 | #Constraints:      17182
2132.41/2137.95	c INPROCESSING
2132.41/2137.95	c GARBAGE COLLECT
2132.41/2137.95	c #Conflicts:     132000 | #Constraints:      10962
2132.41/2137.95	c #Conflicts:     133000 | #Constraints:      11962
2132.41/2137.95	c #Conflicts:     134000 | #Constraints:      12962
2132.41/2137.95	c #Conflicts:     135000 | #Constraints:      13962
2132.41/2137.95	c #Conflicts:     136000 | #Constraints:      14962
2132.41/2137.95	c #Conflicts:     137000 | #Constraints:      15962
2817.44/2824.70	c #Conflicts:     138000 | #Constraints:      16962
2817.44/2824.70	c #Conflicts:     139000 | #Constraints:      17962
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     140000 | #Constraints:      11609
2817.44/2824.70	c #Conflicts:     141000 | #Constraints:      12609
2817.44/2824.70	c #Conflicts:     142000 | #Constraints:      13609
2817.44/2824.70	c #Conflicts:     143000 | #Constraints:      14609
2817.44/2824.70	c #Conflicts:     144000 | #Constraints:      15609
2817.44/2824.70	c #Conflicts:     145000 | #Constraints:      16609
2817.44/2824.70	c #Conflicts:     146000 | #Constraints:      17609
2817.44/2824.70	c #Conflicts:     147000 | #Constraints:      18609
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     148000 | #Constraints:      11991
2817.44/2824.70	c #Conflicts:     149000 | #Constraints:      12991
2817.44/2824.70	c #Conflicts:     150000 | #Constraints:      13991
2817.44/2824.70	c bounds 3437313 >= 1557306 @ 2292.66
2817.44/2824.70	c #Conflicts:     151000 | #Constraints:      14992
2817.44/2824.70	c #Conflicts:     152000 | #Constraints:      15992
2817.44/2824.70	c #Conflicts:     153000 | #Constraints:      16992
2817.44/2824.70	c #Conflicts:     154000 | #Constraints:      17992
2817.44/2824.70	c #Conflicts:     155000 | #Constraints:      18992
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     156000 | #Constraints:      12187
2817.44/2824.70	c #Conflicts:     157000 | #Constraints:      13187
2817.44/2824.70	c #Conflicts:     158000 | #Constraints:      14187
2817.44/2824.70	c #Conflicts:     159000 | #Constraints:      15187
2817.44/2824.70	c #Conflicts:     160000 | #Constraints:      16187
2817.44/2824.70	c #Conflicts:     161000 | #Constraints:      17187
2817.44/2824.70	c #Conflicts:     162000 | #Constraints:      18187
2817.44/2824.70	c #Conflicts:     163000 | #Constraints:      19187
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     164000 | #Constraints:      12183
2817.44/2824.70	c #Conflicts:     165000 | #Constraints:      13183
2817.44/2824.70	c #Conflicts:     166000 | #Constraints:      14183
2817.44/2824.70	c #Conflicts:     167000 | #Constraints:      15183
2817.44/2824.70	c #Conflicts:     168000 | #Constraints:      16183
2817.44/2824.70	c #Conflicts:     169000 | #Constraints:      17183
2817.44/2824.70	c #Conflicts:     170000 | #Constraints:      18183
2817.44/2824.70	c bounds 3437313 >= 1769402 @ 2492.1
2817.44/2824.70	c #Conflicts:     171000 | #Constraints:      19184
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     172000 | #Constraints:      11998
2817.44/2824.70	c #Conflicts:     173000 | #Constraints:      12998
2817.44/2824.70	c #Conflicts:     174000 | #Constraints:      13998
2817.44/2824.70	c #Conflicts:     175000 | #Constraints:      14998
2817.44/2824.70	c #Conflicts:     176000 | #Constraints:      15998
2817.44/2824.70	c #Conflicts:     177000 | #Constraints:      16998
2817.44/2824.70	c #Conflicts:     178000 | #Constraints:      17998
2817.44/2824.70	c #Conflicts:     179000 | #Constraints:      18998
2817.44/2824.70	c #Conflicts:     180000 | #Constraints:      19998
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     181000 | #Constraints:      12607
2817.44/2824.70	c #Conflicts:     182000 | #Constraints:      13607
2817.44/2824.70	c #Conflicts:     183000 | #Constraints:      14607
2817.44/2824.70	c #Conflicts:     184000 | #Constraints:      15607
2817.44/2824.70	c #Conflicts:     185000 | #Constraints:      16607
2817.44/2824.70	c #Conflicts:     186000 | #Constraints:      17607
2817.44/2824.70	c #Conflicts:     187000 | #Constraints:      18607
2817.44/2824.70	c #Conflicts:     188000 | #Constraints:      19607
2817.44/2824.70	c #Conflicts:     189000 | #Constraints:      20607
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     190000 | #Constraints:      13023
2817.44/2824.70	c #Conflicts:     191000 | #Constraints:      14023
2817.44/2824.70	c #Conflicts:     192000 | #Constraints:      15023
2817.44/2824.70	c #Conflicts:     193000 | #Constraints:      16023
2817.44/2824.70	c #Conflicts:     194000 | #Constraints:      17023
2817.44/2824.70	c #Conflicts:     195000 | #Constraints:      18023
2817.44/2824.70	c #Conflicts:     196000 | #Constraints:      19023
2817.44/2824.70	c #Conflicts:     197000 | #Constraints:      20023
2817.44/2824.70	c #Conflicts:     198000 | #Constraints:      21023
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
2817.44/2824.70	c #Conflicts:     199000 | #Constraints:      13249
2817.44/2824.70	c #Conflicts:     200000 | #Constraints:      14249
2817.44/2824.70	c bounds 3437313 >= 1999930 @ 2756.79
2817.44/2824.70	c #Conflicts:     201000 | #Constraints:      15250
2817.44/2824.70	c #Conflicts:     202000 | #Constraints:      16250
2817.44/2824.70	c #Conflicts:     203000 | #Constraints:      17250
2817.44/2824.70	c #Conflicts:     204000 | #Constraints:      18250
2817.44/2824.70	c #Conflicts:     205000 | #Constraints:      19250
2817.44/2824.70	c #Conflicts:     206000 | #Constraints:      20250
2817.44/2824.70	c #Conflicts:     207000 | #Constraints:      21250
2817.44/2824.70	c INPROCESSING
2817.44/2824.70	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     208000 | #Constraints:      13255
3337.57/3346.23	c #Conflicts:     209000 | #Constraints:      14255
3337.57/3346.23	c #Conflicts:     210000 | #Constraints:      15255
3337.57/3346.23	c #Conflicts:     211000 | #Constraints:      16255
3337.57/3346.23	c #Conflicts:     212000 | #Constraints:      17255
3337.57/3346.23	c #Conflicts:     213000 | #Constraints:      18255
3337.57/3346.23	c #Conflicts:     214000 | #Constraints:      19255
3337.57/3346.23	c #Conflicts:     215000 | #Constraints:      20255
3337.57/3346.23	c #Conflicts:     216000 | #Constraints:      21255
3337.57/3346.23	c INPROCESSING
3337.57/3346.23	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     217000 | #Constraints:      13088
3337.57/3346.23	c #Conflicts:     218000 | #Constraints:      14088
3337.57/3346.23	c #Conflicts:     219000 | #Constraints:      15088
3337.57/3346.23	c #Conflicts:     220000 | #Constraints:      16088
3337.57/3346.23	c #Conflicts:     221000 | #Constraints:      17088
3337.57/3346.23	c #Conflicts:     222000 | #Constraints:      18088
3337.57/3346.23	c #Conflicts:     223000 | #Constraints:      19088
3337.57/3346.23	c #Conflicts:     224000 | #Constraints:      20088
3337.57/3346.23	c #Conflicts:     225000 | #Constraints:      21088
3337.57/3346.23	c bounds 3437313 >= 2249658 @ 2983.65
3337.57/3346.23	c #Conflicts:     226000 | #Constraints:      22089
3337.57/3346.23	c INPROCESSING
3337.57/3346.23	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     227000 | #Constraints:      13675
3337.57/3346.23	c #Conflicts:     228000 | #Constraints:      14675
3337.57/3346.23	c #Conflicts:     229000 | #Constraints:      15675
3337.57/3346.23	c #Conflicts:     230000 | #Constraints:      16675
3337.57/3346.23	c #Conflicts:     231000 | #Constraints:      17675
3337.57/3346.23	c #Conflicts:     232000 | #Constraints:      18675
3337.57/3346.23	c #Conflicts:     233000 | #Constraints:      19675
3337.57/3346.23	c #Conflicts:     234000 | #Constraints:      20675
3337.57/3346.23	c #Conflicts:     235000 | #Constraints:      21675
3337.57/3346.23	c #Conflicts:     236000 | #Constraints:      22675
3337.57/3346.23	c INPROCESSING
3337.57/3346.23	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     237000 | #Constraints:      14042
3337.57/3346.23	c #Conflicts:     238000 | #Constraints:      15042
3337.57/3346.23	c #Conflicts:     239000 | #Constraints:      16042
3337.57/3346.23	c #Conflicts:     240000 | #Constraints:      17042
3337.57/3346.23	c #Conflicts:     241000 | #Constraints:      18042
3337.57/3346.23	c #Conflicts:     242000 | #Constraints:      19042
3337.57/3346.23	c #Conflicts:     243000 | #Constraints:      20042
3337.57/3346.23	c #Conflicts:     244000 | #Constraints:      21042
3337.57/3346.23	c #Conflicts:     245000 | #Constraints:      22042
3337.57/3346.23	c #Conflicts:     246000 | #Constraints:      23042
3337.57/3346.23	c INPROCESSING
3337.57/3346.23	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     247000 | #Constraints:      14229
3337.57/3346.23	c #Conflicts:     248000 | #Constraints:      15229
3337.57/3346.23	c #Conflicts:     249000 | #Constraints:      16229
3337.57/3346.23	c #Conflicts:     250000 | #Constraints:      17229
3337.57/3346.23	c #Conflicts:     251000 | #Constraints:      18229
3337.57/3346.23	c #Conflicts:     252000 | #Constraints:      19229
3337.57/3346.23	c #Conflicts:     253000 | #Constraints:      20229
3337.57/3346.23	c #Conflicts:     254000 | #Constraints:      21229
3337.57/3346.23	c #Conflicts:     255000 | #Constraints:      22229
3337.57/3346.23	c #Conflicts:     256000 | #Constraints:      23229
3337.57/3346.23	c INPROCESSING
3337.57/3346.23	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     257000 | #Constraints:      14262
3337.57/3346.23	c #Conflicts:     258000 | #Constraints:      15262
3337.57/3346.23	c #Conflicts:     259000 | #Constraints:      16262
3337.57/3346.23	c #Conflicts:     260000 | #Constraints:      17262
3337.57/3346.23	c #Conflicts:     261000 | #Constraints:      18262
3337.57/3346.23	c #Conflicts:     262000 | #Constraints:      19262
3337.57/3346.23	c #Conflicts:     263000 | #Constraints:      20262
3337.57/3346.23	c #Conflicts:     264000 | #Constraints:      21262
3337.57/3346.23	c #Conflicts:     265000 | #Constraints:      22262
3337.57/3346.23	c #Conflicts:     266000 | #Constraints:      23262
3337.57/3346.23	c INPROCESSING
3337.57/3346.23	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     267000 | #Constraints:      14042
3337.57/3346.23	c #Conflicts:     268000 | #Constraints:      15042
3337.57/3346.23	c #Conflicts:     269000 | #Constraints:      16042
3337.57/3346.23	c #Conflicts:     270000 | #Constraints:      17042
3337.57/3346.23	c #Conflicts:     271000 | #Constraints:      18042
3337.57/3346.23	c #Conflicts:     272000 | #Constraints:      19042
3337.57/3346.23	c #Conflicts:     273000 | #Constraints:      20042
3337.57/3346.23	c #Conflicts:     274000 | #Constraints:      21042
3337.57/3346.23	c #Conflicts:     275000 | #Constraints:      22042
3337.57/3346.23	c #Conflicts:     276000 | #Constraints:      23042
3337.57/3346.23	c #Conflicts:     277000 | #Constraints:      24042
3337.57/3346.23	c INPROCESSING
3337.57/3346.23	c GARBAGE COLLECT
3337.57/3346.23	c #Conflicts:     278000 | #Constraints:      14627
3337.57/3346.23	c #Conflicts:     279000 | #Constraints:      15627
3337.57/3346.23	c #Conflicts:     280000 | #Constraints:      16627
3337.57/3346.23	c #Conflicts:     281000 | #Constraints:      17627
3499.22/3508.26	c #Conflicts:     282000 | #Constraints:      18627
3499.22/3508.26	c #Conflicts:     283000 | #Constraints:      19627
3499.22/3508.26	c #Conflicts:     284000 | #Constraints:      20627
3499.22/3508.26	c #Conflicts:     285000 | #Constraints:      21627
3499.22/3508.26	c #Conflicts:     286000 | #Constraints:      22627
3499.22/3508.26	c #Conflicts:     287000 | #Constraints:      23627
3499.22/3508.26	c #Conflicts:     288000 | #Constraints:      24627
3499.22/3508.26	c INPROCESSING
3499.22/3508.26	c GARBAGE COLLECT
3499.22/3508.26	c #Conflicts:     289000 | #Constraints:      15052
3499.22/3508.26	c #Conflicts:     290000 | #Constraints:      16052
3499.22/3508.26	c #Conflicts:     291000 | #Constraints:      17052
3499.22/3508.26	c #Conflicts:     292000 | #Constraints:      18052
3499.22/3508.26	c #Conflicts:     293000 | #Constraints:      19052
3499.22/3508.26	c #Conflicts:     294000 | #Constraints:      20052
3499.22/3508.26	c #Conflicts:     295000 | #Constraints:      21052
3499.22/3508.26	c #Conflicts:     296000 | #Constraints:      22052
3499.22/3508.26	c #Conflicts:     297000 | #Constraints:      23052
3499.22/3508.26	c #Conflicts:     298000 | #Constraints:      24052
3499.22/3508.26	c #Conflicts:     299000 | #Constraints:      25052
3499.22/3508.26	c INPROCESSING
3499.22/3508.26	c GARBAGE COLLECT
3499.22/3508.26	c #Conflicts:     300000 | #Constraints:      15255
3499.22/3508.26	c #Conflicts:     301000 | #Constraints:      16255
3499.22/3508.26	c #Conflicts:     302000 | #Constraints:      17255
3499.22/3508.26	c #Conflicts:     303000 | #Constraints:      18255
3499.22/3508.26	c #Conflicts:     304000 | #Constraints:      19255
3499.22/3508.26	c bounds 3437313 >= 2519354 @ 3474.02
3499.22/3508.26	c #Conflicts:     305000 | #Constraints:      20256
3499.22/3508.26	c #Conflicts:     306000 | #Constraints:      21256
3499.22/3508.26	c #Conflicts:     307000 | #Constraints:      22256
3499.22/3508.26	c #Conflicts:     308000 | #Constraints:      23256
3499.22/3508.26	c #Conflicts:     309000 | #Constraints:      24256
3499.22/3508.26	c #Conflicts:     310000 | #Constraints:      25256
3499.22/3508.26	c INPROCESSING
3499.22/3508.26	c GARBAGE COLLECT
3499.22/3508.26	c #Conflicts:     311000 | #Constraints:      15223
3499.22/3508.26	c bounds 3437313 >= 2735192 @ 3491.49
3499.22/3508.26	c #Conflicts:     312000 | #Constraints:      16224
3499.22/3508.26	c bounds 3437313 >= 2963018 @ 3492.93
3499.22/3508.26	c #Conflicts:     313000 | #Constraints:      17225
3499.22/3508.26	c bounds 3437313 >= 3179954 @ 3494.63
3499.22/3508.26	c bounds 3437313 >= 3179954 @ 3494.83
3499.22/3508.26	d SOLVEDBY oll
3499.22/3508.26	c cpu time 3494.83 s
3499.22/3508.26	c deterministic time 245707931776 2.46e+11
3499.22/3508.26	c optimization time 0.362776 s
3499.22/3508.26	c total solve time 3195.42 s
3499.22/3508.26	c core-guided solve time 3195.42 s
3499.22/3508.26	c propagation time 2106.96 s
3499.22/3508.26	c conflict analysis time 1036.56 s
3499.22/3508.26	c propagations 170559921
3499.22/3508.26	c resolve steps 17946047
3499.22/3508.26	c decisions 2162903
3499.22/3508.26	c conflicts 313361
3499.22/3508.26	c restarts 763
3499.22/3508.26	c inprocessing phases 47
3499.22/3508.26	c input clauses 2557
3499.22/3508.26	c input cardinalities 7
3499.22/3508.26	c input general constraints 2869
3499.22/3508.26	c input average constraint length 145.10
3499.22/3508.26	c input average constraint degree 63248795.17
3499.22/3508.26	c learned clauses 141811
3499.22/3508.26	c learned cardinalities 397
3499.22/3508.26	c learned general constraints 171152
3499.22/3508.26	c learned average constraint length 1259.14
3499.22/3508.26	c learned average constraint degree 466169868.55
3499.22/3508.26	c watched constraints 64467
3499.22/3508.26	c counting constraints 109554
3499.22/3508.26	c gcd simplifications 19251
3499.22/3508.26	c detected cardinalities 18
3499.22/3508.26	c weakened non-implied lits 56466688
3499.22/3508.26	c weakened non-implying lits 630532
3499.22/3508.26	c original variables 9940
3499.22/3508.26	c clausal propagations 140207504
3499.22/3508.26	c cardinality propagations 1267959
3499.22/3508.26	c watched propagations 1630424
3499.22/3508.26	c counting propagations 27085116
3499.22/3508.26	c watch lookups 57410691540
3499.22/3508.26	c watch backjump lookups 56720190785
3499.22/3508.26	c watch checks 40671221509
3499.22/3508.26	c propagation checks 89245761558
3499.22/3508.26	c constraint additions 1314311554
3499.22/3508.26	c trail pops 173032005
3499.22/3508.26	c formula constraints 5188
3499.22/3508.26	c learned constraints 313360
3499.22/3508.26	c bound constraints 245
3499.22/3508.26	c core-guided constraints 0
3499.22/3508.26	c encountered formula constraints 15922784
3499.22/3508.26	c encountered learned constraints 2332996
3499.22/3508.26	c encountered bound constraints 3628
3499.22/3508.26	c encountered core-guided constraints 0
3499.22/3508.26	c LP total time 0 s
3499.22/3508.26	c LP solve time 0 s
3499.22/3508.26	c LP constraints added 0
3499.22/3508.26	c LP constraints removed 0
3499.22/3508.26	c LP pivots internal 0
3499.22/3508.26	c LP pivots root 0
3499.22/3508.26	c LP calls 0
3499.22/3508.26	c LP optimalities 0
3499.22/3508.26	c LP no pivot count 0
3499.22/3508.26	c LP infeasibilities 0
3499.22/3508.26	c LP valid Farkas constraints 0
3499.22/3508.26	c LP learned Farkas constraints 0
3499.22/3508.26	c LP basis resets 0
3499.22/3508.26	c LP cycling count 0
3499.22/3508.26	c LP singular count 0
3499.22/3508.26	c LP no primal count 0
3499.22/3508.26	c LP no farkas count 0
3499.22/3508.26	c LP other issue count 0
3499.22/3508.26	c LP Gomory cuts 0
3499.22/3508.26	c LP learned cuts 0
3499.22/3508.26	c LP deleted cuts 0
3499.22/3508.26	c LP encountered Gomory constraints 0
3499.22/3508.26	c LP encountered Farkas constraints 0
3499.22/3508.26	c LP encountered learned Farkas constraints 0
3499.22/3508.26	c CG auxiliary variables introduced 0
3499.22/3508.26	c CG solutions found 229
3499.22/3508.26	c CG cores constructed 14
3499.22/3508.26	c CG core cardinality constraints returned 0
3499.22/3508.26	c CG unit cores 0
3499.22/3508.26	c CG single cores 14
3499.22/3508.26	c CG blocks removed during cardinality reduction 0
3499.22/3508.26	c CG first core best 0
3499.22/3508.26	c CG decision core best 0
3499.22/3508.26	c CG core reduction tie 0
3499.22/3508.26	c CG core degree average 1.00
3499.22/3508.26	c CG core slack average 225.00
3499.22/3508.26	c CG exhausted 0
3499.22/3508.26	c CG exhaust time 0 s
3499.22/3508.26	c CG trimmed 2
3499.22/3508.26	c CG trim time 0.17086 s
3499.22/3508.26	c CG minimized 0
3499.22/3508.26	c CG minimize time 0 s
3499.22/3508.26	c CG am1 prop time 0.00355 s
3499.22/3508.26	c CG # am1s reformulated 0
3499.22/3508.26	c CG lower bound derived from am1s 0
3499.22/3508.26	c CG # clausal cores 14
3499.22/3508.26	c CG # cardinality cores 0
3499.22/3508.26	c CG # pb cores 0
3499.22/3508.26	c CG # pb reforms 0
3499.22/3508.26	c CG # cores discarded because of pb reform 0
3499.22/3508.26	d LOWERBOUND 3179954
3499.22/3508.26	d NCORES 14
3499.22/3508.26	d NPBCORES 0
3499.22/3508.26	d NPBREFORM 0
3499.22/3508.26	d NTRIMMED 2
3499.22/3508.26	d NEXHAUSTED 0
3499.22/3508.26	d NAM1S 0
3499.22/3508.26	d AM1LB 0
3499.22/3508.26	c [Papilo Statistics]
3499.22/3508.26	c prepro time 0.0286206s
3499.22/3508.26	c # tsx applied 12355
3499.22/3508.26	c # tsx conflicts 0
3499.22/3508.26	c # bound changes 140
3499.22/3508.26	c # side changes 2415
3499.22/3508.26	c # coef changes 31395
3499.22/3508.26	c # rounds 3
3499.22/3508.26	c # deted vars 4970
3499.22/3508.26	c # deted constrs 9662
3499.22/3508.26	c # consecutive rounds of only bound changes 0
3499.22/3508.26	c [STEP] postprocessing with Papilo
3499.22/3508.26	o 3437313
3499.22/3508.26	s OPTIMUM FOUND
3499.22/3508.26	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 (59629 MiB free)
  memory of node 1: 64473 MiB (62156 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100095 s]*
/proc/loadavg: 4.11 4.12 4.00 5/257 1057173
/proc/meminfo: memFree=124682788/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=111364 memory=44760 CPUtime=0.09 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 10227 0 0 0 8 1 0 0 20 0 1 0 199545717 114036736 11190 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 27874 11190 3645 3002 0 11623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111364 KiB
Current children cumulated memory: 44760 KiB

[startup+0.20584 s]*
/proc/loadavg: 4.11 4.12 4.00 5/257 1057173
/proc/meminfo: memFree=124657084/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=133900 memory=66216 CPUtime=0.2 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 15423 0 0 0 18 2 0 0 20 0 1 0 199545717 137113600 16554 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 33475 16554 3805 3002 0 17224 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 133900 KiB
Current children cumulated memory: 66216 KiB

[startup+0.305671 s]*
/proc/loadavg: 4.11 4.12 4.00 5/257 1057173
/proc/meminfo: memFree=124656272/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=143512 memory=73212 CPUtime=0.3 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 17264 0 0 0 28 2 0 0 20 0 1 0 199545717 146956288 18303 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 35878 18303 3805 3002 0 19627 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143512 KiB
Current children cumulated memory: 73212 KiB

[startup+0.700229 s]
/proc/loadavg: 4.11 4.12 4.00 5/257 1057173
/proc/meminfo: memFree=124623120/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=179008 memory=100904 CPUtime=0.68 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 24670 0 0 0 65 3 0 0 20 0 1 0 199545717 183304192 25226 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 44752 25226 4012 3002 0 28501 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179008 KiB
Current children cumulated memory: 100904 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.12 4.00 6/257 1057173
/proc/meminfo: memFree=124622256/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=180512 memory=102224 CPUtime=1.48 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 24976 0 0 0 145 3 0 0 20 0 1 0 199545717 184844288 25556 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 45128 25556 4012 3002 0 28877 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180512 KiB
Current children cumulated memory: 102224 KiB

[startup+3.10588 s]
/proc/loadavg: 4.10 4.12 4.00 6/257 1057173
/proc/meminfo: memFree=124618572/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=183176 memory=104860 CPUtime=3.09 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 25675 0 0 0 305 4 0 0 20 0 1 0 199545717 187572224 26215 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 45794 26215 4012 3002 0 29543 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 183176 KiB
Current children cumulated memory: 104860 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.12 4.00 6/257 1057173
/proc/meminfo: memFree=124609904/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=192788 memory=114232 CPUtime=6.28 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 28045 0 0 0 624 4 0 0 20 0 1 0 199545717 197414912 28558 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 48197 28558 4012 3002 0 31946 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 192788 KiB
Current children cumulated memory: 114232 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.01 6/257 1057174
/proc/meminfo: memFree=124588516/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=211432 memory=133040 CPUtime=12.65 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 32815 0 0 0 1261 4 0 0 20 0 1 0 199545717 216506368 33260 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 52858 33260 4012 3002 0 36607 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 211432 KiB
Current children cumulated memory: 133040 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.01 6/257 1057176
/proc/meminfo: memFree=124490640/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=237880 memory=158404 CPUtime=25.42 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 39199 0 0 0 2537 5 0 0 20 0 1 0 199545717 243589120 39601 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 59470 39601 4028 3002 0 43219 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 237880 KiB
Current children cumulated memory: 158404 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.12 4.00 6/257 1057181
/proc/meminfo: memFree=124431116/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=252724 memory=173044 CPUtime=50.96 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 42872 0 0 0 5090 6 0 0 20 0 1 0 199545717 258789376 43261 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 63181 43261 4038 3002 0 46930 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 252724 KiB
Current children cumulated memory: 173044 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.01 6/257 1057190
/proc/meminfo: memFree=124388856/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=252724 memory=173044 CPUtime=102.02 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 42881 0 0 0 10191 11 0 0 20 0 1 0 199545717 258789376 43261 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 63181 43261 4038 3002 0 46930 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 252724 KiB
Current children cumulated memory: 173044 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.19 4.04 6/256 1057200
/proc/meminfo: memFree=124284968/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=252724 memory=173044 CPUtime=161.87 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 42899 0 0 0 16170 17 0 0 20 0 1 0 199545717 258789376 43261 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 63181 43261 4038 3002 0 46930 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 252724 KiB
Current children cumulated memory: 173044 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.04 6/256 1057211
/proc/meminfo: memFree=124265476/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=253064 memory=173536 CPUtime=221.71 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 43029 0 0 0 22148 23 0 0 20 0 1 0 199545717 259137536 43384 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 63266 43384 4038 3002 0 47015 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 253064 KiB
Current children cumulated memory: 173536 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.16 4.04 6/256 1057222
/proc/meminfo: memFree=124178992/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=269992 memory=189372 CPUtime=281.55 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 46993 0 0 0 28126 29 0 0 20 0 1 0 199545717 276471808 47343 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 67498 47343 4038 3002 0 51247 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 269992 KiB
Current children cumulated memory: 189372 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.05 6/254 1057232
/proc/meminfo: memFree=124119992/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=322096 memory=245084 CPUtime=341.4 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 51347 0 0 0 34081 59 0 0 20 0 1 0 199545717 329826304 61271 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 80524 61271 4181 3002 0 64273 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 322096 KiB
Current children cumulated memory: 245084 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.18 4.06 6/254 1057242
/proc/meminfo: memFree=124025908/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=388912 memory=290972 CPUtime=401.25 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 55210 0 0 0 40043 82 0 0 20 0 1 0 199545717 398245888 72743 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 97228 72743 4181 3002 0 80977 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 388912 KiB
Current children cumulated memory: 290972 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.17 4.07 6/255 1057254
/proc/meminfo: memFree=124017572/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=388912 memory=290972 CPUtime=461.1 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 55218 0 0 0 46014 96 0 0 20 0 1 0 199545717 398245888 72743 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 97228 72743 4181 3002 0 80977 0

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

/proc/loadavg: 2.41 3.48 3.86 2/239 1059003
/proc/meminfo: memFree=127931288/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=515532 CPUtime=3094.3 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 90418 0 0 0 309037 393 0 0 20 0 1 0 199545717 661491712 128883 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 128883 4181 3002 0 145246 0
Current children cumulated CPU time: 3094.3 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 515532 KiB

[startup+3162.3 s]
/proc/loadavg: 1.62 3.06 3.69 2/238 1059013
/proc/meminfo: memFree=127931108/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=515776 CPUtime=3154.13 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 90481 0 0 0 315010 403 0 0 20 0 1 0 199545717 661491712 128944 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 128944 4181 3002 0 145246 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 515776 KiB

[startup+3222.3 s]
/proc/loadavg: 1.28 2.69 3.52 2/238 1059024
/proc/meminfo: memFree=127928324/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=518252 CPUtime=3213.98 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 90568 0 0 0 320983 415 0 0 20 0 1 0 199545717 661491712 129563 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 129563 4181 3002 0 145246 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 518252 KiB

[startup+3282.3 s]
/proc/loadavg: 1.14 2.40 3.36 2/237 1059036
/proc/meminfo: memFree=127895344/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=550964 CPUtime=3273.83 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 90727 0 0 0 326966 417 0 0 20 0 1 0 199545717 661491712 137741 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 137741 4181 3002 0 145246 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 550964 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 2.17 3.22 2/237 1059046
/proc/meminfo: memFree=127879336/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=564552 CPUtime=3333.68 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 90881 0 0 0 332940 428 0 0 20 0 1 0 199545717 661491712 141138 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 141138 4181 3002 0 145246 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 564552 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.97 3.09 2/234 1059056
/proc/meminfo: memFree=127880288/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=564552 CPUtime=3393.54 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91096 0 0 0 338921 433 0 0 20 0 1 0 199545717 661491712 141138 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 141138 4181 3002 0 145246 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 564552 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.82 2.96 2/234 1059067
/proc/meminfo: memFree=127875996/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3453.42 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91315 0 0 0 344904 438 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

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

# cumulated CPU time of all completed processes:  user=3494.84 s, system=4.46062 s

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

[startup+3481.6 s]
/proc/loadavg: 1.10 1.77 2.92 2/234 1059070
/proc/meminfo: memFree=127875912/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3472.68 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91376 0 0 0 346827 441 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3472.68 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

[startup+3494.4 s]
/proc/loadavg: 1.08 1.73 2.89 2/234 1059072
/proc/meminfo: memFree=127875884/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3485.45 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91380 0 0 0 348102 443 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3485.45 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

[startup+3500.8 s]
/proc/loadavg: 1.15 1.73 2.89 2/234 1059074
/proc/meminfo: memFree=127875772/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3491.84 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91382 0 0 0 348740 444 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3491.84 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

[startup+3504 s]*
/proc/loadavg: 1.14 1.72 2.87 2/234 1059074
/proc/meminfo: memFree=127875772/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3495.03 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91383 0 0 0 349059 444 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3495.03 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

[startup+3505.6 s]
/proc/loadavg: 1.14 1.72 2.87 2/234 1059074
/proc/meminfo: memFree=127875772/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3496.63 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91383 0 0 0 349218 445 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3496.63 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

[startup+3507.2 s]
/proc/loadavg: 1.14 1.72 2.87 2/234 1059074
/proc/meminfo: memFree=127875772/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3498.23 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91383 0 0 0 349378 445 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3498.23 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

[startup+3508 s]*
/proc/loadavg: 1.13 1.71 2.86 2/234 1059074
/proc/meminfo: memFree=127875772/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3499.02 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91383 0 0 0 349457 445 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3499.02 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

[startup+3508.2 s]
/proc/loadavg: 1.13 1.71 2.86 2/234 1059074
/proc/meminfo: memFree=127875772/131524600 swapFree=131071996/131071996
[pid=1057172] ppid=1057169 vsize=645988 memory=568576 CPUtime=3499.22 cores=5,7
/proc/1057172/stat : 1057172 (mixed-bag) R 1057169 1057172 1050985 0 -1 4194304 91383 0 0 0 349477 445 0 0 20 0 1 0 199545717 661491712 142144 134679101440 4194304 16488053 140736044106608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25763840 140736044114965 140736044115042 140736044115042 140736044122059 0
/proc/1057172/statm: 161497 142144 4181 3002 0 145246 0
Current children cumulated CPU time: 3499.22 s
Current children cumulated vsize: 645988 KiB
Current children cumulated memory: 568576 KiB

Child status: 0

Real time (s): 3508.27
CPU time (s): 3499.3
CPU user time (s): 3494.84
CPU system time (s): 4.46062
CPU usage (%): 99.7444
Max. virtual memory (cumulated for all children) (KiB): 645988
Max. memory (cumulated for all children) (KiB): 568576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3494.84
system time used= 4.46062
maximum resident set size= 570808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92009
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= 118
involuntary context switches= 1443


# summary of solver processes directly reported to runsolver:
#   pid: 1057172
#   total CPU time (s): 3499.3
#   total CPU user time (s): 3494.84
#   total CPU system time (s): 4.46062

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77176 second user time and 17.8341 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-20 13:10:03
IDJOB=4454947
IDBENCH=155624
IDSOLVER=3083
FILE ID=nodeC027/4454947-1721473790
RUNJOBID= nodeC027-1721472774-1055760
SLURM_JOB_ID= 7545716
Free space on /tmp= 890016 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4454947-1721473790/watcher-4454947-1721473790 -o /tmp/evaluation-result-4454947-1721473790/solver-4454947-1721473790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721472774-1055760 --watchdog 3760  mixed-bag HOME/instance-4454947-1721473790.opb

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

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=68238238

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		: 3659.000
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		: 3666.528
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		: 3600.500
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.611
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		: 3600.333
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		: 3665.153
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		: 3659.080
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		: 3666.120
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:        124708824 kB
MemAvailable:   126155512 kB
Buffers:          546288 kB
Cached:          1743392 kB
SwapCached:            0 kB
Active:          1080128 kB
Inactive:        5110580 kB
Active(anon):       1560 kB
Inactive(anon):  3945412 kB
Active(file):    1078568 kB
Inactive(file):  1165168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16728 kB
Writeback:            24 kB
AnonPages:       3899816 kB
Mapped:           141948 kB
Shmem:             45912 kB
KReclaimable:      85552 kB
Slab:             198108 kB
SReclaimable:      85552 kB
SUnreclaim:       112556 kB
KernelStack:        4124 kB
PageTables:        17704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4552692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72320 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1480704 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= 890068 MiB
End job on nodeC027 at 2024-07-20 14:08:32