Trace number 4489692

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22adSAT (TO)351 3600.17 3611.6

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMac2beb72083c40d036c40a53754bf1b9
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 benchmark255
Best CPU time to get the best result obtained on this benchmark30252.2
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 494728
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 494728
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4489692-1751363764.opb'
0.28/0.34	c 	read 17.23MB  (325.09ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.67/0.73	c	 [group: #orbits ~= 0] (386.85ms)
0.67/0.73	c 
0.67/0.73	c detect special group actions
0.67/0.73	c 	probe for Johnson action (limit=64)
0.67/0.73	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.74	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.75	c 	 (18.90ms)
0.67/0.75	c 
0.67/0.75	c detect symmetries on remainder
0.67/0.75	c 	[graph: #vertices 706711 #edges 2766420]
0.67/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.77/0.80	c 	 [group: #symmetries 1.00*10^0 #generators 0] (52.70ms)
0.77/0.80	c 
0.77/0.80	c finalize break order and special generators
0.77/0.80	c 
0.77/0.80	c generation finished
0.77/0.80	c 	[sbp: #constraints 0 #add_vars 0]
0.77/0.80	c 
0.77/0.80	c write result to 'HOME/instance-4489692-1751363764.opb.pre'
0.77/0.84	c 	wrote 17.23MB (35.68ms)
0.77/0.84	c ------------------------------------------------------------------
0.77/0.84	c                 386.85ms 47.06% approx_orbits
0.77/0.84	c                 325.09ms 39.55% parse
0.77/0.84	c                  52.70ms  6.41% detect_generic
0.77/0.84	c                  35.68ms  4.34% output
0.77/0.84	c                  18.90ms  2.30% detect_special
0.77/0.84	c                   2.37ms  0.29% other
0.77/0.84	c                   0.38ms  0.05% finalize_order
0.77/0.84	c         ───────────────────────────────────────────────
0.77/0.84	c                 821.97ms   100% total
0.77/0.84	c ------------------------------------------------------------------
0.87/0.98	c RoundingSat 2
0.87/0.98	c branch pb25
0.87/0.98	c commit 63f22ad
3.44/3.59	c #variables 10000 #constraints 656900
3.44/3.59	c objective is ce32 
4.33/4.47	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.33/4.47	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.33/4.47	c bounds 5439 >= 0 @ 2.79648
6.52/6.62	c rational objective 197.264
10.42/10.58	c bounds 5413 >= 0 @ 8.77945
10.42/10.59	c bounds 5391 >= 0 @ 8.78658
10.52/10.60	c bounds 5349 >= 0 @ 8.79397
10.52/10.61	c bounds 5158 >= 0 @ 8.79734
10.52/10.61	c bounds 4993 >= 0 @ 8.8006
10.52/10.62	c bounds 4992 >= 0 @ 8.80434
10.52/10.63	c bounds 4982 >= 0 @ 8.80863
10.52/10.63	c bounds 4974 >= 0 @ 8.81344
10.52/10.64	c bounds 4890 >= 0 @ 8.81793
10.52/10.65	c bounds 4879 >= 0 @ 8.82159
10.52/10.65	c bounds 4809 >= 0 @ 8.82625
10.52/10.68	c bounds 4788 >= 0 @ 8.85069
10.52/10.69	c bounds 4775 >= 0 @ 8.85332
10.62/10.70	c bounds 4749 >= 0 @ 8.86526
10.72/10.83	c bounds 4723 >= 0 @ 9.00169
10.72/10.84	c bounds 4716 >= 0 @ 9.0079
10.72/10.86	c bounds 4711 >= 0 @ 9.02761
10.72/10.89	c bounds 4675 >= 0 @ 9.05838
10.82/10.91	c bounds 4651 >= 0 @ 9.07051
10.82/10.94	c bounds 4634 >= 0 @ 9.09879
10.82/10.98	c bounds 4626 >= 0 @ 9.13755
10.82/10.99	c bounds 4481 >= 0 @ 9.14152
10.92/11.00	c bounds 4471 >= 0 @ 9.15823
10.92/11.05	c bounds 4441 >= 0 @ 9.20394
10.92/11.07	c bounds 4416 >= 0 @ 9.2207
10.92/11.08	c bounds 4374 >= 0 @ 9.22817
10.92/11.08	c bounds 4164 >= 0 @ 9.2344
10.92/11.09	c bounds 3896 >= 0 @ 9.23934
10.92/11.10	c bounds 3890 >= 0 @ 9.24277
11.02/11.10	c bounds 3836 >= 0 @ 9.24792
11.02/11.11	c bounds 3825 >= 0 @ 9.25777
11.02/11.12	c bounds 3601 >= 0 @ 9.26407
11.32/11.45	c bounds 3585 >= 0 @ 9.5814
11.52/11.67	c bounds 3575 >= 0 @ 9.7988
11.52/11.68	c bounds 3573 >= 0 @ 9.80829
11.62/11.70	c bounds 3548 >= 0 @ 9.8232
11.71/11.89	c bounds 3542 >= 0 @ 10.0104
11.81/11.90	c bounds 3497 >= 0 @ 10.024
11.81/11.93	c bounds 3482 >= 0 @ 10.0492
11.81/11.94	c bounds 3480 >= 0 @ 10.0559
11.92/12.05	c bounds 3444 >= 0 @ 10.1606
11.92/12.07	c bounds 3435 >= 0 @ 10.1817
11.92/12.08	c bounds 3427 >= 0 @ 10.1888
12.02/12.16	c bounds 3422 >= 0 @ 10.2661
12.11/12.27	c bounds 3397 >= 0 @ 10.3779
12.11/12.28	c bounds 3361 >= 0 @ 10.3864
12.22/12.37	c bounds 3326 >= 0 @ 10.4762
12.22/12.38	c bounds 3179 >= 0 @ 10.4816
12.31/12.48	c bounds 3175 >= 0 @ 10.5788
12.31/12.49	c bounds 3152 >= 0 @ 10.5868
12.41/12.50	c bounds 3151 >= 0 @ 10.5929
12.41/12.52	c bounds 3134 >= 0 @ 10.6144
12.41/12.53	c bounds 3133 >= 0 @ 10.622
12.41/12.55	c bounds 3095 >= 0 @ 10.6382
12.41/12.56	c bounds 3048 >= 0 @ 10.6473
12.41/12.57	c bounds 2988 >= 0 @ 10.6538
12.41/12.58	c bounds 2940 >= 0 @ 10.6633
12.41/12.59	c bounds 2915 >= 0 @ 10.6684
12.61/12.71	c bounds 2908 >= 0 @ 10.7841
12.61/12.72	c bounds 2891 >= 0 @ 10.794
12.61/12.73	c bounds 2846 >= 0 @ 10.8041
12.61/12.74	c bounds 2811 >= 0 @ 10.8086
12.61/12.76	c bounds 2809 >= 0 @ 10.8208
12.61/12.77	c bounds 2775 >= 0 @ 10.8292
12.61/12.79	c bounds 2762 >= 0 @ 10.8473
12.71/12.89	c bounds 2749 >= 0 @ 10.9474
12.82/12.91	c bounds 2746 >= 0 @ 10.9599
12.82/12.92	c bounds 2717 >= 0 @ 10.9726
12.82/12.94	c bounds 2713 >= 0 @ 10.9845
12.82/12.95	c bounds 2596 >= 0 @ 10.9889
12.82/12.96	c bounds 2555 >= 0 @ 10.9969
12.92/13.06	c bounds 2550 >= 0 @ 11.0984
12.92/13.08	c bounds 2548 >= 0 @ 11.1108
12.92/13.09	c bounds 2531 >= 0 @ 11.1202
13.01/13.18	c bounds 2492 >= 0 @ 11.2006
13.21/13.31	c bounds 2464 >= 0 @ 11.3335
13.21/13.32	c bounds 2462 >= 0 @ 11.3406
13.21/13.35	c bounds 2430 >= 0 @ 11.3676
13.21/13.37	c bounds 2426 >= 0 @ 11.3863
13.21/13.39	c bounds 2388 >= 0 @ 11.3972
13.31/13.48	c bounds 2366 >= 0 @ 11.4867
13.41/13.50	c bounds 2364 >= 0 @ 11.507
13.60/13.70	c bounds 2355 >= 0 @ 11.7037
14.31/14.41	c bounds 2354 >= 0 @ 12.4021
14.51/14.60	c bounds 2343 >= 0 @ 12.587
15.11/15.28	c bounds 2342 >= 0 @ 13.2536
15.11/15.29	c bounds 2298 >= 0 @ 13.2634
15.60/15.78	c bounds 2284 >= 0 @ 13.7428
15.80/15.95	c bounds 2269 >= 0 @ 13.9109
15.80/15.96	c bounds 2268 >= 0 @ 13.9178
15.80/15.97	c bounds 2226 >= 0 @ 13.9252
16.00/16.11	c bounds 2185 >= 0 @ 14.0538
16.00/16.12	c bounds 2182 >= 0 @ 14.064
16.00/16.14	c bounds 2162 >= 0 @ 14.0789
16.00/16.15	c bounds 2161 >= 0 @ 14.0935
16.00/16.17	c bounds 2112 >= 0 @ 14.1026
16.00/16.18	c bounds 2086 >= 0 @ 14.1155
16.10/16.28	c bounds 2080 >= 0 @ 14.2048
16.10/16.29	c bounds 2068 >= 0 @ 14.2151
16.20/16.31	c bounds 2054 >= 0 @ 14.2269
16.30/16.41	c bounds 2042 >= 0 @ 14.3255
16.30/16.42	c bounds 2037 >= 0 @ 14.3345
16.30/16.43	c bounds 2027 >= 0 @ 14.3403
16.30/16.44	c bounds 1958 >= 0 @ 14.3482
16.30/16.46	c bounds 1948 >= 0 @ 14.3603
16.40/16.56	c bounds 1938 >= 0 @ 14.4557
16.50/16.67	c bounds 1927 >= 0 @ 14.5605
16.50/16.68	c bounds 1926 >= 0 @ 14.5689
16.50/16.69	c bounds 1905 >= 0 @ 14.5758
16.60/16.70	c bounds 1892 >= 0 @ 14.5909
16.60/16.72	c bounds 1891 >= 0 @ 14.5982
16.80/16.92	c bounds 1869 >= 0 @ 14.7953
16.80/16.93	c bounds 1830 >= 0 @ 14.8029
16.80/16.94	c bounds 1792 >= 0 @ 14.8089
16.90/17.05	c bounds 1789 >= 0 @ 14.9115
16.90/17.08	c bounds 1787 >= 0 @ 14.9356
17.00/17.19	c bounds 1765 >= 0 @ 15.0495
17.10/17.21	c bounds 1753 >= 0 @ 15.0616
17.10/17.22	c bounds 1719 >= 0 @ 15.0691
17.10/17.24	c bounds 1717 >= 0 @ 15.0792
17.20/17.34	c bounds 1710 >= 0 @ 15.1778
17.30/17.46	c bounds 1689 >= 0 @ 15.2915
17.50/17.68	c #Conflicts:       1000 | #Constraints:     658060
17.50/17.68	c bounds 1668 >= 0 @ 15.5042
17.60/17.70	c bounds 1667 >= 0 @ 15.5258
17.69/17.81	c bounds 1644 >= 0 @ 15.6319
17.69/17.83	c bounds 1586 >= 0 @ 15.6397
17.69/17.84	c bounds 1504 >= 0 @ 15.6481
18.09/18.26	c bounds 1496 >= 0 @ 16.0619
18.09/18.27	c bounds 1386 >= 0 @ 16.0695
18.09/18.29	c bounds 1310 >= 0 @ 16.076
18.20/18.30	c bounds 1282 >= 0 @ 16.0881
18.90/19.02	c bounds 1273 >= 0 @ 16.776
18.90/19.05	c bounds 1267 >= 0 @ 16.7975
18.99/19.14	c bounds 1265 >= 0 @ 16.8804
18.99/19.15	c bounds 1258 >= 0 @ 16.8927
18.99/19.16	c bounds 1257 >= 0 @ 16.8994
19.09/19.25	c bounds 1253 >= 0 @ 16.9833
19.09/19.26	c bounds 1252 >= 0 @ 16.9927
19.59/19.71	c bounds 1250 >= 0 @ 17.4276
20.29/20.42	c bounds 1243 >= 0 @ 18.109
20.29/20.43	c bounds 1242 >= 0 @ 18.1174
20.29/20.44	c bounds 1236 >= 0 @ 18.1323
20.39/20.54	c bounds 1229 >= 0 @ 18.2303
20.49/20.69	c bounds 1221 >= 0 @ 18.3689
20.59/20.70	c bounds 1215 >= 0 @ 18.3767
20.68/20.80	c bounds 1212 >= 0 @ 18.471
20.79/20.92	c bounds 1189 >= 0 @ 18.5883
20.79/20.94	c bounds 1125 >= 0 @ 18.6041
20.89/21.07	c bounds 1027 >= 0 @ 18.7206
20.99/21.10	c bounds 908 >= 0 @ 18.7478
20.99/21.12	c bounds 907 >= 0 @ 18.7585
20.99/21.13	c bounds 891 >= 0 @ 18.7711
20.99/21.16	c bounds 868 >= 0 @ 18.7949
20.99/21.17	c bounds 864 >= 0 @ 18.805
21.09/21.21	c bounds 855 >= 0 @ 18.8298
21.09/21.27	c bounds 837 >= 0 @ 18.8924
21.19/21.30	c bounds 830 >= 0 @ 18.9158
21.19/21.31	c bounds 827 >= 0 @ 18.9241
21.19/21.33	c bounds 825 >= 0 @ 18.9427
23.28/23.44	c #Conflicts:       2000 | #Constraints:     659106
23.28/23.44	c INPROCESSING
23.28/23.44	c GARBAGE COLLECT
23.28/23.44	c bounds 817 >= 0 @ 21.023
23.38/23.52	c bounds 734 >= 0 @ 21.1004
23.38/23.54	c bounds 731 >= 0 @ 21.1139
23.38/23.55	c bounds 730 >= 0 @ 21.1217
23.38/23.56	c bounds 725 >= 0 @ 21.1323
23.98/24.18	c bounds 716 >= 0 @ 21.7472
24.08/24.20	c bounds 682 >= 0 @ 21.7616
26.06/26.23	c #Conflicts:       3000 | #Constraints:     658935
26.06/26.23	c bounds 659 >= 0 @ 23.7551
26.37/26.58	c bounds 537 >= 0 @ 24.0796
26.37/26.60	c bounds 537 >= 9 @ 24.086
29.86/30.04	c #Conflicts:       4000 | #Constraints:     659940
29.86/30.04	c INPROCESSING
29.86/30.04	c bounds 513 >= 9 @ 27.4808
34.44/34.68	c #Conflicts:       5000 | #Constraints:     659332
34.44/34.68	c #Conflicts:       6000 | #Constraints:     660332
34.44/34.68	c bounds 458 >= 9 @ 32.0309
34.44/34.69	c bounds 457 >= 9 @ 32.036
39.33/39.51	c INPROCESSING
39.33/39.51	c GARBAGE COLLECT
39.33/39.51	c rational objective 199.794
42.82/43.05	c bounds 455 >= 9 @ 40.3522
42.82/43.07	c bounds 450 >= 9 @ 40.3642
46.31/46.54	c #Conflicts:       7000 | #Constraints:     659334
46.31/46.54	c bounds 449 >= 9 @ 43.8061
65.55/65.88	c #Conflicts:       8000 | #Constraints:     660347
65.55/65.88	c #Conflicts:       9000 | #Constraints:     661347
65.55/65.88	c INPROCESSING
65.55/65.88	c GARBAGE COLLECT
65.55/65.88	c #Conflicts:      10000 | #Constraints:     660030
65.55/65.88	c #Conflicts:      11000 | #Constraints:     661030
65.55/65.88	c #Conflicts:      12000 | #Constraints:     662030
65.55/65.88	c INPROCESSING
65.55/65.88	c GARBAGE COLLECT
65.55/65.88	c rational objective 200.794
70.84/71.16	c bounds 448 >= 9 @ 68.1189
80.71/81.09	c #Conflicts:      13000 | #Constraints:     660487
80.71/81.09	c #Conflicts:      14000 | #Constraints:     661487
80.71/81.09	c #Conflicts:      15000 | #Constraints:     662487
80.71/81.09	c INPROCESSING
80.71/81.09	c GARBAGE COLLECT
80.71/81.09	c rational objective 201.875
84.70/85.10	c bounds 446 >= 9 @ 81.9144
85.00/85.32	c bounds 445 >= 9 @ 82.1371
85.89/86.21	c bounds 443 >= 9 @ 83.0097
85.89/86.22	c bounds 443 >= 14 @ 83.0163
85.89/86.23	c bounds 443 >= 19 @ 83.0237
89.28/89.67	c #Conflicts:      16000 | #Constraints:     660724
89.28/89.67	c bounds 443 >= 24 @ 86.4232
97.26/97.67	c #Conflicts:      17000 | #Constraints:     661733
97.26/97.67	c #Conflicts:      18000 | #Constraints:     662733
97.26/97.67	c INPROCESSING
97.26/97.67	c GARBAGE COLLECT
97.26/97.67	c rational objective 202.278
101.65/102.07	c bounds 441 >= 24 @ 98.7456
101.94/102.33	c bounds 440 >= 24 @ 98.9984
101.94/102.34	c bounds 440 >= 28 @ 99.0076
107.34/107.72	c #Conflicts:      19000 | #Constraints:     660755
107.34/107.72	c #Conflicts:      20000 | #Constraints:     661755
107.34/107.72	c bounds 439 >= 28 @ 104.259
107.34/107.73	c bounds 438 >= 28 @ 104.27
107.34/107.76	c bounds 437 >= 28 @ 104.297
107.53/108.00	c bounds 435 >= 28 @ 104.518
107.73/108.14	c bounds 428 >= 28 @ 104.654
107.73/108.18	c bounds 427 >= 28 @ 104.689
107.83/108.21	c bounds 424 >= 28 @ 104.721
107.83/108.23	c bounds 421 >= 28 @ 104.735
107.83/108.24	c bounds 418 >= 28 @ 104.745
107.83/108.29	c bounds 413 >= 28 @ 104.783
107.93/108.31	c bounds 410 >= 28 @ 104.801
151.39/151.99	c #Conflicts:      21000 | #Constraints:     662766
151.39/151.99	c INPROCESSING
151.39/151.99	c #Conflicts:      22000 | #Constraints:     660548
151.39/151.99	c #Conflicts:      23000 | #Constraints:     661548
151.39/151.99	c #Conflicts:      24000 | #Constraints:     662548
151.39/151.99	c #Conflicts:      25000 | #Constraints:     663548
151.39/151.99	c INPROCESSING
151.39/151.99	c GARBAGE COLLECT
151.39/151.99	c #Conflicts:      26000 | #Constraints:     661152
151.39/151.99	c #Conflicts:      27000 | #Constraints:     662152
151.39/151.99	c #Conflicts:      28000 | #Constraints:     663152
151.39/151.99	c #Conflicts:      29000 | #Constraints:     664152
151.39/151.99	c INPROCESSING
151.39/151.99	c GARBAGE COLLECT
151.39/151.99	c rational objective 202.379
156.07/156.69	c bounds 409 >= 28 @ 152.642
159.77/160.36	c bounds 406 >= 28 @ 156.256
159.77/160.37	c bounds 406 >= 30 @ 156.263
159.77/160.39	c bounds 406 >= 32 @ 156.269
159.87/160.41	c bounds 406 >= 34 @ 156.277
159.87/160.42	c bounds 406 >= 36 @ 156.287
159.87/160.44	c bounds 406 >= 38 @ 156.301
166.05/166.60	c bounds 406 >= 40 @ 162.399
166.45/167.00	c bounds 406 >= 42 @ 162.788
170.13/170.77	c #Conflicts:      30000 | #Constraints:     661610
170.13/170.77	c #Conflicts:      31000 | #Constraints:     662610
170.13/170.77	c bounds 406 >= 44 @ 166.478
198.63/199.35	c #Conflicts:      32000 | #Constraints:     663628
198.63/199.35	c #Conflicts:      33000 | #Constraints:     664628
198.63/199.35	c INPROCESSING
198.63/199.35	c GARBAGE COLLECT
198.63/199.35	c rational objective 202.392
223.16/223.90	c #Conflicts:      34000 | #Constraints:     661812
223.16/223.90	c #Conflicts:      35000 | #Constraints:     662812
223.16/223.90	c #Conflicts:      36000 | #Constraints:     663812
223.16/223.90	c #Conflicts:      37000 | #Constraints:     664812
223.16/223.90	c INPROCESSING
223.16/223.90	c GARBAGE COLLECT
223.16/223.90	c rational objective 202.765
235.52/236.35	c #Conflicts:      38000 | #Constraints:     661823
235.52/236.35	c bounds 403 >= 44 @ 231.619
236.12/236.93	c bounds 401 >= 44 @ 232.185
236.42/237.26	c bounds 398 >= 44 @ 232.518
236.62/237.40	c #Conflicts:      39000 | #Constraints:     662843
236.62/237.40	c bounds 396 >= 44 @ 232.649
236.72/237.55	c bounds 395 >= 44 @ 232.798
244.50/245.30	c #Conflicts:      40000 | #Constraints:     663869
244.50/245.30	c bounds 391 >= 44 @ 240.412
244.50/245.32	c bounds 391 >= 45 @ 240.424
244.50/245.33	c bounds 391 >= 46 @ 240.437
244.50/245.35	c bounds 391 >= 47 @ 240.449
244.50/245.37	c bounds 391 >= 48 @ 240.461
244.50/245.39	c bounds 391 >= 49 @ 240.477
244.60/245.41	c bounds 391 >= 50 @ 240.495
244.60/245.44	c bounds 391 >= 51 @ 240.514
244.60/245.46	c bounds 391 >= 52 @ 240.54
244.60/245.49	c bounds 391 >= 53 @ 240.558
244.70/245.52	c bounds 391 >= 54 @ 240.582
244.70/245.55	c bounds 391 >= 55 @ 240.601
244.70/245.58	c bounds 391 >= 56 @ 240.623
244.79/245.61	c bounds 391 >= 57 @ 240.649
244.79/245.65	c bounds 391 >= 58 @ 240.684
244.89/245.72	c bounds 391 >= 59 @ 240.74
244.89/245.76	c bounds 391 >= 60 @ 240.774
244.99/245.81	c bounds 391 >= 61 @ 240.819
244.99/245.85	c bounds 391 >= 62 @ 240.848
247.79/248.66	c bounds 391 >= 63 @ 243.631
247.89/248.78	c bounds 391 >= 64 @ 243.74
248.08/248.95	c bounds 391 >= 65 @ 243.912
248.28/249.18	c bounds 391 >= 66 @ 244.128
248.48/249.39	c bounds 391 >= 67 @ 244.325
248.68/249.50	c bounds 391 >= 68 @ 244.428
248.88/249.78	c bounds 391 >= 69 @ 244.708
249.68/250.59	c bounds 391 >= 70 @ 245.494
250.37/251.27	c #Conflicts:      41000 | #Constraints:     665139
250.37/251.27	c bounds 391 >= 71 @ 246.165
250.78/251.69	c bounds 391 >= 72 @ 246.574
251.07/251.97	c bounds 391 >= 73 @ 246.844
290.14/291.12	c INPROCESSING
290.14/291.12	c GARBAGE COLLECT
290.14/291.12	c rational objective 202.765
295.13/296.19	c bounds 391 >= 74 @ 290.833
302.30/303.32	c #Conflicts:      42000 | #Constraints:     661905
302.30/303.32	c bounds 391 >= 75 @ 297.906
303.30/304.31	c bounds 391 >= 76 @ 298.884
304.59/305.60	c #Conflicts:      43000 | #Constraints:     662965
304.59/305.60	c bounds 391 >= 77 @ 300.16
306.00/307.05	c #Conflicts:      44000 | #Constraints:     663995
306.00/307.05	c bounds 391 >= 78 @ 301.591
316.15/317.21	c #Conflicts:      45000 | #Constraints:     665028
316.15/317.21	c bounds 391 >= 79 @ 311.644
317.85/318.99	c bounds 390 >= 79 @ 313.399
327.03/328.11	c #Conflicts:      46000 | #Constraints:     666068
327.03/328.11	c INPROCESSING
327.03/328.11	c GARBAGE COLLECT
327.03/328.11	c #Conflicts:      47000 | #Constraints:     662562
327.03/328.11	c bounds 390 >= 80 @ 322.404
330.11/331.20	c #Conflicts:      48000 | #Constraints:     663617
330.11/331.20	c #Conflicts:      49000 | #Constraints:     664617
330.11/331.20	c bounds 390 >= 81 @ 325.427
330.51/331.65	c bounds 388 >= 81 @ 325.873
333.11/334.25	c bounds 387 >= 81 @ 328.454
347.55/348.78	c #Conflicts:      50000 | #Constraints:     665660
347.55/348.78	c #Conflicts:      51000 | #Constraints:     666660
347.55/348.78	c INPROCESSING
347.55/348.78	c GARBAGE COLLECT
347.55/348.78	c rational objective 202.765
353.73/354.92	c #Conflicts:      52000 | #Constraints:     662993
353.73/354.92	c bounds 387 >= 82 @ 348.955
364.30/365.58	c #Conflicts:      53000 | #Constraints:     664015
364.30/365.58	c bounds 387 >= 83 @ 359.452
372.38/373.66	c #Conflicts:      54000 | #Constraints:     665069
372.38/373.66	c #Conflicts:      55000 | #Constraints:     666069
372.38/373.66	c bounds 387 >= 84 @ 367.434
437.55/439.01	c #Conflicts:      56000 | #Constraints:     667100
437.55/439.01	c INPROCESSING
437.55/439.01	c GARBAGE COLLECT
437.55/439.01	c rational objective 202.765
460.97/462.57	c #Conflicts:      57000 | #Constraints:     663230
460.97/462.57	c #Conflicts:      58000 | #Constraints:     664232
460.97/462.57	c #Conflicts:      59000 | #Constraints:     665233
460.97/462.57	c bounds 387 >= 85 @ 455.784
461.36/462.95	c bounds 385 >= 85 @ 456.145
463.96/465.51	c bounds 383 >= 85 @ 458.682
468.74/470.35	c #Conflicts:      60000 | #Constraints:     666306
468.74/470.35	c bounds 383 >= 86 @ 463.49
608.06/610.17	c #Conflicts:      61000 | #Constraints:     667333
608.06/610.17	c INPROCESSING
608.06/610.17	c GARBAGE COLLECT
608.06/610.17	c #Conflicts:      62000 | #Constraints:     663267
608.06/610.17	c bounds 383 >= 87 @ 602.64
638.57/640.75	c #Conflicts:      63000 | #Constraints:     664318
638.57/640.75	c #Conflicts:      64000 | #Constraints:     665440
638.57/640.75	c bounds 381 >= 87 @ 633.059
665.38/667.67	c #Conflicts:      65000 | #Constraints:     666645
665.38/667.67	c #Conflicts:      66000 | #Constraints:     667645
665.38/667.67	c INPROCESSING
665.38/667.67	c GARBAGE COLLECT
665.38/667.67	c #Conflicts:      67000 | #Constraints:     663239
665.38/667.67	c #Conflicts:      68000 | #Constraints:     664239
665.38/667.67	c #Conflicts:      69000 | #Constraints:     665239
665.38/667.67	c bounds 381 >= 88 @ 659.64
704.25/706.66	c #Conflicts:      70000 | #Constraints:     666287
704.25/706.66	c #Conflicts:      71000 | #Constraints:     667287
704.25/706.66	c #Conflicts:      72000 | #Constraints:     668287
704.25/706.66	c INPROCESSING
704.25/706.66	c GARBAGE COLLECT
704.25/706.66	c #Conflicts:      73000 | #Constraints:     663762
704.25/706.66	c #Conflicts:      74000 | #Constraints:     664762
704.25/706.66	c #Conflicts:      75000 | #Constraints:     665762
704.25/706.66	c bounds 381 >= 89 @ 698.26
718.91/721.35	c #Conflicts:      76000 | #Constraints:     666813
718.91/721.35	c #Conflicts:      77000 | #Constraints:     667813
718.91/721.35	c #Conflicts:      78000 | #Constraints:     668813
718.91/721.35	c INPROCESSING
718.91/721.35	c GARBAGE COLLECT
718.91/721.35	c rational objective 202.765
735.75/738.20	c #Conflicts:      79000 | #Constraints:     664156
735.75/738.20	c #Conflicts:      80000 | #Constraints:     665156
735.75/738.20	c #Conflicts:      81000 | #Constraints:     666156
735.75/738.20	c bounds 381 >= 90 @ 729.556
756.29/758.84	c #Conflicts:      82000 | #Constraints:     667200
756.29/758.84	c #Conflicts:      83000 | #Constraints:     668200
756.29/758.84	c #Conflicts:      84000 | #Constraints:     669200
756.29/758.84	c INPROCESSING
756.29/758.84	c GARBAGE COLLECT
756.29/758.84	c rational objective 202.765
779.22/781.88	c #Conflicts:      85000 | #Constraints:     664347
779.22/781.88	c #Conflicts:      86000 | #Constraints:     665347
779.22/781.88	c #Conflicts:      87000 | #Constraints:     666347
779.22/781.88	c #Conflicts:      88000 | #Constraints:     667347
779.22/781.88	c bounds 381 >= 91 @ 772.978
889.95/892.90	c #Conflicts:      89000 | #Constraints:     668401
889.95/892.90	c #Conflicts:      90000 | #Constraints:     669401
889.95/892.90	c INPROCESSING
889.95/892.90	c GARBAGE COLLECT
889.95/892.90	c rational objective 202.765
931.32/934.43	c #Conflicts:      91000 | #Constraints:     664370
931.32/934.43	c #Conflicts:      92000 | #Constraints:     665371
931.32/934.43	c #Conflicts:      93000 | #Constraints:     666371
931.32/934.43	c #Conflicts:      94000 | #Constraints:     667371
931.32/934.43	c #Conflicts:      95000 | #Constraints:     668372
931.32/934.43	c #Conflicts:      96000 | #Constraints:     669372
931.32/934.43	c INPROCESSING
931.32/934.43	c GARBAGE COLLECT
931.32/934.43	c rational objective 202.765
1043.06/1046.53	c #Conflicts:      97000 | #Constraints:     664155
1043.06/1046.53	c #Conflicts:      98000 | #Constraints:     665155
1043.06/1046.53	c #Conflicts:      99000 | #Constraints:     666156
1043.06/1046.53	c #Conflicts:     100000 | #Constraints:     667197
1043.06/1046.53	c #Conflicts:     101000 | #Constraints:     668741
1043.06/1046.53	c #Conflicts:     102000 | #Constraints:     670253
1043.06/1046.53	c #Conflicts:     103000 | #Constraints:     671463
1043.06/1046.53	c INPROCESSING
1043.06/1046.53	c GARBAGE COLLECT
1043.06/1046.53	c rational objective 202.765
1076.87/1080.42	c #Conflicts:     104000 | #Constraints:     665427
1076.87/1080.42	c #Conflicts:     105000 | #Constraints:     666427
1076.87/1080.42	c #Conflicts:     106000 | #Constraints:     667427
1076.87/1080.42	c #Conflicts:     107000 | #Constraints:     668427
1076.87/1080.42	c #Conflicts:     108000 | #Constraints:     669428
1076.87/1080.42	c #Conflicts:     109000 | #Constraints:     670428
1076.87/1080.42	c bounds 381 >= 92 @ 1069.89
1133.40/1137.13	c #Conflicts:     110000 | #Constraints:     671481
1133.40/1137.13	c INPROCESSING
1133.40/1137.13	c GARBAGE COLLECT
1133.40/1137.13	c rational objective 202.765
1169.79/1173.69	c #Conflicts:     111000 | #Constraints:     665512
1169.79/1173.69	c #Conflicts:     112000 | #Constraints:     666512
1169.79/1173.69	c #Conflicts:     113000 | #Constraints:     667513
1169.79/1173.69	c #Conflicts:     114000 | #Constraints:     668513
1169.79/1173.69	c #Conflicts:     115000 | #Constraints:     669513
1169.79/1173.69	c #Conflicts:     116000 | #Constraints:     670514
1169.79/1173.69	c #Conflicts:     117000 | #Constraints:     671514
1169.79/1173.69	c INPROCESSING
1169.79/1173.69	c GARBAGE COLLECT
1169.79/1173.69	c rational objective 202.765
1209.87/1213.82	c #Conflicts:     118000 | #Constraints:     665534
1209.87/1213.82	c #Conflicts:     119000 | #Constraints:     666534
1209.87/1213.82	c #Conflicts:     120000 | #Constraints:     667534
1209.87/1213.82	c #Conflicts:     121000 | #Constraints:     668534
1209.87/1213.82	c #Conflicts:     122000 | #Constraints:     669535
1209.87/1213.82	c #Conflicts:     123000 | #Constraints:     670536
1209.87/1213.82	c bounds 381 >= 93 @ 1202.35
1330.36/1334.79	c #Conflicts:     124000 | #Constraints:     671599
1330.36/1334.79	c INPROCESSING
1330.36/1334.79	c GARBAGE COLLECT
1330.36/1334.79	c bounds 380 >= 93 @ 1322.76
1361.58/1366.02	c #Conflicts:     125000 | #Constraints:     665522
1361.58/1366.02	c #Conflicts:     126000 | #Constraints:     666522
1361.58/1366.02	c #Conflicts:     127000 | #Constraints:     667522
1361.58/1366.02	c #Conflicts:     128000 | #Constraints:     668522
1361.58/1366.02	c #Conflicts:     129000 | #Constraints:     669522
1361.58/1366.02	c #Conflicts:     130000 | #Constraints:     670522
1361.58/1366.02	c #Conflicts:     131000 | #Constraints:     671522
1361.58/1366.02	c INPROCESSING
1361.58/1366.02	c GARBAGE COLLECT
1361.58/1366.02	c rational objective 202.765
1402.94/1407.53	c #Conflicts:     132000 | #Constraints:     665244
1402.94/1407.53	c #Conflicts:     133000 | #Constraints:     666700
1402.94/1407.53	c bounds 375 >= 93 @ 1394.9
1595.12/1600.35	c #Conflicts:     134000 | #Constraints:     667763
1595.12/1600.35	c #Conflicts:     135000 | #Constraints:     668763
1595.12/1600.35	c #Conflicts:     136000 | #Constraints:     669763
1595.12/1600.35	c #Conflicts:     137000 | #Constraints:     670764
1595.12/1600.35	c #Conflicts:     138000 | #Constraints:     671765
1595.12/1600.35	c #Conflicts:     139000 | #Constraints:     672765
1595.12/1600.35	c INPROCESSING
1595.12/1600.35	c GARBAGE COLLECT
1595.12/1600.35	c rational objective 202.765
1625.01/1630.37	c #Conflicts:     140000 | #Constraints:     666080
1625.01/1630.37	c #Conflicts:     141000 | #Constraints:     667082
1625.01/1630.37	c #Conflicts:     142000 | #Constraints:     668083
1625.01/1630.37	c bounds 375 >= 94 @ 1616.62
1652.21/1657.69	c #Conflicts:     143000 | #Constraints:     669128
1652.21/1657.69	c #Conflicts:     144000 | #Constraints:     670128
1652.21/1657.69	c #Conflicts:     145000 | #Constraints:     671129
1652.21/1657.69	c #Conflicts:     146000 | #Constraints:     672129
1652.21/1657.69	c #Conflicts:     147000 | #Constraints:     673129
1652.21/1657.69	c INPROCESSING
1652.21/1657.69	c GARBAGE COLLECT
1652.21/1657.69	c rational objective 202.765
1701.66/1707.20	c #Conflicts:     148000 | #Constraints:     666377
1701.66/1707.20	c #Conflicts:     149000 | #Constraints:     667379
1701.66/1707.20	c #Conflicts:     150000 | #Constraints:     668379
1701.66/1707.20	c #Conflicts:     151000 | #Constraints:     669380
1701.66/1707.20	c #Conflicts:     152000 | #Constraints:     670380
1701.66/1707.20	c #Conflicts:     153000 | #Constraints:     671381
1701.66/1707.20	c #Conflicts:     154000 | #Constraints:     672382
1701.66/1707.20	c #Conflicts:     155000 | #Constraints:     673383
1701.66/1707.20	c INPROCESSING
1701.66/1707.20	c GARBAGE COLLECT
1701.66/1707.20	c rational objective 202.765
1706.94/1712.57	c bounds 373 >= 94 @ 1698.17
1709.64/1715.23	c #Conflicts:     156000 | #Constraints:     666489
1709.64/1715.23	c bounds 369 >= 94 @ 1700.8
1724.69/1730.31	c #Conflicts:     157000 | #Constraints:     667490
1724.69/1730.31	c bounds 369 >= 95 @ 1715.74
1755.00/1760.74	c #Conflicts:     158000 | #Constraints:     668544
1755.00/1760.74	c #Conflicts:     159000 | #Constraints:     669544
1755.00/1760.74	c #Conflicts:     160000 | #Constraints:     670544
1755.00/1760.74	c #Conflicts:     161000 | #Constraints:     671544
1755.00/1760.74	c #Conflicts:     162000 | #Constraints:     672544
1755.00/1760.74	c #Conflicts:     163000 | #Constraints:     673544
1755.00/1760.74	c INPROCESSING
1755.00/1760.74	c GARBAGE COLLECT
1755.00/1760.74	c rational objective 202.765
1780.42/1786.24	c #Conflicts:     164000 | #Constraints:     666491
1780.42/1786.24	c #Conflicts:     165000 | #Constraints:     667500
1780.42/1786.24	c bounds 368 >= 95 @ 1771.28
1808.73/1814.64	c #Conflicts:     166000 | #Constraints:     668513
1808.73/1814.64	c #Conflicts:     167000 | #Constraints:     669513
1808.73/1814.64	c #Conflicts:     168000 | #Constraints:     670513
1808.73/1814.64	c #Conflicts:     169000 | #Constraints:     671513
1808.73/1814.64	c #Conflicts:     170000 | #Constraints:     672513
1808.73/1814.64	c #Conflicts:     171000 | #Constraints:     673513
1808.73/1814.64	c bounds 368 >= 96 @ 1799.36
1828.78/1834.74	c INPROCESSING
1828.78/1834.74	c GARBAGE COLLECT
1828.78/1834.74	c rational objective 202.765
1889.40/1895.50	c #Conflicts:     172000 | #Constraints:     666285
1889.40/1895.50	c #Conflicts:     173000 | #Constraints:     667285
1889.40/1895.50	c #Conflicts:     174000 | #Constraints:     668286
1889.40/1895.50	c #Conflicts:     175000 | #Constraints:     669286
1889.40/1895.50	c #Conflicts:     176000 | #Constraints:     670286
1889.40/1895.50	c #Conflicts:     177000 | #Constraints:     671286
1889.40/1895.50	c #Conflicts:     178000 | #Constraints:     672286
1889.40/1895.50	c #Conflicts:     179000 | #Constraints:     673286
1889.40/1895.50	c #Conflicts:     180000 | #Constraints:     674286
1889.40/1895.50	c INPROCESSING
1889.40/1895.50	c GARBAGE COLLECT
1889.40/1895.50	c rational objective 202.765
2003.14/2009.63	c #Conflicts:     181000 | #Constraints:     666874
2003.14/2009.63	c #Conflicts:     182000 | #Constraints:     667874
2003.14/2009.63	c #Conflicts:     183000 | #Constraints:     668874
2003.14/2009.63	c #Conflicts:     184000 | #Constraints:     669875
2003.14/2009.63	c #Conflicts:     185000 | #Constraints:     670875
2003.14/2009.63	c #Conflicts:     186000 | #Constraints:     671876
2003.14/2009.63	c #Conflicts:     187000 | #Constraints:     672878
2003.14/2009.63	c #Conflicts:     188000 | #Constraints:     673878
2003.14/2009.63	c #Conflicts:     189000 | #Constraints:     674880
2003.14/2009.63	c INPROCESSING
2003.14/2009.63	c GARBAGE COLLECT
2003.14/2009.63	c bounds 368 >= 97 @ 1993.14
2208.08/2215.25	c #Conflicts:     190000 | #Constraints:     667331
2208.08/2215.25	c #Conflicts:     191000 | #Constraints:     668331
2208.08/2215.25	c #Conflicts:     192000 | #Constraints:     669331
2208.08/2215.25	c #Conflicts:     193000 | #Constraints:     670331
2208.08/2215.25	c #Conflicts:     194000 | #Constraints:     671331
2208.08/2215.25	c #Conflicts:     195000 | #Constraints:     672331
2208.08/2215.25	c #Conflicts:     196000 | #Constraints:     673331
2208.08/2215.25	c #Conflicts:     197000 | #Constraints:     674331
2208.08/2215.25	c #Conflicts:     198000 | #Constraints:     675331
2208.08/2215.25	c INPROCESSING
2208.08/2215.25	c GARBAGE COLLECT
2208.08/2215.25	c rational objective 202.765
2212.17/2219.34	c bounds 367 >= 97 @ 2201.85
2261.01/2268.35	c #Conflicts:     199000 | #Constraints:     667519
2261.01/2268.35	c #Conflicts:     200000 | #Constraints:     668519
2261.01/2268.35	c #Conflicts:     201000 | #Constraints:     669521
2261.01/2268.35	c #Conflicts:     202000 | #Constraints:     670528
2261.01/2268.35	c #Conflicts:     203000 | #Constraints:     671534
2261.01/2268.35	c #Conflicts:     204000 | #Constraints:     672536
2261.01/2268.35	c #Conflicts:     205000 | #Constraints:     673540
2261.01/2268.35	c bounds 366 >= 97 @ 2250.6
2273.28/2280.62	c #Conflicts:     206000 | #Constraints:     674541
2273.28/2280.62	c #Conflicts:     207000 | #Constraints:     675541
2273.28/2280.62	c INPROCESSING
2273.28/2280.62	c GARBAGE COLLECT
2273.28/2280.62	c rational objective 202.765
2345.66/2353.27	c #Conflicts:     208000 | #Constraints:     667502
2345.66/2353.27	c #Conflicts:     209000 | #Constraints:     668504
2345.66/2353.27	c #Conflicts:     210000 | #Constraints:     669504
2345.66/2353.27	c #Conflicts:     211000 | #Constraints:     670504
2345.66/2353.27	c #Conflicts:     212000 | #Constraints:     671504
2345.66/2353.27	c #Conflicts:     213000 | #Constraints:     672504
2345.66/2353.27	c #Conflicts:     214000 | #Constraints:     673504
2345.66/2353.27	c #Conflicts:     215000 | #Constraints:     674512
2345.66/2353.27	c #Conflicts:     216000 | #Constraints:     675513
2345.66/2353.27	c INPROCESSING
2345.66/2353.27	c GARBAGE COLLECT
2345.66/2353.27	c rational objective 202.765
2355.44/2363.06	c #Conflicts:     217000 | #Constraints:     667290
2355.44/2363.06	c #Conflicts:     218000 | #Constraints:     668290
2355.44/2363.06	c bounds 366 >= 98 @ 2344.78
2396.71/2404.42	c #Conflicts:     219000 | #Constraints:     669356
2396.71/2404.42	c #Conflicts:     220000 | #Constraints:     670356
2396.71/2404.42	c #Conflicts:     221000 | #Constraints:     671357
2396.71/2404.42	c #Conflicts:     222000 | #Constraints:     672357
2396.71/2404.42	c #Conflicts:     223000 | #Constraints:     673357
2396.71/2404.42	c #Conflicts:     224000 | #Constraints:     674358
2396.71/2404.42	c #Conflicts:     225000 | #Constraints:     675359
2396.71/2404.42	c #Conflicts:     226000 | #Constraints:     676359
2396.71/2404.42	c INPROCESSING
2396.71/2404.42	c GARBAGE COLLECT
2396.71/2404.42	c rational objective 202.765
2484.45/2492.45	c #Conflicts:     227000 | #Constraints:     667934
2484.45/2492.45	c #Conflicts:     228000 | #Constraints:     668936
2484.45/2492.45	c #Conflicts:     229000 | #Constraints:     669937
2484.45/2492.45	c #Conflicts:     230000 | #Constraints:     670937
2484.45/2492.45	c #Conflicts:     231000 | #Constraints:     671938
2484.45/2492.45	c #Conflicts:     232000 | #Constraints:     672938
2484.45/2492.45	c #Conflicts:     233000 | #Constraints:     673938
2484.45/2492.45	c #Conflicts:     234000 | #Constraints:     674938
2484.45/2492.45	c #Conflicts:     235000 | #Constraints:     675938
2484.45/2492.45	c bounds 366 >= 99 @ 2473.3
2484.55/2492.51	c bounds 360 >= 99 @ 2473.36
2484.75/2492.72	c bounds 357 >= 99 @ 2473.57
2484.94/2492.97	c bounds 353 >= 99 @ 2473.8
2485.84/2493.82	c bounds 351 >= 99 @ 2474.65
2563.11/2571.34	c #Conflicts:     236000 | #Constraints:     676999
2563.11/2571.34	c INPROCESSING
2563.11/2571.34	c GARBAGE COLLECT
2563.11/2571.34	c rational objective 202.765
2808.27/2817.37	c #Conflicts:     237000 | #Constraints:     668402
2808.27/2817.37	c #Conflicts:     238000 | #Constraints:     669402
2808.27/2817.37	c #Conflicts:     239000 | #Constraints:     670402
2808.27/2817.37	c #Conflicts:     240000 | #Constraints:     671402
2808.27/2817.37	c #Conflicts:     241000 | #Constraints:     672415
2808.27/2817.37	c #Conflicts:     242000 | #Constraints:     673643
2808.27/2817.37	c #Conflicts:     243000 | #Constraints:     675029
2808.27/2817.37	c #Conflicts:     244000 | #Constraints:     676215
2808.27/2817.37	c #Conflicts:     245000 | #Constraints:     677496
2808.27/2817.37	c #Conflicts:     246000 | #Constraints:     678895
2808.27/2817.37	c INPROCESSING
2808.27/2817.37	c GARBAGE COLLECT
2808.27/2817.37	c rational objective 202.765
2875.37/2884.68	c #Conflicts:     247000 | #Constraints:     669371
2875.37/2884.68	c #Conflicts:     248000 | #Constraints:     670372
2875.37/2884.68	c #Conflicts:     249000 | #Constraints:     671372
2875.37/2884.68	c #Conflicts:     250000 | #Constraints:     672372
2875.37/2884.68	c #Conflicts:     251000 | #Constraints:     673372
2875.37/2884.68	c #Conflicts:     252000 | #Constraints:     674372
2875.37/2884.68	c #Conflicts:     253000 | #Constraints:     675372
2875.37/2884.68	c #Conflicts:     254000 | #Constraints:     676372
2875.37/2884.68	c #Conflicts:     255000 | #Constraints:     677372
2875.37/2884.68	c #Conflicts:     256000 | #Constraints:     678372
2875.37/2884.68	c INPROCESSING
2875.37/2884.68	c GARBAGE COLLECT
2875.37/2884.68	c rational objective 202.765
2942.58/2952.08	c #Conflicts:     257000 | #Constraints:     668942
2942.58/2952.08	c #Conflicts:     258000 | #Constraints:     669942
2942.58/2952.08	c #Conflicts:     259000 | #Constraints:     670942
2942.58/2952.08	c #Conflicts:     260000 | #Constraints:     671942
2942.58/2952.08	c #Conflicts:     261000 | #Constraints:     672942
2942.58/2952.08	c #Conflicts:     262000 | #Constraints:     673942
2942.58/2952.08	c #Conflicts:     263000 | #Constraints:     674942
2942.58/2952.08	c #Conflicts:     264000 | #Constraints:     675943
2942.58/2952.08	c #Conflicts:     265000 | #Constraints:     676943
2942.58/2952.08	c #Conflicts:     266000 | #Constraints:     677945
2942.58/2952.08	c INPROCESSING
2942.58/2952.08	c GARBAGE COLLECT
2942.58/2952.08	c rational objective 202.765
3338.63/3349.36	c #Conflicts:     267000 | #Constraints:     668557
3338.63/3349.36	c #Conflicts:     268000 | #Constraints:     669558
3338.63/3349.36	c #Conflicts:     269000 | #Constraints:     670558
3338.63/3349.36	c #Conflicts:     270000 | #Constraints:     671558
3338.63/3349.36	c #Conflicts:     271000 | #Constraints:     672558
3338.63/3349.36	c #Conflicts:     272000 | #Constraints:     673558
3338.63/3349.36	c #Conflicts:     273000 | #Constraints:     674558
3338.63/3349.36	c #Conflicts:     274000 | #Constraints:     675559
3338.63/3349.36	c #Conflicts:     275000 | #Constraints:     676559
3338.63/3349.36	c #Conflicts:     276000 | #Constraints:     677559
3338.63/3349.36	c #Conflicts:     277000 | #Constraints:     678559
3338.63/3349.36	c INPROCESSING
3338.63/3349.36	c GARBAGE COLLECT
3338.63/3349.36	c #Conflicts:     278000 | #Constraints:     669072
3338.63/3349.36	c #Conflicts:     279000 | #Constraints:     670072
3338.63/3349.36	c #Conflicts:     280000 | #Constraints:     671072
3338.63/3349.36	c #Conflicts:     281000 | #Constraints:     672073
3338.63/3349.36	c #Conflicts:     282000 | #Constraints:     673073
3338.63/3349.36	c #Conflicts:     283000 | #Constraints:     674073
3338.63/3349.36	c #Conflicts:     284000 | #Constraints:     675073
3338.63/3349.36	c #Conflicts:     285000 | #Constraints:     676073
3338.63/3349.36	c #Conflicts:     286000 | #Constraints:     677074
3338.63/3349.36	c #Conflicts:     287000 | #Constraints:     678074
3338.63/3349.36	c #Conflicts:     288000 | #Constraints:     679074
3338.63/3349.36	c INPROCESSING
3338.63/3349.36	c GARBAGE COLLECT
3338.63/3349.36	c rational objective 202.765
3404.83/3415.76	c #Conflicts:     289000 | #Constraints:     669430
3404.83/3415.76	c #Conflicts:     290000 | #Constraints:     670430
3404.83/3415.76	c #Conflicts:     291000 | #Constraints:     671431
3404.83/3415.76	c #Conflicts:     292000 | #Constraints:     672432
3404.83/3415.76	c #Conflicts:     293000 | #Constraints:     673432
3404.83/3415.76	c #Conflicts:     294000 | #Constraints:     674432
3404.83/3415.76	c #Conflicts:     295000 | #Constraints:     675432
3404.83/3415.76	c #Conflicts:     296000 | #Constraints:     676434
3404.83/3415.76	c #Conflicts:     297000 | #Constraints:     677434
3404.83/3415.76	c #Conflicts:     298000 | #Constraints:     678435
3404.83/3415.76	c #Conflicts:     299000 | #Constraints:     679435
3404.83/3415.76	c INPROCESSING
3404.83/3415.76	c GARBAGE COLLECT
3404.83/3415.76	c rational objective 202.765
3512.82/3524.06	c #Conflicts:     300000 | #Constraints:     669582
3512.82/3524.06	c #Conflicts:     301000 | #Constraints:     670583
3512.82/3524.06	c #Conflicts:     302000 | #Constraints:     671583
3512.82/3524.06	c #Conflicts:     303000 | #Constraints:     672583
3512.82/3524.06	c #Conflicts:     304000 | #Constraints:     673583
3512.82/3524.06	c #Conflicts:     305000 | #Constraints:     674584
3512.82/3524.06	c #Conflicts:     306000 | #Constraints:     675584
3512.82/3524.06	c #Conflicts:     307000 | #Constraints:     676584
3512.82/3524.06	c #Conflicts:     308000 | #Constraints:     677584
3512.82/3524.06	c #Conflicts:     309000 | #Constraints:     678584
3512.82/3524.06	c #Conflicts:     310000 | #Constraints:     679586
3512.82/3524.06	c INPROCESSING
3512.82/3524.06	c GARBAGE COLLECT
3512.82/3524.06	c rational objective 202.765
3590.48/3601.90	c #Conflicts:     311000 | #Constraints:     669578
3590.48/3601.90	c #Conflicts:     312000 | #Constraints:     670578
3590.48/3601.90	c #Conflicts:     313000 | #Constraints:     671578
3590.48/3601.90	c #Conflicts:     314000 | #Constraints:     672578
3590.48/3601.90	c #Conflicts:     315000 | #Constraints:     673578
3590.48/3601.90	c #Conflicts:     316000 | #Constraints:     674578
3590.48/3601.90	c #Conflicts:     317000 | #Constraints:     675579
3590.48/3601.90	c #Conflicts:     318000 | #Constraints:     676580
3590.48/3601.90	c #Conflicts:     319000 | #Constraints:     677581
3590.48/3601.90	c #Conflicts:     320000 | #Constraints:     678582
3590.48/3601.90	c #Conflicts:     321000 | #Constraints:     679582
3590.48/3601.90	c bounds 351 >= 100 @ 3575.23
3600.05/3611.51	c INPROCESSING
3600.05/3611.51	c GARBAGE COLLECT
3600.05/3611.51	c Disabling crashed LP
3600.05/3611.51	c cpu time 3584.78 s
3600.05/3611.51	c deterministic time 133924462036 1.34e+11
3600.05/3611.51	c optimization time 1.59973 s
3600.05/3611.51	c total solve time 3581.25 s
3600.05/3611.51	c core-guided solve time 2810.31 s
3600.05/3611.51	c propagation time 1349.63 s
3600.05/3611.51	c conflict analysis time 616.434 s
3600.05/3611.51	c propagations 128878320
3600.05/3611.51	c resolve steps 5002137
3600.05/3611.51	c decisions 12225106
3600.05/3611.51	c conflicts 321603
3600.05/3611.51	c restarts 765
3600.05/3611.51	c inprocessing phases 48
3600.05/3611.51	c garbage collections 46 ,( 95.83 )
3600.05/3611.51	c input clauses 657379 ,( 99.79 )
3600.05/3611.51	c input cardinalities 550 ,( 0.08 )
3600.05/3611.51	c input general constraints 832 ,( 0.13 )
3600.05/3611.51	c input average constraint length 7.85
3600.05/3611.51	c input average constraint degree 164.02
3600.05/3611.51	c learned clauses 221177 ,( 67.94 )
3600.05/3611.51	c learned cardinalities 19 ,( 0.01 )
3600.05/3611.51	c learned general constraints 104359 ,( 32.06 )
3600.05/3611.51	c learned average constraint length 1453.53
3600.05/3611.51	c learned average constraint degree 23990390634.12
3600.05/3611.51	c watched  CF 32, 64, 128, Arb: 4820 , 0 , 0 , 0
3600.05/3611.51	c counting CF 32, 64, 128, Arb: 100372 , 0 , 0 , 0
3600.05/3611.51	c watched   constraints 4820 ,( 4.58 ) 
3600.05/3611.51	c counting  constraints 100371 ,( 95.42 ) 
3600.05/3611.51	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 58337621 , 4444345 , 1210490652 ,( 14055727 , 1196434925 )
3600.05/3611.51	c gcd simplifications 12181
3600.05/3611.51	c detected cardinalities 1
3600.05/3611.51	c weakened non-implied lits 1118671843
3600.05/3611.51	c weakened non-implying lits 281240
3600.05/3611.51	c original variables 10000
3600.05/3611.51	c clausal propagations 18286875
3600.05/3611.51	c cardinality propagations 1283127
3600.05/3611.51	c watched propagations 73963
3600.05/3611.51	c counting propagations 105226503
3600.05/3611.51	c watch lookups 5332752162
3600.05/3611.51	c watch backjump lookups 0
3600.05/3611.51	c watch checks 3099721414
3600.05/3611.51	c propagation checks 119923524802
3600.05/3611.51	c constraint additions 5285374157
3600.05/3611.51	c trail pops 141424807
3600.05/3611.51	c formula constraints 656900
3600.05/3611.51	c learned constraints 321383
3600.05/3611.51	c bound constraints 286
3600.05/3611.51	c core-guided constraints 1575
3600.05/3611.51	c encountered formula constraints 1245820
3600.05/3611.51	c encountered learned constraints 2138369
3600.05/3611.51	c encountered bound constraints 19208
3600.05/3611.51	c encountered core-guided constraints 1898114
3600.05/3611.51	c LP total time 2434.85 s
3600.05/3611.51	c LP solve time 2222.9 s
3600.05/3611.51	c LP constraints added 656943
3600.05/3611.51	c LP constraints removed 30
3600.05/3611.51	c LP pivots internal 324623
3600.05/3611.51	c LP pivots root 236644
3600.05/3611.51	c LP calls 4268
3600.05/3611.51	c LP optimalities 304
3600.05/3611.51	c LP no pivot count 91
3600.05/3611.51	c LP infeasibilities 3938
3600.05/3611.51	c LP valid Farkas constraints 3934
3600.05/3611.51	c LP learned Farkas constraints 222
3600.05/3611.51	c LP basis resets 25
3600.05/3611.51	c LP cycling count 6
3600.05/3611.51	c LP singular count 2
3600.05/3611.51	c LP no primal count 0
3600.05/3611.51	c LP no farkas count 4
3600.05/3611.51	c LP other issue count 13
3600.05/3611.51	c LP Gomory cuts 16
3600.05/3611.51	c LP learned cuts 27
3600.05/3611.51	c LP deleted cuts 30
3600.05/3611.51	c LP encountered Gomory constraints 994
3600.05/3611.51	c LP encountered Farkas constraints 20883
3600.05/3611.51	c LP encountered learned Farkas constraints 130
3600.05/3611.51	c CG auxiliary variables introduced 548
3600.05/3611.51	c CG solutions found 216
3600.05/3611.51	c CG cores constructed 69
3600.05/3611.51	c CG core cardinality constraints returned 0
3600.05/3611.51	c CG unit cores 0
3600.05/3611.51	c CG single cores 69
3600.05/3611.51	c CG blocks removed during cardinality reduction 0
3600.05/3611.51	c CG first core best 0
3600.05/3611.51	c CG decision core best 0
3600.05/3611.51	c CG core reduction tie 0
3600.05/3611.51	c CG core degree average 1.00
3600.05/3611.51	c CG core slack average 851.20
3600.05/3611.51	c CG core upper bound improvements 139
3600.05/3611.51	c STR number of successful calls 0
3600.05/3611.51	c STR number of unsuccessful calls 0
3600.05/3611.51	c STR number of inconclusive calls 0
3600.05/3611.51	c STR number of successful attempts 0
3600.05/3611.51	c STR number of unsuccessful attempts 0
3600.05/3611.51	c STR number of inconclusive attempts 0
3600.05/3611.51	c STR average degree increase per successful call inf
3600.05/3611.51	c STR average degree increase per successful attempt inf
3600.05/3611.51	c STR total number of conflicts for successful attempts 0
3600.05/3611.51	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.51	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.51	c STR average number of conflicts per successful attempt inf
3600.05/3611.51	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.51	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.51	c AVG.sumWPerc 92.09 
3600.05/3611.51	c bigint constraints 0 
3600.05/3611.51	o 351
3600.05/3611.51	s SATISFIABLE
3600.05/3611.51	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.05/3611.51	c Program interrupted by user.

Verifier Data 

OK	351

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 (61523 MiB free)
  memory of node 1: 64465 MiB (62487 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100067 s]*
/proc/loadavg: 2.16 3.62 3.98 6/271 59121
/proc/meminfo: memFree=126431652/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59116] ppid=59112 vsize=163932 memory=147472 CPUtime=0.07 cores=4,6
/proc/59116/stat : 59116 (pbsuma) R 59112 59112 59048 0 -1 4194304 4160 0 0 0 5 2 0 0 20 0 1 0 52055235 167866368 36868 18446744073709551615 4210688 4653049 140729917205744 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 29773824 140729917208931 140729917209138 140729917209138 140729917214703 0
/proc/59116/statm: 40983 36868 960 108 0 38391 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 168124 KiB
Current children cumulated memory: 150416 KiB

[startup+0.205402 s]*
/proc/loadavg: 2.16 3.62 3.98 6/271 59121
/proc/meminfo: memFree=126364188/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59116] ppid=59112 vsize=181184 memory=166704 CPUtime=0.18 cores=4,6
/proc/59116/stat : 59116 (pbsuma) R 59112 59112 59048 0 -1 4194304 9151 0 0 0 14 4 0 0 20 0 1 0 52055235 185532416 41676 18446744073709551615 4210688 4653049 140729917205744 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 29773824 140729917208931 140729917209138 140729917209138 140729917214703 0
/proc/59116/statm: 45296 41676 960 108 0 42704 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185376 KiB
Current children cumulated memory: 169648 KiB

[startup+0.305331 s]*
/proc/loadavg: 2.16 3.62 3.98 6/271 59121
/proc/meminfo: memFree=126267160/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59116] ppid=59112 vsize=195048 memory=185936 CPUtime=0.28 cores=4,6
/proc/59116/stat : 59116 (pbsuma) R 59112 59112 59048 0 -1 4194304 12947 0 0 0 23 5 0 0 20 0 1 0 52055235 199729152 46484 18446744073709551615 4210688 4653049 140729917205744 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 29773824 140729917208931 140729917209138 140729917209138 140729917214703 0
/proc/59116/statm: 48762 46484 960 108 0 46170 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 199240 KiB
Current children cumulated memory: 188880 KiB

[startup+0.700222 s]
/proc/loadavg: 2.16 3.62 3.98 6/271 59121
/proc/meminfo: memFree=125955320/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59116] ppid=59112 vsize=309796 memory=261816 CPUtime=0.67 cores=4,6
/proc/59116/stat : 59116 (pbsuma) R 59112 59112 59048 0 -1 4194304 23245 0 0 0 59 8 0 0 20 0 1 0 52055235 317231104 65454 18446744073709551615 4210688 4653049 140729917205744 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 29773824 140729917208931 140729917209138 140729917209138 140729917214703 0
/proc/59116/statm: 77449 65454 992 108 0 74857 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 313988 KiB
Current children cumulated memory: 264760 KiB

[startup+1.50015 s]
/proc/loadavg: 2.16 3.62 3.98 5/271 59125
/proc/meminfo: memFree=126491592/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=119948 memory=74916 CPUtime=0.51 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 16103 0 0 0 36 15 0 0 20 0 1 0 52055332 122826752 18729 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 29987 18729 2016 1147 0 17414 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 124140 KiB
Current children cumulated memory: 77860 KiB

[startup+3.1056 s]
/proc/loadavg: 2.31 3.63 3.98 6/271 59125
/proc/meminfo: memFree=124962524/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=570000 memory=429496 CPUtime=2.1 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 57398 0 0 0 152 58 0 0 20 0 1 0 52055332 583680000 107374 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 142500 107374 2304 1147 0 129927 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 574192 KiB
Current children cumulated memory: 432440 KiB

[startup+6.30021 s]
/proc/loadavg: 2.31 3.63 3.98 6/271 59125
/proc/meminfo: memFree=123363376/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=1039960 memory=780924 CPUtime=5.29 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 81295 0 0 0 453 76 0 0 20 0 1 0 52055332 1064919040 195231 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 259990 195231 2368 1147 0 247417 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1044152 KiB
Current children cumulated memory: 783868 KiB

[startup+12.7002 s]
/proc/loadavg: 2.57 3.64 3.98 6/271 59125
/proc/meminfo: memFree=123277632/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=1232200 memory=911280 CPUtime=11.67 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 89956 0 0 0 1077 90 0 0 20 0 1 0 52055332 1261772800 227820 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 308050 227820 2464 1147 0 295477 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1236392 KiB
Current children cumulated memory: 914224 KiB

[startup+25.5002 s]
/proc/loadavg: 2.79 3.65 3.98 6/271 59125
/proc/meminfo: memFree=122625456/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=1452064 memory=1096208 CPUtime=24.44 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 115222 0 0 0 2304 140 0 0 20 0 1 0 52055332 1486913536 274052 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 363016 274052 2464 1147 0 350443 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1456256 KiB
Current children cumulated memory: 1099152 KiB

[startup+51.1049 s]
/proc/loadavg: 3.20 3.68 3.99 6/271 59126
/proc/meminfo: memFree=122109792/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=1480828 memory=1150356 CPUtime=49.96 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 118233 0 0 0 4828 168 0 0 20 0 1 0 52055332 1516367872 287589 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 370207 287589 2464 1147 0 357634 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1485020 KiB
Current children cumulated memory: 1153300 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.75 4.00 6/271 59128
/proc/meminfo: memFree=121820124/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=1629780 memory=1248320 CPUtime=101 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 126143 0 0 0 9896 204 0 0 20 0 1 0 52055332 1668894720 312080 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 407445 312080 2464 1147 0 394872 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1633972 KiB
Current children cumulated memory: 1251264 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.83 4.00 6/271 59131
/proc/meminfo: memFree=120944952/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=1804192 memory=1468132 CPUtime=160.82 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 155982 0 0 0 15814 268 0 0 20 0 1 0 52055332 1847492608 367033 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 451048 367033 2464 1147 0 438475 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1808384 KiB
Current children cumulated memory: 1471076 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.88 4.00 6/271 59132
/proc/meminfo: memFree=120048140/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=1850824 memory=1513720 CPUtime=220.63 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 161456 0 0 0 21764 299 0 0 20 0 1 0 52055332 1895243776 378430 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 462706 378430 2464 1147 0 450133 0
Current children cumulated CPU time: 221.57 s

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

/proc/59123/statm: 1032686 860872 2592 1147 0 1020113 0
Current children cumulated CPU time: 3092.42 s
Current children cumulated vsize: 4134936 KiB
Current children cumulated memory: 3446432 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/267 59288
/proc/meminfo: memFree=112011100/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4130744 memory=3443488 CPUtime=3151.26 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 474450 0 0 0 313873 1253 0 0 20 0 1 0 52055332 4229881856 860872 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032686 860872 2592 1147 0 1020113 0
Current children cumulated CPU time: 3152.2 s
Current children cumulated vsize: 4134936 KiB
Current children cumulated memory: 3446432 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/267 59290
/proc/meminfo: memFree=112000776/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4139616 memory=3452360 CPUtime=3211.06 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 478170 0 0 0 319818 1288 0 0 20 0 1 0 52055332 4238966784 863090 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1034904 863090 2592 1147 0 1022331 0
Current children cumulated CPU time: 3212 s
Current children cumulated vsize: 4143808 KiB
Current children cumulated memory: 3455304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/267 59292
/proc/meminfo: memFree=112019988/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3270.89 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 482162 0 0 0 325778 1311 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3271.83 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/267 59294
/proc/meminfo: memFree=112078696/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3330.7 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 482292 0 0 0 331755 1315 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3331.64 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/267 59296
/proc/meminfo: memFree=112100416/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3390.53 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 482780 0 0 0 337704 1349 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/267 59305
/proc/meminfo: memFree=112035288/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3450.35 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 483482 0 0 0 343649 1386 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/268 59308
/proc/meminfo: memFree=111977636/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3510.18 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 483492 0 0 0 349612 1406 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3511.12 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/268 59310
/proc/meminfo: memFree=111913624/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3569.99 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 483965 0 0 0 355572 1427 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3570.93 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 59320
/proc/meminfo: memFree=115795800/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3599.11 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 484203 0 0 0 358477 1434 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB

Sending SIGTERM to process tree (bottom up)

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

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

[startup+3611.6 s]
# the end of solver process 59123 was just reported to runsolver
# Child status: 2

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

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

[startup+3611.5 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 59320
/proc/meminfo: memFree=115795800/131249992 swapFree=33010684/33010684
[pid=59112] ppid=59099 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/59112/stat : 59112 (run-opt-ls.sh) S 59099 59112 59048 0 -1 4194304 239 31729 0 0 0 0 83 11 20 0 1 0 52055234 4292608 736 18446744073709551615 94229541580800 94229542475333 140724170290608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94229542714384 94229542762128 94229548003328 140724170299751 140724170299877 140724170299877 140724170305479 0
/proc/59112/statm: 1048 736 672 219 0 110 0
[pid=59123] ppid=59112 vsize=4128472 memory=3441216 CPUtime=3599.11 cores=4,6
/proc/59123/stat : 59123 (roundingsat) R 59112 59112 59048 0 -1 4194304 484203 0 0 0 358477 1434 0 0 20 0 1 0 52055332 4227555328 860304 18446744073709551615 4227072 8923433 140724658733328 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13144064 140724658739526 140724658739752 140724658739752 140724658745322 0
/proc/59123/statm: 1032118 860304 2592 1147 0 1019545 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4132664 KiB
Current children cumulated memory: 3444160 KiB

Child status: 2

Real time (s): 3611.6
CPU time (s): 3600.17
CPU user time (s): 3585.66
CPU system time (s): 14.5121
CPU usage (%): 99.6837
Max. virtual memory (cumulated for all children) (KiB): 4217140
Max. memory (cumulated for all children) (KiB): 3528420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.66
system time used= 14.5121
maximum resident set size= 3525476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272
involuntary context switches= 20050


# summary of solver processes directly reported to runsolver:
#   pid: 59112,59123
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3585.66
#   total CPU system time (s): 14.5121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02717 second user time and 16.0191 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-01 11:56:05
IDJOB=4489692
IDBENCH=147561
IDSOLVER=3355
FILE ID=nodeC025/4489692-1751363764
RUNJOBID= nodeC025-1751363764-59059
SLURM_JOB_ID= 9598181
Free space on /tmp= 433000 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489692-1751363764/watcher-4489692-1751363764 -o /tmp/evaluation-result-4489692-1751363764/solver-4489692-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59059 --watchdog 3760  run-opt-ls.sh HOME/instance-4489692-1751363764.opb

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=137257437

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126996140 kB
MemAvailable:   129790560 kB
Buffers:            3280 kB
Cached:          3592620 kB
SwapCached:            0 kB
Active:           409748 kB
Inactive:        3253460 kB
Active(anon):      85392 kB
Inactive(anon):        0 kB
Active(file):     324356 kB
Inactive(file):  3253460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             88136 kB
Writeback:             0 kB
AnonPages:         70120 kB
Mapped:           102340 kB
Shmem:             18084 kB
KReclaimable:     111684 kB
Slab:             200740 kB
SReclaimable:     111684 kB
SUnreclaim:        89056 kB
KernelStack:        4072 kB
PageTables:         2716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC025 at 2025-07-01 12:56:16