Trace number 4504804

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22adOPT2218686 527.766 529.469

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-4504804-1751470690.opb'
0.00/0.02	c 	read 0.83MB  (11.28ms)
0.00/0.02	c	 [cnf: #variables 9765 #clauses 21189 #duplicates 105 #arr 72765]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.04	c	 [group: #orbits ~= 3380] (16.92ms)
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.04	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	 found row 15x2, generating row predicate
0.00/0.04	c 	 found row 4x2, generating row predicate
0.00/0.04	c 	 found row 15x2, generating row predicate
0.00/0.04	c 	 found row 15x2, generating row predicate
0.00/0.04	c 	 (4.32ms)
0.00/0.04	c 
0.00/0.04	c detect symmetries on remainder
0.00/0.04	c 	[graph: #vertices 69714 #edges 223050]
0.00/0.04	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06	c 	 [group: #symmetries 4.24*10^255 #generators 500] (19.49ms)
0.00/0.06	c 
0.00/0.06	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06	c 	ran it=0, +gens=6 
0.09/0.14	c 	con best_support=4, best_gens=395, +gens=123
0.09/0.14	c 	(75.98ms)
0.09/0.14	c 
0.09/0.14	c finalize break order and special generators
0.09/0.14	c 
0.09/0.14	c add generic predicates (break_depth=20)
0.09/0.14	c 	added predicates for 629 generators (0.35ms)
0.09/0.14	c 
0.09/0.14	c generation finished
0.09/0.14	c 	[sbp: #constraints 6671 #add_vars 1999]
0.09/0.14	c 
0.09/0.14	c write result to 'HOME/instance-4504804-1751470690.opb.pre'
0.09/0.14	c 	wrote 1.08MB (2.54ms)
0.09/0.14	c ------------------------------------------------------------------
0.09/0.14	c                  75.98ms 57.46% optimize_gens
0.09/0.14	c                  19.49ms 14.74% detect_generic
0.09/0.14	c                  16.92ms 12.80% approx_orbits
0.09/0.14	c                  11.28ms  8.53% parse
0.09/0.14	c                   4.32ms  3.26% detect_special
0.09/0.14	c                   2.54ms  1.92% output
0.09/0.14	c                   0.91ms  0.69% other
0.09/0.14	c                   0.44ms  0.33% finalize_order
0.09/0.14	c                   0.35ms  0.27% break_generic
0.09/0.14	c         ───────────────────────────────────────────────
0.09/0.14	c                 132.23ms   100% total
0.09/0.14	c ------------------------------------------------------------------
0.09/0.15	c RoundingSat 2
0.09/0.15	c branch pb25
0.09/0.15	c commit 63f22ad
0.17/0.28	c #variables 11764 #constraints 28471
0.17/0.28	c objective is ce32 
0.27/0.32	c initial watched  CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.27/0.32	c initial counting CF 32, 64, 128, Arb: 6001 , 0 , 0 , 0
0.27/0.32	c bounds 33360320 >= -15 @ 0.134454
0.38/0.46	c bounds 28457408 >= -15 @ 0.254596
0.38/0.47	c bounds 28417639 >= -15 @ 0.258719
0.38/0.47	c bounds 28340021 >= -15 @ 0.261709
0.38/0.47	c bounds 28192228 >= -15 @ 0.264566
0.38/0.48	c bounds 28184324 >= -15 @ 0.269082
0.38/0.49	c bounds 27855601 >= -15 @ 0.282015
0.38/0.50	c bounds 27850269 >= -15 @ 0.285732
0.38/0.50	c bounds 22345133 >= -15 @ 0.293785
0.47/0.54	c bounds 19855075 >= -15 @ 0.32691
0.47/0.56	c bounds 19829665 >= -15 @ 0.347531
0.57/0.61	c bounds 19407275 >= -15 @ 0.39548
0.57/0.62	c bounds 19217850 >= -15 @ 0.400693
0.57/0.62	c bounds 19208351 >= -15 @ 0.404376
0.57/0.63	c bounds 19103750 >= -15 @ 0.408899
0.57/0.63	c bounds 19049615 >= -15 @ 0.411264
0.57/0.68	c bounds 19044283 >= -15 @ 0.463461
0.66/0.71	c bounds 18217129 >= -15 @ 0.490468
0.66/0.72	c bounds 18137613 >= -15 @ 0.502439
0.66/0.72	c bounds 18119181 >= -15 @ 0.505986
0.66/0.75	c bounds 18104865 >= -15 @ 0.534392
0.76/0.86	c bounds 18083594 >= -15 @ 0.639197
0.76/0.87	c bounds 18039258 >= -15 @ 0.648973
0.76/0.87	c bounds 18020069 >= -15 @ 0.652672
0.86/0.97	c bounds 17779814 >= -15 @ 0.744601
0.86/0.99	c bounds 17760490 >= -15 @ 0.766152
1.06/1.10	c bounds 5574105 >= -15 @ 0.879115
1.06/1.11	c bounds 5107123 >= -15 @ 0.887188
1.06/1.12	c bounds 4519301 >= -15 @ 0.891497
1.06/1.12	c bounds 4272389 >= -15 @ 0.896386
1.06/1.19	c bounds 4173008 >= -15 @ 0.959345
1.16/1.24	c bounds 3334128 >= -15 @ 1.00496
1.16/1.27	c bounds 3243906 >= -15 @ 1.04075
1.26/1.33	c #Conflicts:       1000 | #Constraints:      29503
1.26/1.33	c bounds 2458168 >= -15 @ 1.10221
1.26/1.36	c bounds 2418210 >= -15 @ 1.1261
1.26/1.39	c bounds 2302995 >= -15 @ 1.15822
2.26/2.33	c #Conflicts:       2000 | #Constraints:      30506
2.26/2.33	c INPROCESSING
2.26/2.33	c GARBAGE COLLECT
2.26/2.33	c rational objective 1.89349e+06
2.46/2.50	c bounds 2283346 >= -15 @ 2.2432
2.75/2.81	c bounds 2278032 >= -15 @ 2.55521
2.86/2.92	c bounds 2219228 >= -15 @ 2.65311
4.96/5.05	c #Conflicts:       3000 | #Constraints:      28061
4.96/5.05	c #Conflicts:       4000 | #Constraints:      29061
4.96/5.05	c INPROCESSING
4.96/5.05	c GARBAGE COLLECT
4.96/5.05	c rational objective 1.9064e+06
8.24/8.33	c #Conflicts:       5000 | #Constraints:      28513
8.24/8.33	c #Conflicts:       6000 | #Constraints:      29517
8.24/8.33	c INPROCESSING
8.24/8.33	c GARBAGE COLLECT
8.24/8.33	c rational objective 1.91076e+06
11.05/11.16	c #Conflicts:       7000 | #Constraints:      28539
11.05/11.16	c #Conflicts:       8000 | #Constraints:      29539
11.05/11.16	c bounds 2218686 >= -15 @ 10.7767
12.53/12.60	c #Conflicts:       9000 | #Constraints:      30540
12.53/12.60	c INPROCESSING
12.53/12.60	c GARBAGE COLLECT
12.53/12.60	c rational objective 1.91165e+06
16.22/16.31	c #Conflicts:      10000 | #Constraints:      29258
16.22/16.31	c #Conflicts:      11000 | #Constraints:      30258
16.22/16.31	c #Conflicts:      12000 | #Constraints:      31258
16.22/16.31	c INPROCESSING
16.22/16.31	c GARBAGE COLLECT
16.22/16.31	c rational objective 1.91578e+06
21.21/21.32	c #Conflicts:      13000 | #Constraints:      22091
21.21/21.32	c #Conflicts:      14000 | #Constraints:      23155
21.21/21.32	c #Conflicts:      15000 | #Constraints:      24241
21.21/21.32	c INPROCESSING
21.21/21.32	c GARBAGE COLLECT
21.21/21.32	c rational objective 1.91581e+06
26.60/26.75	c #Conflicts:      16000 | #Constraints:      22430
26.60/26.75	c #Conflicts:      17000 | #Constraints:      23536
26.60/26.75	c #Conflicts:      18000 | #Constraints:      24545
26.60/26.75	c INPROCESSING
26.60/26.75	c GARBAGE COLLECT
26.60/26.75	c rational objective 1.92569e+06
58.00/58.22	c #Conflicts:      19000 | #Constraints:      22483
58.00/58.22	c #Conflicts:      20000 | #Constraints:      23497
58.00/58.22	c #Conflicts:      21000 | #Constraints:      24514
58.00/58.22	c INPROCESSING
58.00/58.22	c GARBAGE COLLECT
58.00/58.22	c #Conflicts:      22000 | #Constraints:      22279
58.00/58.22	c #Conflicts:      23000 | #Constraints:      23291
58.00/58.22	c #Conflicts:      24000 | #Constraints:      24312
58.00/58.22	c #Conflicts:      25000 | #Constraints:      25312
58.00/58.22	c INPROCESSING
58.00/58.22	c GARBAGE COLLECT
58.00/58.22	c #Conflicts:      26000 | #Constraints:      22857
58.00/58.22	c #Conflicts:      27000 | #Constraints:      23910
58.00/58.22	c #Conflicts:      28000 | #Constraints:      24964
58.00/58.22	c #Conflicts:      29000 | #Constraints:      26021
58.00/58.22	c INPROCESSING
58.00/58.22	c GARBAGE COLLECT
58.00/58.22	c #Conflicts:      30000 | #Constraints:      23308
58.00/58.22	c #Conflicts:      31000 | #Constraints:      24315
58.00/58.22	c #Conflicts:      32000 | #Constraints:      25339
58.00/58.22	c #Conflicts:      33000 | #Constraints:      26343
58.00/58.22	c INPROCESSING
58.00/58.22	c GARBAGE COLLECT
58.00/58.22	c #Conflicts:      34000 | #Constraints:      17456
58.00/58.22	c #Conflicts:      35000 | #Constraints:      18633
58.00/58.22	c #Conflicts:      36000 | #Constraints:      19650
58.00/58.22	c #Conflicts:      37000 | #Constraints:      20727
58.00/58.22	c INPROCESSING
58.00/58.22	c GARBAGE COLLECT
58.00/58.22	c rational objective 1.926e+06
62.69/62.92	c #Conflicts:      38000 | #Constraints:      17526
62.69/62.92	c #Conflicts:      39000 | #Constraints:      18530
62.69/62.92	c #Conflicts:      40000 | #Constraints:      19531
62.69/62.92	c #Conflicts:      41000 | #Constraints:      20534
62.69/62.92	c INPROCESSING
62.69/62.92	c GARBAGE COLLECT
62.69/62.92	c rational objective 1.93277e+06
68.27/68.55	c #Conflicts:      42000 | #Constraints:      17214
68.27/68.55	c #Conflicts:      43000 | #Constraints:      18215
68.27/68.55	c #Conflicts:      44000 | #Constraints:      19221
68.27/68.55	c #Conflicts:      45000 | #Constraints:      20223
68.27/68.55	c #Conflicts:      46000 | #Constraints:      21231
68.27/68.55	c INPROCESSING
68.27/68.55	c GARBAGE COLLECT
68.27/68.55	c rational objective 1.93632e+06
73.86/74.15	c #Conflicts:      47000 | #Constraints:      17786
73.86/74.15	c #Conflicts:      48000 | #Constraints:      18795
73.86/74.15	c #Conflicts:      49000 | #Constraints:      19800
73.86/74.15	c #Conflicts:      50000 | #Constraints:      20806
73.86/74.15	c #Conflicts:      51000 | #Constraints:      21815
73.86/74.15	c INPROCESSING
73.86/74.15	c GARBAGE COLLECT
73.86/74.15	c rational objective 1.93988e+06
80.14/80.45	c #Conflicts:      52000 | #Constraints:      18182
80.14/80.45	c #Conflicts:      53000 | #Constraints:      19194
80.14/80.45	c #Conflicts:      54000 | #Constraints:      20198
80.14/80.45	c #Conflicts:      55000 | #Constraints:      21198
80.14/80.45	c #Conflicts:      56000 | #Constraints:      22198
80.14/80.45	c INPROCESSING
80.14/80.45	c GARBAGE COLLECT
80.14/80.45	c rational objective 1.94485e+06
94.79/95.17	c #Conflicts:      57000 | #Constraints:      18356
94.79/95.17	c #Conflicts:      58000 | #Constraints:      19370
94.79/95.17	c #Conflicts:      59000 | #Constraints:      20380
94.79/95.17	c #Conflicts:      60000 | #Constraints:      21383
94.79/95.17	c #Conflicts:      61000 | #Constraints:      22391
94.79/95.17	c INPROCESSING
94.79/95.17	c GARBAGE COLLECT
94.79/95.17	c #Conflicts:      62000 | #Constraints:      18391
94.79/95.17	c #Conflicts:      63000 | #Constraints:      19480
94.79/95.17	c #Conflicts:      64000 | #Constraints:      20490
94.79/95.17	c #Conflicts:      65000 | #Constraints:      21585
94.79/95.17	c #Conflicts:      66000 | #Constraints:      22660
94.79/95.17	c INPROCESSING
94.79/95.17	c GARBAGE COLLECT
94.79/95.17	c rational objective 1.95411e+06
100.27/100.69	c #Conflicts:      67000 | #Constraints:      18232
100.27/100.69	c #Conflicts:      68000 | #Constraints:      19232
100.27/100.69	c #Conflicts:      69000 | #Constraints:      20232
100.27/100.69	c #Conflicts:      70000 | #Constraints:      21233
100.27/100.69	c #Conflicts:      71000 | #Constraints:      22236
100.27/100.69	c #Conflicts:      72000 | #Constraints:      23239
100.27/100.69	c INPROCESSING
100.27/100.69	c GARBAGE COLLECT
100.27/100.69	c rational objective 1.95847e+06
107.34/107.75	c #Conflicts:      73000 | #Constraints:      18686
107.34/107.75	c #Conflicts:      74000 | #Constraints:      19690
107.34/107.75	c #Conflicts:      75000 | #Constraints:      20691
107.34/107.75	c #Conflicts:      76000 | #Constraints:      21698
107.34/107.75	c #Conflicts:      77000 | #Constraints:      22699
107.34/107.75	c #Conflicts:      78000 | #Constraints:      23703
107.34/107.75	c INPROCESSING
107.34/107.75	c GARBAGE COLLECT
107.34/107.75	c rational objective 1.9658e+06
114.63/115.10	c #Conflicts:      79000 | #Constraints:      19035
114.63/115.10	c #Conflicts:      80000 | #Constraints:      20036
114.63/115.10	c #Conflicts:      81000 | #Constraints:      21037
114.63/115.10	c #Conflicts:      82000 | #Constraints:      22044
114.63/115.10	c #Conflicts:      83000 | #Constraints:      23126
114.63/115.10	c #Conflicts:      84000 | #Constraints:      24130
114.63/115.10	c INPROCESSING
114.63/115.10	c GARBAGE COLLECT
114.63/115.10	c rational objective 1.96764e+06
124.70/125.12	c #Conflicts:      85000 | #Constraints:      16833
124.70/125.12	c #Conflicts:      86000 | #Constraints:      17935
124.70/125.12	c #Conflicts:      87000 | #Constraints:      19152
124.70/125.12	c #Conflicts:      88000 | #Constraints:      20162
124.70/125.12	c #Conflicts:      89000 | #Constraints:      21313
124.70/125.12	c #Conflicts:      90000 | #Constraints:      22337
124.70/125.12	c INPROCESSING
124.70/125.12	c GARBAGE COLLECT
124.70/125.12	c rational objective 1.96983e+06
132.36/132.89	c #Conflicts:      91000 | #Constraints:      17045
132.36/132.89	c #Conflicts:      92000 | #Constraints:      18046
132.36/132.89	c #Conflicts:      93000 | #Constraints:      19046
132.36/132.89	c #Conflicts:      94000 | #Constraints:      20046
132.36/132.89	c #Conflicts:      95000 | #Constraints:      21051
132.36/132.89	c #Conflicts:      96000 | #Constraints:      22057
132.36/132.89	c INPROCESSING
132.36/132.89	c GARBAGE COLLECT
132.36/132.89	c rational objective 1.98252e+06
252.57/253.48	c #Conflicts:      97000 | #Constraints:      16710
252.57/253.48	c #Conflicts:      98000 | #Constraints:      17751
252.57/253.48	c #Conflicts:      99000 | #Constraints:      18901
252.57/253.48	c #Conflicts:     100000 | #Constraints:      19971
252.57/253.48	c #Conflicts:     101000 | #Constraints:      21042
252.57/253.48	c #Conflicts:     102000 | #Constraints:      22223
252.57/253.48	c #Conflicts:     103000 | #Constraints:      23331
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     104000 | #Constraints:      17520
252.57/253.48	c #Conflicts:     105000 | #Constraints:      18521
252.57/253.48	c #Conflicts:     106000 | #Constraints:      19521
252.57/253.48	c #Conflicts:     107000 | #Constraints:      20522
252.57/253.48	c #Conflicts:     108000 | #Constraints:      21529
252.57/253.48	c #Conflicts:     109000 | #Constraints:      22577
252.57/253.48	c #Conflicts:     110000 | #Constraints:      23641
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     111000 | #Constraints:      17826
252.57/253.48	c #Conflicts:     112000 | #Constraints:      18845
252.57/253.48	c #Conflicts:     113000 | #Constraints:      19928
252.57/253.48	c #Conflicts:     114000 | #Constraints:      21011
252.57/253.48	c #Conflicts:     115000 | #Constraints:      22032
252.57/253.48	c #Conflicts:     116000 | #Constraints:      23041
252.57/253.48	c #Conflicts:     117000 | #Constraints:      24138
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     118000 | #Constraints:      18037
252.57/253.48	c #Conflicts:     119000 | #Constraints:      19039
252.57/253.48	c #Conflicts:     120000 | #Constraints:      20044
252.57/253.48	c #Conflicts:     121000 | #Constraints:      21055
252.57/253.48	c #Conflicts:     122000 | #Constraints:      22068
252.57/253.48	c #Conflicts:     123000 | #Constraints:      23085
252.57/253.48	c #Conflicts:     124000 | #Constraints:      24107
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     125000 | #Constraints:      17921
252.57/253.48	c #Conflicts:     126000 | #Constraints:      18944
252.57/253.48	c #Conflicts:     127000 | #Constraints:      19959
252.57/253.48	c #Conflicts:     128000 | #Constraints:      20978
252.57/253.48	c #Conflicts:     129000 | #Constraints:      21990
252.57/253.48	c #Conflicts:     130000 | #Constraints:      23009
252.57/253.48	c #Conflicts:     131000 | #Constraints:      24013
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     132000 | #Constraints:      17667
252.57/253.48	c #Conflicts:     133000 | #Constraints:      18672
252.57/253.48	c #Conflicts:     134000 | #Constraints:      19682
252.57/253.48	c #Conflicts:     135000 | #Constraints:      20717
252.57/253.48	c #Conflicts:     136000 | #Constraints:      21734
252.57/253.48	c #Conflicts:     137000 | #Constraints:      22738
252.57/253.48	c #Conflicts:     138000 | #Constraints:      23777
252.57/253.48	c #Conflicts:     139000 | #Constraints:      24809
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     140000 | #Constraints:      18269
252.57/253.48	c #Conflicts:     141000 | #Constraints:      19295
252.57/253.48	c #Conflicts:     142000 | #Constraints:      20792
252.57/253.48	c #Conflicts:     143000 | #Constraints:      22068
252.57/253.48	c #Conflicts:     144000 | #Constraints:      23232
252.57/253.48	c #Conflicts:     145000 | #Constraints:      24313
252.57/253.48	c #Conflicts:     146000 | #Constraints:      25384
252.57/253.48	c #Conflicts:     147000 | #Constraints:      26427
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     148000 | #Constraints:      19193
252.57/253.48	c #Conflicts:     149000 | #Constraints:      20199
252.57/253.48	c #Conflicts:     150000 | #Constraints:      21204
252.57/253.48	c #Conflicts:     151000 | #Constraints:      22227
252.57/253.48	c #Conflicts:     152000 | #Constraints:      23249
252.57/253.48	c #Conflicts:     153000 | #Constraints:      24265
252.57/253.48	c #Conflicts:     154000 | #Constraints:      25303
252.57/253.48	c #Conflicts:     155000 | #Constraints:      26326
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     156000 | #Constraints:      19164
252.57/253.48	c #Conflicts:     157000 | #Constraints:      20184
252.57/253.48	c #Conflicts:     158000 | #Constraints:      21184
252.57/253.48	c #Conflicts:     159000 | #Constraints:      22187
252.57/253.48	c #Conflicts:     160000 | #Constraints:      23187
252.57/253.48	c #Conflicts:     161000 | #Constraints:      24198
252.57/253.48	c #Conflicts:     162000 | #Constraints:      25224
252.57/253.48	c #Conflicts:     163000 | #Constraints:      26251
252.57/253.48	c INPROCESSING
252.57/253.48	c GARBAGE COLLECT
252.57/253.48	c #Conflicts:     164000 | #Constraints:      18962
252.57/253.48	c #Conflicts:     165000 | #Constraints:      19969
252.57/253.48	c #Conflicts:     166000 | #Constraints:      20985
252.57/253.48	c #Conflicts:     167000 | #Constraints:      21995
252.57/253.48	c #Conflicts:     168000 | #Constraints:      23001
252.57/253.48	c #Conflicts:     169000 | #Constraints:      24045
252.57/253.48	c #Conflicts:     170000 | #Constraints:      25069
365.10/366.39	c #Conflicts:     171000 | #Constraints:      26093
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     172000 | #Constraints:      18741
365.10/366.39	c #Conflicts:     173000 | #Constraints:      19791
365.10/366.39	c #Conflicts:     174000 | #Constraints:      20799
365.10/366.39	c #Conflicts:     175000 | #Constraints:      21799
365.10/366.39	c #Conflicts:     176000 | #Constraints:      22813
365.10/366.39	c #Conflicts:     177000 | #Constraints:      23824
365.10/366.39	c #Conflicts:     178000 | #Constraints:      24850
365.10/366.39	c #Conflicts:     179000 | #Constraints:      25864
365.10/366.39	c #Conflicts:     180000 | #Constraints:      26873
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     181000 | #Constraints:      19263
365.10/366.39	c #Conflicts:     182000 | #Constraints:      20306
365.10/366.39	c #Conflicts:     183000 | #Constraints:      21319
365.10/366.39	c #Conflicts:     184000 | #Constraints:      22320
365.10/366.39	c #Conflicts:     185000 | #Constraints:      23333
365.10/366.39	c #Conflicts:     186000 | #Constraints:      24339
365.10/366.39	c #Conflicts:     187000 | #Constraints:      25348
365.10/366.39	c #Conflicts:     188000 | #Constraints:      26358
365.10/366.39	c #Conflicts:     189000 | #Constraints:      27376
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     190000 | #Constraints:      19616
365.10/366.39	c #Conflicts:     191000 | #Constraints:      20616
365.10/366.39	c #Conflicts:     192000 | #Constraints:      21639
365.10/366.39	c #Conflicts:     193000 | #Constraints:      22643
365.10/366.39	c #Conflicts:     194000 | #Constraints:      23656
365.10/366.39	c #Conflicts:     195000 | #Constraints:      24659
365.10/366.39	c #Conflicts:     196000 | #Constraints:      25672
365.10/366.39	c #Conflicts:     197000 | #Constraints:      26675
365.10/366.39	c #Conflicts:     198000 | #Constraints:      27684
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     199000 | #Constraints:      19691
365.10/366.39	c #Conflicts:     200000 | #Constraints:      20745
365.10/366.39	c #Conflicts:     201000 | #Constraints:      21759
365.10/366.39	c #Conflicts:     202000 | #Constraints:      22780
365.10/366.39	c #Conflicts:     203000 | #Constraints:      23782
365.10/366.39	c #Conflicts:     204000 | #Constraints:      24835
365.10/366.39	c #Conflicts:     205000 | #Constraints:      25861
365.10/366.39	c #Conflicts:     206000 | #Constraints:      26900
365.10/366.39	c #Conflicts:     207000 | #Constraints:      27919
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     208000 | #Constraints:      19881
365.10/366.39	c #Conflicts:     209000 | #Constraints:      20909
365.10/366.39	c #Conflicts:     210000 | #Constraints:      21910
365.10/366.39	c #Conflicts:     211000 | #Constraints:      22911
365.10/366.39	c #Conflicts:     212000 | #Constraints:      23912
365.10/366.39	c #Conflicts:     213000 | #Constraints:      24916
365.10/366.39	c #Conflicts:     214000 | #Constraints:      25922
365.10/366.39	c #Conflicts:     215000 | #Constraints:      26927
365.10/366.39	c #Conflicts:     216000 | #Constraints:      27932
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     217000 | #Constraints:      19575
365.10/366.39	c #Conflicts:     218000 | #Constraints:      20606
365.10/366.39	c #Conflicts:     219000 | #Constraints:      21619
365.10/366.39	c #Conflicts:     220000 | #Constraints:      22622
365.10/366.39	c #Conflicts:     221000 | #Constraints:      23629
365.10/366.39	c #Conflicts:     222000 | #Constraints:      24636
365.10/366.39	c #Conflicts:     223000 | #Constraints:      25648
365.10/366.39	c #Conflicts:     224000 | #Constraints:      26655
365.10/366.39	c #Conflicts:     225000 | #Constraints:      27663
365.10/366.39	c #Conflicts:     226000 | #Constraints:      28664
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     227000 | #Constraints:      20235
365.10/366.39	c #Conflicts:     228000 | #Constraints:      21270
365.10/366.39	c #Conflicts:     229000 | #Constraints:      22278
365.10/366.39	c #Conflicts:     230000 | #Constraints:      23292
365.10/366.39	c #Conflicts:     231000 | #Constraints:      24376
365.10/366.39	c #Conflicts:     232000 | #Constraints:      25394
365.10/366.39	c #Conflicts:     233000 | #Constraints:      26410
365.10/366.39	c #Conflicts:     234000 | #Constraints:      27418
365.10/366.39	c #Conflicts:     235000 | #Constraints:      28420
365.10/366.39	c #Conflicts:     236000 | #Constraints:      29429
365.10/366.39	c INPROCESSING
365.10/366.39	c GARBAGE COLLECT
365.10/366.39	c #Conflicts:     237000 | #Constraints:      20605
365.10/366.39	c #Conflicts:     238000 | #Constraints:      21612
365.10/366.39	c #Conflicts:     239000 | #Constraints:      22634
365.10/366.39	c #Conflicts:     240000 | #Constraints:      23641
365.10/366.39	c #Conflicts:     241000 | #Constraints:      24663
365.10/366.39	c #Conflicts:     242000 | #Constraints:      25671
365.10/366.39	c #Conflicts:     243000 | #Constraints:      26672
402.68/404.01	c #Conflicts:     244000 | #Constraints:      27682
402.68/404.01	c #Conflicts:     245000 | #Constraints:      28683
402.68/404.01	c #Conflicts:     246000 | #Constraints:      29710
402.68/404.01	c INPROCESSING
402.68/404.01	c GARBAGE COLLECT
402.68/404.01	c #Conflicts:     247000 | #Constraints:      20774
402.68/404.01	c #Conflicts:     248000 | #Constraints:      21802
402.68/404.01	c #Conflicts:     249000 | #Constraints:      22871
402.68/404.01	c #Conflicts:     250000 | #Constraints:      23885
402.68/404.01	c #Conflicts:     251000 | #Constraints:      24909
402.68/404.01	c #Conflicts:     252000 | #Constraints:      25930
402.68/404.01	c #Conflicts:     253000 | #Constraints:      27015
402.68/404.01	c #Conflicts:     254000 | #Constraints:      28044
402.68/404.01	c #Conflicts:     255000 | #Constraints:      29050
402.68/404.01	c #Conflicts:     256000 | #Constraints:      30065
402.68/404.01	c INPROCESSING
402.68/404.01	c GARBAGE COLLECT
402.68/404.01	c #Conflicts:     257000 | #Constraints:      20838
402.68/404.01	c #Conflicts:     258000 | #Constraints:      21845
402.68/404.01	c #Conflicts:     259000 | #Constraints:      22856
402.68/404.01	c #Conflicts:     260000 | #Constraints:      23884
402.68/404.01	c #Conflicts:     261000 | #Constraints:      24894
402.68/404.01	c #Conflicts:     262000 | #Constraints:      25903
402.68/404.01	c #Conflicts:     263000 | #Constraints:      26933
402.68/404.01	c #Conflicts:     264000 | #Constraints:      27949
402.68/404.01	c #Conflicts:     265000 | #Constraints:      28950
402.68/404.01	c #Conflicts:     266000 | #Constraints:      29950
402.68/404.01	c INPROCESSING
402.68/404.01	c GARBAGE COLLECT
402.68/404.01	c rational objective 1.95783e+06
417.93/419.31	c #Conflicts:     267000 | #Constraints:      20549
417.93/419.31	c #Conflicts:     268000 | #Constraints:      21549
417.93/419.31	c #Conflicts:     269000 | #Constraints:      22554
417.93/419.31	c #Conflicts:     270000 | #Constraints:      23557
417.93/419.31	c #Conflicts:     271000 | #Constraints:      24562
417.93/419.31	c #Conflicts:     272000 | #Constraints:      25568
417.93/419.31	c #Conflicts:     273000 | #Constraints:      26590
417.93/419.31	c #Conflicts:     274000 | #Constraints:      27634
417.93/419.31	c #Conflicts:     275000 | #Constraints:      28645
417.93/419.31	c #Conflicts:     276000 | #Constraints:      29675
417.93/419.31	c #Conflicts:     277000 | #Constraints:      30679
417.93/419.31	c INPROCESSING
417.93/419.31	c GARBAGE COLLECT
417.93/419.31	c rational objective 1.99155e+06
432.69/434.17	c #Conflicts:     278000 | #Constraints:      21142
432.69/434.17	c #Conflicts:     279000 | #Constraints:      22144
432.69/434.17	c #Conflicts:     280000 | #Constraints:      23145
432.69/434.17	c #Conflicts:     281000 | #Constraints:      24147
432.69/434.17	c #Conflicts:     282000 | #Constraints:      25147
432.69/434.17	c #Conflicts:     283000 | #Constraints:      26147
432.69/434.17	c #Conflicts:     284000 | #Constraints:      27147
432.69/434.17	c #Conflicts:     285000 | #Constraints:      28147
432.69/434.17	c #Conflicts:     286000 | #Constraints:      29168
432.69/434.17	c #Conflicts:     287000 | #Constraints:      30188
432.69/434.17	c #Conflicts:     288000 | #Constraints:      31243
432.69/434.17	c INPROCESSING
432.69/434.17	c GARBAGE COLLECT
432.69/434.17	c rational objective 2.04026e+06
450.03/451.56	c #Conflicts:     289000 | #Constraints:      21488
450.03/451.56	c #Conflicts:     290000 | #Constraints:      22495
450.03/451.56	c #Conflicts:     291000 | #Constraints:      23557
450.03/451.56	c #Conflicts:     292000 | #Constraints:      24558
450.03/451.56	c #Conflicts:     293000 | #Constraints:      25563
450.03/451.56	c #Conflicts:     294000 | #Constraints:      26564
450.03/451.56	c #Conflicts:     295000 | #Constraints:      27572
450.03/451.56	c #Conflicts:     296000 | #Constraints:      28581
450.03/451.56	c #Conflicts:     297000 | #Constraints:      29586
450.03/451.56	c #Conflicts:     298000 | #Constraints:      30591
450.03/451.56	c #Conflicts:     299000 | #Constraints:      31604
450.03/451.56	c INPROCESSING
450.03/451.56	c GARBAGE COLLECT
450.03/451.56	c rational objective 2.07984e+06
527.68/529.45	c #Conflicts:     300000 | #Constraints:      21676
527.68/529.45	c #Conflicts:     301000 | #Constraints:      22679
527.68/529.45	c #Conflicts:     302000 | #Constraints:      23679
527.68/529.45	c #Conflicts:     303000 | #Constraints:      24683
527.68/529.45	c #Conflicts:     304000 | #Constraints:      25684
527.68/529.45	c #Conflicts:     305000 | #Constraints:      26702
527.68/529.45	c #Conflicts:     306000 | #Constraints:      27710
527.68/529.45	c #Conflicts:     307000 | #Constraints:      28720
527.68/529.45	c #Conflicts:     308000 | #Constraints:      29730
527.68/529.45	c #Conflicts:     309000 | #Constraints:      30747
527.68/529.45	c #Conflicts:     310000 | #Constraints:      31759
527.68/529.45	c INPROCESSING
527.68/529.45	c GARBAGE COLLECT
527.68/529.45	c #Conflicts:     311000 | #Constraints:      21654
527.68/529.45	c #Conflicts:     312000 | #Constraints:      22684
527.68/529.45	c #Conflicts:     313000 | #Constraints:      23708
527.68/529.45	c #Conflicts:     314000 | #Constraints:      24748
527.68/529.45	c #Conflicts:     315000 | #Constraints:      25758
527.68/529.45	c #Conflicts:     316000 | #Constraints:      26774
527.68/529.45	c #Conflicts:     317000 | #Constraints:      27880
527.68/529.45	c #Conflicts:     318000 | #Constraints:      28919
527.68/529.45	c #Conflicts:     319000 | #Constraints:      29928
527.68/529.45	c #Conflicts:     320000 | #Constraints:      30935
527.68/529.45	c #Conflicts:     321000 | #Constraints:      31945
527.68/529.45	c INPROCESSING
527.68/529.45	c GARBAGE COLLECT
527.68/529.45	c #Conflicts:     322000 | #Constraints:      21549
527.68/529.45	c #Conflicts:     323000 | #Constraints:      22552
527.68/529.45	c #Conflicts:     324000 | #Constraints:      23561
527.68/529.45	c #Conflicts:     325000 | #Constraints:      24567
527.68/529.45	c #Conflicts:     326000 | #Constraints:      25619
527.68/529.45	c #Conflicts:     327000 | #Constraints:      26634
527.68/529.45	c #Conflicts:     328000 | #Constraints:      27662
527.68/529.45	c #Conflicts:     329000 | #Constraints:      28669
527.68/529.45	c #Conflicts:     330000 | #Constraints:      29678
527.68/529.45	c #Conflicts:     331000 | #Constraints:      30687
527.68/529.45	c #Conflicts:     332000 | #Constraints:      31693
527.68/529.45	c #Conflicts:     333000 | #Constraints:      32721
527.68/529.45	c INPROCESSING
527.68/529.45	c GARBAGE COLLECT
527.68/529.45	c #Conflicts:     334000 | #Constraints:      22055
527.68/529.45	c #Conflicts:     335000 | #Constraints:      23061
527.68/529.45	c #Conflicts:     336000 | #Constraints:      24068
527.68/529.45	c #Conflicts:     337000 | #Constraints:      25085
527.68/529.45	c #Conflicts:     338000 | #Constraints:      26088
527.68/529.45	c #Conflicts:     339000 | #Constraints:      27093
527.68/529.45	c #Conflicts:     340000 | #Constraints:      28106
527.68/529.45	c #Conflicts:     341000 | #Constraints:      29112
527.68/529.45	c #Conflicts:     342000 | #Constraints:      30130
527.68/529.45	c #Conflicts:     343000 | #Constraints:      31139
527.68/529.45	c #Conflicts:     344000 | #Constraints:      32146
527.68/529.45	c #Conflicts:     345000 | #Constraints:      33146
527.68/529.45	c INPROCESSING
527.68/529.45	c GARBAGE COLLECT
527.68/529.45	c #Conflicts:     346000 | #Constraints:      22416
527.68/529.45	c #Conflicts:     347000 | #Constraints:      23427
527.68/529.45	c bounds 2218686 >= 2218686 @ 523.877
527.68/529.45	c cpu time 523.877 s
527.68/529.45	c deterministic time 33666378849 3.37e+10
527.68/529.45	c optimization time 0.066759 s
527.68/529.45	c total solve time 523.718 s
527.68/529.45	c core-guided solve time 248.161 s
527.68/529.45	c propagation time 306.688 s
527.68/529.45	c conflict analysis time 181.461 s
527.68/529.45	c propagations 236212809
527.68/529.45	c resolve steps 6519891
527.68/529.45	c decisions 1362700
527.68/529.45	c conflicts 347671
527.68/529.45	c restarts 826
527.68/529.45	c inprocessing phases 50
527.68/529.45	c garbage collections 50 ,( 100.00 )
527.68/529.45	c input clauses 22430 ,( 78.67 )
527.68/529.45	c input cardinalities 26 ,( 0.09 )
527.68/529.45	c input general constraints 6055 ,( 21.24 )
527.68/529.45	c input average constraint length 8.67
527.68/529.45	c input average constraint degree 1623152.08
527.68/529.45	c learned clauses 160891 ,( 45.21 )
527.68/529.45	c learned cardinalities 828 ,( 0.23 )
527.68/529.45	c learned general constraints 194168 ,( 54.56 )
527.68/529.45	c learned average constraint length 252.59
527.68/529.45	c learned average constraint degree 2341018134.11
527.68/529.45	c watched  CF 32, 64, 128, Arb: 23495 , 0 , 0 , 0
527.68/529.45	c counting CF 32, 64, 128, Arb: 176729 , 0 , 0 , 0
527.68/529.45	c watched   constraints 23495 ,( 11.73 ) 
527.68/529.45	c counting  constraints 176728 ,( 88.27 ) 
527.68/529.45	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 126276991 , 20171070 , 837159592 ,( 7246191 , 829913401 )
527.68/529.45	c gcd simplifications 26207
527.68/529.45	c detected cardinalities 53
527.68/529.45	c weakened non-implied lits 310488113
527.68/529.45	c weakened non-implying lits 228266
527.68/529.45	c original variables 11764
527.68/529.45	c clausal propagations 79699908
527.68/529.45	c cardinality propagations 2295698
527.68/529.45	c watched propagations 151730
527.68/529.45	c counting propagations 153060584
527.68/529.45	c watch lookups 5670991006
527.68/529.45	c watch backjump lookups 0
527.68/529.45	c watch checks 1140036278
527.68/529.45	c propagation checks 25078160672
527.68/529.45	c constraint additions 1301279173
527.68/529.45	c trail pops 237913724
527.68/529.45	c formula constraints 28471
527.68/529.45	c learned constraints 347580
527.68/529.45	c bound constraints 40
527.68/529.45	c core-guided constraints 0
527.68/529.45	c encountered formula constraints 4728174
527.68/529.45	c encountered learned constraints 1829721
527.68/529.45	c encountered bound constraints 112251
527.68/529.45	c encountered core-guided constraints 0
527.68/529.45	c LP total time 164.072 s
527.68/529.45	c LP solve time 147.6 s
527.68/529.45	c LP constraints added 28596
527.68/529.45	c LP constraints removed 77
527.68/529.45	c LP pivots internal 347748
527.68/529.45	c LP pivots root 74738
527.68/529.45	c LP calls 8354
527.68/529.45	c LP optimalities 117
527.68/529.45	c LP no pivot count 0
527.68/529.45	c LP infeasibilities 8207
527.68/529.45	c LP valid Farkas constraints 8195
527.68/529.45	c LP learned Farkas constraints 90
527.68/529.45	c LP basis resets 37
527.68/529.45	c LP cycling count 11
527.68/529.45	c LP singular count 12
527.68/529.45	c LP no primal count 0
527.68/529.45	c LP no farkas count 11
527.68/529.45	c LP other issue count 3
527.68/529.45	c LP Gomory cuts 22
527.68/529.45	c LP learned cuts 103
527.68/529.45	c LP deleted cuts 77
527.68/529.45	c LP encountered Gomory constraints 12201
527.68/529.45	c LP encountered Farkas constraints 178426
527.68/529.45	c LP encountered learned Farkas constraints 6699
527.68/529.45	c CG auxiliary variables introduced 0
527.68/529.45	c CG solutions found 39
527.68/529.45	c CG cores constructed 0
527.68/529.45	c CG core cardinality constraints returned 0
527.68/529.45	c CG unit cores 0
527.68/529.45	c CG single cores 0
527.68/529.45	c CG blocks removed during cardinality reduction 0
527.68/529.45	c CG first core best 0
527.68/529.45	c CG decision core best 0
527.68/529.45	c CG core reduction tie 0
527.68/529.45	c CG core degree average 0.00
527.68/529.45	c CG core slack average 0.00
527.68/529.45	c CG core upper bound improvements 0
527.68/529.45	c STR number of successful calls 0
527.68/529.45	c STR number of unsuccessful calls 0
527.68/529.45	c STR number of inconclusive calls 0
527.68/529.45	c STR number of successful attempts 0
527.68/529.45	c STR number of unsuccessful attempts 0
527.68/529.45	c STR number of inconclusive attempts 0
527.68/529.45	c STR average degree increase per successful call inf
527.68/529.45	c STR average degree increase per successful attempt inf
527.68/529.45	c STR total number of conflicts for successful attempts 0
527.68/529.45	c STR total number of conflicts for unsuccessful attempts 0
527.68/529.45	c STR total number of conflicts for inconclusive attempts 0
527.68/529.45	c STR average number of conflicts per successful attempt inf
527.68/529.45	c STR average number of conflicts per unsuccessful attempt inf
527.68/529.45	c STR average number of conflicts per inconclusive attempt inf
527.68/529.45	c AVG.sumWPerc 80.77 
527.68/529.45	c bigint constraints 0 
527.68/529.45	o 2218686
527.68/529.45	s OPTIMUM FOUND
527.68/529.45	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: 63708 MiB (59051 MiB free)
  memory of node 1: 64465 MiB (63388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504804-1751470690/watcher-4504804-1751470690 -o /tmp/evaluation-result-4504804-1751470690/solver-4504804-1751470690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751467075-60647 --watchdog 3760 run-opt-ls.sh HOME/instance-4504804-1751470690.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61319, runsolver pid=61316

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.18 4.11 5/267 61321
/proc/meminfo: memFree=125352804/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61321] ppid=61319 vsize=34396 memory=23996 CPUtime=0.09 cores=5,7
/proc/61321/stat : 61321 (pbsuma) R 61319 61319 60629 0 -1 4194304 8932 0 0 0 7 2 0 0 20 0 1 0 62746507 35221504 5999 18446744073709551615 4210688 4653049 140734621894912 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 15929344 140734621903203 140734621903410 140734621903410 140734621908975 0
/proc/61321/statm: 8599 5999 1024 108 0 6007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38588 KiB
Current children cumulated memory: 27068 KiB

[startup+0.205512 s]*
/proc/loadavg: 4.13 4.18 4.11 5/267 61322
/proc/meminfo: memFree=125352836/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=63940 memory=17644 CPUtime=0.04 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 2722 0 0 0 3 1 0 0 20 0 1 0 62746521 65474560 4411 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 15985 4411 2016 1147 0 3412 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68132 KiB
Current children cumulated memory: 20716 KiB

[startup+0.305518 s]*
/proc/loadavg: 4.13 4.18 4.11 5/267 61322
/proc/meminfo: memFree=125340296/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=89576 memory=44592 CPUtime=0.14 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 7715 0 0 0 11 3 0 0 20 0 1 0 62746521 91725824 11148 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 22394 11148 2336 1147 0 9821 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 93768 KiB
Current children cumulated memory: 47664 KiB

[startup+0.700188 s]
/proc/loadavg: 4.12 4.18 4.11 5/267 61322
/proc/meminfo: memFree=125330720/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=107920 memory=65928 CPUtime=0.53 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 12050 0 0 0 47 6 0 0 20 0 1 0 62746521 110510080 16482 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 26980 16482 2400 1147 0 14407 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 112112 KiB
Current children cumulated memory: 69000 KiB

[startup+1.50019 s]
/proc/loadavg: 4.12 4.18 4.11 5/267 61322
/proc/meminfo: memFree=125300352/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=120676 memory=77832 CPUtime=1.34 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 15014 0 0 0 126 8 0 0 20 0 1 0 62746521 123572224 19458 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 30169 19458 2400 1147 0 17596 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 124868 KiB
Current children cumulated memory: 80904 KiB

[startup+3.10539 s]
/proc/loadavg: 4.12 4.18 4.11 5/267 61322
/proc/meminfo: memFree=125244864/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=136808 memory=89684 CPUtime=2.93 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 17484 0 0 0 283 10 0 0 20 0 1 0 62746521 140091392 22421 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 34202 22421 2400 1147 0 21629 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 141000 KiB
Current children cumulated memory: 92756 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.17 4.11 5/267 61322
/proc/meminfo: memFree=125225032/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=159644 memory=108016 CPUtime=6.11 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 21075 0 0 0 597 14 0 0 20 0 1 0 62746521 163475456 27004 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 39911 27004 2400 1147 0 27338 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 163836 KiB
Current children cumulated memory: 111088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.17 4.11 5/267 61322
/proc/meminfo: memFree=125167336/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=178892 memory=133104 CPUtime=12.5 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 26250 0 0 0 1229 21 0 0 20 0 1 0 62746521 183185408 33276 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 44723 33276 2496 1147 0 32150 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 183084 KiB
Current children cumulated memory: 136176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.16 4.11 5/268 61323
/proc/meminfo: memFree=125149128/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=188492 memory=143984 CPUtime=25.27 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 28964 0 0 0 2496 31 0 0 20 0 1 0 62746521 193015808 35996 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 47123 35996 2496 1147 0 34550 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 192684 KiB
Current children cumulated memory: 147056 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.16 4.11 5/268 61324
/proc/meminfo: memFree=125119612/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=213160 memory=160736 CPUtime=50.8 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 32118 0 0 0 5030 50 0 0 20 0 1 0 62746521 218275840 40184 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 53290 40184 2496 1147 0 40717 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 217352 KiB
Current children cumulated memory: 163808 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.14 4.10 5/268 61326
/proc/meminfo: memFree=124875440/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=236484 memory=184904 CPUtime=101.84 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 37673 0 0 0 10090 94 0 0 20 0 1 0 62746521 242159616 46226 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 59121 46226 2496 1147 0 46548 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 240676 KiB
Current children cumulated memory: 187976 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/269 61333
/proc/meminfo: memFree=124524964/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=255116 memory=205500 CPUtime=161.64 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 41281 0 0 0 16027 137 0 0 20 0 1 0 62746521 261238784 51375 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 63779 51375 2496 1147 0 51206 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 259308 KiB
Current children cumulated memory: 208572 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/269 61335
/proc/meminfo: memFree=124262988/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=264364 memory=216416 CPUtime=221.44 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 43501 0 0 0 21967 177 0 0 20 0 1 0 62746521 270708736 54104 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 66091 54104 2496 1147 0 53518 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 268556 KiB
Current children cumulated memory: 219488 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/269 61337
/proc/meminfo: memFree=124025416/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=273492 memory=224896 CPUtime=281.25 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 45124 0 0 0 27906 219 0 0 20 0 1 0 62746521 280055808 56224 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 68373 56224 2496 1147 0 55800 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 277684 KiB
Current children cumulated memory: 227968 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 61339
/proc/meminfo: memFree=123817840/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=276220 memory=228224 CPUtime=341.05 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 45949 0 0 0 33847 258 0 0 20 0 1 0 62746521 282849280 57056 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 69055 57056 2496 1147 0 56482 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 280412 KiB
Current children cumulated memory: 231296 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 61341
/proc/meminfo: memFree=123794660/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=277696 memory=231912 CPUtime=400.85 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 46372 0 0 0 39790 295 0 0 20 0 1 0 62746521 284360704 57978 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 69424 57978 2496 1147 0 56851 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 281888 KiB
Current children cumulated memory: 234984 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 4.16 4.10 5/266 61346
/proc/meminfo: memFree=123682920/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=301036 memory=237672 CPUtime=460.66 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 47817 0 0 0 45732 334 0 0 20 0 1 0 62746521 308260864 59418 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 75259 59418 2496 1147 0 62686 0
Current children cumulated CPU time: 460.79 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 240744 KiB

[startup+522.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/266 61348
/proc/meminfo: memFree=123622624/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=301036 memory=237672 CPUtime=520.47 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 47822 0 0 0 51678 369 0 0 20 0 1 0 62746521 308260864 59418 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 75259 59418 2496 1147 0 62686 0
Current children cumulated CPU time: 520.6 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 240744 KiB

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

# cumulated CPU time of all completed processes:  user=523.996 s, system=3.77027 s

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

[startup+524.8 s]
/proc/loadavg: 4.26 4.18 4.12 5/266 61348
/proc/meminfo: memFree=123614812/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=301036 memory=237672 CPUtime=522.96 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 47822 0 0 0 51926 370 0 0 20 0 1 0 62746521 308260864 59418 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 75259 59418 2496 1147 0 62686 0
Current children cumulated CPU time: 523.09 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 240744 KiB

[startup+528 s]*
/proc/loadavg: 4.24 4.18 4.12 5/266 61348
/proc/meminfo: memFree=123607908/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=301036 memory=237672 CPUtime=526.16 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 47822 0 0 0 52243 373 0 0 20 0 1 0 62746521 308260864 59418 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 75259 59418 2496 1147 0 62686 0
Current children cumulated CPU time: 526.29 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 240744 KiB

[startup+528.8 s]
/proc/loadavg: 4.24 4.18 4.12 5/266 61348
/proc/meminfo: memFree=123607908/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=301036 memory=237672 CPUtime=526.95 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 47822 0 0 0 52322 373 0 0 20 0 1 0 62746521 308260864 59418 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 75259 59418 2496 1147 0 62686 0
Current children cumulated CPU time: 527.08 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 240744 KiB

[startup+529.2 s]
/proc/loadavg: 4.24 4.18 4.12 5/266 61348
/proc/meminfo: memFree=123608160/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=301036 memory=237672 CPUtime=527.35 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 47822 0 0 0 52362 373 0 0 20 0 1 0 62746521 308260864 59418 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 75259 59418 2496 1147 0 62686 0
Current children cumulated CPU time: 527.48 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 240744 KiB

[startup+529.4 s]
/proc/loadavg: 4.24 4.18 4.12 5/266 61348
/proc/meminfo: memFree=123608160/131250000 swapFree=33007332/33010684
[pid=61319] ppid=61316 vsize=4192 memory=3072 CPUtime=0.13 cores=5,7
/proc/61319/stat : 61319 (run-opt-ls.sh) S 61316 61319 60629 0 -1 4194304 236 9066 0 0 0 0 11 2 20 0 1 0 62746506 4292608 768 18446744073709551615 94408807370752 94408808265285 140731677403328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94408808504336 94408808552080 94408816209920 140731677407591 140731677407717 140731677407717 140731677413319 0
/proc/61319/statm: 1048 768 704 219 0 110 0
[pid=61322] ppid=61319 vsize=301036 memory=237672 CPUtime=527.55 cores=5,7
/proc/61322/stat : 61322 (roundingsat) R 61319 61319 60629 0 -1 4194304 47822 0 0 0 52382 373 0 0 20 0 1 0 62746521 308260864 59418 18446744073709551615 4227072 8923433 140726664277808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14962688 140726664280390 140726664280616 140726664280616 140726664286186 0
/proc/61322/statm: 75259 59418 2496 1147 0 62686 0
Current children cumulated CPU time: 527.68 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 240744 KiB

Child status: 0

Real time (s): 529.469
CPU time (s): 527.766
CPU user time (s): 523.996
CPU system time (s): 3.77027
CPU usage (%): 99.6784
Max. virtual memory (cumulated for all children) (KiB): 305228
Max. memory (cumulated for all children) (KiB): 240744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 523.996
system time used= 3.77027
maximum resident set size= 237672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57146
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= 209
involuntary context switches= 642


# summary of solver processes directly reported to runsolver:
#   pid: 61319
#   total CPU time (s): 527.766
#   total CPU user time (s): 523.996
#   total CPU system time (s): 3.77027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02445 second user time and 2.36476 second system time

The end

Launcher Data

Begin job on nodeC019 at 2025-07-02 17:38:10
IDJOB=4504804
IDBENCH=155687
IDSOLVER=3355
FILE ID=nodeC019/4504804-1751470690
RUNJOBID= nodeC019-1751467075-60647
SLURM_JOB_ID= 9598485
Free space on /tmp= 431708 MiB

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

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

MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e
RANDOM SEED=271481550

nodeC019 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.702
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.37
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		: 3599.673
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.37
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		: 3596.910
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.37
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		: 3603.024
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.681
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.37
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.299
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.37
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		: 3688.002
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.680
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125378440 kB
MemAvailable:   126700820 kB
Buffers:             904 kB
Cached:          2126888 kB
SwapCached:          440 kB
Active:          3283808 kB
Inactive:        1982652 kB
Active(anon):    3126088 kB
Inactive(anon):    27776 kB
Active(file):     157720 kB
Inactive(file):  1954876 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20996 kB
Writeback:             0 kB
AnonPages:       3140144 kB
Mapped:           117336 kB
Shmem:             15192 kB
KReclaimable:      98044 kB
Slab:             185584 kB
SReclaimable:      98044 kB
SUnreclaim:        87540 kB
KernelStack:        4304 kB
PageTables:         9740 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3967688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431700 MiB
End job on nodeC019 at 2025-07-02 17:47:00