Trace number 4489603

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 63f22adSAT (TO)373 3601.05 3620.55

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489603-1751357804.opb'
0.28/0.34	c 	read 17.23MB  (319.76ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.35	c output proof to 'PROOFDIR/proof-4489603-1751357804'
0.28/0.35	c 
0.28/0.35	c make graph and approximate orbits
0.56/0.67	c	 [group: #orbits ~= 0] (315.19ms)
0.56/0.67	c 
0.56/0.67	c detect special group actions
0.56/0.67	c 	probe for Johnson action (limit=64)
0.56/0.67	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.56/0.68	c 	probe for row symmetry (limit=64, splits=16.78M)
0.56/0.69	c 	 (20.71ms)
0.56/0.69	c 
0.56/0.69	c detect symmetries on remainder
0.56/0.69	c 	[graph: #vertices 706710 #edges 2766418]
0.65/0.70	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.65/0.74	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.78ms)
0.65/0.74	c 
0.65/0.74	c finalize break order and special generators
0.65/0.74	c 
0.65/0.74	c generation finished
0.65/0.74	c 	[sbp: #constraints 0 #add_vars 0]
0.65/0.74	c 
0.65/0.74	c write result to 'HOME/instance-4489603-1751357804.opb.pre'
0.65/0.78	c 	wrote 17.23MB (35.61ms)
0.65/0.78	c ------------------------------------------------------------------
0.65/0.78	c                 319.76ms 42.39% parse
0.65/0.78	c                 315.19ms 41.79% approx_orbits
0.65/0.78	c                  49.78ms  6.60% detect_generic
0.65/0.78	c                  35.61ms  4.72% output
0.65/0.78	c                  20.71ms  2.75% detect_special
0.65/0.78	c                  12.87ms  1.71% other
0.65/0.78	c                   0.39ms  0.05% finalize_order
0.65/0.78	c         ───────────────────────────────────────────────
0.65/0.78	c                 754.32ms   100% total
0.65/0.78	c ------------------------------------------------------------------
0.84/0.90	c RoundingSat 2
0.84/0.90	c branch pb25
0.84/0.90	c commit 63f22ad
4.20/4.30	c #variables 10000 #constraints 656900
4.20/4.30	c objective is ce32 
4.20/4.30	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.20/4.30	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.20/4.30	c bounds - >= 0 @ 2.7309
5.80/5.93	c rational objective 185.072
9.59/9.76	c bounds 6406 >= 0 @ 8.06159
9.69/9.81	c bounds 6383 >= 0 @ 8.11294
9.69/9.82	c bounds 6376 >= 0 @ 8.11909
9.69/9.83	c bounds 6350 >= 0 @ 8.12739
9.69/9.83	c bounds 6082 >= 0 @ 8.13175
9.69/9.84	c bounds 6015 >= 0 @ 8.14205
9.69/9.85	c bounds 5955 >= 0 @ 8.14856
9.69/9.87	c bounds 5900 >= 0 @ 8.15993
9.69/9.88	c bounds 5895 >= 0 @ 8.16813
9.69/9.88	c bounds 5836 >= 0 @ 8.17738
9.69/9.89	c bounds 5835 >= 0 @ 8.18275
9.69/9.89	c bounds 5784 >= 0 @ 8.18634
9.78/9.90	c bounds 5717 >= 0 @ 8.19554
9.78/9.91	c bounds 5706 >= 0 @ 8.20368
9.78/9.95	c bounds 5704 >= 0 @ 8.24308
9.78/9.96	c bounds 5701 >= 0 @ 8.24828
9.78/9.97	c bounds 5668 >= 0 @ 8.25626
9.78/9.98	c bounds 5661 >= 0 @ 8.27107
9.78/9.99	c bounds 5612 >= 0 @ 8.27537
9.89/10.01	c bounds 5608 >= 0 @ 8.29097
9.89/10.01	c bounds 5575 >= 0 @ 8.29578
9.89/10.06	c bounds 5570 >= 0 @ 8.33746
9.99/10.17	c bounds 5533 >= 0 @ 8.44922
9.99/10.18	c bounds 5358 >= 0 @ 8.45544
9.99/10.19	c bounds 5355 >= 0 @ 8.46107
10.09/10.25	c bounds 5337 >= 0 @ 8.52045
10.09/10.27	c bounds 5260 >= 0 @ 8.53819
10.09/10.27	c bounds 4904 >= 0 @ 8.54591
10.09/10.28	c bounds 4897 >= 0 @ 8.55103
10.18/10.32	c bounds 4896 >= 0 @ 8.58124
10.28/10.49	c bounds 4864 >= 0 @ 8.74147
10.39/10.50	c bounds 4832 >= 0 @ 8.75676
10.39/10.52	c bounds 4804 >= 0 @ 8.77218
10.48/10.62	c bounds 4733 >= 0 @ 8.86883
10.48/10.63	c bounds 4729 >= 0 @ 8.87947
10.48/10.65	c bounds 4690 >= 0 @ 8.89218
10.59/10.74	c bounds 4668 >= 0 @ 8.9865
10.69/10.84	c bounds 4627 >= 0 @ 9.07896
10.69/10.87	c bounds 4625 >= 0 @ 9.1096
10.69/10.88	c bounds 4577 >= 0 @ 9.11835
10.69/10.89	c bounds 4489 >= 0 @ 9.12608
10.79/10.90	c bounds 4412 >= 0 @ 9.1339
10.79/10.91	c bounds 4220 >= 0 @ 9.14086
10.79/10.92	c bounds 4206 >= 0 @ 9.14777
10.88/11.05	c bounds 4194 >= 0 @ 9.27629
10.88/11.06	c bounds 4122 >= 0 @ 9.28434
10.88/11.07	c bounds 4039 >= 0 @ 9.29175
10.88/11.08	c bounds 3979 >= 0 @ 9.29798
10.88/11.08	c bounds 3931 >= 0 @ 9.30417
10.88/11.09	c bounds 3921 >= 0 @ 9.31046
10.88/11.10	c bounds 3918 >= 0 @ 9.31456
10.98/11.11	c bounds 3905 >= 0 @ 9.32202
10.98/11.12	c bounds 3807 >= 0 @ 9.32769
11.08/11.20	c bounds 3800 >= 0 @ 9.41249
11.08/11.21	c bounds 3782 >= 0 @ 9.42193
11.48/11.67	c bounds 3772 >= 0 @ 9.86793
11.48/11.68	c bounds 3700 >= 0 @ 9.87505
11.48/11.69	c bounds 3639 >= 0 @ 9.88303
11.58/11.70	c bounds 3591 >= 0 @ 9.89138
11.58/11.71	c bounds 3530 >= 0 @ 9.8979
11.58/11.73	c bounds 3441 >= 0 @ 9.9058
11.58/11.74	c bounds 3421 >= 0 @ 9.91385
11.58/11.75	c bounds 3318 >= 0 @ 9.92318
11.89/12.09	c bounds 3312 >= 0 @ 10.2604
11.98/12.10	c bounds 3309 >= 0 @ 10.2699
11.98/12.11	c bounds 3303 >= 0 @ 10.2782
11.98/12.13	c bounds 3299 >= 0 @ 10.2953
11.98/12.14	c bounds 3293 >= 0 @ 10.3025
12.08/12.27	c bounds 3292 >= 0 @ 10.4288
12.08/12.28	c bounds 3197 >= 0 @ 10.4365
12.18/12.31	c bounds 3189 >= 0 @ 10.4607
12.27/12.41	c bounds 3183 >= 0 @ 10.5538
12.27/12.44	c bounds 3181 >= 0 @ 10.5794
12.38/12.58	c bounds 3163 >= 0 @ 10.7125
12.38/12.59	c bounds 3118 >= 0 @ 10.7224
12.58/12.75	c bounds 3116 >= 0 @ 10.8722
12.67/12.88	c bounds 3112 >= 0 @ 10.9996
12.78/12.98	c bounds 3110 >= 0 @ 11.0922
12.78/12.99	c bounds 3026 >= 0 @ 11.1042
12.88/13.01	c bounds 3023 >= 0 @ 11.1161
12.88/13.02	c bounds 2925 >= 0 @ 11.1251
12.98/13.13	c bounds 2922 >= 0 @ 11.2348
12.98/13.14	c bounds 2788 >= 0 @ 11.2418
12.98/13.15	c bounds 2778 >= 0 @ 11.2482
12.98/13.17	c bounds 2768 >= 0 @ 11.2615
13.57/13.71	c bounds 2756 >= 0 @ 11.7928
13.57/13.72	c bounds 2703 >= 0 @ 11.8002
13.57/13.73	c bounds 2692 >= 0 @ 11.8077
13.57/13.75	c bounds 2483 >= 0 @ 11.8174
13.57/13.76	c bounds 2409 >= 0 @ 11.8245
13.57/13.77	c bounds 2336 >= 0 @ 11.8344
13.57/13.79	c bounds 2318 >= 0 @ 11.8476
13.67/13.80	c bounds 2248 >= 0 @ 11.8602
13.67/13.81	c bounds 2115 >= 0 @ 11.8678
13.67/13.83	c bounds 2070 >= 0 @ 11.873
13.67/13.84	c bounds 2057 >= 0 @ 11.8828
13.67/13.85	c bounds 2042 >= 0 @ 11.8897
13.78/13.95	c bounds 1989 >= 0 @ 11.9827
13.78/13.96	c bounds 1899 >= 0 @ 11.9928
13.78/13.97	c bounds 1759 >= 0 @ 12.0009
13.78/13.99	c bounds 1754 >= 0 @ 12.01
13.88/14.00	c bounds 1670 >= 0 @ 12.021
13.98/14.19	c bounds 1608 >= 0 @ 12.1981
14.07/14.20	c bounds 1585 >= 0 @ 12.2068
14.07/14.24	c bounds 1367 >= 0 @ 12.2437
14.07/14.26	c bounds 1285 >= 0 @ 12.2542
14.07/14.27	c bounds 1230 >= 0 @ 12.2623
14.07/14.28	c bounds 1137 >= 0 @ 12.2688
14.18/14.33	c bounds 1136 >= 0 @ 12.3173
14.38/14.54	c bounds 1117 >= 0 @ 12.5138
14.38/14.56	c bounds 987 >= 0 @ 12.5225
14.38/14.59	c bounds 976 >= 0 @ 12.5525
14.58/14.72	c #Conflicts:       1000 | #Constraints:     658029
14.58/14.72	c bounds 956 >= 0 @ 12.671
14.88/15.04	c bounds 821 >= 0 @ 12.9727
14.88/15.05	c bounds 819 >= 0 @ 12.9808
14.88/15.06	c bounds 807 >= 0 @ 12.9891
16.77/16.91	c bounds 806 >= 0 @ 14.787
16.87/17.05	c bounds 797 >= 0 @ 14.9156
16.97/17.11	c bounds 791 >= 0 @ 14.9696
16.97/17.13	c bounds 704 >= 0 @ 14.9848
17.46/17.69	c bounds 684 >= 0 @ 15.5248
17.67/17.82	c bounds 643 >= 0 @ 15.6437
20.46/20.61	c #Conflicts:       2000 | #Constraints:     659044
20.46/20.61	c INPROCESSING
20.46/20.61	c GARBAGE COLLECT
20.46/20.61	c bounds 570 >= 0 @ 18.3955
20.56/20.72	c bounds 516 >= 0 @ 18.5003
20.56/20.74	c bounds 516 >= 8 @ 18.508
20.86/21.00	c bounds 448 >= 8 @ 18.7709
26.34/26.53	c #Conflicts:       3000 | #Constraints:     658923
26.34/26.53	c #Conflicts:       4000 | #Constraints:     659923
26.34/26.53	c INPROCESSING
26.34/26.53	c GARBAGE COLLECT
26.34/26.53	c bounds 443 >= 8 @ 24.2091
26.84/27.09	c bounds 442 >= 8 @ 24.7549
37.81/38.02	c #Conflicts:       5000 | #Constraints:     659324
37.81/38.02	c #Conflicts:       6000 | #Constraints:     660324
37.81/38.02	c INPROCESSING
37.81/38.02	c GARBAGE COLLECT
37.81/38.02	c bounds 441 >= 8 @ 35.5514
38.21/38.44	c bounds 440 >= 8 @ 35.968
39.10/39.39	c bounds 439 >= 8 @ 36.8847
39.71/39.91	c bounds 438 >= 8 @ 37.3938
39.71/39.93	c bounds 438 >= 13 @ 37.4046
43.29/43.59	c #Conflicts:       7000 | #Constraints:     659345
43.29/43.59	c bounds 438 >= 18 @ 41.0456
46.59/46.86	c #Conflicts:       8000 | #Constraints:     660351
46.59/46.86	c bounds 437 >= 18 @ 44.209
53.96/54.20	c #Conflicts:       9000 | #Constraints:     661352
53.96/54.20	c INPROCESSING
53.96/54.20	c GARBAGE COLLECT
53.96/54.20	c rational objective 187.25
76.95/77.51	c #Conflicts:      10000 | #Constraints:     660054
76.95/77.51	c #Conflicts:      11000 | #Constraints:     661054
76.95/77.51	c #Conflicts:      12000 | #Constraints:     662054
76.95/77.51	c INPROCESSING
76.95/77.51	c rational objective 187.467
80.54/81.16	c bounds 436 >= 18 @ 77.8641
80.64/81.22	c bounds 434 >= 18 @ 77.921
151.83/152.63	c #Conflicts:      13000 | #Constraints:     660518
151.83/152.63	c #Conflicts:      14000 | #Constraints:     661529
151.83/152.63	c #Conflicts:      15000 | #Constraints:     662541
151.83/152.63	c INPROCESSING
151.83/152.63	c GARBAGE COLLECT
151.83/152.63	c bounds 434 >= 22 @ 148.37
190.20/191.21	c #Conflicts:      16000 | #Constraints:     660746
190.20/191.21	c #Conflicts:      17000 | #Constraints:     661746
190.20/191.21	c #Conflicts:      18000 | #Constraints:     662746
190.20/191.21	c INPROCESSING
190.20/191.21	c GARBAGE COLLECT
190.20/191.21	c #Conflicts:      19000 | #Constraints:     660748
190.20/191.21	c #Conflicts:      20000 | #Constraints:     661749
190.20/191.21	c #Conflicts:      21000 | #Constraints:     662751
190.20/191.21	c INPROCESSING
190.20/191.21	c #Conflicts:      22000 | #Constraints:     660547
190.20/191.21	c #Conflicts:      23000 | #Constraints:     661548
190.20/191.21	c #Conflicts:      24000 | #Constraints:     662550
190.20/191.21	c #Conflicts:      25000 | #Constraints:     663552
190.20/191.21	c INPROCESSING
190.20/191.21	c GARBAGE COLLECT
190.20/191.21	c rational objective 188.085
215.63/216.74	c #Conflicts:      26000 | #Constraints:     661157
215.63/216.74	c #Conflicts:      27000 | #Constraints:     662160
215.63/216.74	c #Conflicts:      28000 | #Constraints:     663160
215.63/216.74	c #Conflicts:      29000 | #Constraints:     664160
215.63/216.74	c INPROCESSING
215.63/216.74	c GARBAGE COLLECT
215.63/216.74	c rational objective 188.829
248.32/249.52	c #Conflicts:      30000 | #Constraints:     661550
248.32/249.52	c #Conflicts:      31000 | #Constraints:     662551
248.32/249.52	c #Conflicts:      32000 | #Constraints:     663554
248.32/249.52	c #Conflicts:      33000 | #Constraints:     664556
248.32/249.52	c INPROCESSING
248.32/249.52	c GARBAGE COLLECT
248.32/249.52	c rational objective 188.946
308.94/310.37	c #Conflicts:      34000 | #Constraints:     661766
308.94/310.37	c #Conflicts:      35000 | #Constraints:     662851
308.94/310.37	c #Conflicts:      36000 | #Constraints:     663938
308.94/310.37	c #Conflicts:      37000 | #Constraints:     665027
308.94/310.37	c INPROCESSING
308.94/310.37	c GARBAGE COLLECT
308.94/310.37	c #Conflicts:      38000 | #Constraints:     661974
308.94/310.37	c #Conflicts:      39000 | #Constraints:     663035
308.94/310.37	c #Conflicts:      40000 | #Constraints:     664105
308.94/310.37	c #Conflicts:      41000 | #Constraints:     665174
308.94/310.37	c INPROCESSING
308.94/310.37	c GARBAGE COLLECT
308.94/310.37	c rational objective 188.948
336.07/337.60	c #Conflicts:      42000 | #Constraints:     661796
336.07/337.60	c #Conflicts:      43000 | #Constraints:     662813
336.07/337.60	c #Conflicts:      44000 | #Constraints:     663848
336.07/337.60	c #Conflicts:      45000 | #Constraints:     664908
336.07/337.60	c #Conflicts:      46000 | #Constraints:     665924
336.07/337.60	c INPROCESSING
336.07/337.60	c GARBAGE COLLECT
336.07/337.60	c rational objective 188.998
369.87/371.43	c #Conflicts:      47000 | #Constraints:     662352
369.87/371.43	c #Conflicts:      48000 | #Constraints:     663377
369.87/371.43	c #Conflicts:      49000 | #Constraints:     664394
369.87/371.43	c #Conflicts:      50000 | #Constraints:     665413
369.87/371.43	c #Conflicts:      51000 | #Constraints:     666467
369.87/371.43	c INPROCESSING
369.87/371.43	c GARBAGE COLLECT
369.87/371.43	c rational objective 188.998
400.89/402.53	c #Conflicts:      52000 | #Constraints:     662727
400.89/402.53	c #Conflicts:      53000 | #Constraints:     663748
400.89/402.53	c #Conflicts:      54000 | #Constraints:     664765
400.89/402.53	c #Conflicts:      55000 | #Constraints:     665793
400.89/402.53	c #Conflicts:      56000 | #Constraints:     666833
400.89/402.53	c INPROCESSING
400.89/402.53	c GARBAGE COLLECT
400.89/402.53	c rational objective 189.013
457.28/459.12	c #Conflicts:      57000 | #Constraints:     662918
457.28/459.12	c #Conflicts:      58000 | #Constraints:     663947
457.28/459.12	c #Conflicts:      59000 | #Constraints:     664977
457.28/459.12	c #Conflicts:      60000 | #Constraints:     666007
457.28/459.12	c #Conflicts:      61000 | #Constraints:     667043
457.28/459.12	c INPROCESSING
457.28/459.12	c GARBAGE COLLECT
457.28/459.12	c rational objective 189.028
489.45/491.41	c #Conflicts:      62000 | #Constraints:     662919
489.45/491.41	c #Conflicts:      63000 | #Constraints:     663927
489.45/491.41	c #Conflicts:      64000 | #Constraints:     664932
489.45/491.41	c #Conflicts:      65000 | #Constraints:     665933
489.45/491.41	c #Conflicts:      66000 | #Constraints:     666934
489.45/491.41	c INPROCESSING
489.45/491.41	c GARBAGE COLLECT
489.45/491.41	c rational objective 189.001
541.81/543.94	c #Conflicts:      67000 | #Constraints:     662656
541.81/543.94	c #Conflicts:      68000 | #Constraints:     663657
541.81/543.94	c #Conflicts:      69000 | #Constraints:     664658
541.81/543.94	c #Conflicts:      70000 | #Constraints:     665659
541.81/543.94	c #Conflicts:      71000 | #Constraints:     666661
541.81/543.94	c #Conflicts:      72000 | #Constraints:     667668
541.81/543.94	c INPROCESSING
541.81/543.94	c GARBAGE COLLECT
541.81/543.94	c rational objective 189.404
650.37/652.87	c #Conflicts:      73000 | #Constraints:     663218
650.37/652.87	c #Conflicts:      74000 | #Constraints:     664237
650.37/652.87	c #Conflicts:      75000 | #Constraints:     665259
650.37/652.87	c #Conflicts:      76000 | #Constraints:     666272
650.37/652.87	c #Conflicts:      77000 | #Constraints:     667292
650.37/652.87	c #Conflicts:      78000 | #Constraints:     668342
650.37/652.87	c INPROCESSING
650.37/652.87	c GARBAGE COLLECT
650.37/652.87	c #Conflicts:      79000 | #Constraints:     663656
650.37/652.87	c #Conflicts:      80000 | #Constraints:     664660
650.37/652.87	c #Conflicts:      81000 | #Constraints:     665661
650.37/652.87	c #Conflicts:      82000 | #Constraints:     666664
650.37/652.87	c #Conflicts:      83000 | #Constraints:     667664
650.37/652.87	c #Conflicts:      84000 | #Constraints:     668668
650.37/652.87	c INPROCESSING
650.37/652.87	c GARBAGE COLLECT
650.37/652.87	c rational objective 189.416
771.44/774.25	c #Conflicts:      85000 | #Constraints:     663836
771.44/774.25	c #Conflicts:      86000 | #Constraints:     664869
771.44/774.25	c #Conflicts:      87000 | #Constraints:     665915
771.44/774.25	c #Conflicts:      88000 | #Constraints:     666939
771.44/774.25	c #Conflicts:      89000 | #Constraints:     667969
771.44/774.25	c #Conflicts:      90000 | #Constraints:     668983
771.44/774.25	c INPROCESSING
771.44/774.25	c GARBAGE COLLECT
771.44/774.25	c #Conflicts:      91000 | #Constraints:     663889
771.44/774.25	c #Conflicts:      92000 | #Constraints:     664891
771.44/774.25	c #Conflicts:      93000 | #Constraints:     665897
771.44/774.25	c #Conflicts:      94000 | #Constraints:     666900
771.44/774.25	c #Conflicts:      95000 | #Constraints:     667906
771.44/774.25	c #Conflicts:      96000 | #Constraints:     668907
771.44/774.25	c INPROCESSING
771.44/774.25	c GARBAGE COLLECT
771.44/774.25	c rational objective 189.42
810.79/813.76	c #Conflicts:      97000 | #Constraints:     663660
810.79/813.76	c #Conflicts:      98000 | #Constraints:     664674
810.79/813.76	c #Conflicts:      99000 | #Constraints:     665688
810.79/813.76	c #Conflicts:     100000 | #Constraints:     666718
810.79/813.76	c #Conflicts:     101000 | #Constraints:     667731
810.79/813.76	c #Conflicts:     102000 | #Constraints:     668751
810.79/813.76	c #Conflicts:     103000 | #Constraints:     669765
810.79/813.76	c INPROCESSING
810.79/813.76	c GARBAGE COLLECT
810.79/813.76	c rational objective 189.42
833.53/836.56	c #Conflicts:     104000 | #Constraints:     664286
833.53/836.56	c bounds 431 >= 22 @ 826.237
959.52/963.15	c #Conflicts:     105000 | #Constraints:     665294
959.52/963.15	c #Conflicts:     106000 | #Constraints:     666300
959.52/963.15	c #Conflicts:     107000 | #Constraints:     667310
959.52/963.15	c #Conflicts:     108000 | #Constraints:     668324
959.52/963.15	c #Conflicts:     109000 | #Constraints:     669340
959.52/963.15	c #Conflicts:     110000 | #Constraints:     670353
959.52/963.15	c INPROCESSING
959.52/963.15	c GARBAGE COLLECT
959.52/963.15	c #Conflicts:     111000 | #Constraints:     664670
959.52/963.15	c #Conflicts:     112000 | #Constraints:     665684
959.52/963.15	c #Conflicts:     113000 | #Constraints:     666708
959.52/963.15	c #Conflicts:     114000 | #Constraints:     667721
959.52/963.15	c #Conflicts:     115000 | #Constraints:     668728
959.52/963.15	c #Conflicts:     116000 | #Constraints:     669746
959.52/963.15	c #Conflicts:     117000 | #Constraints:     670749
959.52/963.15	c INPROCESSING
959.52/963.15	c GARBAGE COLLECT
959.52/963.15	c #Conflicts:     118000 | #Constraints:     664871
959.52/963.15	c #Conflicts:     119000 | #Constraints:     665896
959.52/963.15	c #Conflicts:     120000 | #Constraints:     666932
959.52/963.15	c #Conflicts:     121000 | #Constraints:     667992
959.52/963.15	c #Conflicts:     122000 | #Constraints:     669026
959.52/963.15	c #Conflicts:     123000 | #Constraints:     670037
959.52/963.15	c #Conflicts:     124000 | #Constraints:     671050
959.52/963.15	c INPROCESSING
959.52/963.15	c GARBAGE COLLECT
959.52/963.15	c #Conflicts:     125000 | #Constraints:     664908
959.52/963.15	c #Conflicts:     126000 | #Constraints:     665910
959.52/963.15	c #Conflicts:     127000 | #Constraints:     666923
959.52/963.15	c #Conflicts:     128000 | #Constraints:     667955
959.52/963.15	c #Conflicts:     129000 | #Constraints:     668970
959.52/963.15	c #Conflicts:     130000 | #Constraints:     669994
959.52/963.15	c #Conflicts:     131000 | #Constraints:     671025
959.52/963.15	c INPROCESSING
959.52/963.15	c GARBAGE COLLECT
959.52/963.15	c rational objective 189.42
1020.24/1024.02	c #Conflicts:     132000 | #Constraints:     664709
1020.24/1024.02	c #Conflicts:     133000 | #Constraints:     665727
1020.24/1024.02	c #Conflicts:     134000 | #Constraints:     666735
1020.24/1024.02	c #Conflicts:     135000 | #Constraints:     667741
1020.24/1024.02	c #Conflicts:     136000 | #Constraints:     668771
1020.24/1024.02	c #Conflicts:     137000 | #Constraints:     669798
1020.24/1024.02	c #Conflicts:     138000 | #Constraints:     670819
1020.24/1024.02	c #Conflicts:     139000 | #Constraints:     671848
1020.24/1024.02	c INPROCESSING
1020.24/1024.02	c GARBAGE COLLECT
1020.24/1024.02	c rational objective 189.42
1030.79/1034.65	c bounds 430 >= 22 @ 1022.13
1030.79/1034.67	c bounds 430 >= 24 @ 1022.14
1030.79/1034.69	c bounds 430 >= 26 @ 1022.15
1030.89/1034.71	c bounds 430 >= 28 @ 1022.16
1030.89/1034.73	c bounds 430 >= 30 @ 1022.18
1030.89/1034.75	c bounds 430 >= 32 @ 1022.19
1030.89/1034.77	c bounds 430 >= 34 @ 1022.21
1030.99/1034.80	c bounds 430 >= 36 @ 1022.23
1033.48/1037.37	c bounds 430 >= 38 @ 1024.78
1034.68/1038.52	c bounds 430 >= 40 @ 1025.92
1062.90/1066.81	c #Conflicts:     140000 | #Constraints:     665373
1062.90/1066.81	c #Conflicts:     141000 | #Constraints:     666374
1062.90/1066.81	c #Conflicts:     142000 | #Constraints:     667376
1062.90/1066.81	c #Conflicts:     143000 | #Constraints:     668380
1062.90/1066.81	c #Conflicts:     144000 | #Constraints:     669381
1062.90/1066.81	c bounds 430 >= 42 @ 1053.94
1113.51/1118.06	c #Conflicts:     145000 | #Constraints:     670414
1113.51/1118.06	c #Conflicts:     146000 | #Constraints:     671505
1113.51/1118.06	c #Conflicts:     147000 | #Constraints:     672679
1113.51/1118.06	c INPROCESSING
1113.51/1118.06	c GARBAGE COLLECT
1113.51/1118.06	c rational objective 189.421
1193.83/1198.85	c #Conflicts:     148000 | #Constraints:     665852
1193.83/1198.85	c #Conflicts:     149000 | #Constraints:     666853
1193.83/1198.85	c #Conflicts:     150000 | #Constraints:     667855
1193.83/1198.85	c #Conflicts:     151000 | #Constraints:     668856
1193.83/1198.85	c #Conflicts:     152000 | #Constraints:     669859
1193.83/1198.85	c #Conflicts:     153000 | #Constraints:     670860
1193.83/1198.85	c #Conflicts:     154000 | #Constraints:     671862
1193.83/1198.85	c #Conflicts:     155000 | #Constraints:     672864
1193.83/1198.85	c INPROCESSING
1193.83/1198.85	c GARBAGE COLLECT
1193.83/1198.85	c bounds 427 >= 42 @ 1183.46
1197.82/1202.85	c bounds 426 >= 42 @ 1187.39
1199.61/1204.65	c bounds 424 >= 42 @ 1189.16
1199.61/1204.69	c bounds 421 >= 42 @ 1189.19
1199.71/1204.75	c bounds 420 >= 42 @ 1189.25
1200.71/1205.74	c #Conflicts:     156000 | #Constraints:     665977
1200.71/1205.74	c bounds 419 >= 42 @ 1190.22
1200.71/1205.77	c bounds 418 >= 42 @ 1190.25
1202.01/1207.03	c bounds 417 >= 42 @ 1191.49
1203.30/1208.33	c bounds 414 >= 42 @ 1192.75
1203.40/1208.48	c bounds 412 >= 42 @ 1192.9
1208.45/1213.95	c bounds 406 >= 42 @ 1197.82
1209.65/1215.16	c bounds 404 >= 42 @ 1199.01
1209.75/1215.21	c bounds 403 >= 42 @ 1199.05
1216.23/1221.77	c #Conflicts:     157000 | #Constraints:     667020
1216.23/1221.77	c bounds 401 >= 42 @ 1205.49
1218.42/1223.96	c bounds 400 >= 42 @ 1207.63
1220.01/1225.60	c bounds 399 >= 42 @ 1209.23
1224.30/1229.86	c #Conflicts:     158000 | #Constraints:     668042
1224.30/1229.86	c bounds 395 >= 42 @ 1213.42
1224.30/1229.89	c bounds 395 >= 43 @ 1213.45
1224.40/1229.91	c bounds 395 >= 44 @ 1213.46
1224.40/1229.94	c bounds 395 >= 45 @ 1213.49
1224.40/1229.97	c bounds 395 >= 46 @ 1213.5
1224.40/1229.99	c bounds 395 >= 47 @ 1213.52
1224.51/1230.02	c bounds 395 >= 48 @ 1213.55
1224.51/1230.05	c bounds 395 >= 49 @ 1213.57
1225.91/1231.48	c bounds 395 >= 50 @ 1214.98
1226.01/1231.52	c bounds 395 >= 51 @ 1215.01
1226.01/1231.56	c bounds 395 >= 52 @ 1215.04
1226.10/1231.60	c bounds 395 >= 53 @ 1215.08
1226.10/1231.65	c bounds 395 >= 54 @ 1215.12
1226.10/1231.68	c bounds 395 >= 55 @ 1215.15
1226.20/1231.78	c bounds 395 >= 56 @ 1215.24
1226.40/1231.91	c bounds 395 >= 57 @ 1215.36
1226.40/1231.96	c bounds 395 >= 58 @ 1215.41
1226.51/1232.06	c bounds 395 >= 59 @ 1215.5
1226.80/1232.38	c bounds 395 >= 60 @ 1215.8
1227.30/1232.84	c bounds 395 >= 61 @ 1216.25
1227.90/1233.42	c bounds 395 >= 62 @ 1216.82
1228.60/1234.18	c bounds 395 >= 63 @ 1217.56
1229.29/1234.80	c bounds 395 >= 64 @ 1218.16
1229.89/1235.46	c bounds 395 >= 65 @ 1218.79
1230.49/1236.05	c bounds 395 >= 66 @ 1219.36
1236.27/1241.80	c #Conflicts:     159000 | #Constraints:     669314
1236.27/1241.80	c bounds 395 >= 67 @ 1225.02
1239.09/1245.09	c #Conflicts:     160000 | #Constraints:     670341
1239.09/1245.09	c bounds 395 >= 68 @ 1227.85
1244.87/1250.80	c bounds 395 >= 69 @ 1233.48
1247.76/1253.72	c #Conflicts:     161000 | #Constraints:     671386
1247.76/1253.72	c bounds 395 >= 70 @ 1236.31
1329.81/1336.67	c #Conflicts:     162000 | #Constraints:     672410
1329.81/1336.67	c #Conflicts:     163000 | #Constraints:     673426
1329.81/1336.67	c INPROCESSING
1329.81/1336.67	c GARBAGE COLLECT
1329.81/1336.67	c rational objective 189.43
1342.79/1349.64	c bounds 395 >= 71 @ 1330.63
1343.98/1350.85	c bounds 395 >= 72 @ 1331.79
1344.58/1351.44	c bounds 395 >= 73 @ 1332.37
1346.48/1353.38	c #Conflicts:     164000 | #Constraints:     666283
1346.48/1353.38	c bounds 395 >= 74 @ 1334.25
1349.17/1356.05	c bounds 395 >= 75 @ 1336.86
1351.86/1358.70	c #Conflicts:     165000 | #Constraints:     667349
1351.86/1358.70	c bounds 395 >= 76 @ 1339.46
1365.22/1372.17	c #Conflicts:     166000 | #Constraints:     668383
1365.22/1372.17	c bounds 395 >= 77 @ 1352.8
1366.52/1373.49	c bounds 395 >= 78 @ 1354.08
1368.51/1375.46	c #Conflicts:     167000 | #Constraints:     669428
1368.51/1375.46	c bounds 395 >= 79 @ 1355.99
1371.50/1378.41	c bounds 395 >= 80 @ 1358.87
1376.49/1383.40	c #Conflicts:     168000 | #Constraints:     670485
1376.49/1383.40	c #Conflicts:     169000 | #Constraints:     671485
1376.49/1383.40	c bounds 395 >= 81 @ 1363.7
1392.85/1399.84	c #Conflicts:     170000 | #Constraints:     672531
1392.85/1399.84	c #Conflicts:     171000 | #Constraints:     673531
1392.85/1399.84	c bounds 395 >= 82 @ 1379.84
1513.18/1520.52	c INPROCESSING
1513.18/1520.52	c GARBAGE COLLECT
1513.18/1520.52	c #Conflicts:     172000 | #Constraints:     666182
1513.18/1520.52	c #Conflicts:     173000 | #Constraints:     667182
1513.18/1520.52	c #Conflicts:     174000 | #Constraints:     668182
1513.18/1520.52	c bounds 395 >= 83 @ 1499.7
1533.53/1540.92	c #Conflicts:     175000 | #Constraints:     669221
1533.53/1540.92	c #Conflicts:     176000 | #Constraints:     670221
1533.53/1540.92	c #Conflicts:     177000 | #Constraints:     671221
1533.53/1540.92	c bounds 395 >= 84 @ 1519.69
1562.75/1570.20	c #Conflicts:     178000 | #Constraints:     672257
1562.75/1570.20	c #Conflicts:     179000 | #Constraints:     673258
1562.75/1570.20	c #Conflicts:     180000 | #Constraints:     674258
1562.75/1570.20	c INPROCESSING
1562.75/1570.20	c GARBAGE COLLECT
1562.75/1570.20	c bounds 394 >= 84 @ 1548.56
1562.94/1570.45	c bounds 393 >= 84 @ 1548.81
1574.71/1582.27	c #Conflicts:     181000 | #Constraints:     666753
1574.71/1582.27	c bounds 389 >= 84 @ 1560.41
1598.75/1606.38	c #Conflicts:     182000 | #Constraints:     667763
1598.75/1606.38	c #Conflicts:     183000 | #Constraints:     668763
1598.75/1606.38	c #Conflicts:     184000 | #Constraints:     669763
1598.75/1606.38	c #Conflicts:     185000 | #Constraints:     670763
1598.75/1606.38	c bounds 389 >= 85 @ 1584.08
1720.89/1728.81	c #Conflicts:     186000 | #Constraints:     671823
1720.89/1728.81	c #Conflicts:     187000 | #Constraints:     672823
1720.89/1728.81	c #Conflicts:     188000 | #Constraints:     673823
1720.89/1728.81	c #Conflicts:     189000 | #Constraints:     674823
1720.89/1728.81	c INPROCESSING
1720.89/1728.81	c GARBAGE COLLECT
1720.89/1728.81	c rational objective 189.438
1728.77/1736.71	c bounds 389 >= 86 @ 1713.52
1785.11/1793.25	c #Conflicts:     190000 | #Constraints:     667184
1785.11/1793.25	c #Conflicts:     191000 | #Constraints:     668184
1785.11/1793.25	c #Conflicts:     192000 | #Constraints:     669185
1785.11/1793.25	c #Conflicts:     193000 | #Constraints:     670185
1785.11/1793.25	c #Conflicts:     194000 | #Constraints:     671186
1785.11/1793.25	c #Conflicts:     195000 | #Constraints:     672186
1785.11/1793.25	c bounds 389 >= 87 @ 1769.21
1824.09/1832.35	c #Conflicts:     196000 | #Constraints:     673243
1824.09/1832.35	c #Conflicts:     197000 | #Constraints:     674246
1824.09/1832.35	c #Conflicts:     198000 | #Constraints:     675258
1824.09/1832.35	c INPROCESSING
1824.09/1832.35	c GARBAGE COLLECT
1824.09/1832.35	c rational objective 189.438
1909.46/1917.95	c #Conflicts:     199000 | #Constraints:     667398
1909.46/1917.95	c #Conflicts:     200000 | #Constraints:     668398
1909.46/1917.95	c #Conflicts:     201000 | #Constraints:     669399
1909.46/1917.95	c #Conflicts:     202000 | #Constraints:     670399
1909.46/1917.95	c #Conflicts:     203000 | #Constraints:     671399
1909.46/1917.95	c #Conflicts:     204000 | #Constraints:     672399
1909.46/1917.95	c #Conflicts:     205000 | #Constraints:     673400
1909.46/1917.95	c #Conflicts:     206000 | #Constraints:     674400
1909.46/1917.95	c #Conflicts:     207000 | #Constraints:     675400
1909.46/1917.95	c INPROCESSING
1909.46/1917.95	c GARBAGE COLLECT
1909.46/1917.95	c rational objective 189.438
2057.93/2066.88	c #Conflicts:     208000 | #Constraints:     667359
2057.93/2066.88	c #Conflicts:     209000 | #Constraints:     668379
2057.93/2066.88	c #Conflicts:     210000 | #Constraints:     669379
2057.93/2066.88	c #Conflicts:     211000 | #Constraints:     670379
2057.93/2066.88	c #Conflicts:     212000 | #Constraints:     671381
2057.93/2066.88	c #Conflicts:     213000 | #Constraints:     672386
2057.93/2066.88	c #Conflicts:     214000 | #Constraints:     673386
2057.93/2066.88	c #Conflicts:     215000 | #Constraints:     674386
2057.93/2066.88	c #Conflicts:     216000 | #Constraints:     675393
2057.93/2066.88	c INPROCESSING
2057.93/2066.88	c GARBAGE COLLECT
2057.93/2066.88	c rational objective 189.438
2259.97/2269.58	c #Conflicts:     217000 | #Constraints:     667209
2259.97/2269.58	c #Conflicts:     218000 | #Constraints:     668209
2259.97/2269.58	c #Conflicts:     219000 | #Constraints:     669209
2259.97/2269.58	c #Conflicts:     220000 | #Constraints:     670210
2259.97/2269.58	c #Conflicts:     221000 | #Constraints:     671210
2259.97/2269.58	c #Conflicts:     222000 | #Constraints:     672210
2259.97/2269.58	c #Conflicts:     223000 | #Constraints:     673210
2259.97/2269.58	c #Conflicts:     224000 | #Constraints:     674210
2259.97/2269.58	c #Conflicts:     225000 | #Constraints:     675211
2259.97/2269.58	c #Conflicts:     226000 | #Constraints:     676211
2259.97/2269.58	c INPROCESSING
2259.97/2269.58	c GARBAGE COLLECT
2259.97/2269.58	c rational objective 189.461
2293.66/2303.31	c #Conflicts:     227000 | #Constraints:     667788
2293.66/2303.31	c #Conflicts:     228000 | #Constraints:     668788
2293.66/2303.31	c #Conflicts:     229000 | #Constraints:     669788
2293.66/2303.31	c bounds 389 >= 88 @ 2273.65
2326.68/2336.47	c #Conflicts:     230000 | #Constraints:     670855
2326.68/2336.47	c #Conflicts:     231000 | #Constraints:     671855
2326.68/2336.47	c #Conflicts:     232000 | #Constraints:     672855
2326.68/2336.47	c #Conflicts:     233000 | #Constraints:     673856
2326.68/2336.47	c #Conflicts:     234000 | #Constraints:     674857
2326.68/2336.47	c bounds 389 >= 89 @ 2306.06
2424.88/2434.94	c #Conflicts:     235000 | #Constraints:     675884
2424.88/2434.94	c #Conflicts:     236000 | #Constraints:     676884
2424.88/2434.94	c INPROCESSING
2424.88/2434.94	c GARBAGE COLLECT
2424.88/2434.94	c rational objective 189.542
2436.65/2446.78	c #Conflicts:     237000 | #Constraints:     668217
2436.65/2446.78	c bounds 387 >= 89 @ 2415.5
2625.98/2636.66	c #Conflicts:     238000 | #Constraints:     669219
2625.98/2636.66	c #Conflicts:     239000 | #Constraints:     670219
2625.98/2636.66	c #Conflicts:     240000 | #Constraints:     671219
2625.98/2636.66	c #Conflicts:     241000 | #Constraints:     672219
2625.98/2636.66	c #Conflicts:     242000 | #Constraints:     673219
2625.98/2636.66	c #Conflicts:     243000 | #Constraints:     674221
2625.98/2636.66	c #Conflicts:     244000 | #Constraints:     675221
2625.98/2636.66	c #Conflicts:     245000 | #Constraints:     676221
2625.98/2636.66	c #Conflicts:     246000 | #Constraints:     677221
2625.98/2636.66	c INPROCESSING
2625.98/2636.66	c GARBAGE COLLECT
2625.98/2636.66	c rational objective 189.542
2637.05/2647.73	c #Conflicts:     247000 | #Constraints:     668400
2637.05/2647.73	c bounds 386 >= 89 @ 2614.22
2637.26/2647.92	c bounds 380 >= 89 @ 2614.4
2637.46/2648.15	c bounds 376 >= 89 @ 2614.62
2637.85/2648.58	c bounds 375 >= 89 @ 2615.05
2778.17/2789.24	c #Conflicts:     248000 | #Constraints:     669404
2778.17/2789.24	c #Conflicts:     249000 | #Constraints:     670435
2778.17/2789.24	c #Conflicts:     250000 | #Constraints:     671452
2778.17/2789.24	c #Conflicts:     251000 | #Constraints:     672463
2778.17/2789.24	c #Conflicts:     252000 | #Constraints:     673473
2778.17/2789.24	c #Conflicts:     253000 | #Constraints:     674483
2778.17/2789.24	c #Conflicts:     254000 | #Constraints:     675502
2778.17/2789.24	c #Conflicts:     255000 | #Constraints:     676511
2778.17/2789.24	c bounds 373 >= 89 @ 2753.72
2790.84/2801.99	c #Conflicts:     256000 | #Constraints:     677516
2790.84/2801.99	c INPROCESSING
2790.84/2801.99	c GARBAGE COLLECT
2790.84/2801.99	c rational objective 189.512
2829.43/2840.60	c #Conflicts:     257000 | #Constraints:     668441
2829.43/2840.60	c #Conflicts:     258000 | #Constraints:     669441
2829.43/2840.60	c #Conflicts:     259000 | #Constraints:     670442
2829.43/2840.60	c bounds 373 >= 90 @ 2804.22
3013.79/3025.59	c #Conflicts:     260000 | #Constraints:     671506
3013.79/3025.59	c #Conflicts:     261000 | #Constraints:     672506
3013.79/3025.59	c #Conflicts:     262000 | #Constraints:     673506
3013.79/3025.59	c #Conflicts:     263000 | #Constraints:     674506
3013.79/3025.59	c #Conflicts:     264000 | #Constraints:     675506
3013.79/3025.59	c #Conflicts:     265000 | #Constraints:     676506
3013.79/3025.59	c #Conflicts:     266000 | #Constraints:     677506
3013.79/3025.59	c bounds 373 >= 91 @ 2987.67
3261.87/3274.34	c INPROCESSING
3261.87/3274.34	c GARBAGE COLLECT
3261.87/3274.34	c #Conflicts:     267000 | #Constraints:     668282
3261.87/3274.34	c #Conflicts:     268000 | #Constraints:     669282
3261.87/3274.34	c #Conflicts:     269000 | #Constraints:     670282
3261.87/3274.34	c #Conflicts:     270000 | #Constraints:     671282
3261.87/3274.34	c #Conflicts:     271000 | #Constraints:     672282
3261.87/3274.34	c #Conflicts:     272000 | #Constraints:     673282
3261.87/3274.34	c #Conflicts:     273000 | #Constraints:     674282
3261.87/3274.34	c #Conflicts:     274000 | #Constraints:     675282
3261.87/3274.34	c #Conflicts:     275000 | #Constraints:     676283
3261.87/3274.34	c #Conflicts:     276000 | #Constraints:     677283
3261.87/3274.34	c #Conflicts:     277000 | #Constraints:     678283
3261.87/3274.34	c INPROCESSING
3261.87/3274.34	c GARBAGE COLLECT
3261.87/3274.34	c rational objective 189.516
3318.11/3330.78	c #Conflicts:     278000 | #Constraints:     668856
3318.11/3330.78	c #Conflicts:     279000 | #Constraints:     669856
3318.11/3330.78	c #Conflicts:     280000 | #Constraints:     670856
3318.11/3330.78	c #Conflicts:     281000 | #Constraints:     671856
3318.11/3330.78	c bounds 373 >= 92 @ 3289.47
3371.25/3384.04	c #Conflicts:     282000 | #Constraints:     672922
3371.25/3384.04	c #Conflicts:     283000 | #Constraints:     673922
3371.25/3384.04	c #Conflicts:     284000 | #Constraints:     674922
3371.25/3384.04	c #Conflicts:     285000 | #Constraints:     675923
3371.25/3384.04	c #Conflicts:     286000 | #Constraints:     676923
3371.25/3384.04	c #Conflicts:     287000 | #Constraints:     677923
3371.25/3384.04	c #Conflicts:     288000 | #Constraints:     678923
3371.25/3384.04	c INPROCESSING
3371.25/3384.04	c GARBAGE COLLECT
3371.25/3384.04	c rational objective 189.539
3493.73/3506.93	c #Conflicts:     289000 | #Constraints:     669274
3493.73/3506.93	c #Conflicts:     290000 | #Constraints:     670274
3493.73/3506.93	c #Conflicts:     291000 | #Constraints:     671274
3493.73/3506.93	c #Conflicts:     292000 | #Constraints:     672274
3493.73/3506.93	c #Conflicts:     293000 | #Constraints:     673274
3493.73/3506.93	c #Conflicts:     294000 | #Constraints:     674274
3493.73/3506.93	c #Conflicts:     295000 | #Constraints:     675274
3493.73/3506.93	c #Conflicts:     296000 | #Constraints:     676275
3493.73/3506.93	c #Conflicts:     297000 | #Constraints:     677275
3493.73/3506.93	c #Conflicts:     298000 | #Constraints:     678275
3493.73/3506.93	c #Conflicts:     299000 | #Constraints:     679275
3493.73/3506.93	c INPROCESSING
3493.73/3506.93	c GARBAGE COLLECT
3493.73/3506.93	c rational objective 190.672
3600.04/3613.63	c #Conflicts:     300000 | #Constraints:     669461
3600.04/3613.63	c #Conflicts:     301000 | #Constraints:     670461
3600.04/3613.63	c #Conflicts:     302000 | #Constraints:     671461
3600.04/3613.63	c #Conflicts:     303000 | #Constraints:     672462
3600.04/3613.63	c #Conflicts:     304000 | #Constraints:     673462
3600.04/3613.63	c #Conflicts:     305000 | #Constraints:     674462
3600.04/3613.63	c #Conflicts:     306000 | #Constraints:     675462
3600.04/3613.63	c #Conflicts:     307000 | #Constraints:     676462
3600.04/3613.63	c #Conflicts:     308000 | #Constraints:     677463
3600.04/3613.63	c #Conflicts:     309000 | #Constraints:     678463
3600.04/3613.63	c cpu time 3566.71 s
3600.04/3613.63	c deterministic time 96890170483 9.69e+10
3600.04/3613.63	c optimization time 99.528 s
3600.04/3613.63	c total solve time 3464.45 s
3600.04/3613.63	c core-guided solve time 2827.32 s
3600.04/3613.63	c propagation time 1340.1 s
3600.04/3613.63	c conflict analysis time 820.521 s
3600.04/3613.63	c propagations 80828380
3600.04/3613.63	c resolve steps 6038504
3600.04/3613.63	c decisions 10635128
3600.04/3613.63	c conflicts 309172
3600.04/3613.63	c restarts 761
3600.04/3613.63	c inprocessing phases 46
3600.04/3613.63	c garbage collections 44 ,( 95.65 )
3600.04/3613.63	c input clauses 657278 ,( 99.83 )
3600.04/3613.63	c input cardinalities 445 ,( 0.07 )
3600.04/3613.63	c input general constraints 665 ,( 0.10 )
3600.04/3613.63	c input average constraint length 6.76
3600.04/3613.63	c input average constraint degree 122.84
3600.04/3613.63	c learned clauses 247057 ,( 79.15 )
3600.04/3613.63	c learned cardinalities 20 ,( 0.01 )
3600.04/3613.63	c learned general constraints 65051 ,( 20.84 )
3600.04/3613.63	c learned average constraint length 2150.37
3600.04/3613.63	c learned average constraint degree 34483357260.87
3600.04/3613.63	c watched  CF 32, 64, 128, Arb: 4820 , 0 , 0 , 0
3600.04/3613.63	c counting CF 32, 64, 128, Arb: 60897 , 0 , 0 , 0
3600.04/3613.63	c watched   constraints 4820 ,( 7.33 ) 
3600.04/3613.63	c counting  constraints 60896 ,( 92.67 ) 
3600.04/3613.63	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 85540937 , 2894417 , 950726696 ,( 41111434 , 909615262 )
3600.04/3613.63	c gcd simplifications 8372
3600.04/3613.63	c detected cardinalities 1
3600.04/3613.63	c weakened non-implied lits 666154137
3600.04/3613.63	c weakened non-implying lits 194348
3600.04/3613.63	c original variables 10000
3600.04/3613.63	c clausal propagations 22615462
3600.04/3613.63	c cardinality propagations 420670
3600.04/3613.63	c watched propagations 94245
3600.04/3613.63	c counting propagations 55068729
3600.04/3613.63	c watch lookups 9298678806
3600.04/3613.63	c watch backjump lookups 0
3600.04/3613.63	c watch checks 5893012848
3600.04/3613.63	c propagation checks 77570673517
3600.04/3613.63	c constraint additions 3944036029
3600.04/3613.63	c trail pops 91763193
3600.04/3613.63	c formula constraints 656900
3600.04/3613.63	c learned constraints 308841
3600.04/3613.63	c bound constraints 226
3600.04/3613.63	c core-guided constraints 1262
3600.04/3613.63	c encountered formula constraints 3526266
3600.04/3613.63	c encountered learned constraints 1841453
3600.04/3613.63	c encountered bound constraints 6652
3600.04/3613.63	c encountered core-guided constraints 943066
3600.04/3613.63	c LP total time 2147.47 s
3600.04/3613.63	c LP solve time 1911.41 s
3600.04/3613.63	c LP constraints added 656947
3600.04/3613.63	c LP constraints removed 22
3600.04/3613.63	c LP pivots internal 309677
3600.04/3613.63	c LP pivots root 232904
3600.04/3613.63	c LP calls 3171
3600.04/3613.63	c LP optimalities 188
3600.04/3613.63	c LP no pivot count 15
3600.04/3613.63	c LP infeasibilities 2936
3600.04/3613.63	c LP valid Farkas constraints 2930
3600.04/3613.63	c LP learned Farkas constraints 335
3600.04/3613.63	c LP basis resets 48
3600.04/3613.63	c LP cycling count 23
3600.04/3613.63	c LP singular count 10
3600.04/3613.63	c LP no primal count 0
3600.04/3613.63	c LP no farkas count 6
3600.04/3613.63	c LP other issue count 9
3600.04/3613.63	c LP Gomory cuts 22
3600.04/3613.63	c LP learned cuts 25
3600.04/3613.63	c LP deleted cuts 22
3600.04/3613.63	c LP encountered Gomory constraints 611
3600.04/3613.63	c LP encountered Farkas constraints 28812
3600.04/3613.63	c LP encountered learned Farkas constraints 481
3600.04/3613.63	c CG auxiliary variables introduced 442
3600.04/3613.63	c CG solutions found 162
3600.04/3613.63	c CG cores constructed 64
3600.04/3613.63	c CG core cardinality constraints returned 0
3600.04/3613.63	c CG unit cores 0
3600.04/3613.63	c CG single cores 63
3600.04/3613.63	c CG blocks removed during cardinality reduction 0
3600.04/3613.63	c CG first core best 0
3600.04/3613.63	c CG decision core best 0
3600.04/3613.63	c CG core reduction tie 1
3600.04/3613.63	c CG core degree average 1.00
3600.04/3613.63	c CG core slack average 815.86
3600.04/3613.63	c CG core upper bound improvements 46
3600.04/3613.63	c STR number of successful calls 0
3600.04/3613.63	c STR number of unsuccessful calls 0
3600.04/3613.63	c STR number of inconclusive calls 0
3600.04/3613.63	c STR number of successful attempts 0
3600.04/3613.63	c STR number of unsuccessful attempts 0
3600.04/3613.63	c STR number of inconclusive attempts 0
3600.04/3613.63	c STR average degree increase per successful call inf
3600.04/3613.63	c STR average degree increase per successful attempt inf
3600.04/3613.63	c STR total number of conflicts for successful attempts 0
3600.04/3613.63	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3613.63	c STR total number of conflicts for inconclusive attempts 0
3600.04/3613.63	c STR average number of conflicts per successful attempt inf
3600.04/3613.63	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3613.63	c STR average number of conflicts per inconclusive attempt inf
3600.04/3613.63	c AVG.sumWPerc 89.13 
3600.04/3613.63	c bigint constraints 0 
3600.04/3613.63	o 373
3600.04/3613.63	s SATISFIABLE
3600.04/3613.63	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.04/3613.63	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: 63708 MiB (61963 MiB free)
  memory of node 1: 64465 MiB (21006 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489603-1751357804/watcher-4489603-1751357804 -o /tmp/evaluation-result-4489603-1751357804/solver-4489603-1751357804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751350557-51305 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489603-1751357804.opb PROOFDIR/proof-4489603-1751357804 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB

solver pid=52122, runsolver pid=52119

[startup+0.100059 s]*
/proc/loadavg: 4.04 4.14 4.11 7/270 52124
/proc/meminfo: memFree=84828120/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51459865 4292608 736 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 736 672 219 0 110 0
[pid=52124] ppid=52122 vsize=163008 memory=146068 CPUtime=0.06 cores=1,3
/proc/52124/stat : 52124 (pbsuma) R 52122 52122 51293 0 -1 4194304 3818 0 0 0 4 2 0 0 20 0 1 0 51459867 166920192 36517 18446744073709551615 4210688 4653049 140732193030432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 29290496 140732193036515 140732193036850 140732193036850 140732193042415 0
/proc/52124/statm: 40752 36517 960 108 0 38160 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 167200 KiB
Current children cumulated memory: 149012 KiB

[startup+0.20575 s]*
/proc/loadavg: 4.04 4.14 4.11 4/270 52124
/proc/meminfo: memFree=84802740/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51459865 4292608 736 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 736 672 219 0 110 0
[pid=52124] ppid=52122 vsize=180656 memory=166468 CPUtime=0.17 cores=1,3
/proc/52124/stat : 52124 (pbsuma) R 52122 52122 51293 0 -1 4194304 8579 0 0 0 14 3 0 0 20 0 1 0 51459867 184991744 41617 18446744073709551615 4210688 4653049 140732193030432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 29290496 140732193036515 140732193036850 140732193036850 140732193042415 0
/proc/52124/statm: 45164 41617 960 108 0 42572 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184848 KiB
Current children cumulated memory: 169412 KiB

[startup+0.305877 s]*
/proc/loadavg: 4.04 4.14 4.11 4/270 52124
/proc/meminfo: memFree=84780028/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51459865 4292608 736 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 736 672 219 0 110 0
[pid=52124] ppid=52122 vsize=194652 memory=180924 CPUtime=0.28 cores=1,3
/proc/52124/stat : 52124 (pbsuma) R 52122 52122 51293 0 -1 4194304 11694 0 0 0 24 4 0 0 20 0 1 0 51459867 199323648 45231 18446744073709551615 4210688 4653049 140732193030432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 29290496 140732193036515 140732193036850 140732193036850 140732193042415 0
/proc/52124/statm: 48663 45231 960 108 0 46071 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198844 KiB
Current children cumulated memory: 183868 KiB

[startup+0.700186 s]
/proc/loadavg: 4.04 4.14 4.11 6/270 52124
/proc/meminfo: memFree=84696768/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51459865 4292608 736 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 736 672 219 0 110 0
[pid=52124] ppid=52122 vsize=324500 memory=277072 CPUtime=0.65 cores=1,3
/proc/52124/stat : 52124 (pbsuma) R 52122 52122 51293 0 -1 4194304 26573 0 0 0 56 9 0 0 20 0 1 0 51459867 332288000 69268 18446744073709551615 4210688 4653049 140732193030432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 29290496 140732193036515 140732193036850 140732193036850 140732193042415 0
/proc/52124/statm: 81125 69268 1024 108 0 78533 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 328692 KiB
Current children cumulated memory: 280016 KiB

[startup+1.50018 s]
/proc/loadavg: 4.04 4.14 4.11 4/270 52125
/proc/meminfo: memFree=84805768/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=79844 memory=36164 CPUtime=0.57 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 7098 0 0 0 45 12 0 0 20 0 1 0 51459954 81760256 9041 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 19961 9041 1920 1147 0 7388 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 84036 KiB
Current children cumulated memory: 39236 KiB

[startup+3.10543 s]
/proc/loadavg: 4.04 4.14 4.11 5/270 52139
/proc/meminfo: memFree=86696976/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=176100 memory=121876 CPUtime=2.17 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 24529 0 0 0 172 45 0 0 20 0 1 0 51459954 180326400 30469 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 44025 30469 2208 1147 0 31452 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 180292 KiB
Current children cumulated memory: 124948 KiB

[startup+6.3002 s]
/proc/loadavg: 4.03 4.14 4.11 5/267 52152
/proc/meminfo: memFree=118255692/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=935388 memory=678040 CPUtime=5.36 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 55684 0 0 0 464 72 0 0 20 0 1 0 51459954 957837312 169510 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 233847 169510 2304 1147 0 221274 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 939580 KiB
Current children cumulated memory: 681112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.14 4.11 5/273 52173
/proc/meminfo: memFree=125371724/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=1103260 memory=780384 CPUtime=11.74 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 62341 0 0 0 1082 92 0 0 20 0 1 0 51459954 1129738240 195096 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 275815 195096 2368 1147 0 263242 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 1107452 KiB
Current children cumulated memory: 783456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.15 4.11 5/274 52174
/proc/meminfo: memFree=124522060/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=1195956 memory=876312 CPUtime=24.5 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 73348 0 0 0 2318 132 0 0 20 0 1 0 51459954 1224658944 219078 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 298989 219078 2400 1147 0 286416 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1200148 KiB
Current children cumulated memory: 879384 KiB

[startup+51.1058 s]
/proc/loadavg: 4.06 4.13 4.11 5/274 52175
/proc/meminfo: memFree=123435172/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=1339516 memory=989172 CPUtime=50.04 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 88817 0 0 0 4837 167 0 0 20 0 1 0 51459954 1371664384 247293 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 334879 247293 2400 1147 0 322306 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1343708 KiB
Current children cumulated memory: 992244 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/274 52178
/proc/meminfo: memFree=120803840/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=1758720 memory=1403332 CPUtime=100.84 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 141189 0 0 0 9846 238 0 0 20 0 1 0 51459954 1800929280 350833 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 439680 350833 2400 1147 0 427107 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 1762912 KiB
Current children cumulated memory: 1406404 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/274 52179
/proc/meminfo: memFree=118630316/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=1964912 memory=1558608 CPUtime=160.54 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 157533 0 0 0 15783 271 0 0 20 0 1 0 51459954 2012069888 389652 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 491228 389652 2400 1147 0 478655 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 1969104 KiB
Current children cumulated memory: 1561680 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/274 52181
/proc/meminfo: memFree=117114424/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=1996328 memory=1595616 CPUtime=220.36 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 163894 0 0 0 21710 326 0 0 20 0 1 0 51459954 2044239872 398904 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 499082 398904 2400 1147 0 486509 0

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

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/275 52366
/proc/meminfo: memFree=6588124/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=4239104 memory=3323588 CPUtime=3269 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 419819 0 0 0 324186 2714 0 0 20 0 1 0 51459954 4340842496 830897 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1059776 830897 2528 1147 0 1047203 0
Current children cumulated CPU time: 3269.84 s
Current children cumulated vsize: 4243296 KiB
Current children cumulated memory: 3326660 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/275 52368
/proc/meminfo: memFree=4956356/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=4202360 memory=3286844 CPUtime=3328.83 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 422746 0 0 0 330067 2816 0 0 20 0 1 0 51459954 4303216640 821711 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1050590 821711 2528 1147 0 1038017 0
Current children cumulated CPU time: 3329.67 s
Current children cumulated vsize: 4206552 KiB
Current children cumulated memory: 3289916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/276 52377
/proc/meminfo: memFree=2206128/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=4255884 memory=3340368 CPUtime=3388.64 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 425231 0 0 0 335964 2900 0 0 20 0 1 0 51459954 4358025216 835092 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1063971 835092 2528 1147 0 1051398 0
Current children cumulated CPU time: 3389.48 s
Current children cumulated vsize: 4260076 KiB
Current children cumulated memory: 3343440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.43 4.22 4.16 5/276 52379
/proc/meminfo: memFree=722528/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=4255884 memory=3340368 CPUtime=3448.44 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 427709 0 0 0 341847 2997 0 0 20 0 1 0 51459954 4358025216 835092 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1063971 835092 2528 1147 0 1051398 0
Current children cumulated CPU time: 3449.28 s
Current children cumulated vsize: 4260076 KiB
Current children cumulated memory: 3343440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.15 5/275 52381
/proc/meminfo: memFree=519320/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=4255884 memory=3340368 CPUtime=3508.25 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 429607 0 0 0 347733 3092 0 0 20 0 1 0 51459954 4358025216 835092 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1063971 835092 2528 1147 0 1051398 0
Current children cumulated CPU time: 3509.09 s
Current children cumulated vsize: 4260076 KiB
Current children cumulated memory: 3343440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/273 52383
/proc/meminfo: memFree=648360/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=4270796 memory=3355224 CPUtime=3568.02 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 430817 0 0 0 353607 3195 0 0 20 0 1 0 51459954 4373295104 838806 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1067699 838806 2528 1147 0 1055126 0
Current children cumulated CPU time: 3568.86 s
Current children cumulated vsize: 4274988 KiB
Current children cumulated memory: 3358296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.6 s]
/proc/loadavg: 4.07 4.15 4.14 4/272 52402
/proc/meminfo: memFree=5606020/131250000 swapFree=33009904/33010684
[pid=52122] ppid=52119 vsize=4192 memory=3072 CPUtime=0.84 cores=1,3
/proc/52122/stat : 52122 (run-opt-break-l) S 52119 52122 51293 0 -1 4194304 242 29742 0 0 0 0 73 11 20 0 1 0 51459865 4292608 768 18446744073709551615 94246814937088 94246815831621 140736542324784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246816070672 94246816118416 94246829862912 140736542329109 140736542329310 140736542329310 140736542334912 0
/proc/52122/statm: 1048 768 704 219 0 110 0
[pid=52125] ppid=52122 vsize=4270796 memory=3355224 CPUtime=3599.2 cores=1,3
/proc/52125/stat : 52125 (roundingsat) R 52122 52122 51293 0 -1 4194304 431054 0 0 0 356670 3250 0 0 20 0 1 0 51459954 4373295104 838806 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1067699 838806 2528 1147 0 1055126 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4274988 KiB
Current children cumulated memory: 3358296 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.742942 s, system=0.111631 s

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.15 4.17 4.15 2/267 52414
/proc/meminfo: memFree=5564132/131250000 swapFree=33009904/33010684
[pid=52125] ppid=52119 vsize=4270796 memory=3355352 CPUtime=3599.74 cores=1,3
/proc/52125/stat : 52125 (roundingsat) D 52119 52122 51293 0 -1 4194304 431055 0 2 0 356673 3301 0 0 20 0 1 0 51459954 4373295104 838838 18446744073709551615 4227072 8923433 140725542125616 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 9
/proc/52125/statm: 1067699 838838 2560 1147 0 1055126 0
??? kill 52125 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3567.52 s, system=33.5366 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+3614.4 s]
/proc/loadavg: 4.07 4.15 4.14 4/271 52402
/proc/meminfo: memFree=5561952/131250000 swapFree=33009904/33010684
[pid=52125] ppid=52119 vsize=4270796 memory=3355352 CPUtime=3599.7 cores=1,3
/proc/52125/stat : 52125 (roundingsat) D 52119 52122 51293 0 -1 4194304 431055 0 2 0 356671 3299 0 0 20 0 1 0 51459954 4373295104 838838 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1067699 838838 2560 1147 0 1055126 0
Current cumulated CPU time of completed processes: 0.854573 s
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 4270796 KiB
Current children cumulated memory: 3355352 KiB

[startup+3615.2 s]
/proc/loadavg: 4.07 4.15 4.14 2/267 52414
/proc/meminfo: memFree=5556292/131250000 swapFree=33009904/33010684
[pid=52125] ppid=52119 vsize=4270796 memory=3355352 CPUtime=3599.72 cores=1,3
/proc/52125/stat : 52125 (roundingsat) D 52119 52122 51293 0 -1 4194304 431055 0 2 0 356672 3300 0 0 20 0 1 0 51459954 4373295104 838838 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1067699 838838 2560 1147 0 1055126 0
Current cumulated CPU time of completed processes: 0.854573 s
Current children cumulated CPU time: 3599.72 s
Current children cumulated vsize: 4270796 KiB
Current children cumulated memory: 3355352 KiB

[startup+3615.6 s]
/proc/loadavg: 4.07 4.15 4.14 2/267 52414
/proc/meminfo: memFree=5556292/131250000 swapFree=33009904/33010684
[pid=52125] ppid=52119 vsize=4270796 memory=3355352 CPUtime=3599.74 cores=1,3
/proc/52125/stat : 52125 (roundingsat) D 52119 52122 51293 0 -1 4194304 431055 0 2 0 356673 3301 0 0 20 0 1 0 51459954 4373295104 838838 18446744073709551615 4227072 8923433 140725542125616 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 35745792 140725542127892 140725542128168 140725542128168 140725542133738 0
/proc/52125/statm: 1067699 838838 2560 1147 0 1055126 0
Current cumulated CPU time of completed processes: 0.854573 s
Current children cumulated CPU time: 3599.74 s
Current children cumulated vsize: 4270796 KiB
Current children cumulated memory: 3355352 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3620.55
CPU time (s): 3601.05
CPU user time (s): 3567.52
CPU system time (s): 33.5366
CPU usage (%): 99.4615
Max. virtual memory (cumulated for all children) (KiB): 4300068
Max. memory (cumulated for all children) (KiB): 3383324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.52
system time used= 33.5366
maximum resident set size= 3388248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461039
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 58266208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110708
involuntary context switches= 4598


# summary of solver processes directly reported to runsolver:
#   pid: 52122,52125
#   total CPU time (s): 3601.05
#   total CPU user time (s): 3567.52
#   total CPU system time (s): 33.5366

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4893 second user time and 13.2568 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-01 10:16:44
IDJOB=4489603
IDBENCH=147558
IDSOLVER=3360
FILE ID=nodeC033/4489603-1751357804
RUNJOBID= nodeC033-1751350557-51305
SLURM_JOB_ID= 9598139
Free space on /tmp= 432340 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4489603-1751357804/watcher-4489603-1751357804 -o /tmp/evaluation-result-4489603-1751357804/solver-4489603-1751357804 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751350557-51305 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489603-1751357804.opb PROOFDIR/proof-4489603-1751357804

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=420367292

nodeC033 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		: 3600.104
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        84959840 kB
MemAvailable:   126164492 kB
Buffers:            2128 kB
Cached:         41959328 kB
SwapCached:           68 kB
Active:          3387652 kB
Inactive:       41781908 kB
Active(anon):    3201628 kB
Inactive(anon):    24524 kB
Active(file):     186024 kB
Inactive(file): 41757384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            103732 kB
Writeback:       6987616 kB
AnonPages:       3209700 kB
Mapped:           116300 kB
Shmem:             18028 kB
KReclaimable:     200964 kB
Slab:             522780 kB
SReclaimable:     200964 kB
SUnreclaim:       321816 kB
KernelStack:        4336 kB
PageTables:         9584 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4115948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2914304 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432356 MiB
End job on nodeC033 at 2025-07-01 11:17:05