Trace number 4532373

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3SAT (TO)373 3601.85 3659.84

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM9792288b3bfa4387008e61c6fa17d472
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 benchmark245
Best CPU time to get the best result obtained on this benchmark28904.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495293
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495293
Number of bits of the biggest sum of numbers19
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-4532373-1752586187.opb'
0.27/0.35	c 	read 17.23MB  (341.30ms)
0.27/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.37	c output proof to 'PROOFDIR/proof-4532373-1752586187'
0.27/0.37	c 
0.27/0.37	c make graph and approximate orbits
0.64/0.73	c	 [group: #orbits ~= 0] (365.65ms)
0.64/0.73	c 
0.64/0.73	c detect special group actions
0.64/0.73	c 	probe for Johnson action (limit=64)
0.64/0.74	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.64/0.74	c 	probe for row symmetry (limit=64, splits=16.78M)
0.64/0.75	c 	 (17.72ms)
0.64/0.75	c 
0.64/0.75	c detect symmetries on remainder
0.64/0.75	c 	[graph: #vertices 706710 #edges 2766418]
0.64/0.76	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.73/0.80	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.53ms)
0.73/0.80	c 
0.73/0.80	c finalize break order and special generators
0.73/0.80	c 
0.73/0.80	c generation finished
0.73/0.80	c 	[sbp: #constraints 0 #add_vars 0]
0.73/0.80	c 
0.73/0.80	c write result to 'HOME/instance-4532373-1752586187.opb.pre'
0.73/0.84	c 	wrote 17.23MB (35.73ms)
0.73/0.84	c ------------------------------------------------------------------
0.73/0.84	c                 365.65ms 44.02% approx_orbits
0.73/0.84	c                 341.30ms 41.09% parse
0.73/0.84	c                  49.53ms  5.96% detect_generic
0.73/0.84	c                  35.73ms  4.30% output
0.73/0.84	c                  20.37ms  2.45% other
0.73/0.84	c                  17.72ms  2.13% detect_special
0.73/0.84	c                   0.39ms  0.05% finalize_order
0.73/0.84	c         ───────────────────────────────────────────────
0.73/0.84	c                 830.68ms   100% total
0.73/0.84	c ------------------------------------------------------------------
0.83/0.97	c RoundingSat 2
0.83/0.97	c branch pb25
0.83/0.97	c commit 0f876b3
4.38/4.57	c #variables 10000 #constraints 656900
4.38/4.57	c objective is ce32 
4.38/4.57	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.38/4.57	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.38/4.57	c bounds - >= 0 @ 2.86461
6.38/6.55	c rational objective 185.072
10.27/10.44	c bounds 6406 >= 0 @ 8.60077
10.37/10.50	c bounds 6383 >= 0 @ 8.65196
10.37/10.51	c bounds 6376 >= 0 @ 8.65662
10.37/10.52	c bounds 6350 >= 0 @ 8.66594
10.37/10.52	c bounds 6082 >= 0 @ 8.66981
10.37/10.53	c bounds 6015 >= 0 @ 8.68046
10.37/10.54	c bounds 5955 >= 0 @ 8.69043
10.37/10.56	c bounds 5900 >= 0 @ 8.70179
10.37/10.57	c bounds 5895 >= 0 @ 8.70935
10.37/10.58	c bounds 5836 >= 0 @ 8.7191
10.37/10.58	c bounds 5835 >= 0 @ 8.72306
10.37/10.59	c bounds 5784 >= 0 @ 8.72608
10.47/10.60	c bounds 5717 >= 0 @ 8.73551
10.47/10.60	c bounds 5706 >= 0 @ 8.74268
10.47/10.65	c bounds 5704 >= 0 @ 8.77967
10.47/10.65	c bounds 5701 >= 0 @ 8.78502
10.47/10.66	c bounds 5668 >= 0 @ 8.79395
10.47/10.67	c bounds 5661 >= 0 @ 8.80755
10.47/10.68	c bounds 5612 >= 0 @ 8.8138
10.56/10.70	c bounds 5608 >= 0 @ 8.82815
10.56/10.70	c bounds 5575 >= 0 @ 8.83223
10.56/10.74	c bounds 5570 >= 0 @ 8.87166
10.67/10.86	c bounds 5533 >= 0 @ 8.97907
10.67/10.86	c bounds 5358 >= 0 @ 8.98535
10.67/10.87	c bounds 5355 >= 0 @ 8.99122
10.77/10.93	c bounds 5337 >= 0 @ 9.04404
10.77/10.94	c bounds 5260 >= 0 @ 9.05976
10.77/10.95	c bounds 4904 >= 0 @ 9.06618
10.77/10.96	c bounds 4897 >= 0 @ 9.07223
10.77/10.99	c bounds 4896 >= 0 @ 9.10225
10.97/11.16	c bounds 4864 >= 0 @ 9.25961
10.97/11.17	c bounds 4832 >= 0 @ 9.27606
10.97/11.19	c bounds 4804 >= 0 @ 9.28837
11.07/11.29	c bounds 4733 >= 0 @ 9.38422
11.17/11.30	c bounds 4729 >= 0 @ 9.39576
11.17/11.31	c bounds 4690 >= 0 @ 9.40658
11.27/11.41	c bounds 4668 >= 0 @ 9.50046
11.36/11.50	c bounds 4627 >= 0 @ 9.59426
11.36/11.53	c bounds 4625 >= 0 @ 9.62047
11.36/11.54	c bounds 4577 >= 0 @ 9.62694
11.36/11.55	c bounds 4489 >= 0 @ 9.63203
11.36/11.56	c bounds 4412 >= 0 @ 9.63814
11.36/11.56	c bounds 4220 >= 0 @ 9.64334
11.36/11.57	c bounds 4206 >= 0 @ 9.65049
11.47/11.69	c bounds 4194 >= 0 @ 9.76637
11.56/11.70	c bounds 4122 >= 0 @ 9.7731
11.56/11.71	c bounds 4039 >= 0 @ 9.78035
11.56/11.72	c bounds 3979 >= 0 @ 9.78684
11.56/11.73	c bounds 3931 >= 0 @ 9.79313
11.56/11.74	c bounds 3921 >= 0 @ 9.79834
11.56/11.74	c bounds 3918 >= 0 @ 9.80351
11.56/11.75	c bounds 3905 >= 0 @ 9.8087
11.56/11.76	c bounds 3807 >= 0 @ 9.81511
11.67/11.85	c bounds 3800 >= 0 @ 9.90024
11.67/11.86	c bounds 3782 >= 0 @ 9.91064
12.07/12.29	c bounds 3772 >= 0 @ 10.3355
12.17/12.30	c bounds 3700 >= 0 @ 10.3435
12.17/12.31	c bounds 3639 >= 0 @ 10.3507
12.17/12.32	c bounds 3591 >= 0 @ 10.357
12.17/12.33	c bounds 3530 >= 0 @ 10.3633
12.17/12.34	c bounds 3441 >= 0 @ 10.371
12.17/12.35	c bounds 3421 >= 0 @ 10.3774
12.17/12.36	c bounds 3318 >= 0 @ 10.3847
12.46/12.68	c bounds 3312 >= 0 @ 10.6967
12.46/12.69	c bounds 3309 >= 0 @ 10.7017
12.46/12.69	c bounds 3303 >= 0 @ 10.7075
12.57/12.71	c bounds 3299 >= 0 @ 10.723
12.57/12.72	c bounds 3293 >= 0 @ 10.7287
12.66/12.84	c bounds 3292 >= 0 @ 10.8477
12.66/12.85	c bounds 3197 >= 0 @ 10.8542
12.66/12.87	c bounds 3189 >= 0 @ 10.8751
12.76/12.97	c bounds 3183 >= 0 @ 10.963
12.76/13.00	c bounds 3181 >= 0 @ 10.9836
12.97/13.13	c bounds 3163 >= 0 @ 11.1129
12.97/13.14	c bounds 3118 >= 0 @ 11.1195
13.06/13.29	c bounds 3116 >= 0 @ 11.258
13.26/13.41	c bounds 3112 >= 0 @ 11.3804
13.36/13.51	c bounds 3110 >= 0 @ 11.469
13.36/13.52	c bounds 3026 >= 0 @ 11.4746
13.36/13.53	c bounds 3023 >= 0 @ 11.4853
13.36/13.54	c bounds 2925 >= 0 @ 11.4926
13.46/13.65	c bounds 2922 >= 0 @ 11.5991
13.46/13.66	c bounds 2788 >= 0 @ 11.6047
13.46/13.67	c bounds 2778 >= 0 @ 11.6111
13.46/13.69	c bounds 2768 >= 0 @ 11.6279
14.06/14.22	c bounds 2756 >= 0 @ 12.1501
14.06/14.23	c bounds 2703 >= 0 @ 12.1595
14.06/14.24	c bounds 2692 >= 0 @ 12.169
14.06/14.25	c bounds 2483 >= 0 @ 12.1767
14.06/14.27	c bounds 2409 >= 0 @ 12.187
14.06/14.28	c bounds 2336 >= 0 @ 12.1948
14.06/14.29	c bounds 2318 >= 0 @ 12.205
14.06/14.31	c bounds 2248 >= 0 @ 12.2183
14.18/14.32	c bounds 2115 >= 0 @ 12.228
14.18/14.34	c bounds 2070 >= 0 @ 12.2367
14.18/14.35	c bounds 2057 >= 0 @ 12.2421
14.18/14.36	c bounds 2042 >= 0 @ 12.2487
14.26/14.46	c bounds 1989 >= 0 @ 12.3427
14.26/14.47	c bounds 1899 >= 0 @ 12.3498
14.26/14.48	c bounds 1759 >= 0 @ 12.3552
14.36/14.50	c bounds 1754 >= 0 @ 12.3633
14.36/14.51	c bounds 1670 >= 0 @ 12.3736
14.46/14.69	c bounds 1608 >= 0 @ 12.5507
14.56/14.71	c bounds 1585 >= 0 @ 12.5568
14.56/14.75	c bounds 1367 >= 0 @ 12.5939
14.56/14.76	c bounds 1285 >= 0 @ 12.6015
14.56/14.77	c bounds 1230 >= 0 @ 12.6091
14.56/14.79	c bounds 1137 >= 0 @ 12.6177
14.66/14.84	c bounds 1136 >= 0 @ 12.6607
14.87/15.04	c bounds 1117 >= 0 @ 12.8586
14.87/15.05	c bounds 987 >= 0 @ 12.8663
14.87/15.09	c bounds 976 >= 0 @ 12.8961
15.06/15.22	c #Conflicts:       1000 | #Constraints:     658029
15.06/15.22	c bounds 956 >= 0 @ 13.0129
15.36/15.53	c bounds 821 >= 0 @ 13.3135
15.36/15.54	c bounds 819 >= 0 @ 13.3197
15.36/15.55	c bounds 807 >= 0 @ 13.3262
17.15/17.33	c bounds 806 >= 0 @ 15.0572
17.26/17.46	c bounds 797 >= 0 @ 15.1848
17.35/17.52	c bounds 791 >= 0 @ 15.2333
17.35/17.53	c bounds 704 >= 0 @ 15.2463
17.85/18.06	c bounds 684 >= 0 @ 15.7601
17.95/18.19	c bounds 643 >= 0 @ 15.8751
20.85/21.01	c #Conflicts:       2000 | #Constraints:     659044
20.85/21.01	c INPROCESSING
20.85/21.01	c GARBAGE COLLECT
20.85/21.01	c bounds 570 >= 0 @ 18.6522
20.95/21.12	c bounds 516 >= 0 @ 18.7515
20.95/21.14	c bounds 516 >= 8 @ 18.7601
21.14/21.39	c bounds 448 >= 8 @ 19.007
26.72/26.95	c #Conflicts:       3000 | #Constraints:     658923
26.72/26.95	c #Conflicts:       4000 | #Constraints:     659923
26.72/26.95	c INPROCESSING
26.72/26.95	c GARBAGE COLLECT
26.72/26.95	c bounds 443 >= 8 @ 24.4851
27.32/27.51	c bounds 442 >= 8 @ 25.0301
37.90/38.17	c #Conflicts:       5000 | #Constraints:     659324
37.90/38.17	c #Conflicts:       6000 | #Constraints:     660324
37.90/38.17	c INPROCESSING
37.90/38.17	c GARBAGE COLLECT
37.90/38.17	c bounds 441 >= 8 @ 35.5718
38.39/38.60	c bounds 440 >= 8 @ 35.9919
39.29/39.52	c bounds 439 >= 8 @ 36.897
39.80/40.05	c bounds 438 >= 8 @ 37.4142
39.80/40.06	c bounds 438 >= 13 @ 37.4223
43.18/43.47	c #Conflicts:       7000 | #Constraints:     659345
43.18/43.47	c bounds 438 >= 18 @ 40.8004
46.27/46.59	c #Conflicts:       8000 | #Constraints:     660351
46.27/46.59	c bounds 437 >= 18 @ 43.8058
53.66/53.92	c #Conflicts:       9000 | #Constraints:     661352
53.66/53.92	c INPROCESSING
53.66/53.92	c GARBAGE COLLECT
53.66/53.92	c rational objective 187.25
76.84/78.18	c #Conflicts:      10000 | #Constraints:     660054
76.84/78.18	c #Conflicts:      11000 | #Constraints:     661054
76.84/78.18	c #Conflicts:      12000 | #Constraints:     662054
76.84/78.18	c INPROCESSING
76.84/78.18	c rational objective 187.467
80.42/81.73	c bounds 436 >= 18 @ 77.5993
80.42/81.79	c bounds 434 >= 18 @ 77.6531
151.64/153.18	c #Conflicts:      13000 | #Constraints:     660518
151.64/153.18	c #Conflicts:      14000 | #Constraints:     661529
151.64/153.18	c #Conflicts:      15000 | #Constraints:     662541
151.64/153.18	c INPROCESSING
151.64/153.18	c GARBAGE COLLECT
151.64/153.18	c bounds 434 >= 22 @ 148.09
190.03/192.12	c #Conflicts:      16000 | #Constraints:     660746
190.03/192.12	c #Conflicts:      17000 | #Constraints:     661746
190.03/192.12	c #Conflicts:      18000 | #Constraints:     662746
190.03/192.12	c INPROCESSING
190.03/192.12	c GARBAGE COLLECT
190.03/192.12	c #Conflicts:      19000 | #Constraints:     660748
190.03/192.12	c #Conflicts:      20000 | #Constraints:     661749
190.03/192.12	c #Conflicts:      21000 | #Constraints:     662751
190.03/192.12	c INPROCESSING
190.03/192.12	c #Conflicts:      22000 | #Constraints:     660547
190.03/192.12	c #Conflicts:      23000 | #Constraints:     661548
190.03/192.12	c #Conflicts:      24000 | #Constraints:     662550
190.03/192.12	c #Conflicts:      25000 | #Constraints:     663552
190.03/192.12	c INPROCESSING
190.03/192.12	c GARBAGE COLLECT
190.03/192.12	c rational objective 188.085
213.36/215.58	c #Conflicts:      26000 | #Constraints:     661157
213.36/215.58	c #Conflicts:      27000 | #Constraints:     662160
213.36/215.58	c #Conflicts:      28000 | #Constraints:     663160
213.36/215.58	c #Conflicts:      29000 | #Constraints:     664160
213.36/215.58	c INPROCESSING
213.36/215.58	c GARBAGE COLLECT
213.36/215.58	c rational objective 188.829
244.08/246.81	c #Conflicts:      30000 | #Constraints:     661550
244.08/246.81	c #Conflicts:      31000 | #Constraints:     662551
244.08/246.81	c #Conflicts:      32000 | #Constraints:     663554
244.08/246.81	c #Conflicts:      33000 | #Constraints:     664556
244.08/246.81	c INPROCESSING
244.08/246.81	c GARBAGE COLLECT
244.08/246.81	c rational objective 188.946
304.39/307.91	c #Conflicts:      34000 | #Constraints:     661766
304.39/307.91	c #Conflicts:      35000 | #Constraints:     662851
304.39/307.91	c #Conflicts:      36000 | #Constraints:     663938
304.39/307.91	c #Conflicts:      37000 | #Constraints:     665027
304.39/307.91	c INPROCESSING
304.39/307.91	c GARBAGE COLLECT
304.39/307.91	c #Conflicts:      38000 | #Constraints:     661974
304.39/307.91	c #Conflicts:      39000 | #Constraints:     663035
304.39/307.91	c #Conflicts:      40000 | #Constraints:     664105
304.39/307.91	c #Conflicts:      41000 | #Constraints:     665174
304.39/307.91	c INPROCESSING
304.39/307.91	c GARBAGE COLLECT
304.39/307.91	c rational objective 188.948
331.53/335.12	c #Conflicts:      42000 | #Constraints:     661796
331.53/335.12	c #Conflicts:      43000 | #Constraints:     662813
331.53/335.12	c #Conflicts:      44000 | #Constraints:     663848
331.53/335.12	c #Conflicts:      45000 | #Constraints:     664908
331.53/335.12	c #Conflicts:      46000 | #Constraints:     665924
331.53/335.12	c INPROCESSING
331.53/335.12	c GARBAGE COLLECT
331.53/335.12	c rational objective 188.998
365.35/369.09	c #Conflicts:      47000 | #Constraints:     662352
365.35/369.09	c #Conflicts:      48000 | #Constraints:     663377
365.35/369.09	c #Conflicts:      49000 | #Constraints:     664394
365.35/369.09	c #Conflicts:      50000 | #Constraints:     665413
365.35/369.09	c #Conflicts:      51000 | #Constraints:     666467
365.35/369.09	c INPROCESSING
365.35/369.09	c GARBAGE COLLECT
365.35/369.09	c rational objective 188.998
394.78/398.61	c #Conflicts:      52000 | #Constraints:     662727
394.78/398.61	c #Conflicts:      53000 | #Constraints:     663748
394.78/398.61	c #Conflicts:      54000 | #Constraints:     664765
394.78/398.61	c #Conflicts:      55000 | #Constraints:     665793
394.78/398.61	c #Conflicts:      56000 | #Constraints:     666833
394.78/398.61	c INPROCESSING
394.78/398.61	c GARBAGE COLLECT
394.78/398.61	c rational objective 189.013
443.22/447.60	c #Conflicts:      57000 | #Constraints:     662918
443.22/447.60	c #Conflicts:      58000 | #Constraints:     663947
443.22/447.60	c #Conflicts:      59000 | #Constraints:     664977
443.22/447.60	c #Conflicts:      60000 | #Constraints:     666007
443.22/447.60	c #Conflicts:      61000 | #Constraints:     667043
443.22/447.60	c INPROCESSING
443.22/447.60	c GARBAGE COLLECT
443.22/447.60	c rational objective 189.028
473.96/478.99	c #Conflicts:      62000 | #Constraints:     662919
473.96/478.99	c #Conflicts:      63000 | #Constraints:     663927
473.96/478.99	c #Conflicts:      64000 | #Constraints:     664932
473.96/478.99	c #Conflicts:      65000 | #Constraints:     665933
473.96/478.99	c #Conflicts:      66000 | #Constraints:     666934
473.96/478.99	c INPROCESSING
473.96/478.99	c GARBAGE COLLECT
473.96/478.99	c rational objective 189.001
518.60/523.99	c #Conflicts:      67000 | #Constraints:     662656
518.60/523.99	c #Conflicts:      68000 | #Constraints:     663657
518.60/523.99	c #Conflicts:      69000 | #Constraints:     664658
518.60/523.99	c #Conflicts:      70000 | #Constraints:     665659
518.60/523.99	c #Conflicts:      71000 | #Constraints:     666661
518.60/523.99	c #Conflicts:      72000 | #Constraints:     667668
518.60/523.99	c INPROCESSING
518.60/523.99	c GARBAGE COLLECT
518.60/523.99	c rational objective 189.404
635.34/642.11	c #Conflicts:      73000 | #Constraints:     663218
635.34/642.11	c #Conflicts:      74000 | #Constraints:     664237
635.34/642.11	c #Conflicts:      75000 | #Constraints:     665259
635.34/642.11	c #Conflicts:      76000 | #Constraints:     666272
635.34/642.11	c #Conflicts:      77000 | #Constraints:     667292
635.34/642.11	c #Conflicts:      78000 | #Constraints:     668342
635.34/642.11	c INPROCESSING
635.34/642.11	c GARBAGE COLLECT
635.34/642.11	c #Conflicts:      79000 | #Constraints:     663656
635.34/642.11	c #Conflicts:      80000 | #Constraints:     664660
635.34/642.11	c #Conflicts:      81000 | #Constraints:     665661
635.34/642.11	c #Conflicts:      82000 | #Constraints:     666664
635.34/642.11	c #Conflicts:      83000 | #Constraints:     667664
635.34/642.11	c #Conflicts:      84000 | #Constraints:     668668
635.34/642.11	c INPROCESSING
635.34/642.11	c GARBAGE COLLECT
635.34/642.11	c rational objective 189.416
766.32/773.57	c #Conflicts:      85000 | #Constraints:     663836
766.32/773.57	c #Conflicts:      86000 | #Constraints:     664869
766.32/773.57	c #Conflicts:      87000 | #Constraints:     665915
766.32/773.57	c #Conflicts:      88000 | #Constraints:     666939
766.32/773.57	c #Conflicts:      89000 | #Constraints:     667969
766.32/773.57	c #Conflicts:      90000 | #Constraints:     668983
766.32/773.57	c INPROCESSING
766.32/773.57	c GARBAGE COLLECT
766.32/773.57	c #Conflicts:      91000 | #Constraints:     663889
766.32/773.57	c #Conflicts:      92000 | #Constraints:     664891
766.32/773.57	c #Conflicts:      93000 | #Constraints:     665897
766.32/773.57	c #Conflicts:      94000 | #Constraints:     666900
766.32/773.57	c #Conflicts:      95000 | #Constraints:     667906
766.32/773.57	c #Conflicts:      96000 | #Constraints:     668907
766.32/773.57	c INPROCESSING
766.32/773.57	c GARBAGE COLLECT
766.32/773.57	c rational objective 189.42
806.78/814.35	c #Conflicts:      97000 | #Constraints:     663660
806.78/814.35	c #Conflicts:      98000 | #Constraints:     664674
806.78/814.35	c #Conflicts:      99000 | #Constraints:     665688
806.78/814.35	c #Conflicts:     100000 | #Constraints:     666718
806.78/814.35	c #Conflicts:     101000 | #Constraints:     667731
806.78/814.35	c #Conflicts:     102000 | #Constraints:     668751
806.78/814.35	c #Conflicts:     103000 | #Constraints:     669765
806.78/814.35	c INPROCESSING
806.78/814.35	c GARBAGE COLLECT
806.78/814.35	c rational objective 189.42
829.42/837.00	c #Conflicts:     104000 | #Constraints:     664286
829.42/837.00	c bounds 431 >= 22 @ 822.108
952.27/960.31	c #Conflicts:     105000 | #Constraints:     665294
952.27/960.31	c #Conflicts:     106000 | #Constraints:     666300
952.27/960.31	c #Conflicts:     107000 | #Constraints:     667310
952.27/960.31	c #Conflicts:     108000 | #Constraints:     668324
952.27/960.31	c #Conflicts:     109000 | #Constraints:     669340
952.27/960.31	c #Conflicts:     110000 | #Constraints:     670353
952.27/960.31	c INPROCESSING
952.27/960.31	c GARBAGE COLLECT
952.27/960.31	c #Conflicts:     111000 | #Constraints:     664670
952.27/960.31	c #Conflicts:     112000 | #Constraints:     665684
952.27/960.31	c #Conflicts:     113000 | #Constraints:     666708
952.27/960.31	c #Conflicts:     114000 | #Constraints:     667721
952.27/960.31	c #Conflicts:     115000 | #Constraints:     668728
952.27/960.31	c #Conflicts:     116000 | #Constraints:     669746
952.27/960.31	c #Conflicts:     117000 | #Constraints:     670749
952.27/960.31	c INPROCESSING
952.27/960.31	c GARBAGE COLLECT
952.27/960.31	c #Conflicts:     118000 | #Constraints:     664871
952.27/960.31	c #Conflicts:     119000 | #Constraints:     665896
952.27/960.31	c #Conflicts:     120000 | #Constraints:     666932
952.27/960.31	c #Conflicts:     121000 | #Constraints:     667992
952.27/960.31	c #Conflicts:     122000 | #Constraints:     669026
952.27/960.31	c #Conflicts:     123000 | #Constraints:     670037
952.27/960.31	c #Conflicts:     124000 | #Constraints:     671050
952.27/960.31	c INPROCESSING
952.27/960.31	c GARBAGE COLLECT
952.27/960.31	c #Conflicts:     125000 | #Constraints:     664908
952.27/960.31	c #Conflicts:     126000 | #Constraints:     665910
952.27/960.31	c #Conflicts:     127000 | #Constraints:     666923
952.27/960.31	c #Conflicts:     128000 | #Constraints:     667955
952.27/960.31	c #Conflicts:     129000 | #Constraints:     668970
952.27/960.31	c #Conflicts:     130000 | #Constraints:     669994
952.27/960.31	c #Conflicts:     131000 | #Constraints:     671025
952.27/960.31	c INPROCESSING
952.27/960.31	c GARBAGE COLLECT
952.27/960.31	c rational objective 189.42
1016.88/1025.35	c #Conflicts:     132000 | #Constraints:     664709
1016.88/1025.35	c #Conflicts:     133000 | #Constraints:     665727
1016.88/1025.35	c #Conflicts:     134000 | #Constraints:     666735
1016.88/1025.35	c #Conflicts:     135000 | #Constraints:     667741
1016.88/1025.35	c #Conflicts:     136000 | #Constraints:     668771
1016.88/1025.35	c #Conflicts:     137000 | #Constraints:     669798
1016.88/1025.35	c #Conflicts:     138000 | #Constraints:     670819
1016.88/1025.35	c #Conflicts:     139000 | #Constraints:     671848
1016.88/1025.35	c INPROCESSING
1016.88/1025.35	c GARBAGE COLLECT
1016.88/1025.35	c rational objective 189.42
1027.55/1036.07	c bounds 430 >= 22 @ 1018.96
1027.55/1036.09	c bounds 430 >= 24 @ 1018.98
1027.66/1036.11	c bounds 430 >= 26 @ 1018.99
1027.66/1036.13	c bounds 430 >= 28 @ 1019.01
1027.66/1036.15	c bounds 430 >= 30 @ 1019.02
1027.66/1036.17	c bounds 430 >= 32 @ 1019.04
1027.66/1036.19	c bounds 430 >= 34 @ 1019.04
1027.75/1036.21	c bounds 430 >= 36 @ 1019.06
1030.65/1039.16	c bounds 430 >= 38 @ 1021.98
1031.84/1040.33	c bounds 430 >= 40 @ 1023.13
1062.39/1071.15	c #Conflicts:     140000 | #Constraints:     665373
1062.39/1071.15	c #Conflicts:     141000 | #Constraints:     666374
1062.39/1071.15	c #Conflicts:     142000 | #Constraints:     667376
1062.39/1071.15	c #Conflicts:     143000 | #Constraints:     668380
1062.39/1071.15	c #Conflicts:     144000 | #Constraints:     669381
1062.39/1071.15	c bounds 430 >= 42 @ 1053.48
1116.08/1125.21	c #Conflicts:     145000 | #Constraints:     670414
1116.08/1125.21	c #Conflicts:     146000 | #Constraints:     671505
1116.08/1125.21	c #Conflicts:     147000 | #Constraints:     672679
1116.08/1125.21	c INPROCESSING
1116.08/1125.21	c GARBAGE COLLECT
1116.08/1125.21	c rational objective 189.421
1198.30/1208.23	c #Conflicts:     148000 | #Constraints:     665852
1198.30/1208.23	c #Conflicts:     149000 | #Constraints:     666853
1198.30/1208.23	c #Conflicts:     150000 | #Constraints:     667855
1198.30/1208.23	c #Conflicts:     151000 | #Constraints:     668856
1198.30/1208.23	c #Conflicts:     152000 | #Constraints:     669859
1198.30/1208.23	c #Conflicts:     153000 | #Constraints:     670860
1198.30/1208.23	c #Conflicts:     154000 | #Constraints:     671862
1198.30/1208.23	c #Conflicts:     155000 | #Constraints:     672864
1198.30/1208.23	c INPROCESSING
1198.30/1208.23	c GARBAGE COLLECT
1198.30/1208.23	c bounds 427 >= 42 @ 1188
1202.52/1216.91	c bounds 426 >= 42 @ 1192.13
1204.31/1218.75	c bounds 424 >= 42 @ 1193.94
1204.31/1218.78	c bounds 421 >= 42 @ 1193.97
1204.42/1218.84	c bounds 420 >= 42 @ 1194.02
1205.42/1219.81	c #Conflicts:     156000 | #Constraints:     665977
1205.42/1219.81	c bounds 419 >= 42 @ 1194.97
1205.42/1219.84	c bounds 418 >= 42 @ 1195
1206.61/1221.07	c bounds 417 >= 42 @ 1196.21
1207.91/1222.33	c bounds 414 >= 42 @ 1197.43
1208.01/1222.47	c bounds 412 >= 42 @ 1197.58
1213.00/1227.41	c bounds 406 >= 42 @ 1202.42
1214.19/1228.65	c bounds 404 >= 42 @ 1203.63
1214.30/1228.70	c bounds 403 >= 42 @ 1203.67
1221.18/1235.67	c #Conflicts:     157000 | #Constraints:     667020
1221.18/1235.67	c bounds 401 >= 42 @ 1210.51
1223.47/1237.94	c bounds 400 >= 42 @ 1212.73
1225.16/1239.64	c bounds 399 >= 42 @ 1214.4
1229.56/1244.09	c #Conflicts:     158000 | #Constraints:     668042
1229.56/1244.09	c bounds 395 >= 42 @ 1218.76
1229.65/1244.12	c bounds 395 >= 43 @ 1218.79
1229.65/1244.15	c bounds 395 >= 44 @ 1218.8
1229.65/1244.18	c bounds 395 >= 45 @ 1218.83
1229.75/1244.20	c bounds 395 >= 46 @ 1218.85
1229.75/1244.22	c bounds 395 >= 47 @ 1218.87
1229.75/1244.26	c bounds 395 >= 48 @ 1218.89
1229.75/1244.29	c bounds 395 >= 49 @ 1218.92
1231.75/1246.28	c bounds 395 >= 50 @ 1220.89
1231.85/1246.32	c bounds 395 >= 51 @ 1220.93
1231.85/1246.36	c bounds 395 >= 52 @ 1220.96
1231.94/1246.41	c bounds 395 >= 53 @ 1221
1231.94/1246.45	c bounds 395 >= 54 @ 1221.04
1231.94/1246.49	c bounds 395 >= 55 @ 1221.07
1232.05/1246.58	c bounds 395 >= 56 @ 1221.16
1232.24/1246.71	c bounds 395 >= 57 @ 1221.27
1232.24/1246.76	c bounds 395 >= 58 @ 1221.32
1232.35/1246.87	c bounds 395 >= 59 @ 1221.41
1232.64/1247.18	c bounds 395 >= 60 @ 1221.7
1233.14/1247.62	c bounds 395 >= 61 @ 1222.13
1233.64/1248.19	c bounds 395 >= 62 @ 1222.68
1234.44/1248.91	c bounds 395 >= 63 @ 1223.39
1235.04/1249.52	c bounds 395 >= 64 @ 1223.96
1235.64/1250.15	c bounds 395 >= 65 @ 1224.58
1236.24/1250.72	c bounds 395 >= 66 @ 1225.12
1241.62/1256.16	c #Conflicts:     159000 | #Constraints:     669314
1241.62/1256.16	c bounds 395 >= 67 @ 1230.47
1244.41/1258.93	c #Conflicts:     160000 | #Constraints:     670341
1244.41/1258.93	c bounds 395 >= 68 @ 1233.16
1249.50/1264.02	c bounds 395 >= 69 @ 1238.17
1252.19/1266.78	c #Conflicts:     161000 | #Constraints:     671386
1252.19/1266.78	c bounds 395 >= 70 @ 1240.87
1329.81/1344.65	c #Conflicts:     162000 | #Constraints:     672410
1329.81/1344.65	c #Conflicts:     163000 | #Constraints:     673426
1329.81/1344.65	c INPROCESSING
1329.81/1344.65	c GARBAGE COLLECT
1329.81/1344.65	c rational objective 189.43
1342.87/1357.70	c bounds 395 >= 71 @ 1330.84
1344.07/1358.92	c bounds 395 >= 72 @ 1332.03
1344.66/1359.51	c bounds 395 >= 73 @ 1332.6
1346.56/1361.46	c #Conflicts:     164000 | #Constraints:     666283
1346.56/1361.46	c bounds 395 >= 74 @ 1334.5
1349.27/1364.15	c bounds 395 >= 75 @ 1337.12
1352.25/1367.12	c #Conflicts:     165000 | #Constraints:     667349
1352.25/1367.12	c bounds 395 >= 76 @ 1340.05
1366.51/1381.49	c #Conflicts:     166000 | #Constraints:     668383
1366.51/1381.49	c bounds 395 >= 77 @ 1354.28
1367.89/1382.98	c bounds 395 >= 78 @ 1355.61
1369.99/1385.04	c #Conflicts:     167000 | #Constraints:     669428
1369.99/1385.04	c bounds 395 >= 79 @ 1357.61
1373.08/1388.12	c bounds 395 >= 80 @ 1360.6
1378.16/1393.21	c #Conflicts:     168000 | #Constraints:     670485
1378.16/1393.21	c #Conflicts:     169000 | #Constraints:     671485
1378.16/1393.21	c bounds 395 >= 81 @ 1365.55
1396.21/1411.35	c #Conflicts:     170000 | #Constraints:     672531
1396.21/1411.35	c #Conflicts:     171000 | #Constraints:     673531
1396.21/1411.35	c bounds 395 >= 82 @ 1383.38
1516.77/1532.24	c INPROCESSING
1516.77/1532.24	c GARBAGE COLLECT
1516.77/1532.24	c #Conflicts:     172000 | #Constraints:     666182
1516.77/1532.24	c #Conflicts:     173000 | #Constraints:     667182
1516.77/1532.24	c #Conflicts:     174000 | #Constraints:     668182
1516.77/1532.24	c bounds 395 >= 83 @ 1503.44
1538.91/1554.45	c #Conflicts:     175000 | #Constraints:     669221
1538.91/1554.45	c #Conflicts:     176000 | #Constraints:     670221
1538.91/1554.45	c #Conflicts:     177000 | #Constraints:     671221
1538.91/1554.45	c bounds 395 >= 84 @ 1525.22
1566.33/1581.94	c #Conflicts:     178000 | #Constraints:     672257
1566.33/1581.94	c #Conflicts:     179000 | #Constraints:     673258
1566.33/1581.94	c #Conflicts:     180000 | #Constraints:     674258
1566.33/1581.94	c INPROCESSING
1566.33/1581.94	c GARBAGE COLLECT
1566.33/1581.94	c bounds 394 >= 84 @ 1552.31
1566.54/1582.17	c bounds 393 >= 84 @ 1552.53
1577.91/1593.51	c #Conflicts:     181000 | #Constraints:     666753
1577.91/1593.51	c bounds 389 >= 84 @ 1563.67
1601.64/1617.38	c #Conflicts:     182000 | #Constraints:     667763
1601.64/1617.38	c #Conflicts:     183000 | #Constraints:     668763
1601.64/1617.38	c #Conflicts:     184000 | #Constraints:     669763
1601.64/1617.38	c #Conflicts:     185000 | #Constraints:     670763
1601.64/1617.38	c bounds 389 >= 85 @ 1587.15
1723.88/1739.96	c #Conflicts:     186000 | #Constraints:     671823
1723.88/1739.96	c #Conflicts:     187000 | #Constraints:     672823
1723.88/1739.96	c #Conflicts:     188000 | #Constraints:     673823
1723.88/1739.96	c #Conflicts:     189000 | #Constraints:     674823
1723.88/1739.96	c INPROCESSING
1723.88/1739.96	c GARBAGE COLLECT
1723.88/1739.96	c rational objective 189.438
1731.76/1747.84	c bounds 389 >= 86 @ 1716.75
1782.73/1798.93	c #Conflicts:     190000 | #Constraints:     667184
1782.73/1798.93	c #Conflicts:     191000 | #Constraints:     668184
1782.73/1798.93	c #Conflicts:     192000 | #Constraints:     669185
1782.73/1798.93	c #Conflicts:     193000 | #Constraints:     670185
1782.73/1798.93	c #Conflicts:     194000 | #Constraints:     671186
1782.73/1798.93	c #Conflicts:     195000 | #Constraints:     672186
1782.73/1798.93	c bounds 389 >= 87 @ 1767.16
1819.15/1835.41	c #Conflicts:     196000 | #Constraints:     673243
1819.15/1835.41	c #Conflicts:     197000 | #Constraints:     674246
1819.15/1835.41	c #Conflicts:     198000 | #Constraints:     675258
1819.15/1835.41	c INPROCESSING
1819.15/1835.41	c GARBAGE COLLECT
1819.15/1835.41	c rational objective 189.438
1902.93/1919.49	c #Conflicts:     199000 | #Constraints:     667398
1902.93/1919.49	c #Conflicts:     200000 | #Constraints:     668398
1902.93/1919.49	c #Conflicts:     201000 | #Constraints:     669399
1902.93/1919.49	c #Conflicts:     202000 | #Constraints:     670399
1902.93/1919.49	c #Conflicts:     203000 | #Constraints:     671399
1902.93/1919.49	c #Conflicts:     204000 | #Constraints:     672399
1902.93/1919.49	c #Conflicts:     205000 | #Constraints:     673400
1902.93/1919.49	c #Conflicts:     206000 | #Constraints:     674400
1902.93/1919.49	c #Conflicts:     207000 | #Constraints:     675400
1902.93/1919.49	c INPROCESSING
1902.93/1919.49	c GARBAGE COLLECT
1902.93/1919.49	c rational objective 189.438
2034.02/2050.86	c #Conflicts:     208000 | #Constraints:     667359
2034.02/2050.86	c #Conflicts:     209000 | #Constraints:     668379
2034.02/2050.86	c #Conflicts:     210000 | #Constraints:     669379
2034.02/2050.86	c #Conflicts:     211000 | #Constraints:     670379
2034.02/2050.86	c #Conflicts:     212000 | #Constraints:     671381
2034.02/2050.86	c #Conflicts:     213000 | #Constraints:     672386
2034.02/2050.86	c #Conflicts:     214000 | #Constraints:     673386
2034.02/2050.86	c #Conflicts:     215000 | #Constraints:     674386
2034.02/2050.86	c #Conflicts:     216000 | #Constraints:     675393
2034.02/2050.86	c INPROCESSING
2034.02/2050.86	c GARBAGE COLLECT
2034.02/2050.86	c rational objective 189.438
2194.73/2211.99	c #Conflicts:     217000 | #Constraints:     667209
2194.73/2211.99	c #Conflicts:     218000 | #Constraints:     668209
2194.73/2211.99	c #Conflicts:     219000 | #Constraints:     669209
2194.73/2211.99	c #Conflicts:     220000 | #Constraints:     670210
2194.73/2211.99	c #Conflicts:     221000 | #Constraints:     671210
2194.73/2211.99	c #Conflicts:     222000 | #Constraints:     672210
2194.73/2211.99	c #Conflicts:     223000 | #Constraints:     673210
2194.73/2211.99	c #Conflicts:     224000 | #Constraints:     674210
2194.73/2211.99	c #Conflicts:     225000 | #Constraints:     675211
2194.73/2211.99	c #Conflicts:     226000 | #Constraints:     676211
2194.73/2211.99	c INPROCESSING
2194.73/2211.99	c GARBAGE COLLECT
2194.73/2211.99	c rational objective 189.461
2225.44/2242.75	c #Conflicts:     227000 | #Constraints:     667788
2225.44/2242.75	c #Conflicts:     228000 | #Constraints:     668788
2225.44/2242.75	c #Conflicts:     229000 | #Constraints:     669788
2225.44/2242.75	c bounds 389 >= 88 @ 2206.29
2256.36/2273.72	c #Conflicts:     230000 | #Constraints:     670855
2256.36/2273.72	c #Conflicts:     231000 | #Constraints:     671855
2256.36/2273.72	c #Conflicts:     232000 | #Constraints:     672855
2256.36/2273.72	c #Conflicts:     233000 | #Constraints:     673856
2256.36/2273.72	c #Conflicts:     234000 | #Constraints:     674857
2256.36/2273.72	c bounds 389 >= 89 @ 2236.57
2342.25/2359.89	c #Conflicts:     235000 | #Constraints:     675884
2342.25/2359.89	c #Conflicts:     236000 | #Constraints:     676884
2342.25/2359.89	c INPROCESSING
2342.25/2359.89	c GARBAGE COLLECT
2342.25/2359.89	c rational objective 189.542
2353.72/2371.32	c #Conflicts:     237000 | #Constraints:     668217
2353.72/2371.32	c bounds 387 >= 89 @ 2333.44
2523.58/2541.64	c #Conflicts:     238000 | #Constraints:     669219
2523.58/2541.64	c #Conflicts:     239000 | #Constraints:     670219
2523.58/2541.64	c #Conflicts:     240000 | #Constraints:     671219
2523.58/2541.64	c #Conflicts:     241000 | #Constraints:     672219
2523.58/2541.64	c #Conflicts:     242000 | #Constraints:     673219
2523.58/2541.64	c #Conflicts:     243000 | #Constraints:     674221
2523.58/2541.64	c #Conflicts:     244000 | #Constraints:     675221
2523.58/2541.64	c #Conflicts:     245000 | #Constraints:     676221
2523.58/2541.64	c #Conflicts:     246000 | #Constraints:     677221
2523.58/2541.64	c INPROCESSING
2523.58/2541.64	c GARBAGE COLLECT
2523.58/2541.64	c rational objective 189.542
2534.26/2552.32	c #Conflicts:     247000 | #Constraints:     668400
2534.26/2552.32	c bounds 386 >= 89 @ 2512.57
2534.46/2552.51	c bounds 380 >= 89 @ 2512.74
2534.66/2552.72	c bounds 376 >= 89 @ 2512.95
2535.06/2553.13	c bounds 375 >= 89 @ 2513.35
2671.90/2690.33	c #Conflicts:     248000 | #Constraints:     669404
2671.90/2690.33	c #Conflicts:     249000 | #Constraints:     670435
2671.90/2690.33	c #Conflicts:     250000 | #Constraints:     671452
2671.90/2690.33	c #Conflicts:     251000 | #Constraints:     672463
2671.90/2690.33	c #Conflicts:     252000 | #Constraints:     673473
2671.90/2690.33	c #Conflicts:     253000 | #Constraints:     674483
2671.90/2690.33	c #Conflicts:     254000 | #Constraints:     675502
2671.90/2690.33	c #Conflicts:     255000 | #Constraints:     676511
2671.90/2690.33	c bounds 373 >= 89 @ 2648.62
2682.97/2701.40	c #Conflicts:     256000 | #Constraints:     677516
2682.97/2701.40	c INPROCESSING
2682.97/2701.40	c GARBAGE COLLECT
2682.97/2701.40	c rational objective 189.512
2720.88/2739.49	c #Conflicts:     257000 | #Constraints:     668441
2720.88/2739.49	c #Conflicts:     258000 | #Constraints:     669441
2720.88/2739.49	c #Conflicts:     259000 | #Constraints:     670442
2720.88/2739.49	c bounds 373 >= 90 @ 2696.94
2902.92/2921.99	c #Conflicts:     260000 | #Constraints:     671506
2902.92/2921.99	c #Conflicts:     261000 | #Constraints:     672506
2902.92/2921.99	c #Conflicts:     262000 | #Constraints:     673506
2902.92/2921.99	c #Conflicts:     263000 | #Constraints:     674506
2902.92/2921.99	c #Conflicts:     264000 | #Constraints:     675506
2902.92/2921.99	c #Conflicts:     265000 | #Constraints:     676506
2902.92/2921.99	c #Conflicts:     266000 | #Constraints:     677506
2902.92/2921.99	c bounds 373 >= 91 @ 2877.99
3137.69/3157.35	c INPROCESSING
3137.69/3157.35	c GARBAGE COLLECT
3137.69/3157.35	c #Conflicts:     267000 | #Constraints:     668282
3137.69/3157.35	c #Conflicts:     268000 | #Constraints:     669282
3137.69/3157.35	c #Conflicts:     269000 | #Constraints:     670282
3137.69/3157.35	c #Conflicts:     270000 | #Constraints:     671282
3137.69/3157.35	c #Conflicts:     271000 | #Constraints:     672282
3137.69/3157.35	c #Conflicts:     272000 | #Constraints:     673282
3137.69/3157.35	c #Conflicts:     273000 | #Constraints:     674282
3137.69/3157.35	c #Conflicts:     274000 | #Constraints:     675282
3137.69/3157.35	c #Conflicts:     275000 | #Constraints:     676283
3137.69/3157.35	c #Conflicts:     276000 | #Constraints:     677283
3137.69/3157.35	c #Conflicts:     277000 | #Constraints:     678283
3137.69/3157.35	c INPROCESSING
3137.69/3157.35	c GARBAGE COLLECT
3137.69/3157.35	c rational objective 189.516
3193.02/3212.89	c #Conflicts:     278000 | #Constraints:     668856
3193.02/3212.89	c #Conflicts:     279000 | #Constraints:     669856
3193.02/3212.89	c #Conflicts:     280000 | #Constraints:     670856
3193.02/3212.89	c #Conflicts:     281000 | #Constraints:     671856
3193.02/3212.89	c bounds 373 >= 92 @ 3165.79
3242.78/3262.74	c #Conflicts:     282000 | #Constraints:     672922
3242.78/3262.74	c #Conflicts:     283000 | #Constraints:     673922
3242.78/3262.74	c #Conflicts:     284000 | #Constraints:     674922
3242.78/3262.74	c #Conflicts:     285000 | #Constraints:     675923
3242.78/3262.74	c #Conflicts:     286000 | #Constraints:     676923
3242.78/3262.74	c #Conflicts:     287000 | #Constraints:     677923
3242.78/3262.74	c #Conflicts:     288000 | #Constraints:     678923
3242.78/3262.74	c INPROCESSING
3242.78/3262.74	c GARBAGE COLLECT
3242.78/3262.74	c rational objective 189.539
3356.24/3376.57	c #Conflicts:     289000 | #Constraints:     669274
3356.24/3376.57	c #Conflicts:     290000 | #Constraints:     670274
3356.24/3376.57	c #Conflicts:     291000 | #Constraints:     671274
3356.24/3376.57	c #Conflicts:     292000 | #Constraints:     672274
3356.24/3376.57	c #Conflicts:     293000 | #Constraints:     673274
3356.24/3376.57	c #Conflicts:     294000 | #Constraints:     674274
3356.24/3376.57	c #Conflicts:     295000 | #Constraints:     675274
3356.24/3376.57	c #Conflicts:     296000 | #Constraints:     676275
3356.24/3376.57	c #Conflicts:     297000 | #Constraints:     677275
3356.24/3376.57	c #Conflicts:     298000 | #Constraints:     678275
3356.24/3376.57	c #Conflicts:     299000 | #Constraints:     679275
3356.24/3376.57	c INPROCESSING
3356.24/3376.57	c GARBAGE COLLECT
3356.24/3376.57	c rational objective 190.672
3475.39/3496.08	c #Conflicts:     300000 | #Constraints:     669461
3475.39/3496.08	c #Conflicts:     301000 | #Constraints:     670461
3475.39/3496.08	c #Conflicts:     302000 | #Constraints:     671461
3475.39/3496.08	c #Conflicts:     303000 | #Constraints:     672462
3475.39/3496.08	c #Conflicts:     304000 | #Constraints:     673462
3475.39/3496.08	c #Conflicts:     305000 | #Constraints:     674462
3475.39/3496.08	c #Conflicts:     306000 | #Constraints:     675462
3475.39/3496.08	c #Conflicts:     307000 | #Constraints:     676462
3475.39/3496.08	c #Conflicts:     308000 | #Constraints:     677463
3475.39/3496.08	c #Conflicts:     309000 | #Constraints:     678463
3475.39/3496.08	c #Conflicts:     310000 | #Constraints:     679464
3475.39/3496.08	c INPROCESSING
3475.39/3496.08	c GARBAGE COLLECT
3475.39/3496.08	c rational objective 190.724
3549.86/3570.79	c #Conflicts:     311000 | #Constraints:     669450
3549.86/3570.79	c #Conflicts:     312000 | #Constraints:     670450
3549.86/3570.79	c #Conflicts:     313000 | #Constraints:     671450
3549.86/3570.79	c #Conflicts:     314000 | #Constraints:     672450
3549.86/3570.79	c #Conflicts:     315000 | #Constraints:     673451
3549.86/3570.79	c #Conflicts:     316000 | #Constraints:     674456
3549.86/3570.79	c #Conflicts:     317000 | #Constraints:     675479
3549.86/3570.79	c #Conflicts:     318000 | #Constraints:     676479
3549.86/3570.79	c bounds 373 >= 93 @ 3517.58
3584.36/3605.35	c #Conflicts:     319000 | #Constraints:     677545
3584.36/3605.35	c #Conflicts:     320000 | #Constraints:     678546
3584.36/3605.35	c #Conflicts:     321000 | #Constraints:     679546
3584.36/3605.35	c INPROCESSING
3584.36/3605.35	c GARBAGE COLLECT
3584.36/3605.35	c rational objective 230.866
3600.02/3621.00	c #Conflicts:     322000 | #Constraints:     669311
3600.02/3621.00	c cpu time 3567.02 s
3600.02/3621.00	c deterministic time 99013786321 9.90e+10
3600.02/3621.00	c optimization time 10.1439 s
3600.02/3621.00	c total solve time 3554.01 s
3600.02/3621.00	c core-guided solve time 2941.76 s
3600.02/3621.00	c propagation time 1327.85 s
3600.02/3621.00	c conflict analysis time 873.661 s
3600.02/3621.00	c propagations 87219442
3600.02/3621.00	c resolve steps 6257863
3600.02/3621.00	c decisions 10816473
3600.02/3621.00	c conflicts 322764
3600.02/3621.00	c restarts 765
3600.02/3621.00	c inprocessing phases 48
3600.02/3621.00	c garbage collections 46 ,( 95.83 )
3600.02/3621.00	c input clauses 657299 ,( 99.82 )
3600.02/3621.00	c input cardinalities 467 ,( 0.07 )
3600.02/3621.00	c input general constraints 688 ,( 0.10 )
3600.02/3621.00	c input average constraint length 6.83
3600.02/3621.00	c input average constraint degree 122.86
3600.02/3621.00	c learned clauses 257304 ,( 78.99 )
3600.02/3621.00	c learned cardinalities 21 ,( 0.01 )
3600.02/3621.00	c learned general constraints 68437 ,( 21.01 )
3600.02/3621.00	c learned average constraint length 2090.96
3600.02/3621.00	c learned average constraint degree 33050223442.44
3600.02/3621.00	c watched  CF 32, 64, 128, Arb: 4942 , 0 , 0 , 0
3600.02/3621.00	c counting CF 32, 64, 128, Arb: 64184 , 0 , 0 , 0
3600.02/3621.00	c watched   constraints 4942 ,( 7.15 ) 
3600.02/3621.00	c counting  constraints 64183 ,( 92.85 ) 
3600.02/3621.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 88488780 , 3129154 , 1008706588 ,( 41403767 , 967302821 )
3600.02/3621.00	c gcd simplifications 9227
3600.02/3621.00	c detected cardinalities 1
3600.02/3621.00	c weakened non-implied lits 718687832
3600.02/3621.00	c weakened non-implying lits 207212
3600.02/3621.00	c original variables 10000
3600.02/3621.00	c clausal propagations 23088342
3600.02/3621.00	c cardinality propagations 460146
3600.02/3621.00	c watched propagations 99286
3600.02/3621.00	c counting propagations 60736491
3600.02/3621.00	c watch lookups 9473525659
3600.02/3621.00	c watch backjump lookups 0
3600.02/3621.00	c watch checks 6002724394
3600.02/3621.00	c propagation checks 79105044747
3600.02/3621.00	c constraint additions 4235549434
3600.02/3621.00	c trail pops 98349220
3600.02/3621.00	c formula constraints 656900
3600.02/3621.00	c learned constraints 322433
3600.02/3621.00	c bound constraints 227
3600.02/3621.00	c core-guided constraints 1327
3600.02/3621.00	c encountered formula constraints 3532838
3600.02/3621.00	c encountered learned constraints 1961997
3600.02/3621.00	c encountered bound constraints 6652
3600.02/3621.00	c encountered core-guided constraints 1048901
3600.02/3621.00	c LP total time 2092.21 s
3600.02/3621.00	c LP solve time 1850.23 s
3600.02/3621.00	c LP constraints added 656948
3600.02/3621.00	c LP constraints removed 24
3600.02/3621.00	c LP pivots internal 322903
3600.02/3621.00	c LP pivots root 234048
3600.02/3621.00	c LP calls 3217
3600.02/3621.00	c LP optimalities 191
3600.02/3621.00	c LP no pivot count 16
3600.02/3621.00	c LP infeasibilities 2977
3600.02/3621.00	c LP valid Farkas constraints 2971
3600.02/3621.00	c LP learned Farkas constraints 335
3600.02/3621.00	c LP basis resets 50
3600.02/3621.00	c LP cycling count 24
3600.02/3621.00	c LP singular count 11
3600.02/3621.00	c LP no primal count 0
3600.02/3621.00	c LP no farkas count 6
3600.02/3621.00	c LP other issue count 9
3600.02/3621.00	c LP Gomory cuts 23
3600.02/3621.00	c LP learned cuts 25
3600.02/3621.00	c LP deleted cuts 24
3600.02/3621.00	c LP encountered Gomory constraints 611
3600.02/3621.00	c LP encountered Farkas constraints 28812
3600.02/3621.00	c LP encountered learned Farkas constraints 481
3600.02/3621.00	c CG auxiliary variables introduced 464
3600.02/3621.00	c CG solutions found 162
3600.02/3621.00	c CG cores constructed 65
3600.02/3621.00	c CG core cardinality constraints returned 0
3600.02/3621.00	c CG unit cores 0
3600.02/3621.00	c CG single cores 64
3600.02/3621.00	c CG blocks removed during cardinality reduction 0
3600.02/3621.00	c CG first core best 0
3600.02/3621.00	c CG decision core best 0
3600.02/3621.00	c CG core reduction tie 1
3600.02/3621.00	c CG core degree average 1.00
3600.02/3621.00	c CG core slack average 819.49
3600.02/3621.00	c CG core upper bound improvements 46
3600.02/3621.00	c STR number of successful calls 0
3600.02/3621.00	c STR number of unsuccessful calls 0
3600.02/3621.00	c STR number of inconclusive calls 0
3600.02/3621.00	c STR number of successful attempts 0
3600.02/3621.00	c STR number of unsuccessful attempts 0
3600.02/3621.00	c STR number of inconclusive attempts 0
3600.02/3621.00	c STR average degree increase per successful call inf
3600.02/3621.00	c STR average degree increase per successful attempt inf
3600.02/3621.00	c STR total number of conflicts for successful attempts 0
3600.02/3621.00	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3621.00	c STR total number of conflicts for inconclusive attempts 0
3600.02/3621.00	c STR average number of conflicts per successful attempt inf
3600.02/3621.00	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3621.00	c STR average number of conflicts per inconclusive attempt inf
3600.02/3621.00	c AVG.sumWPerc 89.27 
3600.02/3621.00	c bigint constraints 0 
3600.02/3621.00	o 373
3600.02/3621.00	s SATISFIABLE
3600.02/3621.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.02/3621.00	c Program interrupted by user.

Verifier Data 

OK	373

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (33464 MiB free)
  memory of node 1: 64507 MiB (51818 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532373-1752586187/watcher-4532373-1752586187 -o /tmp/evaluation-result-4532373-1752586187/solver-4532373-1752586187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752584602-131177 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532373-1752586187.opb PROOFDIR/proof-4532373-1752586187 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.10 3.49 5/273 131566
/proc/meminfo: memFree=87197344/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174296481 4292608 736 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 736 672 219 0 110 0
[pid=131566] ppid=131564 vsize=165484 memory=148004 CPUtime=0.08 cores=5,7
/proc/131566/stat : 131566 (pbsuma) R 131564 131564 131164 0 -1 4194304 4565 0 0 0 5 3 0 0 20 0 1 0 174296481 169455616 37001 18446744073709551615 4210688 4653049 140735688084864 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 33226752 140735688091873 140735688092208 140735688092208 140735688097775 0
/proc/131566/statm: 41371 37001 960 108 0 38779 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169676 KiB
Current children cumulated memory: 150948 KiB

[startup+0.205818 s]*
/proc/loadavg: 4.13 4.10 3.49 5/273 131566
/proc/meminfo: memFree=87180900/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174296481 4292608 736 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 736 672 219 0 110 0
[pid=131566] ppid=131564 vsize=181052 memory=166452 CPUtime=0.18 cores=5,7
/proc/131566/stat : 131566 (pbsuma) R 131564 131564 131164 0 -1 4194304 9085 0 0 0 14 4 0 0 20 0 1 0 174296481 185397248 41613 18446744073709551615 4210688 4653049 140735688084864 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 33226752 140735688091873 140735688092208 140735688092208 140735688097775 0
/proc/131566/statm: 45263 41613 960 108 0 42671 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185244 KiB
Current children cumulated memory: 169396 KiB

[startup+0.305815 s]*
/proc/loadavg: 4.13 4.10 3.49 5/273 131566
/proc/meminfo: memFree=87156832/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174296481 4292608 736 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 736 672 219 0 110 0
[pid=131566] ppid=131564 vsize=194256 memory=183008 CPUtime=0.27 cores=5,7
/proc/131566/stat : 131566 (pbsuma) R 131564 131564 131164 0 -1 4194304 12715 0 0 0 22 5 0 0 20 0 1 0 174296481 198918144 45752 18446744073709551615 4210688 4653049 140735688084864 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 33226752 140735688091873 140735688092208 140735688092208 140735688097775 0
/proc/131566/statm: 48564 45752 960 108 0 45972 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198448 KiB
Current children cumulated memory: 185952 KiB

[startup+0.700222 s]
/proc/loadavg: 4.13 4.10 3.49 5/273 131566
/proc/meminfo: memFree=87071484/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 174296481 4292608 736 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 736 672 219 0 110 0
[pid=131566] ppid=131564 vsize=309832 memory=261860 CPUtime=0.64 cores=5,7
/proc/131566/stat : 131566 (pbsuma) R 131564 131564 131164 0 -1 4194304 22232 0 0 0 56 8 0 0 20 0 1 0 174296481 317267968 65465 18446744073709551615 4210688 4653049 140735688084864 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 33226752 140735688091873 140735688092208 140735688092208 140735688097775 0
/proc/131566/statm: 77458 65465 992 108 0 74866 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 314024 KiB
Current children cumulated memory: 264804 KiB

[startup+1.50021 s]
/proc/loadavg: 4.13 4.10 3.49 5/273 131567
/proc/meminfo: memFree=87201640/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=77136 memory=31988 CPUtime=0.51 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 5696 0 0 0 41 10 0 0 20 0 1 0 174296577 78987264 7997 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 19284 7997 1920 1147 0 6710 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 81328 KiB
Current children cumulated memory: 35060 KiB

[startup+3.10568 s]
/proc/loadavg: 4.13 4.10 3.49 5/273 131567
/proc/meminfo: memFree=87128064/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=147016 memory=92132 CPUtime=2.1 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 19858 0 0 0 166 44 0 0 20 0 1 0 174296577 150544384 23033 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 36754 23033 1920 1147 0 24180 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 151208 KiB
Current children cumulated memory: 95204 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.10 3.49 5/273 131567
/proc/meminfo: memFree=86445016/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=914864 memory=666936 CPUtime=5.29 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 54940 0 0 0 450 79 0 0 20 0 1 0 174296577 936820736 166734 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 228716 166734 2272 1147 0 216142 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 919056 KiB
Current children cumulated memory: 670008 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 3.49 5/273 131567
/proc/meminfo: memFree=86332072/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=1091676 memory=779440 CPUtime=11.68 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 60602 0 0 0 1071 97 0 0 20 0 1 0 174296577 1117876224 194860 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 272919 194860 2336 1147 0 260345 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 1095868 KiB
Current children cumulated memory: 782512 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 3.50 5/273 131567
/proc/meminfo: memFree=85920112/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=1195960 memory=886880 CPUtime=24.44 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 71954 0 0 0 2303 141 0 0 20 0 1 0 174296577 1224663040 221720 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 298990 221720 2368 1147 0 286416 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 1200152 KiB
Current children cumulated memory: 889952 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.10 3.52 5/273 131569
/proc/meminfo: memFree=84948240/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=1339520 memory=1003856 CPUtime=49.98 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 86922 0 0 0 4824 174 0 0 20 0 1 0 174296577 1371668480 250964 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 334880 250964 2368 1147 0 322306 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1343712 KiB
Current children cumulated memory: 1006928 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 3.56 5/273 131570
/proc/meminfo: memFree=82738436/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=1758724 memory=1412100 CPUtime=100.08 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 139339 0 0 0 9764 244 0 0 20 0 1 0 174296577 1800933376 353025 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 439681 353025 2368 1147 0 427107 0
Current children cumulated CPU time: 100.97 s
Current children cumulated vsize: 1762916 KiB
Current children cumulated memory: 1415172 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.11 3.60 5/273 131572
/proc/meminfo: memFree=81469944/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=1964916 memory=1573600 CPUtime=159.41 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 156391 0 0 0 15662 279 0 0 20 0 1 0 174296577 2012073984 393400 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 491229 393400 2368 1147 0 478655 0
Current children cumulated CPU time: 160.3 s
Current children cumulated vsize: 1969108 KiB
Current children cumulated memory: 1576672 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.13 3.64 5/271 131574
/proc/meminfo: memFree=80286088/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=2000344 memory=1611036 CPUtime=218.76 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 162723 0 0 0 21541 335 0 0 20 0 1 0 174296577 2048352256 402759 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 500086 402759 2368 1147 0 487512 0
Current children cumulated CPU time: 219.65 s

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 131935
/proc/meminfo: memFree=77160636/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=4255888 memory=3534520 CPUtime=3261.43 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 430629 0 0 0 323399 2744 0 0 20 0 1 0 174296577 4358029312 883630 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1063972 883630 2464 1147 0 1051398 0
Current children cumulated CPU time: 3262.32 s
Current children cumulated vsize: 4260080 KiB
Current children cumulated memory: 3537592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 131938
/proc/meminfo: memFree=75261672/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=4255888 memory=3534520 CPUtime=3321.25 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 432815 0 0 0 329283 2842 0 0 20 0 1 0 174296577 4358029312 883630 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1063972 883630 2464 1147 0 1051398 0
Current children cumulated CPU time: 3322.14 s
Current children cumulated vsize: 4260080 KiB
Current children cumulated memory: 3537592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 131940
/proc/meminfo: memFree=73608936/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=4255888 memory=3534520 CPUtime=3381.07 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 434923 0 0 0 335176 2931 0 0 20 0 1 0 174296577 4358029312 883630 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1063972 883630 2464 1147 0 1051398 0
Current children cumulated CPU time: 3381.96 s
Current children cumulated vsize: 4260080 KiB
Current children cumulated memory: 3537592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 131943
/proc/meminfo: memFree=72026860/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=4270800 memory=3549328 CPUtime=3440.89 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 436705 0 0 0 341066 3023 0 0 20 0 1 0 174296577 4373299200 887332 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1067700 887332 2464 1147 0 1055126 0
Current children cumulated CPU time: 3441.78 s
Current children cumulated vsize: 4274992 KiB
Current children cumulated memory: 3552400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 131952
/proc/meminfo: memFree=70477444/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=4228720 memory=3507468 CPUtime=3500.71 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 438038 0 0 0 346974 3097 0 0 20 0 1 0 174296577 4330209280 876867 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1057180 876867 2464 1147 0 1044606 0
Current children cumulated CPU time: 3501.6 s
Current children cumulated vsize: 4232912 KiB
Current children cumulated memory: 3510540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 132001
/proc/meminfo: memFree=67822276/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=4256092 memory=3534608 CPUtime=3560.55 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 438772 0 0 0 352887 3168 0 0 20 0 1 0 174296577 4358238208 883652 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1064023 883652 2464 1147 0 1051449 0
Current children cumulated CPU time: 3561.44 s
Current children cumulated vsize: 4260284 KiB
Current children cumulated memory: 3537680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3621 s]*
/proc/loadavg: 4.31 4.14 4.10 5/273 132004
/proc/meminfo: memFree=65604456/131249996 swapFree=33010416/33010684
[pid=131564] ppid=131561 vsize=4192 memory=3072 CPUtime=0.89 cores=5,7
/proc/131564/stat : 131564 (run-opt-break-l) S 131561 131564 131164 0 -1 4194304 241 29360 0 0 0 0 79 10 20 0 1 0 174296481 4292608 768 18446744073709551615 93999595061248 93999595955781 140734830539728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93999596194832 93999596242576 93999617929216 140734830541075 140734830541276 140734830541276 140734830546880 0
/proc/131564/statm: 1048 768 704 219 0 110 0
[pid=131567] ppid=131564 vsize=4256092 memory=3534608 CPUtime=3599.13 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131564 131564 131164 0 -1 4194304 438776 0 0 0 356701 3212 0 0 20 0 1 0 174296577 4358238208 883652 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1064023 883652 2464 1147 0 1051449 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4260284 KiB
Current children cumulated memory: 3537680 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3621.01 s]
# the end of solver process 131564 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.796866 s, system=0.111276 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.31 4.14 4.10 5/272 132004
/proc/meminfo: memFree=65454376/131249996 swapFree=33010416/33010684
[pid=131567] ppid=131561 vsize=4256092 memory=3534864 CPUtime=3600.2 cores=5,7
/proc/131567/stat : 131567 (roundingsat) D 131561 131564 131164 0 -1 4194304 438779 0 0 0 356702 3318 0 0 20 0 1 0 174296577 4358238208 883716 18446744073709551615 4227072 8923577 140732265945104 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 9
/proc/131567/statm: 1064023 883716 2528 1147 0 1051449 0
??? kill 131567 sig 9
??? end of watcher thread

[startup+3659.84 s]
# the end of solver process 131567 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3567.83 s, system=34.0245 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+3622.4 s]
/proc/loadavg: 4.31 4.14 4.10 5/272 132004
/proc/meminfo: memFree=65472496/131249996 swapFree=33010416/33010684
[pid=131567] ppid=131561 vsize=4256092 memory=3534864 CPUtime=3600.19 cores=5,7
/proc/131567/stat : 131567 (roundingsat) D 131561 131564 131164 0 -1 4194304 438779 0 0 0 356702 3317 0 0 20 0 1 0 174296577 4358238208 883716 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1064023 883716 2528 1147 0 1051449 0
Current cumulated CPU time of completed processes: 0.908142 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 4256092 KiB
Current children cumulated memory: 3534864 KiB

[startup+3622.8 s]
/proc/loadavg: 4.31 4.14 4.10 5/272 132004
/proc/meminfo: memFree=65472496/131249996 swapFree=33010416/33010684
[pid=131567] ppid=131561 vsize=4256092 memory=3534864 CPUtime=3600.2 cores=5,7
/proc/131567/stat : 131567 (roundingsat) D 131561 131564 131164 0 -1 4194304 438779 0 0 0 356702 3318 0 0 20 0 1 0 174296577 4358238208 883716 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1064023 883716 2528 1147 0 1051449 0
Current cumulated CPU time of completed processes: 0.908142 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 4256092 KiB
Current children cumulated memory: 3534864 KiB

[startup+3623 s]*
/proc/loadavg: 4.31 4.14 4.10 4/272 132004
/proc/meminfo: memFree=65454636/131249996 swapFree=33010416/33010684
[pid=131567] ppid=131561 vsize=4256092 memory=3534864 CPUtime=3600.2 cores=5,7
/proc/131567/stat : 131567 (roundingsat) R 131561 131564 131164 0 -1 4194304 438779 0 0 0 356702 3318 0 0 20 0 1 0 174296577 4358238208 883716 18446744073709551615 4227072 8923577 140732265945104 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 19542016 140732265953554 140732265953830 140732265953830 140732265959402 0
/proc/131567/statm: 1064023 883716 2528 1147 0 1051449 0
Current cumulated CPU time of completed processes: 0.908142 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 4256092 KiB
Current children cumulated memory: 3534864 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3659.84
CPU time (s): 3601.85
CPU user time (s): 3567.83
CPU system time (s): 34.0245
CPU usage (%): 98.4156
Max. virtual memory (cumulated for all children) (KiB): 4300072
Max. memory (cumulated for all children) (KiB): 3577476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.83
system time used= 34.0245
maximum resident set size= 3582400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 63547400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 325172
involuntary context switches= 4275


# summary of solver processes directly reported to runsolver:
#   pid: 131564,131567
#   total CPU time (s): 3601.85
#   total CPU user time (s): 3567.83
#   total CPU system time (s): 34.0245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76585 second user time and 17.1697 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-15 15:29:47
IDJOB=4532373
IDBENCH=147558
IDSOLVER=3393
FILE ID=nodeC022/4532373-1752586187
RUNJOBID= nodeC022-1752584602-131177
SLURM_JOB_ID= 9684352
Free space on /tmp= 432456 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532373-1752586187/watcher-4532373-1752586187 -o /tmp/evaluation-result-4532373-1752586187/solver-4532373-1752586187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752584602-131177 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532373-1752586187.opb PROOFDIR/proof-4532373-1752586187

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1041866726

nodeC022 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.703
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.44
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.743
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.44
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		: 3627.801
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        87329832 kB
MemAvailable:   122516264 kB
Buffers:            2128 kB
Cached:         35938784 kB
SwapCached:           32 kB
Active:          7525808 kB
Inactive:       35273948 kB
Active(anon):    6882960 kB
Inactive(anon):     2124 kB
Active(file):     642848 kB
Inactive(file): 35271824 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           8891480 kB
Writeback:             0 kB
AnonPages:       6861060 kB
Mapped:           121248 kB
Shmem:             26220 kB
KReclaimable:     221600 kB
Slab:             594492 kB
SReclaimable:     221600 kB
SUnreclaim:       372892 kB
KernelStack:        4400 kB
PageTables:        17988 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8075116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150728 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3096576 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432404 MiB
End job on nodeC022 at 2025-07-15 16:30:47