Trace number 4504806

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22adOPT2218686 302.732 303.553

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
MD5SUM122e0703ad162af40c09f7923c9e110e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2218686
Best CPU time to get the best result obtained on this benchmark10.6945
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 70957944
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 2280923861
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 70957944
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 2280923861
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4504806-1751445597.opb'
0.00/0.02	c 	read 0.83MB  (12.94ms)
0.00/0.02	c	 [cnf: #variables 9765 #clauses 21189 #duplicates 105 #arr 72765]
0.00/0.03	c 
0.00/0.03	c make graph and approximate orbits
0.00/0.04	c	 [group: #orbits ~= 3380] (17.96ms)
0.00/0.04	c 
0.00/0.04	c detect special group actions
0.00/0.04	c 	probe for Johnson action (limit=64)
0.00/0.05	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	 found row 15x2, generating row predicate
0.00/0.05	c 	 found row 4x2, generating row predicate
0.00/0.05	c 	 found row 15x2, generating row predicate
0.00/0.05	c 	 found row 15x2, generating row predicate
0.00/0.05	c 	 (4.62ms)
0.00/0.05	c 
0.00/0.05	c detect symmetries on remainder
0.00/0.05	c 	[graph: #vertices 69714 #edges 223050]
0.00/0.05	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07	c 	 [group: #symmetries 4.24*10^255 #generators 500] (20.48ms)
0.00/0.07	c 
0.00/0.07	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07	c 	ran it=0, +gens=6 
0.08/0.15	c 	con best_support=4, best_gens=395, +gens=123
0.08/0.15	c 	(84.62ms)
0.08/0.15	c 
0.08/0.15	c finalize break order and special generators
0.08/0.15	c 
0.08/0.15	c add generic predicates (break_depth=20)
0.08/0.15	c 	added predicates for 629 generators (0.36ms)
0.08/0.15	c 
0.08/0.15	c generation finished
0.08/0.15	c 	[sbp: #constraints 6671 #add_vars 1999]
0.08/0.15	c 
0.08/0.15	c write result to 'HOME/instance-4504806-1751445597.opb.pre'
0.08/0.16	c 	wrote 1.08MB (2.55ms)
0.08/0.16	c ------------------------------------------------------------------
0.08/0.16	c                  84.62ms 58.41% optimize_gens
0.08/0.16	c                  20.48ms 14.14% detect_generic
0.08/0.16	c                  17.96ms 12.40% approx_orbits
0.08/0.16	c                  12.94ms  8.93% parse
0.08/0.16	c                   4.62ms  3.19% detect_special
0.08/0.16	c                   2.55ms  1.76% output
0.08/0.16	c                   0.89ms  0.62% other
0.08/0.16	c                   0.45ms  0.31% finalize_order
0.08/0.16	c                   0.36ms  0.25% break_generic
0.08/0.16	c         ───────────────────────────────────────────────
0.08/0.16	c                 144.87ms   100% total
0.08/0.16	c ------------------------------------------------------------------
0.08/0.17	c RoundingSat 2
0.08/0.17	c branch pb25
0.08/0.17	c commit 63f22ad
0.15/0.29	c #variables 11764 #constraints 28471
0.15/0.29	c objective is ce32 
0.15/0.29	c initial watched  CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.15/0.29	c initial counting CF 32, 64, 128, Arb: 6001 , 0 , 0 , 0
0.15/0.29	c bounds - >= -15 @ 0.090554
0.34/0.47	c bounds 222199335 >= -15 @ 0.241789
0.34/0.47	c bounds 96524649 >= -15 @ 0.244011
0.34/0.47	c bounds 96425323 >= -15 @ 0.248032
0.34/0.50	c bounds 96334308 >= -15 @ 0.272789
0.34/0.50	c bounds 96315637 >= -15 @ 0.276689
0.44/0.52	c bounds 71720849 >= -15 @ 0.292099
0.44/0.55	c bounds 71539152 >= -15 @ 0.315774
0.44/0.55	c bounds 71455126 >= -15 @ 0.322583
0.44/0.58	c bounds 20724676 >= -15 @ 0.353599
0.63/0.78	c bounds 20606686 >= -15 @ 0.542052
0.63/0.79	c bounds 20587435 >= -15 @ 0.554014
0.83/0.95	c bounds 20475814 >= -15 @ 0.714086
0.83/0.97	c bounds 20406695 >= -15 @ 0.729129
0.94/1.04	c bounds 20186659 >= -15 @ 0.801791
0.94/1.05	c bounds 20174365 >= -15 @ 0.806439
0.94/1.05	c bounds 20123890 >= -15 @ 0.815361
0.94/1.06	c bounds 20103112 >= -15 @ 0.820275
0.94/1.07	c bounds 20075738 >= -15 @ 0.828532
1.04/1.19	c #Conflicts:       1000 | #Constraints:      29488
1.04/1.19	c bounds 20017697 >= -15 @ 0.945909
1.33/1.49	c bounds 13698224 >= -15 @ 1.24426
1.33/1.49	c bounds 13478380 >= -15 @ 1.24787
1.43/1.52	c bounds 9514607 >= -15 @ 1.27069
1.43/1.52	c bounds 9027096 >= -15 @ 1.27789
1.43/1.53	c bounds 8888655 >= -15 @ 1.28756
1.43/1.54	c bounds 8604238 >= -15 @ 1.29178
1.43/1.59	c bounds 8570651 >= -15 @ 1.33763
1.43/1.60	c bounds 8390417 >= -15 @ 1.34695
1.52/1.61	c bounds 8323502 >= -15 @ 1.35896
1.52/1.61	c bounds 2879620 >= -15 @ 1.36548
1.52/1.62	c bounds 2636548 >= -15 @ 1.37264
1.52/1.65	c bounds 2558369 >= -15 @ 1.4019
1.63/1.71	c bounds 2334283 >= -15 @ 1.45914
1.63/1.76	c bounds 2276027 >= -15 @ 1.51069
2.61/2.78	c #Conflicts:       2000 | #Constraints:      30503
2.61/2.78	c INPROCESSING
2.61/2.78	c GARBAGE COLLECT
2.61/2.78	c bounds 2236413 >= -15 @ 2.49632
2.61/2.78	c bounds 2230998 >= -15 @ 2.50096
2.61/2.79	c bounds 2225684 >= -15 @ 2.50585
4.61/4.73	c #Conflicts:       3000 | #Constraints:      28955
4.61/4.73	c bounds 2222590 >= -15 @ 4.42375
8.90/9.01	c #Conflicts:       4000 | #Constraints:      29959
8.90/9.01	c INPROCESSING
8.90/9.01	c GARBAGE COLLECT
8.90/9.01	c #Conflicts:       5000 | #Constraints:      29404
8.90/9.01	c #Conflicts:       6000 | #Constraints:      30408
8.90/9.01	c INPROCESSING
8.90/9.01	c GARBAGE COLLECT
8.90/9.01	c rational objective 1.89349e+06
13.48/13.68	c #Conflicts:       7000 | #Constraints:      27362
13.48/13.68	c #Conflicts:       8000 | #Constraints:      28366
13.48/13.68	c #Conflicts:       9000 | #Constraints:      29369
13.48/13.68	c INPROCESSING
13.48/13.68	c GARBAGE COLLECT
13.48/13.68	c rational objective 1.90026e+06
18.46/18.69	c #Conflicts:      10000 | #Constraints:      28103
18.46/18.69	c #Conflicts:      11000 | #Constraints:      29108
18.46/18.69	c #Conflicts:      12000 | #Constraints:      30114
18.46/18.69	c INPROCESSING
18.46/18.69	c GARBAGE COLLECT
18.46/18.69	c rational objective 1.91916e+06
23.35/23.56	c #Conflicts:      13000 | #Constraints:      23913
23.35/23.56	c #Conflicts:      14000 | #Constraints:      24918
23.35/23.56	c #Conflicts:      15000 | #Constraints:      25924
23.35/23.56	c INPROCESSING
23.35/23.56	c GARBAGE COLLECT
23.35/23.56	c rational objective 1.92042e+06
28.84/29.08	c #Conflicts:      16000 | #Constraints:      22329
28.84/29.08	c #Conflicts:      17000 | #Constraints:      23346
28.84/29.08	c #Conflicts:      18000 | #Constraints:      24427
28.84/29.08	c INPROCESSING
28.84/29.08	c GARBAGE COLLECT
28.84/29.08	c rational objective 1.93524e+06
35.52/35.71	c #Conflicts:      19000 | #Constraints:      22335
35.52/35.71	c #Conflicts:      20000 | #Constraints:      23506
35.52/35.71	c #Conflicts:      21000 | #Constraints:      24512
35.52/35.71	c INPROCESSING
35.52/35.71	c GARBAGE COLLECT
35.52/35.71	c rational objective 1.92747e+06
41.21/41.43	c #Conflicts:      22000 | #Constraints:      22194
41.21/41.43	c #Conflicts:      23000 | #Constraints:      23194
41.21/41.43	c #Conflicts:      24000 | #Constraints:      24194
41.21/41.43	c #Conflicts:      25000 | #Constraints:      25194
41.21/41.43	c INPROCESSING
41.21/41.43	c GARBAGE COLLECT
41.21/41.43	c rational objective 1.93935e+06
47.19/47.45	c #Conflicts:      26000 | #Constraints:      22743
47.19/47.45	c #Conflicts:      27000 | #Constraints:      23745
47.19/47.45	c #Conflicts:      28000 | #Constraints:      24746
47.19/47.45	c #Conflicts:      29000 | #Constraints:      25750
47.19/47.45	c INPROCESSING
47.19/47.45	c GARBAGE COLLECT
47.19/47.45	c rational objective 1.93991e+06
53.77/54.02	c #Conflicts:      30000 | #Constraints:      23135
53.77/54.02	c #Conflicts:      31000 | #Constraints:      24138
53.77/54.02	c #Conflicts:      32000 | #Constraints:      25142
53.77/54.02	c #Conflicts:      33000 | #Constraints:      26146
53.77/54.02	c INPROCESSING
53.77/54.02	c GARBAGE COLLECT
53.77/54.02	c rational objective 1.94395e+06
59.66/59.94	c #Conflicts:      34000 | #Constraints:      21394
59.66/59.94	c #Conflicts:      35000 | #Constraints:      22395
59.66/59.94	c #Conflicts:      36000 | #Constraints:      23395
59.66/59.94	c #Conflicts:      37000 | #Constraints:      24396
59.66/59.94	c INPROCESSING
59.66/59.94	c GARBAGE COLLECT
59.66/59.94	c rational objective 1.94571e+06
60.15/60.48	c bounds 2218686 >= -15 @ 59.6535
66.74/67.01	c #Conflicts:      38000 | #Constraints:      21375
66.74/67.01	c #Conflicts:      39000 | #Constraints:      22379
66.74/67.01	c #Conflicts:      40000 | #Constraints:      23385
66.74/67.01	c #Conflicts:      41000 | #Constraints:      24390
66.74/67.01	c INPROCESSING
66.74/67.01	c GARBAGE COLLECT
66.74/67.01	c rational objective 1.95215e+06
74.71/75.00	c #Conflicts:      42000 | #Constraints:      21170
74.71/75.00	c #Conflicts:      43000 | #Constraints:      22175
74.71/75.00	c #Conflicts:      44000 | #Constraints:      23183
74.71/75.00	c #Conflicts:      45000 | #Constraints:      24230
74.71/75.00	c #Conflicts:      46000 | #Constraints:      25246
74.71/75.00	c INPROCESSING
74.71/75.00	c GARBAGE COLLECT
74.71/75.00	c rational objective 1.95387e+06
83.59/83.96	c #Conflicts:      47000 | #Constraints:      21814
83.59/83.96	c #Conflicts:      48000 | #Constraints:      22865
83.59/83.96	c #Conflicts:      49000 | #Constraints:      23896
83.59/83.96	c #Conflicts:      50000 | #Constraints:      24906
83.59/83.96	c #Conflicts:      51000 | #Constraints:      25913
83.59/83.96	c INPROCESSING
83.59/83.96	c GARBAGE COLLECT
83.59/83.96	c rational objective 1.95753e+06
93.77/94.10	c #Conflicts:      52000 | #Constraints:      22223
93.77/94.10	c #Conflicts:      53000 | #Constraints:      23230
93.77/94.10	c #Conflicts:      54000 | #Constraints:      24247
93.77/94.10	c #Conflicts:      55000 | #Constraints:      25289
93.77/94.10	c #Conflicts:      56000 | #Constraints:      26296
93.77/94.10	c INPROCESSING
93.77/94.10	c GARBAGE COLLECT
93.77/94.10	c rational objective 1.9587e+06
102.05/102.47	c #Conflicts:      57000 | #Constraints:      22419
102.05/102.47	c #Conflicts:      58000 | #Constraints:      23421
102.05/102.47	c #Conflicts:      59000 | #Constraints:      24425
102.05/102.47	c #Conflicts:      60000 | #Constraints:      25431
102.05/102.47	c #Conflicts:      61000 | #Constraints:      26435
102.05/102.47	c INPROCESSING
102.05/102.47	c GARBAGE COLLECT
102.05/102.47	c rational objective 1.95779e+06
111.62/112.09	c #Conflicts:      62000 | #Constraints:      22389
111.62/112.09	c #Conflicts:      63000 | #Constraints:      23403
111.62/112.09	c #Conflicts:      64000 | #Constraints:      24404
111.62/112.09	c #Conflicts:      65000 | #Constraints:      25415
111.62/112.09	c #Conflicts:      66000 | #Constraints:      26448
111.62/112.09	c INPROCESSING
111.62/112.09	c GARBAGE COLLECT
111.62/112.09	c rational objective 1.9578e+06
121.09/121.53	c #Conflicts:      67000 | #Constraints:      22199
121.09/121.53	c #Conflicts:      68000 | #Constraints:      23242
121.09/121.53	c #Conflicts:      69000 | #Constraints:      24246
121.09/121.53	c #Conflicts:      70000 | #Constraints:      25247
121.09/121.53	c #Conflicts:      71000 | #Constraints:      26248
121.09/121.53	c #Conflicts:      72000 | #Constraints:      27253
121.09/121.53	c INPROCESSING
121.09/121.53	c GARBAGE COLLECT
121.09/121.53	c rational objective 1.96967e+06
129.28/129.79	c #Conflicts:      73000 | #Constraints:      22767
129.28/129.79	c #Conflicts:      74000 | #Constraints:      23769
129.28/129.79	c #Conflicts:      75000 | #Constraints:      24774
129.28/129.79	c #Conflicts:      76000 | #Constraints:      25778
129.28/129.79	c #Conflicts:      77000 | #Constraints:      26782
129.28/129.79	c #Conflicts:      78000 | #Constraints:      27786
129.28/129.79	c INPROCESSING
129.28/129.79	c GARBAGE COLLECT
129.28/129.79	c rational objective 1.97348e+06
140.15/140.60	c #Conflicts:      79000 | #Constraints:      19055
140.15/140.60	c #Conflicts:      80000 | #Constraints:      20420
140.15/140.60	c #Conflicts:      81000 | #Constraints:      21423
140.15/140.60	c #Conflicts:      82000 | #Constraints:      22424
140.15/140.60	c #Conflicts:      83000 | #Constraints:      23430
140.15/140.60	c #Conflicts:      84000 | #Constraints:      24580
140.15/140.60	c INPROCESSING
140.15/140.60	c GARBAGE COLLECT
140.15/140.60	c rational objective 1.97369e+06
147.83/148.36	c #Conflicts:      85000 | #Constraints:      19504
147.83/148.36	c #Conflicts:      86000 | #Constraints:      20504
147.83/148.36	c #Conflicts:      87000 | #Constraints:      21504
147.83/148.36	c #Conflicts:      88000 | #Constraints:      22504
147.83/148.36	c #Conflicts:      89000 | #Constraints:      23504
147.83/148.36	c #Conflicts:      90000 | #Constraints:      24505
147.83/148.36	c INPROCESSING
147.83/148.36	c GARBAGE COLLECT
147.83/148.36	c rational objective 1.97375e+06
158.71/159.22	c #Conflicts:      91000 | #Constraints:      18972
158.71/159.22	c #Conflicts:      92000 | #Constraints:      20012
158.71/159.22	c #Conflicts:      93000 | #Constraints:      21018
158.71/159.22	c #Conflicts:      94000 | #Constraints:      22086
158.71/159.22	c #Conflicts:      95000 | #Constraints:      23212
158.71/159.22	c #Conflicts:      96000 | #Constraints:      24317
158.71/159.22	c INPROCESSING
158.71/159.22	c GARBAGE COLLECT
158.71/159.22	c rational objective 1.97611e+06
166.79/167.35	c #Conflicts:      97000 | #Constraints:      18974
166.79/167.35	c #Conflicts:      98000 | #Constraints:      19974
166.79/167.35	c #Conflicts:      99000 | #Constraints:      20974
166.79/167.35	c #Conflicts:     100000 | #Constraints:      21974
166.79/167.35	c #Conflicts:     101000 | #Constraints:      22974
166.79/167.35	c #Conflicts:     102000 | #Constraints:      23974
166.79/167.35	c #Conflicts:     103000 | #Constraints:      24975
166.79/167.35	c INPROCESSING
166.79/167.35	c GARBAGE COLLECT
166.79/167.35	c rational objective 1.96482e+06
175.86/176.40	c #Conflicts:     104000 | #Constraints:      19411
175.86/176.40	c #Conflicts:     105000 | #Constraints:      20414
175.86/176.40	c #Conflicts:     106000 | #Constraints:      21419
175.86/176.40	c #Conflicts:     107000 | #Constraints:      22422
175.86/176.40	c #Conflicts:     108000 | #Constraints:      23426
175.86/176.40	c #Conflicts:     109000 | #Constraints:      24426
175.86/176.40	c #Conflicts:     110000 | #Constraints:      25428
175.86/176.40	c INPROCESSING
175.86/176.40	c GARBAGE COLLECT
175.86/176.40	c rational objective 1.97392e+06
192.53/193.18	c #Conflicts:     111000 | #Constraints:      19762
192.53/193.18	c #Conflicts:     112000 | #Constraints:      20763
192.53/193.18	c #Conflicts:     113000 | #Constraints:      21767
192.53/193.18	c #Conflicts:     114000 | #Constraints:      22771
192.53/193.18	c #Conflicts:     115000 | #Constraints:      23775
192.53/193.18	c #Conflicts:     116000 | #Constraints:      24783
192.53/193.18	c #Conflicts:     117000 | #Constraints:      25858
192.53/193.18	c INPROCESSING
192.53/193.18	c GARBAGE COLLECT
192.53/193.18	c #Conflicts:     118000 | #Constraints:      14176
192.53/193.18	c #Conflicts:     119000 | #Constraints:      15193
192.53/193.18	c #Conflicts:     120000 | #Constraints:      16195
192.53/193.18	c #Conflicts:     121000 | #Constraints:      17203
192.53/193.18	c #Conflicts:     122000 | #Constraints:      18235
192.53/193.18	c #Conflicts:     123000 | #Constraints:      19242
192.53/193.18	c #Conflicts:     124000 | #Constraints:      20242
192.53/193.18	c INPROCESSING
192.53/193.18	c GARBAGE COLLECT
192.53/193.18	c rational objective 1.97776e+06
201.60/202.22	c #Conflicts:     125000 | #Constraints:      14437
201.60/202.22	c #Conflicts:     126000 | #Constraints:      15440
201.60/202.22	c #Conflicts:     127000 | #Constraints:      16443
201.60/202.22	c #Conflicts:     128000 | #Constraints:      17447
201.60/202.22	c #Conflicts:     129000 | #Constraints:      18454
201.60/202.22	c #Conflicts:     130000 | #Constraints:      19462
201.60/202.22	c #Conflicts:     131000 | #Constraints:      20468
201.60/202.22	c INPROCESSING
201.60/202.22	c GARBAGE COLLECT
201.60/202.22	c rational objective 1.9753e+06
210.78/211.45	c #Conflicts:     132000 | #Constraints:      14341
210.78/211.45	c #Conflicts:     133000 | #Constraints:      15341
210.78/211.45	c #Conflicts:     134000 | #Constraints:      16346
210.78/211.45	c #Conflicts:     135000 | #Constraints:      17348
210.78/211.45	c #Conflicts:     136000 | #Constraints:      18349
210.78/211.45	c #Conflicts:     137000 | #Constraints:      19352
210.78/211.45	c #Conflicts:     138000 | #Constraints:      20359
210.78/211.45	c #Conflicts:     139000 | #Constraints:      21360
210.78/211.45	c INPROCESSING
210.78/211.45	c GARBAGE COLLECT
210.78/211.45	c rational objective 1.97851e+06
223.05/223.76	c #Conflicts:     140000 | #Constraints:      14915
223.05/223.76	c #Conflicts:     141000 | #Constraints:      15948
223.05/223.76	c #Conflicts:     142000 | #Constraints:      16952
223.05/223.76	c #Conflicts:     143000 | #Constraints:      17959
223.05/223.76	c #Conflicts:     144000 | #Constraints:      18988
223.05/223.76	c #Conflicts:     145000 | #Constraints:      19998
223.05/223.76	c #Conflicts:     146000 | #Constraints:      21093
223.05/223.76	c #Conflicts:     147000 | #Constraints:      22184
223.05/223.76	c INPROCESSING
223.05/223.76	c GARBAGE COLLECT
223.05/223.76	c rational objective 1.97852e+06
233.62/234.35	c #Conflicts:     148000 | #Constraints:      15393
233.62/234.35	c #Conflicts:     149000 | #Constraints:      16394
233.62/234.35	c #Conflicts:     150000 | #Constraints:      17400
233.62/234.35	c #Conflicts:     151000 | #Constraints:      18403
233.62/234.35	c #Conflicts:     152000 | #Constraints:      19406
233.62/234.35	c #Conflicts:     153000 | #Constraints:      20408
233.62/234.35	c #Conflicts:     154000 | #Constraints:      21409
233.62/234.35	c #Conflicts:     155000 | #Constraints:      22413
233.62/234.35	c INPROCESSING
233.62/234.35	c GARBAGE COLLECT
233.62/234.35	c rational objective 1.9879e+06
243.60/244.39	c #Conflicts:     156000 | #Constraints:      15547
243.60/244.39	c #Conflicts:     157000 | #Constraints:      16548
243.60/244.39	c #Conflicts:     158000 | #Constraints:      17549
243.60/244.39	c #Conflicts:     159000 | #Constraints:      18552
243.60/244.39	c #Conflicts:     160000 | #Constraints:      19555
243.60/244.39	c #Conflicts:     161000 | #Constraints:      20561
243.60/244.39	c #Conflicts:     162000 | #Constraints:      21562
243.60/244.39	c #Conflicts:     163000 | #Constraints:      22571
243.60/244.39	c INPROCESSING
243.60/244.39	c GARBAGE COLLECT
243.60/244.39	c rational objective 1.97722e+06
253.47/254.24	c #Conflicts:     164000 | #Constraints:      15402
253.47/254.24	c #Conflicts:     165000 | #Constraints:      16404
253.47/254.24	c #Conflicts:     166000 | #Constraints:      17408
253.47/254.24	c #Conflicts:     167000 | #Constraints:      18410
253.47/254.24	c #Conflicts:     168000 | #Constraints:      19412
253.47/254.24	c #Conflicts:     169000 | #Constraints:      20415
253.47/254.24	c #Conflicts:     170000 | #Constraints:      21418
253.47/254.24	c #Conflicts:     171000 | #Constraints:      22422
253.47/254.24	c INPROCESSING
253.47/254.24	c GARBAGE COLLECT
253.47/254.24	c rational objective 1.97889e+06
264.74/265.59	c #Conflicts:     172000 | #Constraints:      15061
264.74/265.59	c #Conflicts:     173000 | #Constraints:      16070
264.74/265.59	c #Conflicts:     174000 | #Constraints:      17082
264.74/265.59	c #Conflicts:     175000 | #Constraints:      18089
264.74/265.59	c #Conflicts:     176000 | #Constraints:      19092
264.74/265.59	c #Conflicts:     177000 | #Constraints:      20099
264.74/265.59	c #Conflicts:     178000 | #Constraints:      21157
264.74/265.59	c #Conflicts:     179000 | #Constraints:      22160
264.74/265.59	c #Conflicts:     180000 | #Constraints:      23165
264.74/265.59	c INPROCESSING
264.74/265.59	c GARBAGE COLLECT
264.74/265.59	c rational objective 1.97893e+06
277.42/278.22	c #Conflicts:     181000 | #Constraints:      15667
277.42/278.22	c #Conflicts:     182000 | #Constraints:      16683
277.42/278.22	c #Conflicts:     183000 | #Constraints:      17705
277.42/278.22	c #Conflicts:     184000 | #Constraints:      18714
277.42/278.22	c #Conflicts:     185000 | #Constraints:      19716
277.42/278.22	c #Conflicts:     186000 | #Constraints:      20720
277.42/278.22	c #Conflicts:     187000 | #Constraints:      21727
277.42/278.22	c #Conflicts:     188000 | #Constraints:      22738
277.42/278.22	c #Conflicts:     189000 | #Constraints:      23744
277.42/278.22	c INPROCESSING
277.42/278.22	c GARBAGE COLLECT
277.42/278.22	c rational objective 1.97921e+06
290.18/291.01	c #Conflicts:     190000 | #Constraints:      16023
290.18/291.01	c #Conflicts:     191000 | #Constraints:      17031
290.18/291.01	c #Conflicts:     192000 | #Constraints:      18042
290.18/291.01	c #Conflicts:     193000 | #Constraints:      19045
290.18/291.01	c #Conflicts:     194000 | #Constraints:      20061
290.18/291.01	c #Conflicts:     195000 | #Constraints:      21078
290.18/291.01	c #Conflicts:     196000 | #Constraints:      22083
290.18/291.01	c #Conflicts:     197000 | #Constraints:      23096
290.18/291.01	c #Conflicts:     198000 | #Constraints:      24096
290.18/291.01	c INPROCESSING
290.18/291.01	c GARBAGE COLLECT
290.18/291.01	c rational objective 1.9866e+06
301.75/302.68	c #Conflicts:     199000 | #Constraints:      16221
301.75/302.68	c #Conflicts:     200000 | #Constraints:      17224
301.75/302.68	c #Conflicts:     201000 | #Constraints:      18231
301.75/302.68	c #Conflicts:     202000 | #Constraints:      19232
301.75/302.68	c #Conflicts:     203000 | #Constraints:      20238
301.75/302.68	c #Conflicts:     204000 | #Constraints:      21242
301.75/302.68	c #Conflicts:     205000 | #Constraints:      22245
301.75/302.68	c #Conflicts:     206000 | #Constraints:      23249
301.75/302.68	c #Conflicts:     207000 | #Constraints:      24250
301.75/302.68	c INPROCESSING
301.75/302.68	c GARBAGE COLLECT
301.75/302.68	c rational objective 1.99164e+06
302.65/303.54	c bounds 2218686 >= 2218686 @ 300.514
302.65/303.54	c cpu time 300.514 s
302.65/303.54	c deterministic time 19289305394 1.93e+10
302.65/303.54	c optimization time 0.025952 s
302.65/303.54	c total solve time 300.398 s
302.65/303.54	c core-guided solve time 148.811 s
302.65/303.54	c propagation time 145.121 s
302.65/303.54	c conflict analysis time 129.465 s
302.65/303.54	c propagations 127985758
302.65/303.54	c resolve steps 4199689
302.65/303.54	c decisions 789825
302.65/303.54	c conflicts 207764
302.65/303.54	c restarts 510
302.65/303.54	c inprocessing phases 37
302.65/303.54	c garbage collections 37 ,( 100.00 )
302.65/303.54	c input clauses 22430 ,( 78.68 )
302.65/303.54	c input cardinalities 26 ,( 0.09 )
302.65/303.54	c input general constraints 6053 ,( 21.23 )
302.65/303.54	c input average constraint length 8.36
302.65/303.54	c input average constraint degree 1617293.45
302.65/303.54	c learned clauses 91892 ,( 43.66 )
302.65/303.54	c learned cardinalities 831 ,( 0.39 )
302.65/303.54	c learned general constraints 117768 ,( 55.95 )
302.65/303.54	c learned average constraint length 301.37
302.65/303.54	c learned average constraint degree 4102279049.15
302.65/303.54	c watched  CF 32, 64, 128, Arb: 17962 , 0 , 0 , 0
302.65/303.54	c counting CF 32, 64, 128, Arb: 105860 , 0 , 0 , 0
302.65/303.54	c watched   constraints 17962 ,( 14.51 ) 
302.65/303.54	c counting  constraints 105859 ,( 85.49 ) 
302.65/303.54	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 61185220 , 13386414 , 520845698 ,( 7054898 , 513790800 )
302.65/303.54	c gcd simplifications 15237
302.65/303.54	c detected cardinalities 52
302.65/303.54	c weakened non-implied lits 200010590
302.65/303.54	c weakened non-implying lits 206240
302.65/303.54	c original variables 11764
302.65/303.54	c clausal propagations 38116247
302.65/303.54	c cardinality propagations 1674220
302.65/303.54	c watched propagations 120669
302.65/303.54	c counting propagations 87508856
302.65/303.54	c watch lookups 3065302007
302.65/303.54	c watch backjump lookups 0
302.65/303.54	c watch checks 939682162
302.65/303.54	c propagation checks 13906805857
302.65/303.54	c constraint additions 1119511675
302.65/303.54	c trail pops 128972915
302.65/303.54	c formula constraints 28471
302.65/303.54	c learned constraints 207492
302.65/303.54	c bound constraints 38
302.65/303.54	c core-guided constraints 0
302.65/303.54	c encountered formula constraints 3109928
302.65/303.54	c encountered learned constraints 994427
302.65/303.54	c encountered bound constraints 18428
302.65/303.54	c encountered core-guided constraints 0
302.65/303.54	c LP total time 65.328 s
302.65/303.54	c LP solve time 53.03 s
302.65/303.54	c LP constraints added 28618
302.65/303.54	c LP constraints removed 118
302.65/303.54	c LP pivots internal 208527
302.65/303.54	c LP pivots root 46667
302.65/303.54	c LP calls 3054
302.65/303.54	c LP optimalities 311
302.65/303.54	c LP no pivot count 0
302.65/303.54	c LP infeasibilities 2714
302.65/303.54	c LP valid Farkas constraints 2696
302.65/303.54	c LP learned Farkas constraints 271
302.65/303.54	c LP basis resets 44
302.65/303.54	c LP cycling count 15
302.65/303.54	c LP singular count 5
302.65/303.54	c LP no primal count 0
302.65/303.54	c LP no farkas count 18
302.65/303.54	c LP other issue count 6
302.65/303.54	c LP Gomory cuts 32
302.65/303.54	c LP learned cuts 115
302.65/303.54	c LP deleted cuts 118
302.65/303.54	c LP encountered Gomory constraints 8360
302.65/303.54	c LP encountered Farkas constraints 272968
302.65/303.54	c LP encountered learned Farkas constraints 3071
302.65/303.54	c CG auxiliary variables introduced 0
302.65/303.54	c CG solutions found 38
302.65/303.54	c CG cores constructed 0
302.65/303.54	c CG core cardinality constraints returned 0
302.65/303.54	c CG unit cores 0
302.65/303.54	c CG single cores 0
302.65/303.54	c CG blocks removed during cardinality reduction 0
302.65/303.54	c CG first core best 0
302.65/303.54	c CG decision core best 0
302.65/303.54	c CG core reduction tie 0
302.65/303.54	c CG core degree average 0.00
302.65/303.54	c CG core slack average 0.00
302.65/303.54	c CG core upper bound improvements 0
302.65/303.54	c STR number of successful calls 0
302.65/303.54	c STR number of unsuccessful calls 0
302.65/303.54	c STR number of inconclusive calls 0
302.65/303.54	c STR number of successful attempts 0
302.65/303.54	c STR number of unsuccessful attempts 0
302.65/303.54	c STR number of inconclusive attempts 0
302.65/303.54	c STR average degree increase per successful call inf
302.65/303.54	c STR average degree increase per successful attempt inf
302.65/303.54	c STR total number of conflicts for successful attempts 0
302.65/303.54	c STR total number of conflicts for unsuccessful attempts 0
302.65/303.54	c STR total number of conflicts for inconclusive attempts 0
302.65/303.54	c STR average number of conflicts per successful attempt inf
302.65/303.54	c STR average number of conflicts per unsuccessful attempt inf
302.65/303.54	c STR average number of conflicts per inconclusive attempt inf
302.65/303.54	c AVG.sumWPerc 78.95 
302.65/303.54	c bigint constraints 0 
302.65/303.54	o 2218686
302.65/303.54	s OPTIMUM FOUND
302.65/303.54	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

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: 63665 MiB (58436 MiB free)
  memory of node 1: 64507 MiB (56952 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504806-1751445597/watcher-4504806-1751445597 -o /tmp/evaluation-result-4504806-1751445597/solver-4504806-1751445597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68443 --watchdog 3760 run-opt-break.sh HOME/instance-4504806-1751445597.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=68847, runsolver pid=68843
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.18 4.10 4.04 4/266 68859
/proc/meminfo: memFree=118126184/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68849] ppid=68847 vsize=34388 memory=23996 CPUtime=0.08 cores=4,6
/proc/68849/stat : 68849 (pbsuma) R 68847 68847 68432 0 -1 4194304 9443 0 0 0 7 1 0 0 20 0 1 0 60237581 35213312 5999 18446744073709551615 4210688 4653049 140723532342368 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 17031168 140723532343651 140723532343858 140723532343858 140723532349423 0
/proc/68849/statm: 8597 5999 1024 108 0 6005 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38580 KiB
Current children cumulated memory: 27068 KiB

[startup+0.20583 s]*
/proc/loadavg: 4.18 4.10 4.04 5/266 68860
/proc/meminfo: memFree=118076800/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=58416 memory=11636 CPUtime=0.02 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 1367 0 0 0 2 0 0 0 20 0 1 0 60237596 59817984 2909 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 14604 2909 1856 1147 0 2031 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 62608 KiB
Current children cumulated memory: 14708 KiB

[startup+0.305547 s]*
/proc/loadavg: 4.18 4.10 4.04 6/266 68860
/proc/meminfo: memFree=118010960/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=94844 memory=48544 CPUtime=0.12 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 7784 0 0 0 9 3 0 0 20 0 1 0 60237596 97120256 12136 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 23711 12136 2240 1147 0 11138 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 99036 KiB
Current children cumulated memory: 51616 KiB

[startup+0.700157 s]
/proc/loadavg: 4.18 4.10 4.04 5/266 68860
/proc/meminfo: memFree=117988916/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=98680 memory=55788 CPUtime=0.5 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 9075 0 0 0 46 4 0 0 20 0 1 0 60237596 101048320 13947 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 24670 13947 2336 1147 0 12097 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 102872 KiB
Current children cumulated memory: 58860 KiB

[startup+1.50019 s]
/proc/loadavg: 4.18 4.10 4.04 5/266 68861
/proc/meminfo: memFree=118037208/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=109988 memory=65772 CPUtime=1.3 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 11573 0 0 0 125 5 0 0 20 0 1 0 60237596 112627712 16443 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 27497 16443 2336 1147 0 14924 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 114180 KiB
Current children cumulated memory: 68844 KiB

[startup+3.10538 s]
/proc/loadavg: 4.18 4.10 4.04 5/268 68893
/proc/meminfo: memFree=117688580/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=125596 memory=78828 CPUtime=2.89 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 14816 0 0 0 281 8 0 0 20 0 1 0 60237596 128610304 19707 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 31399 19707 2368 1147 0 18826 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 129788 KiB
Current children cumulated memory: 81900 KiB

[startup+6.30018 s]
/proc/loadavg: 4.16 4.10 4.04 5/269 68896
/proc/meminfo: memFree=117603512/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=150512 memory=101304 CPUtime=6.07 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 19444 0 0 0 597 10 0 0 20 0 1 0 60237596 154124288 25326 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 37628 25326 2368 1147 0 25055 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 154704 KiB
Current children cumulated memory: 104376 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.03 4/266 68910
/proc/meminfo: memFree=120765432/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=164776 memory=117332 CPUtime=12.45 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 22439 0 0 0 1231 14 0 0 20 0 1 0 60237596 168730624 29333 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 41194 29333 2368 1147 0 28621 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 168968 KiB
Current children cumulated memory: 120404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.03 5/269 68943
/proc/meminfo: memFree=119735764/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=190248 memory=132516 CPUtime=25.22 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 25715 0 0 0 2499 23 0 0 20 0 1 0 60237596 194813952 33129 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 47562 33129 2368 1147 0 34989 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 194440 KiB
Current children cumulated memory: 135588 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.04 5/269 68943
/proc/meminfo: memFree=119034256/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=207980 memory=154124 CPUtime=50.75 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 30516 0 0 0 5037 38 0 0 20 0 1 0 60237596 212971520 38531 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 51995 38531 2496 1147 0 39422 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 212172 KiB
Current children cumulated memory: 157196 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/269 68945
/proc/meminfo: memFree=118484768/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=223356 memory=177876 CPUtime=101.82 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 34524 0 0 0 10110 72 0 0 20 0 1 0 60237596 228716544 44469 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 55839 44469 2496 1147 0 43266 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 227548 KiB
Current children cumulated memory: 180948 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/269 68947
/proc/meminfo: memFree=117073436/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=259720 memory=198700 CPUtime=161.66 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 38739 0 0 0 16058 108 0 0 20 0 1 0 60237596 265953280 49675 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 64930 49675 2496 1147 0 52357 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 263912 KiB
Current children cumulated memory: 201772 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/269 68949
/proc/meminfo: memFree=115882824/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=268668 memory=207660 CPUtime=221.52 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 40976 0 0 0 22002 150 0 0 20 0 1 0 60237596 275116032 51915 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 67167 51915 2496 1147 0 54594 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 272860 KiB
Current children cumulated memory: 210732 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/269 68953
/proc/meminfo: memFree=115661744/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=274900 memory=213932 CPUtime=281.38 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 42534 0 0 0 27946 192 0 0 20 0 1 0 60237596 281497600 53483 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 68725 53483 2496 1147 0 56152 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 279092 KiB
Current children cumulated memory: 217004 KiB

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

# cumulated CPU time of all completed processes:  user=300.648 s, system=2.0842 s

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

[startup+294.4 s]
/proc/loadavg: 4.07 4.08 4.04 5/269 68953
/proc/meminfo: memFree=115641852/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=282960 memory=221996 CPUtime=293.44 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 44549 0 0 0 29145 199 0 0 20 0 1 0 60237596 289751040 55499 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 70740 55499 2496 1147 0 58167 0
Current children cumulated CPU time: 293.57 s
Current children cumulated vsize: 287152 KiB
Current children cumulated memory: 225068 KiB

[startup+297.6 s]
/proc/loadavg: 4.14 4.10 4.04 5/269 68953
/proc/meminfo: memFree=115613688/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=282960 memory=221996 CPUtime=296.64 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 44549 0 0 0 29462 202 0 0 20 0 1 0 60237596 289751040 55499 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 70740 55499 2496 1147 0 58167 0
Current children cumulated CPU time: 296.77 s
Current children cumulated vsize: 287152 KiB
Current children cumulated memory: 225068 KiB

[startup+300.8 s]
/proc/loadavg: 4.13 4.10 4.04 5/269 68953
/proc/meminfo: memFree=115605876/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=282960 memory=221996 CPUtime=299.83 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 44549 0 0 0 29779 204 0 0 20 0 1 0 60237596 289751040 55499 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 70740 55499 2496 1147 0 58167 0
Current children cumulated CPU time: 299.96 s
Current children cumulated vsize: 287152 KiB
Current children cumulated memory: 225068 KiB

[startup+302.4 s]
/proc/loadavg: 4.13 4.10 4.04 5/269 68953
/proc/meminfo: memFree=115563068/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=282960 memory=221996 CPUtime=301.42 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 44549 0 0 0 29937 205 0 0 20 0 1 0 60237596 289751040 55499 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 70740 55499 2496 1147 0 58167 0
Current children cumulated CPU time: 301.55 s
Current children cumulated vsize: 287152 KiB
Current children cumulated memory: 225068 KiB

[startup+303.2 s]
/proc/loadavg: 4.13 4.10 4.04 5/269 68953
/proc/meminfo: memFree=115563068/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=282960 memory=221996 CPUtime=302.23 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 44549 0 0 0 30017 206 0 0 20 0 1 0 60237596 289751040 55499 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 70740 55499 2496 1147 0 58167 0
Current children cumulated CPU time: 302.36 s
Current children cumulated vsize: 287152 KiB
Current children cumulated memory: 225068 KiB

[startup+303.4 s]
/proc/loadavg: 4.13 4.10 4.04 5/269 68953
/proc/meminfo: memFree=115563068/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=282960 memory=221996 CPUtime=302.42 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 44549 0 0 0 30036 206 0 0 20 0 1 0 60237596 289751040 55499 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 70740 55499 2496 1147 0 58167 0
Current children cumulated CPU time: 302.55 s
Current children cumulated vsize: 287152 KiB
Current children cumulated memory: 225068 KiB

[startup+303.5 s]
/proc/loadavg: 4.13 4.10 4.04 5/269 68953
/proc/meminfo: memFree=115563068/131249996 swapFree=33010684/33010684
[pid=68847] ppid=68843 vsize=4192 memory=3072 CPUtime=0.13 cores=4,6
/proc/68847/stat : 68847 (run-opt-break.s) S 68843 68847 68432 0 -1 4194304 239 9576 0 0 0 0 12 1 20 0 1 0 60237580 4292608 768 18446744073709551615 94529191989248 94529192883781 140724620629792 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94529193122832 94529193170576 94529201045504 140724620638561 140724620638690 140724620638690 140724620644292 0
/proc/68847/statm: 1048 768 704 219 0 110 0
[pid=68860] ppid=68847 vsize=282960 memory=221996 CPUtime=302.52 cores=4,6
/proc/68860/stat : 68860 (roundingsat) R 68847 68847 68432 0 -1 4194304 44549 0 0 0 30046 206 0 0 20 0 1 0 60237596 289751040 55499 18446744073709551615 4227072 8923433 140722234665984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30121984 140722234673508 140722234673704 140722234673704 140722234679274 0
/proc/68860/statm: 70740 55499 2496 1147 0 58167 0
Current children cumulated CPU time: 302.65 s
Current children cumulated vsize: 287152 KiB
Current children cumulated memory: 225068 KiB

Child status: 0

Real time (s): 303.553
CPU time (s): 302.732
CPU user time (s): 300.648
CPU system time (s): 2.0842
CPU usage (%): 99.7295
Max. virtual memory (cumulated for all children) (KiB): 287152
Max. memory (cumulated for all children) (KiB): 225068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.648
system time used= 2.0842
maximum resident set size= 221996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 287


# summary of solver processes directly reported to runsolver:
#   pid: 68847
#   total CPU time (s): 302.732
#   total CPU user time (s): 300.648
#   total CPU system time (s): 2.0842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.646035 second user time and 1.35307 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-02 10:39:57
IDJOB=4504806
IDBENCH=155687
IDSOLVER=3359
FILE ID=nodeC024/4504806-1751445597
RUNJOBID= nodeC024-1751441985-68443
SLURM_JOB_ID= 9598407
Free space on /tmp= 432432 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504806-1751445597/watcher-4504806-1751445597 -o /tmp/evaluation-result-4504806-1751445597/solver-4504806-1751445597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68443 --watchdog 3760  run-opt-break.sh HOME/instance-4504806-1751445597.opb

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

MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e
RANDOM SEED=1946671240

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        118159120 kB
MemAvailable:   125481180 kB
Buffers:            3280 kB
Cached:          8090432 kB
SwapCached:            0 kB
Active:          4507892 kB
Inactive:        7832112 kB
Active(anon):    4264460 kB
Inactive(anon):        0 kB
Active(file):     243432 kB
Inactive(file):  7832112 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10480 kB
Writeback:            60 kB
AnonPages:       4249156 kB
Mapped:           110560 kB
Shmem:             18064 kB
KReclaimable:     171112 kB
Slab:             262532 kB
SReclaimable:     171112 kB
SUnreclaim:        91420 kB
KernelStack:        4140 kB
PageTables:        11724 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5028224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1146880 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432216 MiB
End job on nodeC024 at 2025-07-02 10:45:01