Trace number 4532602

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3OPT cert.2218686 559.305 560.979

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
MD5SUM122e0703ad162af40c09f7923c9e110e
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 benchmark2218686
Best CPU time to get the best result obtained on this benchmark10.6945
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 70957944
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 2280923861
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 70957944
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 2280923861
Number of bits of the biggest sum of numbers32
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532602-1752683080.opb'
0.00/0.03	c 	read 0.83MB  (12.83ms)
0.00/0.03	c	 [cnf: #variables 9765 #clauses 21189 #duplicates 105 #arr 72765]
0.00/0.03	c output proof to '/tmp/proof-4532602-1752683080'
0.00/0.03	c 
0.00/0.03	c make graph and approximate orbits
0.00/0.05	c	 [group: #orbits ~= 3380] (17.69ms)
0.00/0.05	c 
0.00/0.05	c detect special group actions
0.00/0.05	c 	probe for Johnson action (limit=64)
0.00/0.05	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	 found row 15x2, generating row predicate
0.00/0.05	c 	 found row 4x2, generating row predicate
0.00/0.05	c 	 found row 15x2, generating row predicate
0.00/0.05	c 	 found row 15x2, generating row predicate
0.00/0.05	c 	 (4.86ms)
0.00/0.05	c 
0.00/0.05	c detect symmetries on remainder
0.00/0.05	c 	[graph: #vertices 69714 #edges 223050]
0.00/0.05	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07	c 	 [group: #symmetries 4.24*10^255 #generators 500] (20.86ms)
0.00/0.07	c 
0.00/0.07	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07	c 	ran it=0, +gens=6 
0.07/0.15	c 	con best_support=4, best_gens=395, +gens=123
0.07/0.15	c 	(82.36ms)
0.07/0.15	c 
0.07/0.15	c finalize break order and special generators
0.07/0.15	c 
0.07/0.15	c add generic predicates (break_depth=20)
0.07/0.15	c 	added predicates for 629 generators (0.12ms)
0.07/0.16	c 
0.07/0.16	c generation finished
0.07/0.16	c 	[sbp: #constraints 6671 #add_vars 1999]
0.07/0.16	c 
0.07/0.16	c write result to 'HOME/instance-4532602-1752683080.opb.pre'
0.07/0.17	c 	wrote 1.08MB (2.54ms)
0.07/0.17	c ------------------------------------------------------------------
0.07/0.17	c                  82.36ms 53.91% optimize_gens
0.07/0.17	c                  20.86ms 13.65% detect_generic
0.07/0.17	c                  17.69ms 11.58% approx_orbits
0.07/0.17	c                  12.83ms  8.39% parse
0.07/0.17	c                  11.08ms  7.25% other
0.07/0.17	c                   4.86ms  3.18% detect_special
0.07/0.17	c                   2.54ms  1.66% output
0.07/0.17	c                   0.45ms  0.29% finalize_order
0.07/0.17	c                   0.12ms  0.08% break_generic
0.07/0.17	c         ───────────────────────────────────────────────
0.07/0.17	c                 152.79ms   100% total
0.07/0.17	c ------------------------------------------------------------------
0.07/0.18	c RoundingSat 2
0.07/0.18	c branch pb25
0.07/0.18	c commit 0f876b3
0.26/0.36	c #variables 11764 #constraints 28471
0.26/0.36	c objective is ce32 
0.26/0.36	c initial watched  CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.26/0.36	c initial counting CF 32, 64, 128, Arb: 6001 , 0 , 0 , 0
0.26/0.36	c bounds - >= -15 @ 0.138053
0.46/0.54	c bounds 222199335 >= -15 @ 0.301023
0.46/0.54	c bounds 96524649 >= -15 @ 0.304136
0.46/0.55	c bounds 96425323 >= -15 @ 0.309541
0.46/0.58	c bounds 96334308 >= -15 @ 0.342074
0.46/0.59	c bounds 96315637 >= -15 @ 0.347334
0.55/0.62	c bounds 71720849 >= -15 @ 0.372901
0.55/0.65	c bounds 71539152 >= -15 @ 0.406246
0.55/0.66	c bounds 71455126 >= -15 @ 0.415177
0.65/0.70	c bounds 20724676 >= -15 @ 0.449493
0.95/1.03	c bounds 20606686 >= -15 @ 0.772863
0.95/1.05	c bounds 20587435 >= -15 @ 0.795831
1.25/1.34	c bounds 20475814 >= -15 @ 1.07806
1.25/1.37	c bounds 20406695 >= -15 @ 1.10245
1.34/1.48	c bounds 20186659 >= -15 @ 1.21227
1.34/1.48	c bounds 20174365 >= -15 @ 1.21673
1.44/1.50	c bounds 20123890 >= -15 @ 1.22878
1.44/1.50	c bounds 20103112 >= -15 @ 1.23573
1.44/1.52	c bounds 20075738 >= -15 @ 1.24697
1.65/1.72	c #Conflicts:       1000 | #Constraints:      29488
1.65/1.72	c bounds 20017697 >= -15 @ 1.44278
2.15/2.20	c bounds 13698224 >= -15 @ 1.91672
2.15/2.20	c bounds 13478380 >= -15 @ 1.9226
2.15/2.24	c bounds 9514607 >= -15 @ 1.95145
2.15/2.25	c bounds 9027096 >= -15 @ 1.96093
2.15/2.26	c bounds 8888655 >= -15 @ 1.97366
2.15/2.26	c bounds 8604238 >= -15 @ 1.97861
2.24/2.33	c bounds 8570651 >= -15 @ 2.04106
2.24/2.34	c bounds 8390417 >= -15 @ 2.05419
2.24/2.36	c bounds 8323502 >= -15 @ 2.06804
2.24/2.36	c bounds 2879620 >= -15 @ 2.07548
2.24/2.37	c bounds 2636548 >= -15 @ 2.08517
2.34/2.42	c bounds 2558369 >= -15 @ 2.12904
2.44/2.50	c bounds 2334283 >= -15 @ 2.20435
2.44/2.58	c bounds 2276027 >= -15 @ 2.28458
3.74/3.88	c #Conflicts:       2000 | #Constraints:      30503
3.74/3.88	c INPROCESSING
3.74/3.88	c GARBAGE COLLECT
3.74/3.88	c bounds 2236413 >= -15 @ 3.54212
3.74/3.88	c bounds 2230998 >= -15 @ 3.54667
3.74/3.89	c bounds 2225684 >= -15 @ 3.55171
5.84/5.97	c #Conflicts:       3000 | #Constraints:      28957
5.84/5.97	c bounds 2222590 >= -15 @ 5.57339
15.31/15.43	c #Conflicts:       4000 | #Constraints:      29963
15.31/15.43	c INPROCESSING
15.31/15.43	c GARBAGE COLLECT
15.31/15.43	c #Conflicts:       5000 | #Constraints:      28514
15.31/15.43	c #Conflicts:       6000 | #Constraints:      29515
15.31/15.43	c INPROCESSING
15.31/15.43	c GARBAGE COLLECT
15.31/15.43	c rational objective 1.89349e+06
21.59/21.77	c #Conflicts:       7000 | #Constraints:      27391
21.59/21.77	c #Conflicts:       8000 | #Constraints:      28399
21.59/21.77	c #Conflicts:       9000 | #Constraints:      29401
21.59/21.77	c INPROCESSING
21.59/21.77	c GARBAGE COLLECT
21.59/21.77	c rational objective 1.90049e+06
30.47/30.62	c #Conflicts:      10000 | #Constraints:      28112
30.47/30.62	c #Conflicts:      11000 | #Constraints:      29112
30.47/30.62	c #Conflicts:      12000 | #Constraints:      30113
30.47/30.62	c INPROCESSING
30.47/30.62	c GARBAGE COLLECT
30.47/30.62	c rational objective 1.90077e+06
37.74/37.90	c #Conflicts:      13000 | #Constraints:      28571
37.74/37.90	c #Conflicts:      14000 | #Constraints:      29571
37.74/37.90	c #Conflicts:      15000 | #Constraints:      30577
37.74/37.90	c INPROCESSING
37.74/37.90	c GARBAGE COLLECT
37.74/37.90	c rational objective 1.9071e+06
46.22/46.44	c #Conflicts:      16000 | #Constraints:      28791
46.22/46.44	c #Conflicts:      17000 | #Constraints:      29791
46.22/46.44	c #Conflicts:      18000 | #Constraints:      30791
46.22/46.44	c INPROCESSING
46.22/46.44	c GARBAGE COLLECT
46.22/46.44	c rational objective 1.90924e+06
55.90/56.18	c #Conflicts:      19000 | #Constraints:      28817
55.90/56.18	c #Conflicts:      20000 | #Constraints:      29822
55.90/56.18	c #Conflicts:      21000 | #Constraints:      30827
55.90/56.18	c INPROCESSING
55.90/56.18	c GARBAGE COLLECT
55.90/56.18	c rational objective 1.91636e+06
74.74/75.08	c #Conflicts:      22000 | #Constraints:      25689
74.74/75.08	c #Conflicts:      23000 | #Constraints:      26690
74.74/75.08	c #Conflicts:      24000 | #Constraints:      27691
74.74/75.08	c #Conflicts:      25000 | #Constraints:      28693
74.74/75.08	c INPROCESSING
74.74/75.08	c GARBAGE COLLECT
74.74/75.08	c #Conflicts:      26000 | #Constraints:      22758
74.74/75.08	c #Conflicts:      27000 | #Constraints:      23758
74.74/75.08	c #Conflicts:      28000 | #Constraints:      24761
74.74/75.08	c #Conflicts:      29000 | #Constraints:      25765
74.74/75.08	c INPROCESSING
74.74/75.08	c GARBAGE COLLECT
74.74/75.08	c rational objective 1.93142e+06
84.31/84.67	c #Conflicts:      30000 | #Constraints:      23190
84.31/84.67	c #Conflicts:      31000 | #Constraints:      24195
84.31/84.67	c #Conflicts:      32000 | #Constraints:      25196
84.31/84.67	c #Conflicts:      33000 | #Constraints:      26201
84.31/84.67	c INPROCESSING
84.31/84.67	c GARBAGE COLLECT
84.31/84.67	c rational objective 1.94032e+06
94.48/94.83	c #Conflicts:      34000 | #Constraints:      23404
94.48/94.83	c #Conflicts:      35000 | #Constraints:      24404
94.48/94.83	c #Conflicts:      36000 | #Constraints:      25406
94.48/94.83	c #Conflicts:      37000 | #Constraints:      26414
94.48/94.83	c INPROCESSING
94.48/94.83	c GARBAGE COLLECT
94.48/94.83	c rational objective 1.94961e+06
106.75/107.11	c #Conflicts:      38000 | #Constraints:      23411
106.75/107.11	c #Conflicts:      39000 | #Constraints:      24413
106.75/107.11	c #Conflicts:      40000 | #Constraints:      25413
106.75/107.11	c #Conflicts:      41000 | #Constraints:      26413
106.75/107.11	c INPROCESSING
106.75/107.11	c GARBAGE COLLECT
106.75/107.11	c rational objective 1.95141e+06
118.32/118.77	c #Conflicts:      42000 | #Constraints:      23199
118.32/118.77	c #Conflicts:      43000 | #Constraints:      24200
118.32/118.77	c #Conflicts:      44000 | #Constraints:      25201
118.32/118.77	c #Conflicts:      45000 | #Constraints:      26205
118.32/118.77	c #Conflicts:      46000 | #Constraints:      27208
118.32/118.77	c INPROCESSING
118.32/118.77	c GARBAGE COLLECT
118.32/118.77	c rational objective 1.95291e+06
130.58/131.08	c #Conflicts:      47000 | #Constraints:      23796
130.58/131.08	c #Conflicts:      48000 | #Constraints:      24803
130.58/131.08	c #Conflicts:      49000 | #Constraints:      25803
130.58/131.08	c #Conflicts:      50000 | #Constraints:      26803
130.58/131.08	c #Conflicts:      51000 | #Constraints:      27807
130.58/131.08	c INPROCESSING
130.58/131.08	c GARBAGE COLLECT
130.58/131.08	c rational objective 1.96277e+06
137.36/137.82	c #Conflicts:      52000 | #Constraints:      24182
137.36/137.82	c #Conflicts:      53000 | #Constraints:      25183
137.36/137.82	c bounds 2218686 >= -15 @ 134.287
142.94/143.43	c #Conflicts:      54000 | #Constraints:      26184
142.94/143.43	c #Conflicts:      55000 | #Constraints:      27184
142.94/143.43	c #Conflicts:      56000 | #Constraints:      28193
142.94/143.43	c INPROCESSING
142.94/143.43	c GARBAGE COLLECT
142.94/143.43	c rational objective 1.96347e+06
171.06/171.61	c #Conflicts:      57000 | #Constraints:      24397
171.06/171.61	c #Conflicts:      58000 | #Constraints:      25401
171.06/171.61	c #Conflicts:      59000 | #Constraints:      26410
171.06/171.61	c #Conflicts:      60000 | #Constraints:      27440
171.06/171.61	c #Conflicts:      61000 | #Constraints:      28497
171.06/171.61	c INPROCESSING
171.06/171.61	c GARBAGE COLLECT
171.06/171.61	c #Conflicts:      62000 | #Constraints:      24442
171.06/171.61	c #Conflicts:      63000 | #Constraints:      25448
171.06/171.61	c #Conflicts:      64000 | #Constraints:      26456
171.06/171.61	c #Conflicts:      65000 | #Constraints:      27461
171.06/171.61	c #Conflicts:      66000 | #Constraints:      28465
171.06/171.61	c INPROCESSING
171.06/171.61	c GARBAGE COLLECT
171.06/171.61	c rational objective 1.96401e+06
186.32/186.95	c #Conflicts:      67000 | #Constraints:      24207
186.32/186.95	c #Conflicts:      68000 | #Constraints:      25211
186.32/186.95	c #Conflicts:      69000 | #Constraints:      26214
186.32/186.95	c #Conflicts:      70000 | #Constraints:      27216
186.32/186.95	c #Conflicts:      71000 | #Constraints:      28220
186.32/186.95	c #Conflicts:      72000 | #Constraints:      29223
186.32/186.95	c INPROCESSING
186.32/186.95	c GARBAGE COLLECT
186.32/186.95	c rational objective 1.96469e+06
202.57/203.27	c #Conflicts:      73000 | #Constraints:      24824
202.57/203.27	c #Conflicts:      74000 | #Constraints:      25829
202.57/203.27	c #Conflicts:      75000 | #Constraints:      26830
202.57/203.27	c #Conflicts:      76000 | #Constraints:      27830
202.57/203.27	c #Conflicts:      77000 | #Constraints:      28835
202.57/203.27	c #Conflicts:      78000 | #Constraints:      29837
202.57/203.27	c INPROCESSING
202.57/203.27	c GARBAGE COLLECT
202.57/203.27	c rational objective 1.9651e+06
219.62/220.30	c #Conflicts:      79000 | #Constraints:      25216
219.62/220.30	c #Conflicts:      80000 | #Constraints:      26223
219.62/220.30	c #Conflicts:      81000 | #Constraints:      27226
219.62/220.30	c #Conflicts:      82000 | #Constraints:      28230
219.62/220.30	c #Conflicts:      83000 | #Constraints:      29236
219.62/220.30	c #Conflicts:      84000 | #Constraints:      30240
219.62/220.30	c INPROCESSING
219.62/220.30	c GARBAGE COLLECT
219.62/220.30	c rational objective 1.96855e+06
238.37/239.11	c #Conflicts:      85000 | #Constraints:      25420
238.37/239.11	c #Conflicts:      86000 | #Constraints:      26424
238.37/239.11	c #Conflicts:      87000 | #Constraints:      27430
238.37/239.11	c #Conflicts:      88000 | #Constraints:      28480
238.37/239.11	c #Conflicts:      89000 | #Constraints:      29513
238.37/239.11	c #Conflicts:      90000 | #Constraints:      30612
238.37/239.11	c INPROCESSING
238.37/239.11	c GARBAGE COLLECT
238.37/239.11	c rational objective 1.96987e+06
257.21/258.02	c #Conflicts:      91000 | #Constraints:      25485
257.21/258.02	c #Conflicts:      92000 | #Constraints:      26515
257.21/258.02	c #Conflicts:      93000 | #Constraints:      27542
257.21/258.02	c #Conflicts:      94000 | #Constraints:      28543
257.21/258.02	c #Conflicts:      95000 | #Constraints:      29545
257.21/258.02	c #Conflicts:      96000 | #Constraints:      30545
257.21/258.02	c INPROCESSING
257.21/258.02	c GARBAGE COLLECT
257.21/258.02	c rational objective 1.97222e+06
278.94/279.87	c #Conflicts:      97000 | #Constraints:      25253
278.94/279.87	c #Conflicts:      98000 | #Constraints:      26259
278.94/279.87	c #Conflicts:      99000 | #Constraints:      27262
278.94/279.87	c #Conflicts:     100000 | #Constraints:      28267
278.94/279.87	c #Conflicts:     101000 | #Constraints:      29271
278.94/279.87	c #Conflicts:     102000 | #Constraints:      30278
278.94/279.87	c #Conflicts:     103000 | #Constraints:      31281
278.94/279.87	c INPROCESSING
278.94/279.87	c GARBAGE COLLECT
278.94/279.87	c rational objective 1.97735e+06
301.67/302.67	c #Conflicts:     104000 | #Constraints:      25731
301.67/302.67	c #Conflicts:     105000 | #Constraints:      26736
301.67/302.67	c #Conflicts:     106000 | #Constraints:      27738
301.67/302.67	c #Conflicts:     107000 | #Constraints:      28749
301.67/302.67	c #Conflicts:     108000 | #Constraints:      29781
301.67/302.67	c #Conflicts:     109000 | #Constraints:      30782
301.67/302.67	c #Conflicts:     110000 | #Constraints:      31784
301.67/302.67	c INPROCESSING
301.67/302.67	c GARBAGE COLLECT
301.67/302.67	c rational objective 1.97961e+06
325.49/326.50	c #Conflicts:     111000 | #Constraints:      26132
325.49/326.50	c #Conflicts:     112000 | #Constraints:      27135
325.49/326.50	c #Conflicts:     113000 | #Constraints:      28140
325.49/326.50	c #Conflicts:     114000 | #Constraints:      29144
325.49/326.50	c #Conflicts:     115000 | #Constraints:      30145
325.49/326.50	c #Conflicts:     116000 | #Constraints:      31150
325.49/326.50	c #Conflicts:     117000 | #Constraints:      32154
325.49/326.50	c INPROCESSING
325.49/326.50	c GARBAGE COLLECT
325.49/326.50	c rational objective 1.98491e+06
349.52/350.60	c #Conflicts:     118000 | #Constraints:      26315
349.52/350.60	c #Conflicts:     119000 | #Constraints:      27315
349.52/350.60	c #Conflicts:     120000 | #Constraints:      28317
349.52/350.60	c #Conflicts:     121000 | #Constraints:      29317
349.52/350.60	c #Conflicts:     122000 | #Constraints:      30322
349.52/350.60	c #Conflicts:     123000 | #Constraints:      31324
349.52/350.60	c #Conflicts:     124000 | #Constraints:      32328
349.52/350.60	c INPROCESSING
349.52/350.60	c GARBAGE COLLECT
349.52/350.60	c rational objective 1.98757e+06
377.43/378.69	c #Conflicts:     125000 | #Constraints:      26250
377.43/378.69	c #Conflicts:     126000 | #Constraints:      27257
377.43/378.69	c #Conflicts:     127000 | #Constraints:      28259
377.43/378.69	c #Conflicts:     128000 | #Constraints:      29264
377.43/378.69	c #Conflicts:     129000 | #Constraints:      30268
377.43/378.69	c #Conflicts:     130000 | #Constraints:      31269
377.43/378.69	c #Conflicts:     131000 | #Constraints:      32271
377.43/378.69	c INPROCESSING
377.43/378.69	c GARBAGE COLLECT
377.43/378.69	c rational objective 1.99289e+06
432.88/434.26	c #Conflicts:     132000 | #Constraints:      26040
432.88/434.26	c #Conflicts:     133000 | #Constraints:      27041
432.88/434.26	c #Conflicts:     134000 | #Constraints:      28041
432.88/434.26	c #Conflicts:     135000 | #Constraints:      29043
432.88/434.26	c #Conflicts:     136000 | #Constraints:      30051
432.88/434.26	c #Conflicts:     137000 | #Constraints:      31101
432.88/434.26	c #Conflicts:     138000 | #Constraints:      32103
432.88/434.26	c #Conflicts:     139000 | #Constraints:      33107
432.88/434.26	c INPROCESSING
432.88/434.26	c GARBAGE COLLECT
432.88/434.26	c #Conflicts:     140000 | #Constraints:      26653
432.88/434.26	c #Conflicts:     141000 | #Constraints:      27656
432.88/434.26	c #Conflicts:     142000 | #Constraints:      28658
432.88/434.26	c #Conflicts:     143000 | #Constraints:      29661
432.88/434.26	c #Conflicts:     144000 | #Constraints:      30663
432.88/434.26	c #Conflicts:     145000 | #Constraints:      31669
432.88/434.26	c #Conflicts:     146000 | #Constraints:      32674
432.88/434.26	c #Conflicts:     147000 | #Constraints:      33676
432.88/434.26	c INPROCESSING
432.88/434.26	c GARBAGE COLLECT
432.88/434.26	c rational objective 1.98457e+06
489.52/491.01	c #Conflicts:     148000 | #Constraints:      27055
489.52/491.01	c #Conflicts:     149000 | #Constraints:      28055
489.52/491.01	c #Conflicts:     150000 | #Constraints:      29055
489.52/491.01	c #Conflicts:     151000 | #Constraints:      30056
489.52/491.01	c #Conflicts:     152000 | #Constraints:      31061
489.52/491.01	c #Conflicts:     153000 | #Constraints:      32064
489.52/491.01	c #Conflicts:     154000 | #Constraints:      33064
489.52/491.01	c #Conflicts:     155000 | #Constraints:      34064
489.52/491.01	c INPROCESSING
489.52/491.01	c GARBAGE COLLECT
489.52/491.01	c #Conflicts:     156000 | #Constraints:      27247
489.52/491.01	c #Conflicts:     157000 | #Constraints:      28247
489.52/491.01	c #Conflicts:     158000 | #Constraints:      29248
489.52/491.01	c #Conflicts:     159000 | #Constraints:      30249
489.52/491.01	c #Conflicts:     160000 | #Constraints:      31261
489.52/491.01	c #Conflicts:     161000 | #Constraints:      32262
489.52/491.01	c #Conflicts:     162000 | #Constraints:      33269
489.52/491.01	c #Conflicts:     163000 | #Constraints:      34271
489.52/491.01	c INPROCESSING
489.52/491.01	c GARBAGE COLLECT
489.52/491.01	c rational objective 1.98702e+06
519.23/520.80	c #Conflicts:     164000 | #Constraints:      27238
519.23/520.80	c #Conflicts:     165000 | #Constraints:      28239
519.23/520.80	c #Conflicts:     166000 | #Constraints:      29243
519.23/520.80	c #Conflicts:     167000 | #Constraints:      30246
519.23/520.80	c #Conflicts:     168000 | #Constraints:      31246
519.23/520.80	c #Conflicts:     169000 | #Constraints:      32246
519.23/520.80	c #Conflicts:     170000 | #Constraints:      33251
519.23/520.80	c #Conflicts:     171000 | #Constraints:      34255
519.23/520.80	c INPROCESSING
519.23/520.80	c GARBAGE COLLECT
519.23/520.80	c rational objective 2.00396e+06
540.66/542.31	c #Conflicts:     172000 | #Constraints:      14728
540.66/542.31	c #Conflicts:     173000 | #Constraints:      15734
540.66/542.31	c #Conflicts:     174000 | #Constraints:      16735
540.66/542.31	c #Conflicts:     175000 | #Constraints:      17735
540.66/542.31	c #Conflicts:     176000 | #Constraints:      18735
540.66/542.31	c #Conflicts:     177000 | #Constraints:      19735
540.66/542.31	c #Conflicts:     178000 | #Constraints:      20735
540.66/542.31	c #Conflicts:     179000 | #Constraints:      21736
540.66/542.31	c #Conflicts:     180000 | #Constraints:      22736
540.66/542.31	c INPROCESSING
540.66/542.31	c GARBAGE COLLECT
540.66/542.31	c rational objective 2.00193e+06
559.21/560.96	c #Conflicts:     181000 | #Constraints:      15431
559.21/560.96	c #Conflicts:     182000 | #Constraints:      16431
559.21/560.96	c #Conflicts:     183000 | #Constraints:      17433
559.21/560.96	c #Conflicts:     184000 | #Constraints:      18439
559.21/560.96	c #Conflicts:     185000 | #Constraints:      19442
559.21/560.96	c #Conflicts:     186000 | #Constraints:      20447
559.21/560.96	c #Conflicts:     187000 | #Constraints:      21450
559.21/560.96	c #Conflicts:     188000 | #Constraints:      22450
559.21/560.96	c bounds 2218686 >= 2218686 @ 547.684
559.21/560.96	c cpu time 547.684 s
559.21/560.96	c deterministic time 23703776459 2.37e+10
559.21/560.96	c optimization time 0.0525 s
559.21/560.96	c total solve time 547.494 s
559.21/560.96	c core-guided solve time 290.223 s
559.21/560.96	c propagation time 204.987 s
559.21/560.96	c conflict analysis time 297.765 s
559.21/560.96	c propagations 119418709
559.21/560.96	c resolve steps 3527756
559.21/560.96	c decisions 831836
559.21/560.96	c conflicts 188238
559.21/560.96	c restarts 508
559.21/560.96	c inprocessing phases 34
559.21/560.96	c garbage collections 34 ,( 100.00 )
559.21/560.96	c input clauses 22430 ,( 78.68 )
559.21/560.96	c input cardinalities 26 ,( 0.09 )
559.21/560.96	c input general constraints 6053 ,( 21.23 )
559.21/560.96	c input average constraint length 8.37
559.21/560.96	c input average constraint degree 1618519.31
559.21/560.96	c learned clauses 53600 ,( 28.33 )
559.21/560.96	c learned cardinalities 792 ,( 0.42 )
559.21/560.96	c learned general constraints 134785 ,( 71.25 )
559.21/560.96	c learned average constraint length 527.57
559.21/560.96	c learned average constraint degree 6375346555.66
559.21/560.96	c watched  CF 32, 64, 128, Arb: 26566 , 0 , 0 , 0
559.21/560.96	c counting CF 32, 64, 128, Arb: 114273 , 0 , 0 , 0
559.21/560.96	c watched   constraints 26566 ,( 18.86 ) 
559.21/560.96	c counting  constraints 114272 ,( 81.14 ) 
559.21/560.96	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 53932288 , 7321026 , 796086586 ,( 17374346 , 778712240 )
559.21/560.96	c gcd simplifications 8599
559.21/560.96	c detected cardinalities 40
559.21/560.96	c weakened non-implied lits 264609383
559.21/560.96	c weakened non-implying lits 283305
559.21/560.96	c original variables 11764
559.21/560.96	c clausal propagations 36255720
559.21/560.96	c cardinality propagations 1491054
559.21/560.96	c watched propagations 103141
559.21/560.96	c counting propagations 81001470
559.21/560.96	c watch lookups 3028342702
559.21/560.96	c watch backjump lookups 0
559.21/560.96	c watch checks 2254194820
559.21/560.96	c propagation checks 17040009040
559.21/560.96	c constraint additions 1140304478
559.21/560.96	c trail pops 120429252
559.21/560.96	c formula constraints 28471
559.21/560.96	c learned constraints 187900
559.21/560.96	c bound constraints 38
559.21/560.96	c core-guided constraints 0
559.21/560.96	c encountered formula constraints 2647414
559.21/560.96	c encountered learned constraints 804504
559.21/560.96	c encountered bound constraints 23359
559.21/560.96	c encountered core-guided constraints 0
559.21/560.96	c LP total time 61.6987 s
559.21/560.96	c LP solve time 49.4 s
559.21/560.96	c LP constraints added 28626
559.21/560.96	c LP constraints removed 113
559.21/560.96	c LP pivots internal 188957
559.21/560.96	c LP pivots root 56664
559.21/560.96	c LP calls 1291
559.21/560.96	c LP optimalities 313
559.21/560.96	c LP no pivot count 0
559.21/560.96	c LP infeasibilities 945
559.21/560.96	c LP valid Farkas constraints 915
559.21/560.96	c LP learned Farkas constraints 337
559.21/560.96	c LP basis resets 53
559.21/560.96	c LP cycling count 9
559.21/560.96	c LP singular count 17
559.21/560.96	c LP no primal count 0
559.21/560.96	c LP no farkas count 23
559.21/560.96	c LP other issue count 4
559.21/560.96	c LP Gomory cuts 25
559.21/560.96	c LP learned cuts 130
559.21/560.96	c LP deleted cuts 113
559.21/560.96	c LP encountered Gomory constraints 5138
559.21/560.96	c LP encountered Farkas constraints 232116
559.21/560.96	c LP encountered learned Farkas constraints 3126
559.21/560.96	c CG auxiliary variables introduced 0
559.21/560.96	c CG solutions found 38
559.21/560.96	c CG cores constructed 0
559.21/560.96	c CG core cardinality constraints returned 0
559.21/560.96	c CG unit cores 0
559.21/560.96	c CG single cores 0
559.21/560.96	c CG blocks removed during cardinality reduction 0
559.21/560.96	c CG first core best 0
559.21/560.96	c CG decision core best 0
559.21/560.96	c CG core reduction tie 0
559.21/560.96	c CG core degree average 0.00
559.21/560.96	c CG core slack average 0.00
559.21/560.96	c CG core upper bound improvements 0
559.21/560.96	c STR number of successful calls 0
559.21/560.96	c STR number of unsuccessful calls 0
559.21/560.96	c STR number of inconclusive calls 0
559.21/560.96	c STR number of successful attempts 0
559.21/560.96	c STR number of unsuccessful attempts 0
559.21/560.96	c STR number of inconclusive attempts 0
559.21/560.96	c STR average degree increase per successful call inf
559.21/560.96	c STR average degree increase per successful attempt inf
559.21/560.96	c STR total number of conflicts for successful attempts 0
559.21/560.96	c STR total number of conflicts for unsuccessful attempts 0
559.21/560.96	c STR total number of conflicts for inconclusive attempts 0
559.21/560.96	c STR average number of conflicts per successful attempt inf
559.21/560.96	c STR average number of conflicts per unsuccessful attempt inf
559.21/560.96	c STR average number of conflicts per inconclusive attempt inf
559.21/560.96	c AVG.sumWPerc 75.79 
559.21/560.96	c bigint constraints 0 
559.21/560.96	o 2218686
559.21/560.96	s OPTIMUM FOUND
559.21/560.96	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

Verifier Data 

OK	2218686

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul 16 22:56:06 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 2218686 <= obj <= 2218686
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 2218686 <= obj <= 2218686
--summary--
ALL OK

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: 63708 MiB (47983 MiB free)
  memory of node 1: 64465 MiB (50033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532602-1752683080/watcher-4532602-1752683080 -o /tmp/evaluation-result-4532602-1752683080/solver-4532602-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752683038-139186 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532602-1752683080.opb /tmp/proof-4532602-1752683080 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=139380, runsolver pid=139377
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 2.77 0.79 0.33 5/266 139382
/proc/meminfo: memFree=100353500/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139382] ppid=139380 vsize=34400 memory=24136 CPUtime=0.07 cores=1,3
/proc/139382/stat : 139382 (pbsuma) R 139380 139380 139167 0 -1 4194304 9446 0 0 0 7 0 0 0 20 0 1 0 183985906 35225600 6034 18446744073709551615 4210688 4653049 140726570418576 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 35000320 140726570424583 140726570424880 140726570424880 140726570430447 0
/proc/139382/statm: 8600 6034 1056 108 0 6008 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38592 KiB
Current children cumulated memory: 27208 KiB

[startup+0.205687 s]*
/proc/loadavg: 2.77 0.79 0.33 5/266 139383
/proc/meminfo: memFree=100353596/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=58024 memory=11300 CPUtime=0.01 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 1188 0 0 0 1 0 0 0 20 0 1 0 183985922 59416576 2825 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 14506 2825 1952 1147 0 1932 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 62216 KiB
Current children cumulated memory: 14372 KiB

[startup+0.305576 s]*
/proc/loadavg: 2.77 0.79 0.33 5/266 139383
/proc/meminfo: memFree=100353772/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=63888 memory=18888 CPUtime=0.11 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 3300 0 0 0 9 2 0 0 20 0 1 0 183985922 65421312 4722 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 15972 4722 2240 1147 0 3398 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 68080 KiB
Current children cumulated memory: 21960 KiB

[startup+0.700201 s]
/proc/loadavg: 2.77 0.79 0.33 5/266 139383
/proc/meminfo: memFree=100330336/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=99108 memory=56104 CPUtime=0.5 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 9155 0 0 0 44 6 0 0 20 0 1 0 183985922 101486592 14026 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 24777 14026 2336 1147 0 12203 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 103300 KiB
Current children cumulated memory: 59176 KiB

[startup+1.5002 s]
/proc/loadavg: 2.77 0.79 0.33 5/266 139383
/proc/meminfo: memFree=100314460/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=104296 memory=61224 CPUtime=1.29 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 10456 0 0 0 122 7 0 0 20 0 1 0 183985922 106799104 15306 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 26074 15306 2336 1147 0 13500 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 108488 KiB
Current children cumulated memory: 64296 KiB

[startup+3.10538 s]
/proc/loadavg: 2.77 0.79 0.33 5/266 139383
/proc/meminfo: memFree=100222484/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=121820 memory=74792 CPUtime=2.9 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 13329 0 0 0 279 11 0 0 20 0 1 0 183985922 124743680 18698 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 30455 18698 2336 1147 0 17881 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 126012 KiB
Current children cumulated memory: 77864 KiB

[startup+6.30019 s]
/proc/loadavg: 3.03 0.88 0.36 5/266 139383
/proc/meminfo: memFree=100074712/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=135560 memory=89652 CPUtime=6.08 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 16557 0 0 0 588 20 0 0 20 0 1 0 183985922 138813440 22413 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 33890 22413 2368 1147 0 21316 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 139752 KiB
Current children cumulated memory: 92724 KiB

[startup+12.7002 s]
/proc/loadavg: 3.11 0.93 0.38 5/266 139383
/proc/meminfo: memFree=99804252/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=153500 memory=104932 CPUtime=12.46 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 19842 0 0 0 1212 34 0 0 20 0 1 0 183985922 157184000 26233 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 38375 26233 2432 1147 0 25801 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 157692 KiB
Current children cumulated memory: 108004 KiB

[startup+25.5002 s]
/proc/loadavg: 3.30 1.08 0.44 5/270 139405
/proc/meminfo: memFree=99109820/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=172740 memory=125024 CPUtime=25.23 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 24372 0 0 0 2463 60 0 0 20 0 1 0 183985922 176885760 31256 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 43185 31256 2432 1147 0 30611 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 176932 KiB
Current children cumulated memory: 128096 KiB

[startup+51.1056 s]
/proc/loadavg: 3.82 1.38 0.56 5/271 139407
/proc/meminfo: memFree=97583308/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=201448 memory=149868 CPUtime=50.76 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 29056 0 0 0 4964 112 0 0 20 0 1 0 183985922 206282752 37467 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 50362 37467 2432 1147 0 37788 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 205640 KiB
Current children cumulated memory: 152940 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 1.87 0.77 5/271 139408
/proc/meminfo: memFree=94980440/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=219188 memory=169544 CPUtime=101.8 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 32962 0 0 0 9963 217 0 0 20 0 1 0 183985922 224448512 42386 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 54797 42386 2432 1147 0 42223 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 223380 KiB
Current children cumulated memory: 172616 KiB

[startup+162.3 s]
/proc/loadavg: 4.42 2.35 1.00 5/271 139410
/proc/meminfo: memFree=91153904/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=238524 memory=189332 CPUtime=161.63 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 37405 0 0 0 15819 344 0 0 20 0 1 0 183985922 244248576 47333 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 59631 47333 2432 1147 0 47057 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 242716 KiB
Current children cumulated memory: 192404 KiB

[startup+222.3 s]
/proc/loadavg: 4.58 2.76 1.23 5/274 139415
/proc/meminfo: memFree=85708408/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=264208 memory=207968 CPUtime=221.46 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 39518 0 0 0 21680 466 0 0 20 0 1 0 183985922 270548992 51992 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 66052 51992 2432 1147 0 53478 0
Current children cumulated CPU time: 221.61 s

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

/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 48109 0 0 0 33392 718 0 0 20 0 1 0 183985922 343093248 64612 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 83763 64612 2464 1147 0 71189 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 339244 KiB
Current children cumulated memory: 261520 KiB

[startup+402.3 s]
/proc/loadavg: 5.02 3.77 1.90 5/272 139422
/proc/meminfo: memFree=66834964/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=339908 memory=263696 CPUtime=400.92 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 49425 0 0 0 39257 835 0 0 20 0 1 0 183985922 348065792 65924 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 84977 65924 2464 1147 0 72403 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 344100 KiB
Current children cumulated memory: 266768 KiB

[startup+462.3 s]
/proc/loadavg: 5.13 4.06 2.11 5/272 139424
/proc/meminfo: memFree=60763504/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=357200 memory=282480 CPUtime=460.75 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52605 0 0 0 45133 942 0 0 20 0 1 0 183985922 365772800 70620 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89300 70620 2464 1147 0 76726 0
Current children cumulated CPU time: 460.9 s
Current children cumulated vsize: 361392 KiB
Current children cumulated memory: 285552 KiB

[startup+522.3 s]
/proc/loadavg: 4.90 4.20 2.29 5/270 139427
/proc/meminfo: memFree=56974812/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=357664 memory=289100 CPUtime=520.58 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52731 0 0 0 51004 1054 0 0 20 0 1 0 183985922 366247936 72275 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89416 72275 2464 1147 0 76842 0
Current children cumulated CPU time: 520.73 s
Current children cumulated vsize: 361856 KiB
Current children cumulated memory: 292172 KiB

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

# cumulated CPU time of all completed processes:  user=547.835 s, system=11.4707 s

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

[startup+537.6 s]
/proc/loadavg: 4.77 4.20 2.32 5/270 139428
/proc/meminfo: memFree=55675836/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=357664 memory=289100 CPUtime=535.83 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52731 0 0 0 52494 1089 0 0 20 0 1 0 183985922 366247936 72275 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89416 72275 2464 1147 0 76842 0
Current children cumulated CPU time: 535.98 s
Current children cumulated vsize: 361856 KiB
Current children cumulated memory: 292172 KiB

[startup+550.4 s]
/proc/loadavg: 4.74 4.22 2.36 5/273 139431
/proc/meminfo: memFree=54437540/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=358308 memory=289740 CPUtime=548.6 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52892 0 0 0 53740 1120 0 0 20 0 1 0 183985922 366907392 72435 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89577 72435 2464 1147 0 77003 0
Current children cumulated CPU time: 548.75 s
Current children cumulated vsize: 362500 KiB
Current children cumulated memory: 292812 KiB

[startup+556.8 s]
/proc/loadavg: 4.76 4.24 2.37 5/273 139432
/proc/meminfo: memFree=53704496/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=358308 memory=289740 CPUtime=554.98 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52893 0 0 0 54363 1135 0 0 20 0 1 0 183985922 366907392 72435 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89577 72435 2464 1147 0 77003 0
Current children cumulated CPU time: 555.13 s
Current children cumulated vsize: 362500 KiB
Current children cumulated memory: 292812 KiB

[startup+558.4 s]
/proc/loadavg: 4.76 4.24 2.37 5/273 139432
/proc/meminfo: memFree=53507740/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=358308 memory=289868 CPUtime=556.57 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52901 0 0 0 54519 1138 0 0 20 0 1 0 183985922 366907392 72467 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89577 72467 2464 1147 0 77003 0
Current children cumulated CPU time: 556.72 s
Current children cumulated vsize: 362500 KiB
Current children cumulated memory: 292940 KiB

[startup+560 s]*
/proc/loadavg: 4.78 4.25 2.39 5/273 139432
/proc/meminfo: memFree=53289036/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=358308 memory=289868 CPUtime=558.17 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52925 0 0 0 54675 1142 0 0 20 0 1 0 183985922 366907392 72467 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89577 72467 2464 1147 0 77003 0
Current children cumulated CPU time: 558.32 s
Current children cumulated vsize: 362500 KiB
Current children cumulated memory: 292940 KiB

[startup+560.4 s]
/proc/loadavg: 4.78 4.25 2.39 5/273 139432
/proc/meminfo: memFree=53289036/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=358308 memory=289996 CPUtime=558.56 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52930 0 0 0 54713 1143 0 0 20 0 1 0 183985922 366907392 72499 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89577 72499 2464 1147 0 77003 0
Current children cumulated CPU time: 558.71 s
Current children cumulated vsize: 362500 KiB
Current children cumulated memory: 293068 KiB

[startup+560.8 s]
/proc/loadavg: 4.78 4.25 2.39 5/273 139432
/proc/meminfo: memFree=53289036/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=358308 memory=289996 CPUtime=558.96 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52930 0 0 0 54752 1144 0 0 20 0 1 0 183985922 366907392 72499 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89577 72499 2464 1147 0 77003 0
Current children cumulated CPU time: 559.11 s
Current children cumulated vsize: 362500 KiB
Current children cumulated memory: 293068 KiB

[startup+560.9 s]
/proc/loadavg: 4.78 4.25 2.39 5/273 139432
/proc/meminfo: memFree=53289036/131249996 swapFree=33000896/33010684
[pid=139380] ppid=139377 vsize=4192 memory=3072 CPUtime=0.15 cores=1,3
/proc/139380/stat : 139380 (run-opt-break-l) S 139377 139380 139167 0 -1 4194304 237 9580 0 0 0 0 14 1 20 0 1 0 183985905 4292608 768 18446744073709551615 94670166507520 94670167402053 140733081802688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670167641104 94670167688848 94670200586240 140733081807161 140733081807324 140733081807324 140733081812928 0
/proc/139380/statm: 1048 768 704 219 0 110 0
[pid=139383] ppid=139380 vsize=358308 memory=289996 CPUtime=559.06 cores=1,3
/proc/139383/stat : 139383 (roundingsat) R 139380 139380 139167 0 -1 4194304 52930 0 0 0 54762 1144 0 0 20 0 1 0 183985922 366907392 72499 18446744073709551615 4227072 8923577 140721985086720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 41779200 140721985091896 140721985092134 140721985092134 140721985097706 0
/proc/139383/statm: 89577 72499 2464 1147 0 77003 0
Current children cumulated CPU time: 559.21 s
Current children cumulated vsize: 362500 KiB
Current children cumulated memory: 293068 KiB

Child status: 0

Real time (s): 560.979
CPU time (s): 559.305
CPU user time (s): 547.835
CPU system time (s): 11.4707
CPU usage (%): 99.7017
Max. virtual memory (cumulated for all children) (KiB): 362500
Max. memory (cumulated for all children) (KiB): 293068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 547.835
system time used= 11.4707
maximum resident set size= 289996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33185192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212
involuntary context switches= 975


# summary of solver processes directly reported to runsolver:
#   pid: 139380
#   total CPU time (s): 559.305
#   total CPU user time (s): 547.835
#   total CPU system time (s): 11.4707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38178 second user time and 2.33691 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-16 18:24:40
IDJOB=4532602
IDBENCH=155687
IDSOLVER=3393
FILE ID=nodeC023/4532602-1752683080
RUNJOBID= nodeC023-1752683038-139186
SLURM_JOB_ID= 9686918
Free space on /tmp= 431908 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532602-1752683080/watcher-4532602-1752683080 -o /tmp/evaluation-result-4532602-1752683080/solver-4532602-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752683038-139186 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532602-1752683080.opb /tmp/proof-4532602-1752683080

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

MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e
RANDOM SEED=672874881

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3586.989
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3596.409
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.889
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.903
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.544
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.890
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.715
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.549
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        100369312 kB
MemAvailable:   127232444 kB
Buffers:              16 kB
Cached:         27609960 kB
SwapCached:         2860 kB
Active:          2809716 kB
Inactive:       27263980 kB
Active(anon):    2431996 kB
Inactive(anon):    52568 kB
Active(file):     377720 kB
Inactive(file): 27211412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             38980 kB
Writeback:             0 kB
AnonPages:       2464020 kB
Mapped:           112216 kB
Shmem:             20804 kB
KReclaimable:     226480 kB
Slab:             323696 kB
SReclaimable:     226480 kB
SUnreclaim:        97216 kB
KernelStack:        4272 kB
PageTables:         8100 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3129796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1855488 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 371108 MiB
End job on nodeC023 at 2025-07-16 18:34:02