Trace number 4489463

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-log 63f22adSAT (TO)343 3602.24 3620.7

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark245
Best CPU time to get the best result obtained on this benchmark3587.61
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 495457
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 495457
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-4489463-1751354064.opb'
0.29/0.33	c 	read 17.23MB  (322.98ms)
0.29/0.33	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.37	c output proof to 'PROOFDIR/proof-4489463-1751354064'
0.29/0.37	c 
0.29/0.37	c make graph and approximate orbits
0.53/0.69	c	 [group: #orbits ~= 0] (314.87ms)
0.53/0.69	c 
0.53/0.69	c detect special group actions
0.53/0.69	c 	probe for Johnson action (limit=64)
0.53/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.63/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
0.63/0.71	c 	 (16.96ms)
0.63/0.71	c 
0.63/0.71	c detect symmetries on remainder
0.63/0.71	c 	[graph: #vertices 706671 #edges 2766340]
0.63/0.71	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.63/0.75	c 	 [group: #symmetries 1.00*10^0 #generators 0] (48.37ms)
0.63/0.75	c 
0.63/0.75	c finalize break order and special generators
0.63/0.76	c 
0.63/0.76	c generation finished
0.63/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.63/0.76	c 
0.63/0.76	c write result to 'HOME/instance-4489463-1751354064.opb.pre'
0.63/0.79	c 	wrote 17.23MB (35.51ms)
0.63/0.79	c ------------------------------------------------------------------
0.63/0.79	c                 322.97ms 41.11% parse
0.63/0.79	c                 314.87ms 40.07% approx_orbits
0.63/0.79	c                  48.37ms  6.16% detect_generic
0.63/0.79	c                  46.63ms  5.93% other
0.63/0.79	c                  35.51ms  4.52% output
0.63/0.79	c                  16.96ms  2.16% detect_special
0.63/0.79	c                   0.39ms  0.05% finalize_order
0.63/0.79	c         ───────────────────────────────────────────────
0.63/0.79	c                 785.70ms   100% total
0.63/0.79	c ------------------------------------------------------------------
0.83/0.92	c RoundingSat 2
0.83/0.92	c branch pb25
0.83/0.92	c commit 63f22ad
4.49/4.63	c #variables 10000 #constraints 656900
4.49/4.63	c objective is ce32 
5.30/5.46	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.30/5.46	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.30/5.46	c bounds 5186 >= 0 @ 3.74417
6.69/6.86	c rational objective 174.592
10.08/10.24	c bounds 5105 >= 0 @ 8.41111
10.08/10.25	c bounds 4948 >= 0 @ 8.4176
10.08/10.26	c bounds 4926 >= 0 @ 8.42883
10.08/10.27	c bounds 4891 >= 0 @ 8.43181
10.08/10.28	c bounds 4833 >= 0 @ 8.44241
10.08/10.28	c bounds 4821 >= 0 @ 8.4467
10.08/10.29	c bounds 4800 >= 0 @ 8.45486
10.18/10.31	c bounds 4768 >= 0 @ 8.47185
10.28/10.44	c bounds 4745 >= 0 @ 8.6041
10.28/10.45	c bounds 4740 >= 0 @ 8.61026
10.38/10.54	c bounds 4701 >= 0 @ 8.69183
10.38/10.57	c bounds 4670 >= 0 @ 8.72518
10.38/10.58	c bounds 4621 >= 0 @ 8.72883
10.38/10.58	c bounds 4593 >= 0 @ 8.73362
10.48/10.60	c bounds 4532 >= 0 @ 8.75584
10.48/10.61	c bounds 4469 >= 0 @ 8.76394
10.48/10.62	c bounds 4338 >= 0 @ 8.76905
10.48/10.63	c bounds 4212 >= 0 @ 8.77417
10.48/10.64	c bounds 4191 >= 0 @ 8.78889
10.48/10.65	c bounds 4190 >= 0 @ 8.79312
10.48/10.67	c bounds 4187 >= 0 @ 8.81386
10.58/10.75	c bounds 4186 >= 0 @ 8.89201
10.68/10.88	c bounds 4164 >= 0 @ 9.01922
10.78/10.90	c bounds 4146 >= 0 @ 9.03205
10.78/10.90	c bounds 4138 >= 0 @ 9.03751
10.78/10.91	c bounds 4058 >= 0 @ 9.04109
10.78/10.93	c bounds 4036 >= 0 @ 9.05509
10.78/10.93	c bounds 3886 >= 0 @ 9.06103
10.78/10.94	c bounds 3883 >= 0 @ 9.06522
10.78/10.96	c bounds 3881 >= 0 @ 9.08474
10.98/11.14	c bounds 3877 >= 0 @ 9.2586
10.98/11.15	c bounds 3807 >= 0 @ 9.26441
10.98/11.16	c bounds 3790 >= 0 @ 9.27884
11.08/11.28	c bounds 3768 >= 0 @ 9.39567
11.17/11.39	c bounds 3761 >= 0 @ 9.50601
11.27/11.41	c bounds 3737 >= 0 @ 9.51873
11.57/11.79	c bounds 3734 >= 0 @ 9.88983
11.78/11.90	c bounds 3730 >= 0 @ 9.99474
11.78/11.91	c bounds 3727 >= 0 @ 10.0093
11.78/11.93	c bounds 3722 >= 0 @ 10.0292
11.88/12.02	c bounds 3687 >= 0 @ 10.1175
11.88/12.04	c bounds 3643 >= 0 @ 10.1327
11.98/12.13	c bounds 3609 >= 0 @ 10.222
12.07/12.23	c bounds 3599 >= 0 @ 10.3198
12.17/12.35	c bounds 3585 >= 0 @ 10.4329
12.17/12.37	c bounds 3557 >= 0 @ 10.4526
12.17/12.38	c bounds 3538 >= 0 @ 10.4613
12.17/12.39	c bounds 3513 >= 0 @ 10.4708
12.27/12.40	c bounds 3502 >= 0 @ 10.4805
12.27/12.49	c bounds 3476 >= 0 @ 10.5686
12.48/12.60	c bounds 3468 >= 0 @ 10.6811
12.48/12.63	c bounds 3466 >= 0 @ 10.6995
12.57/12.73	c bounds 3439 >= 0 @ 10.7993
12.57/12.74	c bounds 3413 >= 0 @ 10.811
12.57/12.76	c bounds 3410 >= 0 @ 10.8271
12.57/12.77	c bounds 3375 >= 0 @ 10.8346
12.57/12.78	c bounds 3345 >= 0 @ 10.8411
12.57/12.79	c bounds 3221 >= 0 @ 10.8477
12.68/12.87	c bounds 3214 >= 0 @ 10.9232
12.68/12.88	c bounds 3185 >= 0 @ 10.9296
12.68/12.90	c bounds 3172 >= 0 @ 10.9461
12.77/12.91	c bounds 3164 >= 0 @ 10.9547
12.88/13.01	c bounds 3144 >= 0 @ 11.0514
12.88/13.03	c bounds 3138 >= 0 @ 11.0713
12.88/13.07	c bounds 3136 >= 0 @ 11.1053
12.88/13.08	c bounds 3133 >= 0 @ 11.1114
12.98/13.19	c bounds 3101 >= 0 @ 11.2208
13.07/13.20	c bounds 3029 >= 0 @ 11.2279
13.17/13.31	c bounds 2972 >= 0 @ 11.3259
13.27/13.42	c bounds 2937 >= 0 @ 11.4362
13.27/13.43	c bounds 2897 >= 0 @ 11.4424
13.38/13.52	c bounds 2891 >= 0 @ 11.535
13.38/13.53	c bounds 2889 >= 0 @ 11.5422
13.38/13.54	c bounds 2847 >= 0 @ 11.55
13.38/13.55	c bounds 2840 >= 0 @ 11.5555
13.47/13.65	c bounds 2811 >= 0 @ 11.6525
13.68/13.83	c bounds 2808 >= 0 @ 11.8312
13.68/13.84	c bounds 2795 >= 0 @ 11.8377
13.77/13.95	c bounds 2790 >= 0 @ 11.9431
13.77/13.96	c bounds 2763 >= 0 @ 11.9566
30.83/31.10	c #Conflicts:       1000 | #Constraints:     658014
30.83/31.10	c #Conflicts:       2000 | #Constraints:     659036
30.83/31.10	c INPROCESSING
30.83/31.10	c GARBAGE COLLECT
30.83/31.10	c bounds 2759 >= 0 @ 28.7183
30.94/31.12	c bounds 2752 >= 0 @ 28.7329
30.94/31.13	c bounds 2743 >= 0 @ 28.7431
31.03/31.22	c bounds 2742 >= 0 @ 28.8344
31.03/31.24	c bounds 2740 >= 0 @ 28.85
31.03/31.27	c bounds 2739 >= 0 @ 28.8767
31.03/31.28	c bounds 2733 >= 0 @ 28.8883
31.13/31.37	c bounds 2720 >= 0 @ 28.9784
31.13/31.39	c bounds 2697 >= 0 @ 28.9915
31.23/31.48	c bounds 2673 >= 0 @ 29.0813
31.42/31.63	c bounds 2667 >= 0 @ 29.2357
31.42/31.65	c bounds 2651 >= 0 @ 29.2481
31.42/31.67	c bounds 2647 >= 0 @ 29.2681
31.42/31.69	c bounds 2638 >= 0 @ 29.2828
31.52/31.71	c bounds 2636 >= 0 @ 29.2999
31.52/31.72	c bounds 2631 >= 0 @ 29.3102
31.52/31.74	c bounds 2614 >= 0 @ 29.3214
31.52/31.76	c bounds 2612 >= 0 @ 29.342
31.62/31.89	c bounds 2578 >= 0 @ 29.4705
31.73/31.95	c bounds 2535 >= 0 @ 29.5293
31.83/32.07	c bounds 2511 >= 0 @ 29.6467
31.83/32.09	c bounds 2484 >= 0 @ 29.6623
31.93/32.11	c bounds 2471 >= 0 @ 29.6808
32.03/32.22	c bounds 2470 >= 0 @ 29.7932
32.03/32.25	c bounds 2462 >= 0 @ 29.8123
32.03/32.26	c bounds 2459 >= 0 @ 29.826
32.13/32.37	c bounds 2449 >= 0 @ 29.934
32.72/33.00	c bounds 2428 >= 0 @ 30.5595
33.03/33.27	c bounds 2408 >= 0 @ 30.8204
33.32/33.59	c bounds 2398 >= 0 @ 31.1407
33.52/33.70	c bounds 2370 >= 0 @ 31.2532
33.52/33.74	c bounds 2353 >= 0 @ 31.2934
33.62/33.86	c bounds 2324 >= 0 @ 31.4071
33.62/33.87	c bounds 2322 >= 0 @ 31.4179
33.62/33.89	c bounds 2320 >= 0 @ 31.4321
33.82/34.05	c bounds 2298 >= 0 @ 31.5926
33.82/34.08	c bounds 2285 >= 0 @ 31.6253
33.82/34.10	c bounds 2262 >= 0 @ 31.6399
34.02/34.21	c bounds 2248 >= 0 @ 31.7543
34.12/34.32	c bounds 2214 >= 0 @ 31.8565
34.32/34.53	c bounds 2209 >= 0 @ 32.0636
34.32/34.56	c bounds 2208 >= 0 @ 32.0843
34.42/34.60	c bounds 2202 >= 0 @ 32.1262
34.42/34.65	c bounds 2194 >= 0 @ 32.1791
34.42/34.68	c bounds 2181 >= 0 @ 32.2048
34.52/34.79	c bounds 2148 >= 0 @ 32.3138
34.62/34.82	c bounds 2143 >= 0 @ 32.3425
34.72/34.95	c bounds 2142 >= 0 @ 32.4688
34.82/35.07	c bounds 2113 >= 0 @ 32.5867
34.82/35.09	c bounds 2089 >= 0 @ 32.6087
34.92/35.13	c bounds 2072 >= 0 @ 32.638
35.02/35.24	c bounds 2059 >= 0 @ 32.7448
35.02/35.25	c bounds 2046 >= 0 @ 32.7546
35.02/35.26	c bounds 2042 >= 0 @ 32.7672
35.02/35.28	c bounds 2035 >= 0 @ 32.7825
35.12/35.30	c bounds 2024 >= 0 @ 32.7973
35.12/35.31	c bounds 1998 >= 0 @ 32.806
35.12/35.34	c bounds 1962 >= 0 @ 32.8371
35.21/35.45	c bounds 1944 >= 0 @ 32.9398
35.21/35.47	c bounds 1940 >= 0 @ 32.9546
35.21/35.49	c bounds 1938 >= 0 @ 32.9724
35.42/35.61	c bounds 1901 >= 0 @ 33.0927
35.42/35.63	c bounds 1895 >= 0 @ 33.111
35.42/35.64	c bounds 1890 >= 0 @ 33.1218
35.42/35.68	c bounds 1880 >= 0 @ 33.1556
35.52/35.78	c bounds 1846 >= 0 @ 33.259
35.61/35.80	c bounds 1834 >= 0 @ 33.2693
35.61/35.84	c bounds 1825 >= 0 @ 33.3093
35.61/35.87	c bounds 1822 >= 0 @ 33.3372
35.61/35.89	c bounds 1812 >= 0 @ 33.3524
35.71/35.91	c bounds 1807 >= 0 @ 33.3729
35.71/35.95	c bounds 1787 >= 0 @ 33.3992
35.82/36.06	c bounds 1778 >= 0 @ 33.5074
35.82/36.08	c bounds 1736 >= 0 @ 33.5278
35.82/36.10	c bounds 1735 >= 0 @ 33.5434
35.92/36.13	c bounds 1713 >= 0 @ 33.5767
35.92/36.15	c bounds 1706 >= 0 @ 33.5872
36.01/36.25	c bounds 1705 >= 0 @ 33.6844
38.11/38.37	c bounds 1702 >= 0 @ 35.7863
38.11/38.39	c bounds 1697 >= 0 @ 35.803
38.31/38.53	c bounds 1686 >= 0 @ 35.9349
38.31/38.55	c bounds 1684 >= 0 @ 35.9623
38.31/38.57	c bounds 1683 >= 0 @ 35.9745
38.31/38.58	c bounds 1682 >= 0 @ 35.9906
38.41/38.64	c bounds 1636 >= 0 @ 36.0423
38.41/38.68	c bounds 1619 >= 0 @ 36.0805
38.41/38.69	c bounds 1618 >= 0 @ 36.0912
38.51/38.71	c bounds 1617 >= 0 @ 36.1044
38.60/38.80	c bounds 1586 >= 0 @ 36.1935
38.60/38.83	c bounds 1567 >= 0 @ 36.2159
38.60/38.85	c bounds 1554 >= 0 @ 36.2327
38.60/38.89	c bounds 1498 >= 0 @ 36.2711
38.70/38.93	c bounds 1493 >= 0 @ 36.3065
38.91/39.14	c bounds 1483 >= 0 @ 36.5114
39.10/39.31	c bounds 1480 >= 0 @ 36.6791
39.21/39.47	c bounds 1477 >= 0 @ 36.8333
39.30/39.51	c bounds 1465 >= 0 @ 36.8689
39.30/39.53	c bounds 1457 >= 0 @ 36.888
39.30/39.55	c bounds 1444 >= 0 @ 36.9061
39.41/39.60	c bounds 1432 >= 0 @ 36.9565
39.50/39.73	c bounds 1418 >= 0 @ 37.0775
39.61/39.81	c bounds 1395 >= 0 @ 37.1531
39.61/39.82	c bounds 1386 >= 0 @ 37.1685
39.61/39.85	c bounds 1384 >= 0 @ 37.1883
39.61/39.88	c bounds 1382 >= 0 @ 37.2224
40.90/41.16	c #Conflicts:       3000 | #Constraints:     659053
40.90/41.16	c bounds 1376 >= 0 @ 38.4693
40.90/41.19	c bounds 1375 >= 0 @ 38.4969
41.10/41.33	c bounds 1352 >= 0 @ 38.6239
41.10/41.35	c bounds 1317 >= 0 @ 38.6403
41.10/41.37	c bounds 1267 >= 0 @ 38.6532
41.20/41.40	c bounds 1247 >= 0 @ 38.6768
41.20/41.46	c bounds 1244 >= 0 @ 38.7307
41.30/41.50	c bounds 1243 >= 0 @ 38.7724
41.30/41.52	c bounds 1242 >= 0 @ 38.7893
41.40/41.65	c bounds 1241 >= 0 @ 38.9098
41.59/41.81	c bounds 1240 >= 0 @ 39.0577
41.59/41.83	c bounds 1217 >= 0 @ 39.0807
41.59/41.85	c bounds 1202 >= 0 @ 39.0941
41.59/41.89	c bounds 1199 >= 0 @ 39.1284
41.70/41.95	c bounds 1193 >= 0 @ 39.1782
41.80/42.01	c bounds 1180 >= 0 @ 39.2288
41.80/42.05	c bounds 1167 >= 0 @ 39.267
41.80/42.08	c bounds 1158 >= 0 @ 39.2876
41.80/42.09	c bounds 1156 >= 0 @ 39.3019
41.90/42.16	c bounds 1146 >= 0 @ 39.3659
44.19/44.47	c bounds 1143 >= 0 @ 41.5712
47.88/48.13	c #Conflicts:       4000 | #Constraints:     660074
47.88/48.13	c INPROCESSING
47.88/48.13	c GARBAGE COLLECT
47.88/48.13	c rational objective 175.566
51.77/52.05	c bounds 1031 >= 0 @ 49.0383
51.87/52.15	c bounds 1030 >= 0 @ 49.1325
51.87/52.17	c bounds 1027 >= 0 @ 49.1398
77.39/77.78	c #Conflicts:       5000 | #Constraints:     659350
77.39/77.78	c #Conflicts:       6000 | #Constraints:     660360
77.39/77.78	c INPROCESSING
77.39/77.78	c GARBAGE COLLECT
77.39/77.78	c bounds 1026 >= 0 @ 74.236
77.49/77.81	c bounds 1024 >= 0 @ 74.2639
77.49/77.86	c bounds 1023 >= 0 @ 74.3038
77.49/77.88	c bounds 1022 >= 0 @ 74.3273
77.89/78.22	c bounds 1021 >= 0 @ 74.6526
77.99/78.37	c bounds 1020 >= 0 @ 74.8078
77.99/78.39	c bounds 1018 >= 0 @ 74.8262
78.29/78.61	c bounds 1016 >= 0 @ 75.0418
78.69/79.05	c bounds 1011 >= 0 @ 75.4717
79.28/79.62	c bounds 1000 >= 0 @ 76.0263
79.28/79.63	c bounds 993 >= 0 @ 76.0399
79.28/79.64	c bounds 991 >= 0 @ 76.049
79.58/79.97	c bounds 984 >= 0 @ 76.3701
79.69/80.07	c bounds 981 >= 0 @ 76.4641
79.79/80.11	c bounds 954 >= 0 @ 76.5032
79.98/80.31	c bounds 942 >= 0 @ 76.6964
79.98/80.32	c bounds 937 >= 0 @ 76.7098
80.08/80.43	c bounds 927 >= 0 @ 76.812
80.19/80.55	c bounds 926 >= 0 @ 76.9313
80.19/80.57	c bounds 924 >= 0 @ 76.9481
80.38/80.78	c #Conflicts:       7000 | #Constraints:     659371
80.38/80.78	c bounds 915 >= 0 @ 77.1557
80.69/81.03	c bounds 902 >= 0 @ 77.4038
80.69/81.07	c bounds 894 >= 0 @ 77.4364
80.88/81.24	c bounds 883 >= 0 @ 77.6004
80.98/81.31	c bounds 879 >= 0 @ 77.6645
80.98/81.33	c bounds 874 >= 0 @ 77.6834
81.08/81.45	c bounds 869 >= 0 @ 77.8047
81.08/81.47	c bounds 850 >= 0 @ 77.8176
81.08/81.49	c bounds 849 >= 0 @ 77.8331
81.28/81.63	c bounds 846 >= 0 @ 77.9767
81.28/81.65	c bounds 839 >= 0 @ 77.9965
81.28/81.68	c bounds 838 >= 0 @ 78.0232
81.58/81.95	c bounds 836 >= 0 @ 78.2877
81.68/82.09	c bounds 810 >= 0 @ 78.418
81.98/82.31	c bounds 809 >= 0 @ 78.6317
82.48/82.85	c bounds 806 >= 0 @ 79.1697
82.48/82.87	c bounds 805 >= 0 @ 79.1868
82.78/83.10	c bounds 804 >= 0 @ 79.4117
90.25/90.62	c bounds 800 >= 0 @ 86.848
90.25/90.66	c bounds 799 >= 0 @ 86.885
90.45/90.83	c bounds 797 >= 0 @ 87.0441
90.45/90.87	c bounds 796 >= 0 @ 87.0809
90.55/90.90	c bounds 782 >= 0 @ 87.1104
90.55/90.92	c bounds 781 >= 0 @ 87.1227
90.65/91.06	c bounds 773 >= 0 @ 87.2573
90.76/91.17	c bounds 763 >= 0 @ 87.373
90.85/91.21	c bounds 758 >= 0 @ 87.4043
90.85/91.25	c bounds 745 >= 0 @ 87.4439
90.85/91.28	c bounds 738 >= 0 @ 87.4724
90.95/91.31	c bounds 730 >= 0 @ 87.5022
90.95/91.35	c bounds 722 >= 0 @ 87.5454
91.05/91.44	c bounds 720 >= 0 @ 87.6281
91.05/91.47	c bounds 701 >= 0 @ 87.6584
91.05/91.48	c bounds 698 >= 0 @ 87.6689
91.15/91.50	c bounds 694 >= 0 @ 87.6801
91.15/91.52	c bounds 690 >= 0 @ 87.6997
93.65/94.08	c bounds 686 >= 0 @ 90.2245
94.24/94.60	c #Conflicts:       8000 | #Constraints:     660419
94.24/94.60	c bounds 685 >= 0 @ 90.7406
94.74/95.13	c bounds 683 >= 0 @ 91.2552
94.83/95.21	c bounds 682 >= 0 @ 91.3373
95.04/95.47	c bounds 680 >= 0 @ 91.5876
95.54/95.94	c bounds 674 >= 0 @ 92.0453
95.64/96.01	c bounds 671 >= 0 @ 92.1104
95.64/96.06	c bounds 652 >= 0 @ 92.1627
95.74/96.11	c bounds 651 >= 0 @ 92.2004
95.74/96.13	c bounds 635 >= 0 @ 92.2269
95.74/96.15	c bounds 634 >= 0 @ 92.2357
96.23/96.63	c bounds 626 >= 0 @ 92.7075
96.33/96.74	c bounds 615 >= 0 @ 92.8073
96.33/96.76	c bounds 611 >= 0 @ 92.8283
96.33/96.79	c bounds 606 >= 0 @ 92.8493
96.43/96.81	c bounds 604 >= 0 @ 92.8752
97.92/98.38	c bounds 603 >= 0 @ 94.4083
98.03/98.44	c bounds 602 >= 0 @ 94.4611
98.03/98.47	c bounds 600 >= 0 @ 94.489
103.12/103.50	c #Conflicts:       9000 | #Constraints:     661437
103.12/103.50	c INPROCESSING
103.12/103.50	c GARBAGE COLLECT
103.12/103.50	c rational objective 176
108.10/108.54	c bounds 596 >= 0 @ 104.439
109.40/109.83	c bounds 579 >= 0 @ 105.712
109.49/109.90	c bounds 572 >= 0 @ 105.775
127.04/127.56	c #Conflicts:      10000 | #Constraints:     660046
127.04/127.56	c #Conflicts:      11000 | #Constraints:     661046
127.04/127.56	c #Conflicts:      12000 | #Constraints:     662046
127.04/127.56	c INPROCESSING
127.04/127.56	c GARBAGE COLLECT
127.04/127.56	c rational objective 176.612
133.32/133.85	c bounds 567 >= 0 @ 129.301
133.32/133.88	c bounds 563 >= 0 @ 129.326
133.42/133.98	c bounds 561 >= 0 @ 129.42
136.21/136.77	c bounds 557 >= 0 @ 132.161
136.31/136.89	c bounds 553 >= 0 @ 132.272
136.71/137.27	c bounds 552 >= 0 @ 132.642
136.81/137.35	c bounds 530 >= 0 @ 132.719
136.81/137.39	c bounds 520 >= 0 @ 132.763
138.10/138.65	c bounds 518 >= 0 @ 134.003
138.81/139.37	c bounds 517 >= 0 @ 134.709
138.81/139.39	c bounds 515 >= 0 @ 134.721
138.90/139.47	c bounds 514 >= 0 @ 134.801
140.20/140.74	c #Conflicts:      13000 | #Constraints:     660492
140.20/140.74	c bounds 509 >= 0 @ 136.058
140.20/140.76	c bounds 507 >= 0 @ 136.073
153.86/154.40	c #Conflicts:      14000 | #Constraints:     661494
153.86/154.40	c #Conflicts:      15000 | #Constraints:     662494
153.86/154.40	c INPROCESSING
153.86/154.40	c GARBAGE COLLECT
153.86/154.40	c rational objective 176.63
158.15/158.78	c bounds 506 >= 0 @ 153.844
158.45/159.04	c bounds 505 >= 0 @ 154.097
158.45/159.08	c bounds 500 >= 0 @ 154.126
158.55/159.11	c bounds 497 >= 0 @ 154.154
163.13/163.74	c bounds 495 >= 0 @ 158.692
163.13/163.78	c bounds 494 >= 0 @ 158.729
163.24/163.80	c bounds 493 >= 0 @ 158.742
163.83/164.40	c bounds 487 >= 0 @ 159.324
165.13/165.74	c bounds 486 >= 0 @ 160.639
165.53/166.17	c bounds 484 >= 0 @ 161.057
165.83/166.40	c bounds 482 >= 0 @ 161.275
165.83/166.42	c bounds 478 >= 0 @ 161.291
166.43/167.10	c bounds 472 >= 0 @ 161.944
167.12/167.74	c #Conflicts:      16000 | #Constraints:     660726
167.12/167.74	c bounds 471 >= 0 @ 162.573
172.60/173.21	c bounds 467 >= 0 @ 167.963
188.36/189.08	c #Conflicts:      17000 | #Constraints:     661747
188.36/189.08	c #Conflicts:      18000 | #Constraints:     662760
188.36/189.08	c bounds 463 >= 0 @ 183.55
206.40/207.13	c INPROCESSING
206.40/207.13	c GARBAGE COLLECT
206.40/207.13	c rational objective 177.184
256.86/257.73	c #Conflicts:      19000 | #Constraints:     660742
256.86/257.73	c #Conflicts:      20000 | #Constraints:     661749
256.86/257.73	c #Conflicts:      21000 | #Constraints:     662759
256.86/257.73	c INPROCESSING
256.86/257.73	c GARBAGE COLLECT
256.86/257.73	c rational objective 178.136
292.26/293.50	c #Conflicts:      22000 | #Constraints:     660542
292.26/293.50	c #Conflicts:      23000 | #Constraints:     661545
292.26/293.50	c #Conflicts:      24000 | #Constraints:     662553
292.26/293.50	c #Conflicts:      25000 | #Constraints:     663564
292.26/293.50	c INPROCESSING
292.26/293.50	c GARBAGE COLLECT
292.26/293.50	c bounds 462 >= 0 @ 286.333
302.43/303.70	c #Conflicts:      26000 | #Constraints:     661157
302.43/303.70	c bounds 461 >= 0 @ 296.339
323.87/325.26	c #Conflicts:      27000 | #Constraints:     662173
323.87/325.26	c #Conflicts:      28000 | #Constraints:     663187
323.87/325.26	c #Conflicts:      29000 | #Constraints:     664200
323.87/325.26	c INPROCESSING
323.87/325.26	c GARBAGE COLLECT
323.87/325.26	c bounds 458 >= 0 @ 317.421
323.87/325.28	c bounds 456 >= 0 @ 317.44
323.97/325.31	c bounds 455 >= 0 @ 317.458
325.17/326.51	c bounds 452 >= 0 @ 318.634
325.77/327.11	c bounds 446 >= 0 @ 319.216
325.96/327.33	c bounds 444 >= 0 @ 319.428
325.96/327.37	c bounds 440 >= 0 @ 319.467
325.96/327.39	c bounds 439 >= 0 @ 319.485
326.17/327.51	c bounds 438 >= 0 @ 319.605
326.17/327.54	c bounds 437 >= 0 @ 319.626
338.34/339.71	c #Conflicts:      30000 | #Constraints:     661589
338.34/339.71	c bounds 434 >= 0 @ 331.554
342.13/343.52	c bounds 433 >= 0 @ 335.283
343.02/344.41	c bounds 432 >= 0 @ 336.148
343.32/344.75	c bounds 427 >= 0 @ 336.486
345.01/346.49	c #Conflicts:      31000 | #Constraints:     662614
345.01/346.49	c bounds 420 >= 0 @ 338.197
387.20/388.77	c #Conflicts:      32000 | #Constraints:     663630
387.20/388.77	c #Conflicts:      33000 | #Constraints:     664642
387.20/388.77	c INPROCESSING
387.20/388.77	c GARBAGE COLLECT
387.20/388.77	c rational objective 179.045
420.97/422.68	c #Conflicts:      34000 | #Constraints:     661788
420.97/422.68	c #Conflicts:      35000 | #Constraints:     662799
420.97/422.68	c bounds 416 >= 0 @ 413.402
500.17/502.05	c #Conflicts:      36000 | #Constraints:     663813
500.17/502.05	c #Conflicts:      37000 | #Constraints:     664821
500.17/502.05	c INPROCESSING
500.17/502.05	c GARBAGE COLLECT
500.17/502.05	c #Conflicts:      38000 | #Constraints:     661790
500.17/502.05	c #Conflicts:      39000 | #Constraints:     662801
500.17/502.05	c #Conflicts:      40000 | #Constraints:     663807
500.17/502.05	c #Conflicts:      41000 | #Constraints:     664815
500.17/502.05	c INPROCESSING
500.17/502.05	c GARBAGE COLLECT
500.17/502.05	c rational objective 180.003
507.44/509.31	c bounds 415 >= 0 @ 498.857
507.64/509.58	c bounds 408 >= 0 @ 499.125
507.85/509.75	c bounds 405 >= 0 @ 499.291
507.85/509.79	c bounds 404 >= 0 @ 499.326
507.95/509.83	c bounds 401 >= 0 @ 499.365
508.15/510.02	c bounds 399 >= 0 @ 499.545
509.04/510.90	c bounds 397 >= 0 @ 500.416
512.33/514.26	c #Conflicts:      42000 | #Constraints:     661595
512.33/514.26	c bounds 396 >= 0 @ 503.718
512.43/514.35	c bounds 395 >= 0 @ 503.805
522.30/524.21	c #Conflicts:      43000 | #Constraints:     662611
522.30/524.21	c bounds 393 >= 0 @ 513.509
552.13/554.11	c #Conflicts:      44000 | #Constraints:     663616
552.13/554.11	c #Conflicts:      45000 | #Constraints:     664624
552.13/554.11	c bounds 391 >= 0 @ 542.974
575.25/577.33	c #Conflicts:      46000 | #Constraints:     665638
575.25/577.33	c INPROCESSING
575.25/577.33	c GARBAGE COLLECT
575.25/577.33	c rational objective 180.321
759.37/761.96	c #Conflicts:      47000 | #Constraints:     662177
759.37/761.96	c #Conflicts:      48000 | #Constraints:     663185
759.37/761.96	c #Conflicts:      49000 | #Constraints:     664195
759.37/761.96	c #Conflicts:      50000 | #Constraints:     665202
759.37/761.96	c #Conflicts:      51000 | #Constraints:     666210
759.37/761.96	c INPROCESSING
759.37/761.96	c GARBAGE COLLECT
759.37/761.96	c #Conflicts:      52000 | #Constraints:     662576
759.37/761.96	c #Conflicts:      53000 | #Constraints:     663582
759.37/761.96	c #Conflicts:      54000 | #Constraints:     664592
759.37/761.96	c #Conflicts:      55000 | #Constraints:     665600
759.37/761.96	c #Conflicts:      56000 | #Constraints:     666610
759.37/761.96	c INPROCESSING
759.37/761.96	c GARBAGE COLLECT
759.37/761.96	c rational objective 180.375
935.28/938.36	c #Conflicts:      57000 | #Constraints:     662779
935.28/938.36	c #Conflicts:      58000 | #Constraints:     663789
935.28/938.36	c #Conflicts:      59000 | #Constraints:     664796
935.28/938.36	c #Conflicts:      60000 | #Constraints:     665805
935.28/938.36	c #Conflicts:      61000 | #Constraints:     666811
935.28/938.36	c INPROCESSING
935.28/938.36	c GARBAGE COLLECT
935.28/938.36	c #Conflicts:      62000 | #Constraints:     662770
935.28/938.36	c #Conflicts:      63000 | #Constraints:     663776
935.28/938.36	c #Conflicts:      64000 | #Constraints:     664780
935.28/938.36	c #Conflicts:      65000 | #Constraints:     665786
935.28/938.36	c #Conflicts:      66000 | #Constraints:     666792
935.28/938.36	c INPROCESSING
935.28/938.36	c GARBAGE COLLECT
935.28/938.36	c rational objective 180.375
942.86/945.96	c bounds 389 >= 0 @ 930.054
1108.30/1112.87	c #Conflicts:      67000 | #Constraints:     662561
1108.30/1112.87	c #Conflicts:      68000 | #Constraints:     663580
1108.30/1112.87	c #Conflicts:      69000 | #Constraints:     664591
1108.30/1112.87	c #Conflicts:      70000 | #Constraints:     665598
1108.30/1112.87	c #Conflicts:      71000 | #Constraints:     666606
1108.30/1112.87	c #Conflicts:      72000 | #Constraints:     667620
1108.30/1112.87	c INPROCESSING
1108.30/1112.87	c GARBAGE COLLECT
1108.30/1112.87	c #Conflicts:      73000 | #Constraints:     663178
1108.30/1112.87	c #Conflicts:      74000 | #Constraints:     664185
1108.30/1112.87	c #Conflicts:      75000 | #Constraints:     665195
1108.30/1112.87	c #Conflicts:      76000 | #Constraints:     666205
1108.30/1112.87	c #Conflicts:      77000 | #Constraints:     667212
1108.30/1112.87	c #Conflicts:      78000 | #Constraints:     668220
1108.30/1112.87	c INPROCESSING
1108.30/1112.87	c GARBAGE COLLECT
1108.30/1112.87	c rational objective 180.5
1324.97/1330.98	c #Conflicts:      79000 | #Constraints:     663577
1324.97/1330.98	c #Conflicts:      80000 | #Constraints:     664591
1324.97/1330.98	c #Conflicts:      81000 | #Constraints:     665601
1324.97/1330.98	c #Conflicts:      82000 | #Constraints:     666605
1324.97/1330.98	c #Conflicts:      83000 | #Constraints:     667612
1324.97/1330.98	c #Conflicts:      84000 | #Constraints:     668618
1324.97/1330.98	c INPROCESSING
1324.97/1330.98	c GARBAGE COLLECT
1324.97/1330.98	c #Conflicts:      85000 | #Constraints:     663787
1324.97/1330.98	c #Conflicts:      86000 | #Constraints:     664798
1324.97/1330.98	c #Conflicts:      87000 | #Constraints:     665807
1324.97/1330.98	c #Conflicts:      88000 | #Constraints:     666821
1324.97/1330.98	c #Conflicts:      89000 | #Constraints:     667833
1324.97/1330.98	c #Conflicts:      90000 | #Constraints:     668848
1324.97/1330.98	c INPROCESSING
1324.97/1330.98	c GARBAGE COLLECT
1324.97/1330.98	c rational objective 180.5
1516.12/1522.84	c #Conflicts:      91000 | #Constraints:     663802
1516.12/1522.84	c #Conflicts:      92000 | #Constraints:     664931
1516.12/1522.84	c #Conflicts:      93000 | #Constraints:     666376
1516.12/1522.84	c #Conflicts:      94000 | #Constraints:     667856
1516.12/1522.84	c #Conflicts:      95000 | #Constraints:     669018
1516.12/1522.84	c #Conflicts:      96000 | #Constraints:     670026
1516.12/1522.84	c INPROCESSING
1516.12/1522.84	c GARBAGE COLLECT
1516.12/1522.84	c rational objective 180.5
1525.09/1531.87	c bounds 388 >= 0 @ 1507.92
1564.19/1571.06	c #Conflicts:      97000 | #Constraints:     664200
1564.19/1571.06	c #Conflicts:      98000 | #Constraints:     665216
1564.19/1571.06	c #Conflicts:      99000 | #Constraints:     666239
1564.19/1571.06	c bounds 385 >= 0 @ 1546.42
1567.68/1574.59	c bounds 381 >= 0 @ 1549.89
1569.37/1576.20	c #Conflicts:     100000 | #Constraints:     667253
1569.37/1576.20	c bounds 378 >= 0 @ 1551.47
1569.37/1576.25	c bounds 377 >= 0 @ 1551.51
1572.17/1579.01	c bounds 376 >= 0 @ 1554.22
1572.17/1579.07	c bounds 375 >= 0 @ 1554.27
1726.53/1733.84	c #Conflicts:     101000 | #Constraints:     668277
1726.53/1733.84	c #Conflicts:     102000 | #Constraints:     669291
1726.53/1733.84	c #Conflicts:     103000 | #Constraints:     670306
1726.53/1733.84	c INPROCESSING
1726.53/1733.84	c GARBAGE COLLECT
1726.53/1733.84	c #Conflicts:     104000 | #Constraints:     664514
1726.53/1733.84	c #Conflicts:     105000 | #Constraints:     665522
1726.53/1733.84	c #Conflicts:     106000 | #Constraints:     666531
1726.53/1733.84	c #Conflicts:     107000 | #Constraints:     667540
1726.53/1733.84	c #Conflicts:     108000 | #Constraints:     668550
1726.53/1733.84	c #Conflicts:     109000 | #Constraints:     669559
1726.53/1733.84	c #Conflicts:     110000 | #Constraints:     670568
1726.53/1733.84	c INPROCESSING
1726.53/1733.84	c GARBAGE COLLECT
1726.53/1733.84	c rational objective 180.5
1733.41/1740.75	c bounds 373 >= 0 @ 1713.93
1733.41/1740.78	c bounds 372 >= 0 @ 1713.95
1733.51/1740.80	c bounds 371 >= 0 @ 1713.96
1733.51/1740.89	c bounds 369 >= 0 @ 1714.05
1733.82/1741.18	c bounds 368 >= 0 @ 1714.33
1733.91/1741.23	c bounds 365 >= 0 @ 1714.38
1734.01/1741.38	c bounds 364 >= 0 @ 1714.53
1734.12/1741.44	c bounds 363 >= 0 @ 1714.58
1734.31/1741.62	c bounds 362 >= 0 @ 1714.76
1741.09/1748.41	c bounds 361 >= 0 @ 1721.41
1741.09/1748.44	c bounds 360 >= 0 @ 1721.44
1741.19/1748.56	c bounds 358 >= 0 @ 1721.56
1741.29/1748.60	c bounds 356 >= 0 @ 1721.59
1742.49/1749.83	c bounds 355 >= 0 @ 1722.8
1744.38/1751.71	c #Conflicts:     111000 | #Constraints:     664768
1744.38/1751.71	c bounds 354 >= 0 @ 1724.65
1750.86/1758.29	c bounds 351 >= 0 @ 1731.11
1838.92/1846.55	c #Conflicts:     112000 | #Constraints:     665791
1838.92/1846.55	c #Conflicts:     113000 | #Constraints:     666804
1838.92/1846.55	c #Conflicts:     114000 | #Constraints:     667817
1838.92/1846.55	c #Conflicts:     115000 | #Constraints:     668828
1838.92/1846.55	c #Conflicts:     116000 | #Constraints:     669836
1838.92/1846.55	c bounds 350 >= 0 @ 1818.19
1878.62/1886.36	c #Conflicts:     117000 | #Constraints:     670845
1878.62/1886.36	c INPROCESSING
1878.62/1886.36	c GARBAGE COLLECT
1878.62/1886.36	c rational objective 180.5
2084.29/2092.51	c #Conflicts:     118000 | #Constraints:     664883
2084.29/2092.51	c #Conflicts:     119000 | #Constraints:     665895
2084.29/2092.51	c #Conflicts:     120000 | #Constraints:     666906
2084.29/2092.51	c #Conflicts:     121000 | #Constraints:     667917
2084.29/2092.51	c #Conflicts:     122000 | #Constraints:     668927
2084.29/2092.51	c #Conflicts:     123000 | #Constraints:     669939
2084.29/2092.51	c #Conflicts:     124000 | #Constraints:     670946
2084.29/2092.51	c INPROCESSING
2084.29/2092.51	c GARBAGE COLLECT
2084.29/2092.51	c #Conflicts:     125000 | #Constraints:     664843
2084.29/2092.51	c #Conflicts:     126000 | #Constraints:     665851
2084.29/2092.51	c #Conflicts:     127000 | #Constraints:     666860
2084.29/2092.51	c #Conflicts:     128000 | #Constraints:     667866
2084.29/2092.51	c #Conflicts:     129000 | #Constraints:     668876
2084.29/2092.51	c #Conflicts:     130000 | #Constraints:     669879
2084.29/2092.51	c #Conflicts:     131000 | #Constraints:     670886
2084.29/2092.51	c INPROCESSING
2084.29/2092.51	c GARBAGE COLLECT
2084.29/2092.51	c rational objective 180.5
2213.05/2221.60	c #Conflicts:     132000 | #Constraints:     664617
2213.05/2221.60	c #Conflicts:     133000 | #Constraints:     665629
2213.05/2221.60	c #Conflicts:     134000 | #Constraints:     666636
2213.05/2221.60	c #Conflicts:     135000 | #Constraints:     667650
2213.05/2221.60	c #Conflicts:     136000 | #Constraints:     668659
2213.05/2221.60	c #Conflicts:     137000 | #Constraints:     669665
2213.05/2221.60	c #Conflicts:     138000 | #Constraints:     670674
2213.05/2221.60	c #Conflicts:     139000 | #Constraints:     671682
2213.05/2221.60	c INPROCESSING
2213.05/2221.60	c GARBAGE COLLECT
2213.05/2221.60	c rational objective 180.5
2222.42/2231.02	c bounds 349 >= 0 @ 2198.24
2226.01/2234.67	c bounds 348 >= 0 @ 2201.84
2242.37/2251.05	c #Conflicts:     140000 | #Constraints:     665222
2242.37/2251.05	c #Conflicts:     141000 | #Constraints:     666231
2242.37/2251.05	c bounds 345 >= 0 @ 2217.94
2477.06/2486.41	c #Conflicts:     142000 | #Constraints:     667243
2477.06/2486.41	c #Conflicts:     143000 | #Constraints:     668255
2477.06/2486.41	c #Conflicts:     144000 | #Constraints:     669268
2477.06/2486.41	c #Conflicts:     145000 | #Constraints:     670275
2477.06/2486.41	c #Conflicts:     146000 | #Constraints:     671283
2477.06/2486.41	c #Conflicts:     147000 | #Constraints:     672291
2477.06/2486.41	c INPROCESSING
2477.06/2486.41	c GARBAGE COLLECT
2477.06/2486.41	c #Conflicts:     148000 | #Constraints:     665637
2477.06/2486.41	c #Conflicts:     149000 | #Constraints:     666648
2477.06/2486.41	c #Conflicts:     150000 | #Constraints:     667659
2477.06/2486.41	c #Conflicts:     151000 | #Constraints:     668669
2477.06/2486.41	c #Conflicts:     152000 | #Constraints:     669682
2477.06/2486.41	c #Conflicts:     153000 | #Constraints:     670693
2477.06/2486.41	c #Conflicts:     154000 | #Constraints:     671701
2477.06/2486.41	c #Conflicts:     155000 | #Constraints:     672707
2477.06/2486.41	c INPROCESSING
2477.06/2486.41	c GARBAGE COLLECT
2477.06/2486.41	c rational objective 180.5
2556.04/2565.62	c #Conflicts:     156000 | #Constraints:     665822
2556.04/2565.62	c #Conflicts:     157000 | #Constraints:     666828
2556.04/2565.62	c #Conflicts:     158000 | #Constraints:     667836
2556.04/2565.62	c #Conflicts:     159000 | #Constraints:     668848
2556.04/2565.62	c bounds 344 >= 0 @ 2528.69
2648.37/2658.27	c #Conflicts:     160000 | #Constraints:     669858
2648.37/2658.27	c #Conflicts:     161000 | #Constraints:     670869
2648.37/2658.27	c #Conflicts:     162000 | #Constraints:     671877
2648.37/2658.27	c #Conflicts:     163000 | #Constraints:     672891
2648.37/2658.27	c INPROCESSING
2648.37/2658.27	c GARBAGE COLLECT
2648.37/2658.27	c rational objective 180.5
2766.01/2776.22	c #Conflicts:     164000 | #Constraints:     665819
2766.01/2776.22	c #Conflicts:     165000 | #Constraints:     666828
2766.01/2776.22	c #Conflicts:     166000 | #Constraints:     667836
2766.01/2776.22	c #Conflicts:     167000 | #Constraints:     668844
2766.01/2776.22	c #Conflicts:     168000 | #Constraints:     669855
2766.01/2776.22	c #Conflicts:     169000 | #Constraints:     670864
2766.01/2776.22	c #Conflicts:     170000 | #Constraints:     671873
2766.01/2776.22	c #Conflicts:     171000 | #Constraints:     672884
2766.01/2776.22	c INPROCESSING
2766.01/2776.22	c GARBAGE COLLECT
2766.01/2776.22	c rational objective 180.5
2908.88/2919.58	c #Conflicts:     172000 | #Constraints:     665600
2908.88/2919.58	c #Conflicts:     173000 | #Constraints:     666607
2908.88/2919.58	c #Conflicts:     174000 | #Constraints:     667616
2908.88/2919.58	c #Conflicts:     175000 | #Constraints:     668621
2908.88/2919.58	c #Conflicts:     176000 | #Constraints:     669629
2908.88/2919.58	c #Conflicts:     177000 | #Constraints:     670638
2908.88/2919.58	c #Conflicts:     178000 | #Constraints:     671648
2908.88/2919.58	c #Conflicts:     179000 | #Constraints:     672658
2908.88/2919.58	c #Conflicts:     180000 | #Constraints:     673666
2908.88/2919.58	c INPROCESSING
2908.88/2919.58	c GARBAGE COLLECT
2908.88/2919.58	c rational objective 180.5
2940.68/2951.43	c #Conflicts:     181000 | #Constraints:     666207
2940.68/2951.43	c #Conflicts:     182000 | #Constraints:     667214
2940.68/2951.43	c bounds 343 >= 0 @ 2909.68
3069.49/3080.63	c #Conflicts:     183000 | #Constraints:     668228
3069.49/3080.63	c #Conflicts:     184000 | #Constraints:     669235
3069.49/3080.63	c #Conflicts:     185000 | #Constraints:     670245
3069.49/3080.63	c #Conflicts:     186000 | #Constraints:     671250
3069.49/3080.63	c #Conflicts:     187000 | #Constraints:     672262
3069.49/3080.63	c #Conflicts:     188000 | #Constraints:     673269
3069.49/3080.63	c #Conflicts:     189000 | #Constraints:     674279
3069.49/3080.63	c INPROCESSING
3069.49/3080.63	c GARBAGE COLLECT
3069.49/3080.63	c rational objective 180.5
3199.99/3211.59	c #Conflicts:     190000 | #Constraints:     666614
3199.99/3211.59	c #Conflicts:     191000 | #Constraints:     667615
3199.99/3211.59	c #Conflicts:     192000 | #Constraints:     668616
3199.99/3211.59	c #Conflicts:     193000 | #Constraints:     669624
3199.99/3211.59	c #Conflicts:     194000 | #Constraints:     670633
3199.99/3211.59	c #Conflicts:     195000 | #Constraints:     671641
3199.99/3211.59	c #Conflicts:     196000 | #Constraints:     672650
3199.99/3211.59	c #Conflicts:     197000 | #Constraints:     673657
3199.99/3211.59	c #Conflicts:     198000 | #Constraints:     674662
3199.99/3211.59	c INPROCESSING
3199.99/3211.59	c GARBAGE COLLECT
3199.99/3211.59	c rational objective 180.614
3379.73/3391.81	c #Conflicts:     199000 | #Constraints:     666813
3379.73/3391.81	c #Conflicts:     200000 | #Constraints:     667820
3379.73/3391.81	c #Conflicts:     201000 | #Constraints:     668826
3379.73/3391.81	c #Conflicts:     202000 | #Constraints:     669834
3379.73/3391.81	c #Conflicts:     203000 | #Constraints:     670839
3379.73/3391.81	c #Conflicts:     204000 | #Constraints:     671844
3379.73/3391.81	c #Conflicts:     205000 | #Constraints:     672850
3379.73/3391.81	c #Conflicts:     206000 | #Constraints:     673853
3379.73/3391.81	c #Conflicts:     207000 | #Constraints:     674861
3379.73/3391.81	c INPROCESSING
3379.73/3391.81	c GARBAGE COLLECT
3379.73/3391.81	c rational objective 180.693
3590.99/3603.74	c #Conflicts:     208000 | #Constraints:     666798
3590.99/3603.74	c #Conflicts:     209000 | #Constraints:     667805
3590.99/3603.74	c #Conflicts:     210000 | #Constraints:     668812
3590.99/3603.74	c #Conflicts:     211000 | #Constraints:     669821
3590.99/3603.74	c #Conflicts:     212000 | #Constraints:     670829
3590.99/3603.74	c #Conflicts:     213000 | #Constraints:     671835
3590.99/3603.74	c #Conflicts:     214000 | #Constraints:     672846
3590.99/3603.74	c #Conflicts:     215000 | #Constraints:     673853
3590.99/3603.74	c #Conflicts:     216000 | #Constraints:     674859
3590.99/3603.74	c INPROCESSING
3590.99/3603.74	c GARBAGE COLLECT
3590.99/3603.74	c rational objective 180.693
3600.98/3613.79	c Disabling crashed LP
3600.98/3613.79	c cpu time 3564.66 s
3600.98/3613.79	c deterministic time 448992717615 4.49e+11
3600.98/3613.79	c optimization time 1.7543 s
3600.98/3613.79	c total solve time 3559.98 s
3600.98/3613.79	c core-guided solve time 2347.34 s
3600.98/3613.79	c propagation time 1425.84 s
3600.98/3613.79	c conflict analysis time 1031.89 s
3600.98/3613.79	c propagations 51374192
3600.98/3613.79	c resolve steps 2337226
3600.98/3613.79	c decisions 6886864
3600.98/3613.79	c conflicts 216601
3600.98/3613.79	c restarts 510
3600.98/3613.79	c inprocessing phases 38
3600.98/3613.79	c garbage collections 38 ,( 100.00 )
3600.98/3613.79	c input clauses 656900 ,( 99.94 )
3600.98/3613.79	c input cardinalities 0 ,( 0.00 )
3600.98/3613.79	c input general constraints 377 ,( 0.06 )
3600.98/3613.79	c input average constraint length 7.76
3600.98/3613.79	c input average constraint degree 284.19
3600.98/3613.79	c learned clauses 30998 ,( 14.10 )
3600.98/3613.79	c learned cardinalities 20 ,( 0.01 )
3600.98/3613.79	c learned general constraints 188833 ,( 85.89 )
3600.98/3613.79	c learned average constraint length 6976.62
3600.98/3613.79	c learned average constraint degree 460075228338.06
3600.98/3613.79	c watched  CF 32, 64, 128, Arb: 1315 , 0 , 0 , 0
3600.98/3613.79	c counting CF 32, 64, 128, Arb: 187896 , 0 , 0 , 0
3600.98/3613.79	c watched   constraints 1315 ,( 0.69 ) 
3600.98/3613.79	c counting  constraints 187895 ,( 99.31 ) 
3600.98/3613.79	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 22067897 , 84529 , 383173141 ,( 167935 , 383005206 )
3600.98/3613.79	c gcd simplifications 2486
3600.98/3613.79	c detected cardinalities 0
3600.98/3613.79	c weakened non-implied lits 393943113
3600.98/3613.79	c weakened non-implying lits 136336
3600.98/3613.79	c original variables 10000
3600.98/3613.79	c clausal propagations 14723784
3600.98/3613.79	c cardinality propagations 2
3600.98/3613.79	c watched propagations 90
3600.98/3613.79	c counting propagations 34325208
3600.98/3613.79	c watch lookups 13834111921
3600.98/3613.79	c watch backjump lookups 0
3600.98/3613.79	c watch checks 738504649
3600.98/3613.79	c propagation checks 430319752074
3600.98/3613.79	c constraint additions 3983170297
3600.98/3613.79	c trail pops 58475692
3600.98/3613.79	c formula constraints 656900
3600.98/3613.79	c learned constraints 214636
3600.98/3613.79	c bound constraints 377
3600.98/3613.79	c core-guided constraints 0
3600.98/3613.79	c encountered formula constraints 1952247
3600.98/3613.79	c encountered learned constraints 373071
3600.98/3613.79	c encountered bound constraints 7844
3600.98/3613.79	c encountered core-guided constraints 0
3600.98/3613.79	c LP total time 1312.93 s
3600.98/3613.79	c LP solve time 1082.43 s
3600.98/3613.79	c LP constraints added 656940
3600.98/3613.79	c LP constraints removed 21
3600.98/3613.79	c LP pivots internal 216634
3600.98/3613.79	c LP pivots root 225291
3600.98/3613.79	c LP calls 3409
3600.98/3613.79	c LP optimalities 173
3600.98/3613.79	c LP no pivot count 4
3600.98/3613.79	c LP infeasibilities 3226
3600.98/3613.79	c LP valid Farkas constraints 3219
3600.98/3613.79	c LP learned Farkas constraints 1965
3600.98/3613.79	c LP basis resets 13
3600.98/3613.79	c LP cycling count 4
3600.98/3613.79	c LP singular count 1
3600.98/3613.79	c LP no primal count 0
3600.98/3613.79	c LP no farkas count 7
3600.98/3613.79	c LP other issue count 1
3600.98/3613.79	c LP Gomory cuts 31
3600.98/3613.79	c LP learned cuts 9
3600.98/3613.79	c LP deleted cuts 21
3600.98/3613.79	c LP encountered Gomory constraints 335
3600.98/3613.79	c LP encountered Farkas constraints 213566
3600.98/3613.79	c LP encountered learned Farkas constraints 4799
3600.98/3613.79	c CG auxiliary variables introduced 0
3600.98/3613.79	c CG solutions found 376
3600.98/3613.79	c CG cores constructed 0
3600.98/3613.79	c CG core cardinality constraints returned 0
3600.98/3613.79	c CG unit cores 0
3600.98/3613.79	c CG single cores 0
3600.98/3613.79	c CG blocks removed during cardinality reduction 0
3600.98/3613.79	c CG first core best 0
3600.98/3613.79	c CG decision core best 0
3600.98/3613.79	c CG core reduction tie 0
3600.98/3613.79	c CG core degree average 0.00
3600.98/3613.79	c CG core slack average 0.00
3600.98/3613.79	c CG core upper bound improvements 0
3600.98/3613.79	c STR number of successful calls 0
3600.98/3613.79	c STR number of unsuccessful calls 0
3600.98/3613.79	c STR number of inconclusive calls 0
3600.98/3613.79	c STR number of successful attempts 0
3600.98/3613.79	c STR number of unsuccessful attempts 0
3600.98/3613.79	c STR number of inconclusive attempts 0
3600.98/3613.79	c STR average degree increase per successful call inf
3600.98/3613.79	c STR average degree increase per successful attempt inf
3600.98/3613.79	c STR total number of conflicts for successful attempts 0
3600.98/3613.79	c STR total number of conflicts for unsuccessful attempts 0
3600.98/3613.79	c STR total number of conflicts for inconclusive attempts 0
3600.98/3613.79	c STR average number of conflicts per successful attempt inf
3600.98/3613.79	c STR average number of conflicts per unsuccessful attempt inf
3600.98/3613.79	c STR average number of conflicts per inconclusive attempt inf
3600.98/3613.79	c AVG.sumWPerc 98.56 
3600.98/3613.79	c bigint constraints 0 
3600.98/3613.79	o 343
3600.98/3613.79	s SATISFIABLE
3600.98/3613.79	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.98/3613.79	c Program interrupted by user.

Verifier Data 

OK	343

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489463-1751354064/watcher-4489463-1751354064 -o /tmp/evaluation-result-4489463-1751354064/solver-4489463-1751354064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48858 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489463-1751354064.opb PROOFDIR/proof-4489463-1751354064 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.11 4.09 5/273 49318
/proc/meminfo: memFree=129574888/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49318] ppid=49316 vsize=165748 memory=150304 CPUtime=0.08 cores=1,3
/proc/49318/stat : 49318 (pbsuma) R 49316 49316 48846 0 -1 4194304 4645 0 0 0 5 3 0 0 20 0 1 0 51084852 169725952 37576 18446744073709551615 4210688 4653049 140726134872432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 38027264 140726134876387 140726134876722 140726134876722 140726134882287 0
/proc/49318/statm: 41437 37576 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153248 KiB

[startup+0.205664 s]*
/proc/loadavg: 4.13 4.11 4.09 5/273 49318
/proc/meminfo: memFree=129551388/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49318] ppid=49316 vsize=181844 memory=167436 CPUtime=0.19 cores=1,3
/proc/49318/stat : 49318 (pbsuma) R 49316 49316 48846 0 -1 4194304 9344 0 0 0 14 5 0 0 20 0 1 0 51084852 186208256 41859 18446744073709551615 4210688 4653049 140726134872432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 38027264 140726134876387 140726134876722 140726134876722 140726134882287 0
/proc/49318/statm: 45461 41859 960 108 0 42869 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 186036 KiB
Current children cumulated memory: 170380 KiB

[startup+0.305645 s]*
/proc/loadavg: 4.13 4.11 4.09 5/273 49318
/proc/meminfo: memFree=129527716/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49318] ppid=49316 vsize=195972 memory=186924 CPUtime=0.29 cores=1,3
/proc/49318/stat : 49318 (pbsuma) R 49316 49316 48846 0 -1 4194304 13207 0 0 0 23 6 0 0 20 0 1 0 51084852 200675328 46731 18446744073709551615 4210688 4653049 140726134872432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 38027264 140726134876387 140726134876722 140726134876722 140726134882287 0
/proc/49318/statm: 48993 46731 960 108 0 46401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 200164 KiB
Current children cumulated memory: 189868 KiB

[startup+0.700196 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 49318
/proc/meminfo: memFree=129454752/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49318] ppid=49316 vsize=319208 memory=265776 CPUtime=0.63 cores=1,3
/proc/49318/stat : 49318 (pbsuma) R 49316 49316 48846 0 -1 4194304 26155 0 0 0 54 9 0 0 20 0 1 0 51084852 326868992 66444 18446744073709551615 4210688 4653049 140726134872432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 38027264 140726134876387 140726134876722 140726134876722 140726134882287 0
/proc/49318/statm: 79802 66444 992 108 0 77210 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 323400 KiB
Current children cumulated memory: 268720 KiB

[startup+1.50015 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 49319
/proc/meminfo: memFree=129568704/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=109176 memory=64356 CPUtime=0.57 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 13840 0 0 0 45 12 0 0 20 0 1 0 51084942 111796224 16089 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 27294 16089 2016 1147 0 14721 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 113368 KiB
Current children cumulated memory: 67300 KiB

[startup+3.10549 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 49319
/proc/meminfo: memFree=129401948/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=264108 memory=203496 CPUtime=2.17 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 45616 0 0 0 167 50 0 0 20 0 1 0 51084942 270446592 50874 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 66027 50874 2016 1147 0 53454 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 268300 KiB
Current children cumulated memory: 206440 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 49319
/proc/meminfo: memFree=128600828/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=1064968 memory=807340 CPUtime=5.36 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 90487 0 0 0 449 87 0 0 20 0 1 0 51084942 1090527232 201835 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 266242 201835 2336 1147 0 253669 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1069160 KiB
Current children cumulated memory: 810284 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 49319
/proc/meminfo: memFree=128433356/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=1252892 memory=930604 CPUtime=11.74 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 98412 0 0 0 1076 98 0 0 20 0 1 0 51084942 1282961408 232651 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 313223 232651 2432 1147 0 300650 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 1257084 KiB
Current children cumulated memory: 933548 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/274 49321
/proc/meminfo: memFree=127634652/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=1491504 memory=1144828 CPUtime=24.51 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 131034 0 0 0 2316 135 0 0 20 0 1 0 51084942 1527300096 286207 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 372876 286207 2432 1147 0 360303 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1495696 KiB
Current children cumulated memory: 1147772 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 49322
/proc/meminfo: memFree=126591264/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=1804224 memory=1386980 CPUtime=50.05 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 174203 0 0 0 4811 194 0 0 20 0 1 0 51084942 1847525376 346745 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 451056 346745 2432 1147 0 438483 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1808416 KiB
Current children cumulated memory: 1389924 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 49323
/proc/meminfo: memFree=124774316/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=2173396 memory=1687788 CPUtime=101.08 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 225498 0 0 0 9823 285 0 0 20 0 1 0 51084942 2225557504 421947 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 543349 421947 2432 1147 0 530776 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2177588 KiB
Current children cumulated memory: 1690732 KiB

[startup+162.3 s]
/proc/loadavg: 4.38 4.16 4.11 5/274 49327
/proc/meminfo: memFree=122783844/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=2624704 memory=2116156 CPUtime=160.91 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 300121 0 0 0 15727 364 0 0 20 0 1 0 51084942 2687696896 529039 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 656176 529039 2496 1147 0 643603 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2628896 KiB
Current children cumulated memory: 2119100 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 4.19 4.12 5/275 49330
/proc/meminfo: memFree=121140572/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=2640124 memory=2192420 CPUtime=220.72 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 306889 0 0 0 21641 431 0 0 20 0 1 0 51084942 2703486976 548105 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 660031 548105 2496 1147 0 647458 0

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

[startup+3282.3 s]
/proc/loadavg: 4.36 4.24 4.15 5/270 49514
/proc/meminfo: memFree=59772604/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=6157240 memory=5158320 CPUtime=3269.74 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 742491 0 0 0 323661 3313 0 0 20 0 1 0 51084942 6305013760 1289580 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1539310 1289580 2528 1147 0 1526737 0
Current children cumulated CPU time: 3270.57 s
Current children cumulated vsize: 6161432 KiB
Current children cumulated memory: 5161264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.21 4.14 7/271 49517
/proc/meminfo: memFree=58771712/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=6157240 memory=5158320 CPUtime=3329.56 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 744309 0 0 0 329592 3364 0 0 20 0 1 0 51084942 6305013760 1289580 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1539310 1289580 2528 1147 0 1526737 0
Current children cumulated CPU time: 3330.39 s
Current children cumulated vsize: 6161432 KiB
Current children cumulated memory: 5161264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/272 49526
/proc/meminfo: memFree=58332096/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=6159592 memory=5158320 CPUtime=3389.37 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 744499 0 0 0 335563 3374 0 0 20 0 1 0 51084942 6307422208 1289580 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1539898 1289580 2528 1147 0 1527325 0
Current children cumulated CPU time: 3390.2 s
Current children cumulated vsize: 6163784 KiB
Current children cumulated memory: 5161264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/272 49528
/proc/meminfo: memFree=56982856/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=6159592 memory=5158320 CPUtime=3449.19 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 746048 0 0 0 341478 3441 0 0 20 0 1 0 51084942 6307422208 1289580 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1539898 1289580 2528 1147 0 1527325 0
Current children cumulated CPU time: 3450.02 s
Current children cumulated vsize: 6163784 KiB
Current children cumulated memory: 5161264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/273 49531
/proc/meminfo: memFree=55861288/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=6159592 memory=5159728 CPUtime=3509.01 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 746369 0 0 0 347411 3490 0 0 20 0 1 0 51084942 6307422208 1289932 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1539898 1289932 2528 1147 0 1527325 0
Current children cumulated CPU time: 3509.84 s
Current children cumulated vsize: 6163784 KiB
Current children cumulated memory: 5162672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/274 49534
/proc/meminfo: memFree=54418832/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=7003148 memory=5694084 CPUtime=3568.82 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 862155 0 0 0 353330 3552 0 0 20 0 1 0 51084942 7171223552 1423521 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1750787 1423521 2528 1147 0 1738214 0
Current children cumulated CPU time: 3569.65 s
Current children cumulated vsize: 7007340 KiB
Current children cumulated memory: 5697028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.8 s]
/proc/loadavg: 4.08 4.14 4.12 5/276 49538
/proc/meminfo: memFree=54182328/131249996 swapFree=33010684/33010684
[pid=49316] ppid=49313 vsize=4192 memory=2944 CPUtime=0.83 cores=1,3
/proc/49316/stat : 49316 (run-opt-ls-log.) S 49313 49316 48846 0 -1 4194304 240 30214 0 0 0 0 72 11 20 0 1 0 51084851 4292608 736 18446744073709551615 94179533037568 94179533932101 140736929693296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94179534171152 94179534218896 94179559333888 140736929696027 140736929696225 140736929696225 140736929701827 0
/proc/49316/statm: 1048 736 672 219 0 110 0
[pid=49319] ppid=49316 vsize=7016116 memory=5709724 CPUtime=3599.23 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49316 49316 48846 0 -1 4194304 864802 0 0 0 356367 3556 0 0 20 0 1 0 51084942 7184502784 1427431 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1754029 1427431 2528 1147 0 1741456 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 7020308 KiB
Current children cumulated memory: 5712668 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

[startup+0 s]*
/proc/loadavg: 4.16 4.16 4.13 5/268 49564
/proc/meminfo: memFree=63353500/131249996 swapFree=33010684/33010684
[pid=49319] ppid=49313 vsize=6363024 memory=5276152 CPUtime=3600.95 cores=1,3
/proc/49319/stat : 49319 (roundingsat) D 49313 49316 48846 0 -1 4194304 864814 0 0 0 356466 3629 0 0 20 0 1 0 51084942 6515736576 1319038 18446744073709551615 4227072 8923433 140733604298880 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 9
/proc/49319/statm: 1590756 1319038 2592 1147 0 1578183 0
??? kill 49319 sig 9
??? end of watcher thread

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

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

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

[startup+3613.6 s]
/proc/loadavg: 4.08 4.14 4.12 4/270 49546
/proc/meminfo: memFree=54571792/131249996 swapFree=33010684/33010684
[pid=49319] ppid=49313 vsize=7016116 memory=5709724 CPUtime=3600.03 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49313 49316 48846 0 -1 4194304 864802 0 0 0 356446 3557 0 0 20 0 1 0 51084942 7184502784 1427431 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1754029 1427431 2528 1147 0 1741456 0
Current cumulated CPU time of completed processes: 0.84817 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7016116 KiB
Current children cumulated memory: 5709724 KiB

[startup+3614.4 s]
/proc/loadavg: 4.08 4.14 4.12 5/272 49555
/proc/meminfo: memFree=54972928/131249996 swapFree=33010684/33010684
[pid=49319] ppid=49313 vsize=6363024 memory=5276152 CPUtime=3600.82 cores=1,3
/proc/49319/stat : 49319 (roundingsat) R 49313 49316 48846 0 -1 4194304 864814 0 0 0 356465 3617 0 0 20 0 1 0 51084942 6515736576 1319038 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1590756 1319038 2592 1147 0 1578183 0
Current cumulated CPU time of completed processes: 0.84817 s
Current children cumulated CPU time: 3600.82 s
Current children cumulated vsize: 6363024 KiB
Current children cumulated memory: 5276152 KiB

[startup+3614.8 s]
/proc/loadavg: 4.08 4.14 4.12 5/272 49555
/proc/meminfo: memFree=54972928/131249996 swapFree=33010684/33010684
[pid=49319] ppid=49313 vsize=6363024 memory=5276152 CPUtime=3600.95 cores=1,3
/proc/49319/stat : 49319 (roundingsat) D 49313 49316 48846 0 -1 4194304 864814 0 0 0 356466 3629 0 0 20 0 1 0 51084942 6515736576 1319038 18446744073709551615 4227072 8923433 140733604298880 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 25722880 140733604305142 140733604305448 140733604305448 140733604311018 0
/proc/49319/statm: 1590756 1319038 2592 1147 0 1578183 0
Current cumulated CPU time of completed processes: 0.84817 s
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 6363024 KiB
Current children cumulated memory: 5276152 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3620.7
CPU time (s): 3602.24
CPU user time (s): 3565.42
CPU system time (s): 36.8244
CPU usage (%): 99.4902
Max. virtual memory (cumulated for all children) (KiB): 7020308
Max. memory (cumulated for all children) (KiB): 5712668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.42
system time used= 36.8244
maximum resident set size= 5709852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 895268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 86550240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169888
involuntary context switches= 4949


# summary of solver processes directly reported to runsolver:
#   pid: 49316,49319
#   total CPU time (s): 3602.24
#   total CPU user time (s): 3565.42
#   total CPU system time (s): 36.8244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1494 second user time and 16.4431 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 09:14:24
IDJOB=4489463
IDBENCH=147551
IDSOLVER=3356
FILE ID=nodeC029/4489463-1751354064
RUNJOBID= nodeC029-1751350437-48858
SLURM_JOB_ID= 9598138
Free space on /tmp= 433024 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489463-1751354064/watcher-4489463-1751354064 -o /tmp/evaluation-result-4489463-1751354064/solver-4489463-1751354064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48858 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489463-1751354064.opb PROOFDIR/proof-4489463-1751354064

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=118702966

nodeC029 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.741
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.46
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.713
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129717672 kB
MemAvailable:   129737340 kB
Buffers:            3280 kB
Cached:           826760 kB
SwapCached:            0 kB
Active:           405484 kB
Inactive:         569436 kB
Active(anon):     162984 kB
Inactive(anon):        0 kB
Active(file):     242500 kB
Inactive(file):   569436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            130812 kB
Writeback:             4 kB
AnonPages:        147600 kB
Mapped:           116932 kB
Shmem:             18060 kB
KReclaimable:      93940 kB
Slab:             184400 kB
SReclaimable:      93940 kB
SUnreclaim:        90460 kB
KernelStack:        4368 kB
PageTables:         3420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     487500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432932 MiB
End job on nodeC029 at 2025-07-01 10:14:45