Trace number 4532047

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-ls+pbsuma-log 0f876b3OPT cert.2218686 225.261 236.575

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4532047-1752684911.opb'
0.00/0.05	c 	read 0.83MB  (31.64ms)
0.00/0.05	c	 [cnf: #variables 9765 #clauses 21189 #duplicates 105 #arr 72765]
0.00/0.05	c output proof to 'PROOFDIR/proof-4532047-1752684911'
0.00/0.05	c 
0.00/0.05	c make graph and approximate orbits
0.00/0.11	c	 [group: #orbits ~= 3380] (54.49ms)
0.00/0.11	c 
0.00/0.11	c detect special group actions
0.00/0.11	c 	probe for Johnson action (limit=64)
0.07/0.11	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.11	c 	probe for row symmetry (limit=64, splits=16.78M)
0.07/0.12	c 	 found row 15x2, generating row predicate
0.07/0.12	c 	 found row 4x2, generating row predicate
0.07/0.12	c 	 found row 15x2, generating row predicate
0.07/0.12	c 	 found row 15x2, generating row predicate
0.07/0.12	c 	 (12.80ms)
0.07/0.12	c 
0.07/0.12	c detect symmetries on remainder
0.07/0.12	c 	[graph: #vertices 69714 #edges 223050]
0.07/0.12	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.17	c 	 [group: #symmetries 4.24*10^255 #generators 500] (55.00ms)
0.07/0.17	c 
0.07/0.17	c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.18	c 	ran it=0, +gens=6 
0.29/0.40	c 	con best_support=4, best_gens=395, +gens=123
0.29/0.40	c 	(230.21ms)
0.29/0.40	c 
0.29/0.40	c finalize break order and special generators
0.29/0.41	c 
0.29/0.41	c add generic predicates (break_depth=20)
0.29/0.41	c 	added predicates for 629 generators (0.31ms)
0.39/0.43	c 
0.39/0.43	c generation finished
0.39/0.43	c 	[sbp: #constraints 6671 #add_vars 1999]
0.39/0.43	c 
0.39/0.43	c write result to 'HOME/instance-4532047-1752684911.opb.pre'
0.39/0.44	c 	wrote 1.08MB (6.24ms)
0.39/0.44	c ------------------------------------------------------------------
0.39/0.44	c                 230.21ms 54.74% optimize_gens
0.39/0.44	c                  55.00ms 13.08% detect_generic
0.39/0.44	c                  54.49ms 12.96% approx_orbits
0.39/0.44	c                  31.64ms  7.52% parse
0.39/0.44	c                  28.78ms  6.84% other
0.39/0.44	c                  12.80ms  3.04% detect_special
0.39/0.44	c                   6.24ms  1.48% output
0.39/0.44	c                   1.09ms  0.26% finalize_order
0.39/0.44	c                   0.31ms  0.07% break_generic
0.39/0.44	c         ───────────────────────────────────────────────
0.39/0.44	c                 420.55ms   100% total
0.39/0.44	c ------------------------------------------------------------------
0.39/0.47	c RoundingSat 2
0.39/0.47	c branch pb25
0.39/0.47	c commit 0f876b3
0.83/0.96	c #variables 11764 #constraints 28471
0.83/0.96	c objective is ce32 
0.93/1.07	c initial watched  CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.93/1.07	c initial counting CF 32, 64, 128, Arb: 6001 , 0 , 0 , 0
0.93/1.07	c bounds - >= -15 @ 0.486159
1.31/1.40	c bounds 50779484 >= -15 @ 0.787394
1.31/1.41	c bounds 50626252 >= -15 @ 0.79357
1.31/1.42	c bounds 32001618 >= -15 @ 0.802899
1.31/1.43	c bounds 31916571 >= -15 @ 0.812898
1.31/1.44	c bounds 31825275 >= -15 @ 0.822738
1.31/1.49	c bounds 31778501 >= -15 @ 0.868208
1.42/1.50	c bounds 31731860 >= -15 @ 0.881425
1.42/1.51	c bounds 31080668 >= -15 @ 0.890756
1.42/1.54	c bounds 30781089 >= -15 @ 0.913935
1.42/1.55	c bounds 13394807 >= -15 @ 0.927134
1.42/1.56	c bounds 13230792 >= -15 @ 0.935225
1.51/1.65	c bounds 13206623 >= -15 @ 1.02237
1.51/1.68	c bounds 13159982 >= -15 @ 1.05654
1.61/1.79	c bounds 13141189 >= -15 @ 1.15594
1.71/1.83	c bounds 13132861 >= -15 @ 1.19492
2.01/2.16	c bounds 13101390 >= -15 @ 1.5162
2.01/2.18	c bounds 13074269 >= -15 @ 1.53003
2.30/2.43	c bounds 12848534 >= -15 @ 1.76753
2.40/2.54	c bounds 12826693 >= -15 @ 1.87024
2.40/2.58	c bounds 12811498 >= -15 @ 1.90763
2.60/2.70	c bounds 12695879 >= -15 @ 2.02391
2.60/2.70	c bounds 12691445 >= -15 @ 2.03024
2.71/2.83	c #Conflicts:       1000 | #Constraints:      29492
2.71/2.83	c bounds 12684107 >= -15 @ 2.15465
3.00/3.12	c bounds 12643356 >= -15 @ 2.42667
3.00/3.14	c bounds 12633019 >= -15 @ 2.43787
3.49/3.60	c bounds 7661028 >= -15 @ 2.8897
3.49/3.61	c bounds 7573590 >= -15 @ 2.89696
3.49/3.62	c bounds 7433254 >= -15 @ 2.90753
3.49/3.63	c bounds 7379817 >= -15 @ 2.9133
3.59/3.70	c bounds 7309503 >= -15 @ 2.98609
3.59/3.71	c bounds 7291531 >= -15 @ 2.99167
3.59/3.73	c bounds 7264778 >= -15 @ 3.00602
3.59/3.74	c bounds 7145686 >= -15 @ 3.01739
3.79/3.93	c bounds 7140580 >= -15 @ 3.20602
3.79/3.95	c bounds 7093939 >= -15 @ 3.22072
3.89/4.04	c bounds 4087467 >= -15 @ 3.30463
3.89/4.05	c bounds 4014496 >= -15 @ 3.31758
3.89/4.06	c bounds 3853775 >= -15 @ 3.32546
3.89/4.08	c bounds 3777695 >= -15 @ 3.34214
3.89/4.09	c bounds 3755507 >= -15 @ 3.35203
4.38/4.54	c #Conflicts:       2000 | #Constraints:      30510
4.38/4.54	c INPROCESSING
4.38/4.54	c GARBAGE COLLECT
4.38/4.54	c rational objective 1.89349e+06
4.58/4.75	c bounds 3736281 >= -15 @ 3.9962
4.58/4.76	c bounds 3680893 >= -15 @ 4.00297
4.58/4.77	c bounds 3649746 >= -15 @ 4.01251
4.68/4.87	c bounds 3632513 >= -15 @ 4.11241
4.78/4.90	c bounds 3569271 >= -15 @ 4.13967
4.78/4.93	c bounds 3557753 >= -15 @ 4.17061
4.78/4.94	c bounds 2994047 >= -15 @ 4.17973
4.88/5.01	c bounds 2916022 >= -15 @ 4.244
4.88/5.08	c bounds 2895412 >= -15 @ 4.30693
5.17/5.39	c bounds 2753977 >= -15 @ 4.61289
5.27/5.44	c bounds 2723767 >= -15 @ 4.65519
8.74/8.97	c #Conflicts:       3000 | #Constraints:      29796
8.74/8.97	c #Conflicts:       4000 | #Constraints:      30796
8.74/8.97	c INPROCESSING
8.74/8.97	c GARBAGE COLLECT
8.74/8.97	c rational objective 1.90212e+06
9.04/9.21	c bounds 2634296 >= -15 @ 8.29931
9.04/9.28	c bounds 2491914 >= -15 @ 8.36234
9.63/9.82	c bounds 2441245 >= -15 @ 8.89385
11.62/11.82	c #Conflicts:       5000 | #Constraints:      30159
11.62/11.82	c bounds 2381131 >= -15 @ 10.8227
11.81/12.00	c bounds 2367734 >= -15 @ 10.9977
11.81/12.01	c bounds 2332458 >= -15 @ 11.0075
11.81/12.03	c bounds 2330888 >= -15 @ 11.0214
11.81/12.06	c bounds 2325574 >= -15 @ 11.049
12.01/12.21	c bounds 2314735 >= -15 @ 11.2026
13.80/14.04	c #Conflicts:       6000 | #Constraints:      31165
13.80/14.04	c INPROCESSING
13.80/14.04	c GARBAGE COLLECT
13.80/14.04	c bounds 2271003 >= -15 @ 12.9627
13.89/14.15	c bounds 2219228 >= -15 @ 13.0623
14.18/14.44	c bounds 2218686 >= -15 @ 13.3552
38.18/38.64	c #Conflicts:       7000 | #Constraints:      28530
38.18/38.64	c #Conflicts:       8000 | #Constraints:      29530
38.18/38.64	c #Conflicts:       9000 | #Constraints:      30530
38.18/38.64	c INPROCESSING
38.18/38.64	c GARBAGE COLLECT
38.18/38.64	c #Conflicts:      10000 | #Constraints:      29235
38.18/38.64	c #Conflicts:      11000 | #Constraints:      30235
38.18/38.64	c #Conflicts:      12000 | #Constraints:      31235
38.18/38.64	c INPROCESSING
38.18/38.64	c GARBAGE COLLECT
38.18/38.64	c #Conflicts:      13000 | #Constraints:      27132
38.18/38.64	c #Conflicts:      14000 | #Constraints:      28132
38.18/38.64	c #Conflicts:      15000 | #Constraints:      29132
38.18/38.64	c INPROCESSING
38.18/38.64	c GARBAGE COLLECT
38.18/38.64	c #Conflicts:      16000 | #Constraints:      27388
38.18/38.64	c #Conflicts:      17000 | #Constraints:      28388
38.18/38.64	c #Conflicts:      18000 | #Constraints:      29388
38.18/38.64	c INPROCESSING
38.18/38.64	c GARBAGE COLLECT
38.18/38.64	c rational objective 1.91275e+06
45.67/46.17	c #Conflicts:      19000 | #Constraints:      22314
45.67/46.17	c #Conflicts:      20000 | #Constraints:      23353
45.67/46.17	c #Conflicts:      21000 | #Constraints:      24364
45.67/46.17	c INPROCESSING
45.67/46.17	c GARBAGE COLLECT
45.67/46.17	c rational objective 1.92118e+06
63.62/64.13	c #Conflicts:      22000 | #Constraints:      22175
63.62/64.13	c #Conflicts:      23000 | #Constraints:      23181
63.62/64.13	c #Conflicts:      24000 | #Constraints:      24201
63.62/64.13	c #Conflicts:      25000 | #Constraints:      25212
63.62/64.13	c INPROCESSING
63.62/64.13	c GARBAGE COLLECT
63.62/64.13	c #Conflicts:      26000 | #Constraints:      22925
63.62/64.13	c #Conflicts:      27000 | #Constraints:      24396
63.62/64.13	c #Conflicts:      28000 | #Constraints:      25495
63.62/64.13	c #Conflicts:      29000 | #Constraints:      26495
63.62/64.13	c INPROCESSING
63.62/64.13	c GARBAGE COLLECT
63.62/64.13	c rational objective 1.92851e+06
71.88/72.45	c #Conflicts:      30000 | #Constraints:      23542
71.88/72.45	c #Conflicts:      31000 | #Constraints:      24546
71.88/72.45	c #Conflicts:      32000 | #Constraints:      25548
71.88/72.45	c #Conflicts:      33000 | #Constraints:      26548
71.88/72.45	c INPROCESSING
71.88/72.45	c GARBAGE COLLECT
71.88/72.45	c rational objective 1.93654e+06
78.46/79.06	c #Conflicts:      34000 | #Constraints:      12864
78.46/79.06	c #Conflicts:      35000 | #Constraints:      13868
78.46/79.06	c #Conflicts:      36000 | #Constraints:      14877
78.46/79.06	c #Conflicts:      37000 | #Constraints:      15877
78.46/79.06	c INPROCESSING
78.46/79.06	c GARBAGE COLLECT
78.46/79.06	c rational objective 1.94768e+06
84.93/85.56	c #Conflicts:      38000 | #Constraints:      12807
84.93/85.56	c #Conflicts:      39000 | #Constraints:      13809
84.93/85.56	c #Conflicts:      40000 | #Constraints:      14818
84.93/85.56	c #Conflicts:      41000 | #Constraints:      15825
84.93/85.56	c INPROCESSING
84.93/85.56	c GARBAGE COLLECT
84.93/85.56	c rational objective 1.95232e+06
93.41/94.03	c #Conflicts:      42000 | #Constraints:      12462
93.41/94.03	c #Conflicts:      43000 | #Constraints:      13503
93.41/94.03	c #Conflicts:      44000 | #Constraints:      14509
93.41/94.03	c #Conflicts:      45000 | #Constraints:      15514
93.41/94.03	c #Conflicts:      46000 | #Constraints:      16514
93.41/94.03	c INPROCESSING
93.41/94.03	c GARBAGE COLLECT
93.41/94.03	c rational objective 1.97364e+06
101.57/102.25	c #Conflicts:      47000 | #Constraints:      13029
101.57/102.25	c #Conflicts:      48000 | #Constraints:      14046
101.57/102.25	c #Conflicts:      49000 | #Constraints:      15057
101.57/102.25	c #Conflicts:      50000 | #Constraints:      16058
101.57/102.25	c #Conflicts:      51000 | #Constraints:      17058
101.57/102.25	c INPROCESSING
101.57/102.25	c GARBAGE COLLECT
101.57/102.25	c rational objective 1.98477e+06
109.36/110.08	c #Conflicts:      52000 | #Constraints:      13259
109.36/110.08	c #Conflicts:      53000 | #Constraints:      14272
109.36/110.08	c #Conflicts:      54000 | #Constraints:      15317
109.36/110.08	c #Conflicts:      55000 | #Constraints:      16321
109.36/110.08	c #Conflicts:      56000 | #Constraints:      17327
109.36/110.08	c INPROCESSING
109.36/110.08	c GARBAGE COLLECT
109.36/110.08	c rational objective 1.97782e+06
117.34/118.09	c #Conflicts:      57000 | #Constraints:      13475
117.34/118.09	c #Conflicts:      58000 | #Constraints:      14480
117.34/118.09	c #Conflicts:      59000 | #Constraints:      15487
117.34/118.09	c #Conflicts:      60000 | #Constraints:      16492
117.34/118.09	c #Conflicts:      61000 | #Constraints:      17498
117.34/118.09	c INPROCESSING
117.34/118.09	c GARBAGE COLLECT
117.34/118.09	c rational objective 1.97943e+06
125.60/126.39	c #Conflicts:      62000 | #Constraints:      13392
125.60/126.39	c #Conflicts:      63000 | #Constraints:      14393
125.60/126.39	c #Conflicts:      64000 | #Constraints:      15399
125.60/126.39	c #Conflicts:      65000 | #Constraints:      16401
125.60/126.39	c #Conflicts:      66000 | #Constraints:      17404
125.60/126.39	c INPROCESSING
125.60/126.39	c GARBAGE COLLECT
125.60/126.39	c rational objective 1.98021e+06
134.07/134.88	c #Conflicts:      67000 | #Constraints:      12896
134.07/134.88	c #Conflicts:      68000 | #Constraints:      13896
134.07/134.88	c #Conflicts:      69000 | #Constraints:      14899
134.07/134.88	c #Conflicts:      70000 | #Constraints:      15903
134.07/134.88	c #Conflicts:      71000 | #Constraints:      16908
134.07/134.88	c #Conflicts:      72000 | #Constraints:      17914
134.07/134.88	c INPROCESSING
134.07/134.88	c GARBAGE COLLECT
134.07/134.88	c rational objective 1.98774e+06
143.50/144.32	c #Conflicts:      73000 | #Constraints:      13464
143.50/144.32	c #Conflicts:      74000 | #Constraints:      14470
143.50/144.32	c #Conflicts:      75000 | #Constraints:      15475
143.50/144.32	c #Conflicts:      76000 | #Constraints:      16477
143.50/144.32	c #Conflicts:      77000 | #Constraints:      17481
143.50/144.32	c #Conflicts:      78000 | #Constraints:      18484
143.50/144.32	c INPROCESSING
143.50/144.32	c GARBAGE COLLECT
143.50/144.32	c rational objective 1.99914e+06
153.28/154.14	c #Conflicts:      79000 | #Constraints:      13675
153.28/154.14	c #Conflicts:      80000 | #Constraints:      14685
153.28/154.14	c #Conflicts:      81000 | #Constraints:      15693
153.28/154.14	c #Conflicts:      82000 | #Constraints:      16696
153.28/154.14	c #Conflicts:      83000 | #Constraints:      17699
153.28/154.14	c #Conflicts:      84000 | #Constraints:      18699
153.28/154.14	c INPROCESSING
153.28/154.14	c GARBAGE COLLECT
153.28/154.14	c rational objective 1.99992e+06
162.61/163.53	c #Conflicts:      85000 | #Constraints:      13885
162.61/163.53	c #Conflicts:      86000 | #Constraints:      14897
162.61/163.53	c #Conflicts:      87000 | #Constraints:      15897
162.61/163.53	c #Conflicts:      88000 | #Constraints:      16897
162.61/163.53	c #Conflicts:      89000 | #Constraints:      17900
162.61/163.53	c #Conflicts:      90000 | #Constraints:      18901
162.61/163.53	c INPROCESSING
162.61/163.53	c GARBAGE COLLECT
162.61/163.53	c rational objective 2.00239e+06
172.78/173.77	c #Conflicts:      91000 | #Constraints:      13888
172.78/173.77	c #Conflicts:      92000 | #Constraints:      14894
172.78/173.77	c #Conflicts:      93000 | #Constraints:      15898
172.78/173.77	c #Conflicts:      94000 | #Constraints:      16900
172.78/173.77	c #Conflicts:      95000 | #Constraints:      17904
172.78/173.77	c #Conflicts:      96000 | #Constraints:      18908
172.78/173.77	c INPROCESSING
172.78/173.77	c GARBAGE COLLECT
172.78/173.77	c rational objective 2.00309e+06
183.35/184.30	c #Conflicts:      97000 | #Constraints:      13678
183.35/184.30	c #Conflicts:      98000 | #Constraints:      14681
183.35/184.30	c #Conflicts:      99000 | #Constraints:      15682
183.35/184.30	c #Conflicts:     100000 | #Constraints:      16684
183.35/184.30	c #Conflicts:     101000 | #Constraints:      17688
183.35/184.30	c #Conflicts:     102000 | #Constraints:      18694
183.35/184.30	c #Conflicts:     103000 | #Constraints:      19698
183.35/184.30	c INPROCESSING
183.35/184.30	c GARBAGE COLLECT
183.35/184.30	c rational objective 2.00315e+06
195.28/196.37	c #Conflicts:     104000 | #Constraints:      14269
195.28/196.37	c #Conflicts:     105000 | #Constraints:      15270
195.28/196.37	c #Conflicts:     106000 | #Constraints:      16274
195.28/196.37	c #Conflicts:     107000 | #Constraints:      17277
195.28/196.37	c #Conflicts:     108000 | #Constraints:      18278
195.28/196.37	c #Conflicts:     109000 | #Constraints:      19282
195.28/196.37	c #Conflicts:     110000 | #Constraints:      20284
195.28/196.37	c INPROCESSING
195.28/196.37	c GARBAGE COLLECT
195.28/196.37	c rational objective 2.0033e+06
207.41/208.50	c #Conflicts:     111000 | #Constraints:      14589
207.41/208.50	c #Conflicts:     112000 | #Constraints:      15589
207.41/208.50	c #Conflicts:     113000 | #Constraints:      16590
207.41/208.50	c #Conflicts:     114000 | #Constraints:      17593
207.41/208.50	c #Conflicts:     115000 | #Constraints:      18595
207.41/208.50	c #Conflicts:     116000 | #Constraints:      19599
207.41/208.50	c #Conflicts:     117000 | #Constraints:      20600
207.41/208.50	c INPROCESSING
207.41/208.50	c GARBAGE COLLECT
207.41/208.50	c rational objective 2.00788e+06
219.18/220.39	c #Conflicts:     118000 | #Constraints:      14080
219.18/220.39	c #Conflicts:     119000 | #Constraints:      15084
219.18/220.39	c #Conflicts:     120000 | #Constraints:      16086
219.18/220.39	c #Conflicts:     121000 | #Constraints:      17092
219.18/220.39	c #Conflicts:     122000 | #Constraints:      18096
219.18/220.39	c #Conflicts:     123000 | #Constraints:      19097
219.18/220.39	c #Conflicts:     124000 | #Constraints:      20099
219.18/220.39	c INPROCESSING
219.18/220.39	c GARBAGE COLLECT
219.18/220.39	c rational objective 2.01617e+06
224.77/225.91	c #Conflicts:     125000 | #Constraints:      12894
224.77/225.91	c #Conflicts:     126000 | #Constraints:      13894
224.77/225.91	c #Conflicts:     127000 | #Constraints:      14894
224.77/225.91	c bounds 2218686 >= 2218686 @ 218.78
224.77/225.91	c cpu time 218.78 s
224.77/225.91	c deterministic time 9817978103 9.82e+09
224.77/225.91	c optimization time 0.197425 s
224.77/225.91	c total solve time 218.192 s
224.77/225.91	c core-guided solve time 111.939 s
224.77/225.91	c propagation time 85.2878 s
224.77/225.91	c conflict analysis time 115.316 s
224.77/225.91	c propagations 74780445
224.77/225.91	c resolve steps 2245273
224.77/225.91	c decisions 617403
224.77/225.91	c conflicts 127918
224.77/225.91	c restarts 347
224.77/225.91	c inprocessing phases 27
224.77/225.91	c garbage collections 27 ,( 100.00 )
224.77/225.91	c input clauses 22430 ,( 78.61 )
224.77/225.91	c input cardinalities 26 ,( 0.09 )
224.77/225.91	c input general constraints 6078 ,( 21.30 )
224.77/225.91	c input average constraint length 11.77
224.77/225.91	c input average constraint degree 1935714.71
224.77/225.91	c learned clauses 50794 ,( 39.31 )
224.77/225.91	c learned cardinalities 563 ,( 0.44 )
224.77/225.91	c learned general constraints 77855 ,( 60.25 )
224.77/225.91	c learned average constraint length 247.77
224.77/225.91	c learned average constraint degree 3153979137.71
224.77/225.91	c watched  CF 32, 64, 128, Arb: 7410 , 0 , 0 , 0
224.77/225.91	c counting CF 32, 64, 128, Arb: 76524 , 0 , 0 , 0
224.77/225.91	c watched   constraints 7410 ,( 8.83 ) 
224.77/225.91	c counting  constraints 76523 ,( 91.17 ) 
224.77/225.91	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 35231159 , 5493953 , 293546114 ,( 2148830 , 291397284 )
224.77/225.91	c gcd simplifications 8087
224.77/225.91	c detected cardinalities 19
224.77/225.91	c weakened non-implied lits 112391374
224.77/225.91	c weakened non-implying lits 108990
224.77/225.91	c original variables 11764
224.77/225.91	c clausal propagations 22528455
224.77/225.91	c cardinality propagations 1025267
224.77/225.91	c watched propagations 67475
224.77/225.91	c counting propagations 50773991
224.77/225.91	c watch lookups 1349334223
224.77/225.91	c watch backjump lookups 0
224.77/225.91	c watch checks 348495920
224.77/225.91	c propagation checks 7533073759
224.77/225.91	c constraint additions 436007045
224.77/225.91	c trail pops 75515980
224.77/225.91	c formula constraints 28471
224.77/225.91	c learned constraints 127702
224.77/225.91	c bound constraints 63
224.77/225.91	c core-guided constraints 0
224.77/225.91	c encountered formula constraints 1698801
224.77/225.91	c encountered learned constraints 520389
224.77/225.91	c encountered bound constraints 44463
224.77/225.91	c encountered core-guided constraints 0
224.77/225.91	c LP total time 33.8806 s
224.77/225.91	c LP solve time 25.6 s
224.77/225.91	c LP constraints added 28577
224.77/225.91	c LP constraints removed 73
224.77/225.91	c LP pivots internal 130042
224.77/225.91	c LP pivots root 23285
224.77/225.91	c LP calls 1542
224.77/225.91	c LP optimalities 232
224.77/225.91	c LP no pivot count 1
224.77/225.91	c LP infeasibilities 1288
224.77/225.91	c LP valid Farkas constraints 1274
224.77/225.91	c LP learned Farkas constraints 215
224.77/225.91	c LP basis resets 34
224.77/225.91	c LP cycling count 3
224.77/225.91	c LP singular count 4
224.77/225.91	c LP no primal count 0
224.77/225.91	c LP no farkas count 14
224.77/225.91	c LP other issue count 13
224.77/225.91	c LP Gomory cuts 21
224.77/225.91	c LP learned cuts 85
224.77/225.91	c LP deleted cuts 73
224.77/225.91	c LP encountered Gomory constraints 5580
224.77/225.91	c LP encountered Farkas constraints 103187
224.77/225.91	c LP encountered learned Farkas constraints 556
224.77/225.91	c CG auxiliary variables introduced 0
224.77/225.91	c CG solutions found 63
224.77/225.91	c CG cores constructed 0
224.77/225.91	c CG core cardinality constraints returned 0
224.77/225.91	c CG unit cores 0
224.77/225.91	c CG single cores 0
224.77/225.91	c CG blocks removed during cardinality reduction 0
224.77/225.91	c CG first core best 0
224.77/225.91	c CG decision core best 0
224.77/225.91	c CG core reduction tie 0
224.77/225.91	c CG core degree average 0.00
224.77/225.91	c CG core slack average 0.00
224.77/225.91	c CG core upper bound improvements 0
224.77/225.91	c STR number of successful calls 0
224.77/225.91	c STR number of unsuccessful calls 0
224.77/225.91	c STR number of inconclusive calls 0
224.77/225.91	c STR number of successful attempts 0
224.77/225.91	c STR number of unsuccessful attempts 0
224.77/225.91	c STR number of inconclusive attempts 0
224.77/225.91	c STR average degree increase per successful call inf
224.77/225.91	c STR average degree increase per successful attempt inf
224.77/225.91	c STR total number of conflicts for successful attempts 0
224.77/225.91	c STR total number of conflicts for unsuccessful attempts 0
224.77/225.91	c STR total number of conflicts for inconclusive attempts 0
224.77/225.91	c STR average number of conflicts per successful attempt inf
224.77/225.91	c STR average number of conflicts per unsuccessful attempt inf
224.77/225.91	c STR average number of conflicts per inconclusive attempt inf
224.77/225.91	c AVG.sumWPerc 85.53 
224.77/225.91	c bigint constraints 0 
224.77/225.91	o 2218686
224.77/225.91	s OPTIMUM FOUND
224.77/225.91	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:48:46 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: 63837 MiB (41979 MiB free)
  memory of node 1: 64465 MiB (49349 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532047-1752684911/watcher-4532047-1752684911 -o /tmp/evaluation-result-4532047-1752684911/solver-4532047-1752684911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752684911-136687 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532047-1752684911.opb PROOFDIR/proof-4532047-1752684911 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=136721, runsolver pid=136714
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 1.08 1.11 1.09 5/259 136737
/proc/meminfo: memFree=93419656/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136724] ppid=136721 vsize=33996 memory=21760 CPUtime=0.07 cores=5,7
/proc/136724/stat : 136724 (pbsuma) R 136721 136721 136420 0 -1 4194304 5170 0 0 0 5 2 0 0 20 0 1 0 184169956 34811904 5440 18446744073709551615 4210688 4653049 140727518127520 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 9396224 140727518132449 140727518132784 140727518132784 140727518138351 0
/proc/136724/statm: 8499 5440 1024 108 0 5907 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38188 KiB
Current children cumulated memory: 24832 KiB

[startup+0.215149 s]*
/proc/loadavg: 1.08 1.11 1.09 4/261 136741
/proc/meminfo: memFree=93367868/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136724] ppid=136721 vsize=34400 memory=23884 CPUtime=0.19 cores=5,7
/proc/136724/stat : 136724 (pbsuma) R 136721 136721 136420 0 -1 4194304 8936 0 0 0 15 4 0 0 20 0 1 0 184169956 35225600 5971 18446744073709551615 4210688 4653049 140727518127520 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 9396224 140727518132449 140727518132784 140727518132784 140727518138351 0
/proc/136724/statm: 8600 5971 1024 108 0 6008 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38592 KiB
Current children cumulated memory: 26956 KiB

[startup+0.314967 s]*
/proc/loadavg: 1.08 1.11 1.09 5/264 136747
/proc/meminfo: memFree=93256276/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136724] ppid=136721 vsize=34400 memory=23884 CPUtime=0.29 cores=5,7
/proc/136724/stat : 136724 (pbsuma) R 136721 136721 136420 0 -1 4194304 8936 0 0 0 25 4 0 0 20 0 1 0 184169956 35225600 5971 18446744073709551615 4210688 4653049 140727518127520 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 9396224 140727518132449 140727518132784 140727518132784 140727518138351 0
/proc/136724/statm: 8600 5971 1024 108 0 6008 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38592 KiB
Current children cumulated memory: 26956 KiB

[startup+0.700368 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 136748
/proc/meminfo: memFree=93136384/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=64608 memory=18244 CPUtime=0.21 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 2877 0 0 0 17 4 0 0 20 0 1 0 184170000 66158592 4561 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 16152 4561 2016 1147 0 3578 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 68800 KiB
Current children cumulated memory: 21316 KiB

[startup+1.50031 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 136748
/proc/meminfo: memFree=92821876/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=106212 memory=60780 CPUtime=1 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 11322 0 0 0 88 12 0 0 20 0 1 0 184170000 108761088 15195 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 26553 15195 2368 1147 0 13979 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 110404 KiB
Current children cumulated memory: 63852 KiB

[startup+3.10579 s]
/proc/loadavg: 1.08 1.11 1.09 5/264 136751
/proc/meminfo: memFree=92782736/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=117808 memory=73000 CPUtime=2.58 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 13851 0 0 0 241 17 0 0 20 0 1 0 184170000 120635392 18250 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 29452 18250 2368 1147 0 16878 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 122000 KiB
Current children cumulated memory: 76072 KiB

[startup+6.3002 s]
/proc/loadavg: 1.31 1.15 1.10 5/264 136751
/proc/meminfo: memFree=91804972/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=138220 memory=89140 CPUtime=5.74 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 17363 0 0 0 548 26 0 0 20 0 1 0 184170000 141537280 22285 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 34555 22285 2400 1147 0 21981 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 142412 KiB
Current children cumulated memory: 92212 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.20 1.12 5/264 136751
/proc/meminfo: memFree=90865880/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=166596 memory=115932 CPUtime=12.08 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 23047 0 0 0 1167 41 0 0 20 0 1 0 184170000 170594304 28983 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 41649 28983 2400 1147 0 29075 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 170788 KiB
Current children cumulated memory: 119004 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 1.34 1.17 5/264 136751
/proc/meminfo: memFree=89003152/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=186056 memory=139340 CPUtime=24.75 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 28407 0 0 0 2404 71 0 0 20 0 1 0 184170000 190521344 34835 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 46514 34835 2400 1147 0 33940 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 190248 KiB
Current children cumulated memory: 142412 KiB

[startup+51.1135 s]
/proc/loadavg: 2.81 1.57 1.25 5/265 136752
/proc/meminfo: memFree=85328420/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=215344 memory=161392 CPUtime=50.24 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 32898 0 0 0 4894 130 0 0 20 0 1 0 184170000 220512256 40348 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 53836 40348 2400 1147 0 41262 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 219536 KiB
Current children cumulated memory: 164464 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 1.98 1.41 5/266 136755
/proc/meminfo: memFree=78430864/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=234468 memory=185052 CPUtime=101.25 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 37466 0 0 0 9875 250 0 0 20 0 1 0 184170000 240095232 46263 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 58617 46263 2496 1147 0 46043 0
Current children cumulated CPU time: 101.67 s
Current children cumulated vsize: 238660 KiB
Current children cumulated memory: 188124 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.36 1.58 5/265 136757
/proc/meminfo: memFree=70728136/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=239032 memory=189276 CPUtime=160.99 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 38551 0 0 0 15696 403 0 0 20 0 1 0 184170000 244768768 47319 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 59758 47319 2496 1147 0 47184 0
Current children cumulated CPU time: 161.41 s
Current children cumulated vsize: 243224 KiB
Current children cumulated memory: 192348 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 2.77 1.77 5/264 136759
/proc/meminfo: memFree=63513300/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=220.75 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 41021 0 0 0 21529 546 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 221.17 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

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

# cumulated CPU time of all completed processes:  user=219.215 s, system=6.04636 s

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

[startup+224 s]*
/proc/loadavg: 4.29 2.79 1.78 5/264 136759
/proc/meminfo: memFree=63225940/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=222.46 cores=5,7
/proc/136748/stat : 136748 (roundingsat) R 136721 136721 136420 0 -1 4194304 41022 0 0 0 21695 551 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 222.88 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

[startup+230.4 s]
/proc/loadavg: 4.27 2.81 1.79 4/264 136759
/proc/meminfo: memFree=62601268/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=224.7 cores=5,7
/proc/136748/stat : 136748 (roundingsat) D 136721 136721 136420 0 -1 4194304 41023 0 0 0 21882 588 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 225.12 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

[startup+233.6 s]
/proc/loadavg: 4.27 2.81 1.79 4/264 136759
/proc/meminfo: memFree=62406732/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=224.7 cores=5,7
/proc/136748/stat : 136748 (roundingsat) D 136721 136721 136420 0 -1 4194304 41023 0 0 0 21882 588 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 225.12 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

[startup+235.2 s]
/proc/loadavg: 4.25 2.83 1.80 4/264 136759
/proc/meminfo: memFree=62180764/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=224.7 cores=5,7
/proc/136748/stat : 136748 (roundingsat) D 136721 136721 136420 0 -1 4194304 41023 0 0 0 21882 588 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 225.12 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

[startup+236 s]*
/proc/loadavg: 4.25 2.83 1.80 4/264 136760
/proc/meminfo: memFree=62072108/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=224.71 cores=5,7
/proc/136748/stat : 136748 (roundingsat) D 136721 136721 136420 0 -1 4194304 41023 0 0 0 21882 589 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 225.13 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

[startup+236.4 s]
/proc/loadavg: 4.25 2.83 1.80 4/264 136760
/proc/meminfo: memFree=62072108/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=224.8 cores=5,7
/proc/136748/stat : 136748 (roundingsat) D 136721 136721 136420 0 -1 4194304 41023 0 0 0 21882 598 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 225.22 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

[startup+236.51 s]
/proc/loadavg: 4.25 2.83 1.80 4/264 136760
/proc/meminfo: memFree=62072108/131382120 swapFree=33010416/33010684
[pid=136721] ppid=136714 vsize=4192 memory=3072 CPUtime=0.42 cores=5,7
/proc/136721/stat : 136721 (run-opt-ls-log.) S 136714 136721 136420 0 -1 4194304 243 9070 0 0 0 0 37 5 20 0 1 0 184169955 4292608 768 18446744073709551615 94256723181568 94256724076101 140722758520704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94256724315152 94256724362896 94256751820800 140722758523161 140722758523359 140722758523359 140722758528963 0
/proc/136721/statm: 1048 768 704 219 0 110 0
[pid=136748] ppid=136721 vsize=248620 memory=198780 CPUtime=224.8 cores=5,7
/proc/136748/stat : 136748 (roundingsat) D 136721 136721 136420 0 -1 4194304 41023 0 0 0 21882 598 0 0 20 0 1 0 184170000 254586880 49695 18446744073709551615 4227072 8923577 140734130702144 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 38584320 140734130710772 140734130711078 140734130711078 140734130716650 0
/proc/136748/statm: 62155 49695 2496 1147 0 49581 0
Current children cumulated CPU time: 225.22 s
Current children cumulated vsize: 252812 KiB
Current children cumulated memory: 201852 KiB

Child status: 0

Real time (s): 236.575
CPU time (s): 225.261
CPU user time (s): 219.215
CPU system time (s): 6.04636
CPU usage (%): 95.2177
Max. virtual memory (cumulated for all children) (KiB): 252812
Max. memory (cumulated for all children) (KiB): 201852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.215
system time used= 6.04636
maximum resident set size= 198780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12458800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61891
involuntary context switches= 1212


# summary of solver processes directly reported to runsolver:
#   pid: 136721
#   total CPU time (s): 225.261
#   total CPU user time (s): 219.215
#   total CPU system time (s): 6.04636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3924 second user time and 2.13334 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-16 18:55:11
IDJOB=4532047
IDBENCH=155687
IDSOLVER=3392
FILE ID=nodeC002/4532047-1752684911
RUNJOBID= nodeC002-1752684911-136687
SLURM_JOB_ID= 9686895
Free space on /tmp= 431612 MiB

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

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

MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e
RANDOM SEED=735605069

nodeC002 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	: 0xb00001f
cpu MHz		: 3292.663
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.212
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.220
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.227
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.708
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.223
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.185
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.276
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        93529256 kB
MemAvailable:   129903672 kB
Buffers:            2128 kB
Cached:         37136396 kB
SwapCached:           28 kB
Active:           931112 kB
Inactive:       36280756 kB
Active(anon):      95220 kB
Inactive(anon):     4248 kB
Active(file):     835892 kB
Inactive(file): 36276508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31168 kB
Writeback:            16 kB
AnonPages:         76468 kB
Mapped:           108360 kB
Shmem:             26124 kB
KReclaimable:     203288 kB
Slab:             294124 kB
SReclaimable:     203288 kB
SUnreclaim:        90836 kB
KernelStack:        3920 kB
PageTables:         2640 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     350752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431532 MiB
End job on nodeC002 at 2025-07-16 18:59:08