Trace number 4489462

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22adSAT (TO)343 3600.15 3610.4

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-4489462-1751357479.opb'
0.28/0.34	c 	read 17.23MB  (328.32ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.67/0.71	c	 [group: #orbits ~= 0] (366.12ms)
0.67/0.71	c 
0.67/0.71	c detect special group actions
0.67/0.71	c 	probe for Johnson action (limit=64)
0.67/0.71	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.72	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.73	c 	 (18.33ms)
0.67/0.73	c 
0.67/0.73	c detect symmetries on remainder
0.67/0.73	c 	[graph: #vertices 706671 #edges 2766340]
0.67/0.74	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.78	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.45ms)
0.67/0.78	c 
0.67/0.78	c finalize break order and special generators
0.67/0.78	c 
0.67/0.78	c generation finished
0.67/0.78	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.78	c 
0.67/0.78	c write result to 'HOME/instance-4489462-1751357479.opb.pre'
0.77/0.82	c 	wrote 17.23MB (35.69ms)
0.77/0.82	c ------------------------------------------------------------------
0.77/0.82	c                 366.12ms 45.51% approx_orbits
0.77/0.82	c                 328.32ms 40.81% parse
0.77/0.82	c                  53.45ms  6.64% detect_generic
0.77/0.82	c                  35.69ms  4.44% output
0.77/0.82	c                  18.33ms  2.28% detect_special
0.77/0.82	c                   2.18ms  0.27% other
0.77/0.82	c                   0.38ms  0.05% finalize_order
0.77/0.82	c         ───────────────────────────────────────────────
0.77/0.82	c                 804.46ms   100% total
0.77/0.82	c ------------------------------------------------------------------
0.86/0.96	c RoundingSat 2
0.86/0.96	c branch pb25
0.86/0.96	c commit 63f22ad
3.54/3.65	c #variables 10000 #constraints 656900
3.54/3.65	c objective is ce32 
4.44/4.52	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.44/4.52	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.44/4.52	c bounds 5186 >= 0 @ 2.8128
6.43/6.51	c rational objective 174.592
9.83/9.92	c bounds 5105 >= 0 @ 8.08661
9.83/9.93	c bounds 4948 >= 0 @ 8.09084
9.83/9.94	c bounds 4926 >= 0 @ 8.09722
9.83/9.95	c bounds 4891 >= 0 @ 8.10338
9.83/9.96	c bounds 4833 >= 0 @ 8.11096
9.83/9.96	c bounds 4821 >= 0 @ 8.11629
9.83/9.97	c bounds 4800 >= 0 @ 8.12283
9.83/9.99	c bounds 4768 >= 0 @ 8.13611
9.93/10.07	c bounds 4745 >= 0 @ 8.21641
9.93/10.08	c bounds 4740 >= 0 @ 8.2213
10.03/10.13	c bounds 4701 >= 0 @ 8.27609
10.03/10.15	c bounds 4670 >= 0 @ 8.29683
10.03/10.16	c bounds 4621 >= 0 @ 8.30219
10.03/10.17	c bounds 4593 >= 0 @ 8.30822
10.03/10.18	c bounds 4532 >= 0 @ 8.32463
10.03/10.19	c bounds 4469 >= 0 @ 8.33332
10.12/10.20	c bounds 4338 >= 0 @ 8.33984
10.12/10.21	c bounds 4212 >= 0 @ 8.34637
10.12/10.22	c bounds 4191 >= 0 @ 8.36038
10.12/10.23	c bounds 4190 >= 0 @ 8.36503
10.12/10.25	c bounds 4187 >= 0 @ 8.37986
10.22/10.32	c bounds 4186 >= 0 @ 8.45736
10.32/10.43	c bounds 4164 >= 0 @ 8.5656
10.32/10.45	c bounds 4146 >= 0 @ 8.57769
10.32/10.45	c bounds 4138 >= 0 @ 8.58456
10.32/10.46	c bounds 4058 >= 0 @ 8.59161
10.32/10.48	c bounds 4036 >= 0 @ 8.60259
10.32/10.48	c bounds 3886 >= 0 @ 8.60782
10.32/10.49	c bounds 3883 >= 0 @ 8.61425
10.42/10.51	c bounds 3881 >= 0 @ 8.63162
10.52/10.68	c bounds 3877 >= 0 @ 8.79772
10.52/10.69	c bounds 3807 >= 0 @ 8.80416
10.63/10.70	c bounds 3790 >= 0 @ 8.81548
10.72/10.81	c bounds 3768 >= 0 @ 8.91943
10.82/10.92	c bounds 3761 >= 0 @ 9.03091
10.82/10.93	c bounds 3737 >= 0 @ 9.04173
11.13/11.20	c bounds 3734 >= 0 @ 9.30284
11.23/11.30	c bounds 3730 >= 0 @ 9.40463
11.23/11.31	c bounds 3727 >= 0 @ 9.41594
11.23/11.32	c bounds 3722 >= 0 @ 9.42846
11.32/11.41	c bounds 3687 >= 0 @ 9.50839
11.32/11.42	c bounds 3643 >= 0 @ 9.51828
11.42/11.50	c bounds 3609 >= 0 @ 9.60054
11.42/11.58	c bounds 3599 >= 0 @ 9.68048
11.52/11.69	c bounds 3585 >= 0 @ 9.78538
11.62/11.71	c bounds 3557 >= 0 @ 9.79714
11.62/11.71	c bounds 3538 >= 0 @ 9.80305
11.62/11.72	c bounds 3513 >= 0 @ 9.80973
11.62/11.73	c bounds 3502 >= 0 @ 9.81988
11.72/11.82	c bounds 3476 >= 0 @ 9.9056
11.82/11.93	c bounds 3468 >= 0 @ 10.0077
11.82/11.94	c bounds 3466 >= 0 @ 10.0215
11.93/12.04	c bounds 3439 >= 0 @ 10.121
11.93/12.05	c bounds 3413 >= 0 @ 10.13
11.93/12.07	c bounds 3410 >= 0 @ 10.1426
11.93/12.08	c bounds 3375 >= 0 @ 10.1492
11.93/12.09	c bounds 3345 >= 0 @ 10.1566
11.93/12.09	c bounds 3221 >= 0 @ 10.1648
12.03/12.17	c bounds 3214 >= 0 @ 10.2412
12.03/12.18	c bounds 3185 >= 0 @ 10.249
12.12/12.20	c bounds 3172 >= 0 @ 10.2656
12.12/12.21	c bounds 3164 >= 0 @ 10.2762
12.21/12.30	c bounds 3144 >= 0 @ 10.3654
12.21/12.32	c bounds 3138 >= 0 @ 10.3815
12.21/12.36	c bounds 3136 >= 0 @ 10.4122
12.21/12.37	c bounds 3133 >= 0 @ 10.4191
12.31/12.48	c bounds 3101 >= 0 @ 10.5295
12.31/12.49	c bounds 3029 >= 0 @ 10.5361
12.42/12.58	c bounds 2972 >= 0 @ 10.6196
12.51/12.67	c bounds 2937 >= 0 @ 10.7161
12.51/12.68	c bounds 2897 >= 0 @ 10.7228
12.62/12.78	c bounds 2891 >= 0 @ 10.8137
12.62/12.79	c bounds 2889 >= 0 @ 10.8195
12.62/12.79	c bounds 2847 >= 0 @ 10.8248
12.72/12.80	c bounds 2840 >= 0 @ 10.8299
12.72/12.89	c bounds 2811 >= 0 @ 10.9152
12.92/13.05	c bounds 2808 >= 0 @ 11.0734
12.92/13.06	c bounds 2795 >= 0 @ 11.0798
13.02/13.16	c bounds 2790 >= 0 @ 11.176
13.02/13.17	c bounds 2763 >= 0 @ 11.1849
27.17/27.30	c #Conflicts:       1000 | #Constraints:     658014
27.17/27.30	c #Conflicts:       2000 | #Constraints:     659036
27.17/27.30	c INPROCESSING
27.17/27.30	c GARBAGE COLLECT
27.17/27.30	c bounds 2759 >= 0 @ 25.133
27.17/27.31	c bounds 2752 >= 0 @ 25.1442
27.17/27.32	c bounds 2743 >= 0 @ 25.1537
27.27/27.41	c bounds 2742 >= 0 @ 25.2354
27.27/27.42	c bounds 2740 >= 0 @ 25.2498
27.27/27.45	c bounds 2739 >= 0 @ 25.269
27.27/27.46	c bounds 2733 >= 0 @ 25.2809
27.36/27.55	c bounds 2720 >= 0 @ 25.37
27.36/27.56	c bounds 2697 >= 0 @ 25.383
27.46/27.65	c bounds 2673 >= 0 @ 25.4694
27.57/27.78	c bounds 2667 >= 0 @ 25.5959
27.57/27.79	c bounds 2651 >= 0 @ 25.6082
27.67/27.81	c bounds 2647 >= 0 @ 25.6247
27.67/27.83	c bounds 2638 >= 0 @ 25.6393
27.67/27.84	c bounds 2636 >= 0 @ 25.6535
27.67/27.86	c bounds 2631 >= 0 @ 25.6668
27.67/27.87	c bounds 2614 >= 0 @ 25.6822
27.77/27.90	c bounds 2612 >= 0 @ 25.7029
27.87/28.02	c bounds 2578 >= 0 @ 25.8197
27.87/28.07	c bounds 2535 >= 0 @ 25.8704
27.97/28.18	c bounds 2511 >= 0 @ 25.9744
27.97/28.19	c bounds 2484 >= 0 @ 25.9887
28.07/28.21	c bounds 2471 >= 0 @ 26.0047
28.16/28.32	c bounds 2470 >= 0 @ 26.1148
28.16/28.34	c bounds 2462 >= 0 @ 26.1332
28.16/28.36	c bounds 2459 >= 0 @ 26.1467
28.27/28.46	c bounds 2449 >= 0 @ 26.2466
28.77/28.90	c bounds 2428 >= 0 @ 26.6814
28.97/29.11	c bounds 2408 >= 0 @ 26.8919
29.26/29.41	c bounds 2398 >= 0 @ 27.1937
29.36/29.52	c bounds 2370 >= 0 @ 27.3035
29.36/29.55	c bounds 2353 >= 0 @ 27.3293
29.46/29.65	c bounds 2324 >= 0 @ 27.4288
29.46/29.66	c bounds 2322 >= 0 @ 27.4393
29.46/29.67	c bounds 2320 >= 0 @ 27.4532
29.66/29.82	c bounds 2298 >= 0 @ 27.6014
29.66/29.85	c bounds 2285 >= 0 @ 27.6251
29.66/29.86	c bounds 2262 >= 0 @ 27.6387
29.76/29.96	c bounds 2248 >= 0 @ 27.7341
29.86/30.05	c bounds 2214 >= 0 @ 27.826
30.06/30.21	c bounds 2209 >= 0 @ 27.9807
30.06/30.23	c bounds 2208 >= 0 @ 27.9985
30.06/30.26	c bounds 2202 >= 0 @ 28.0258
30.15/30.30	c bounds 2194 >= 0 @ 28.0614
30.15/30.32	c bounds 2181 >= 0 @ 28.082
30.26/30.42	c bounds 2148 >= 0 @ 28.1824
30.26/30.45	c bounds 2143 >= 0 @ 28.2053
30.36/30.58	c bounds 2142 >= 0 @ 28.3318
30.46/30.68	c bounds 2113 >= 0 @ 28.4375
30.55/30.71	c bounds 2089 >= 0 @ 28.4597
30.55/30.73	c bounds 2072 >= 0 @ 28.4773
30.66/30.84	c bounds 2059 >= 0 @ 28.5838
30.66/30.85	c bounds 2046 >= 0 @ 28.5929
30.66/30.86	c bounds 2042 >= 0 @ 28.6039
30.66/30.88	c bounds 2035 >= 0 @ 28.6169
30.66/30.89	c bounds 2024 >= 0 @ 28.6291
30.76/30.90	c bounds 1998 >= 0 @ 28.6384
30.76/30.93	c bounds 1962 >= 0 @ 28.6584
30.87/31.03	c bounds 1944 >= 0 @ 28.7563
30.87/31.04	c bounds 1940 >= 0 @ 28.768
30.87/31.06	c bounds 1938 >= 0 @ 28.7831
30.96/31.16	c bounds 1901 >= 0 @ 28.8817
30.96/31.18	c bounds 1895 >= 0 @ 28.8961
30.96/31.19	c bounds 1890 >= 0 @ 28.9056
31.05/31.22	c bounds 1880 >= 0 @ 28.9289
31.16/31.32	c bounds 1846 >= 0 @ 29.0281
31.16/31.33	c bounds 1834 >= 0 @ 29.0368
31.16/31.36	c bounds 1825 >= 0 @ 29.0613
31.16/31.38	c bounds 1822 >= 0 @ 29.0809
31.26/31.40	c bounds 1812 >= 0 @ 29.0942
31.26/31.42	c bounds 1807 >= 0 @ 29.1099
31.26/31.44	c bounds 1787 >= 0 @ 29.1333
31.35/31.55	c bounds 1778 >= 0 @ 29.2435
31.35/31.58	c bounds 1736 >= 0 @ 29.2632
31.35/31.59	c bounds 1735 >= 0 @ 29.2774
31.45/31.62	c bounds 1713 >= 0 @ 29.3031
31.45/31.64	c bounds 1706 >= 0 @ 29.3156
31.56/31.73	c bounds 1705 >= 0 @ 29.4077
34.14/34.31	c bounds 1702 >= 0 @ 31.9724
34.14/34.33	c bounds 1697 >= 0 @ 31.9859
34.24/34.43	c bounds 1686 >= 0 @ 32.0825
34.24/34.45	c bounds 1684 >= 0 @ 32.1043
34.24/34.47	c bounds 1683 >= 0 @ 32.1163
34.24/34.49	c bounds 1682 >= 0 @ 32.133
34.35/34.53	c bounds 1636 >= 0 @ 32.1703
34.35/34.56	c bounds 1619 >= 0 @ 32.1953
34.35/34.57	c bounds 1618 >= 0 @ 32.2092
34.35/34.59	c bounds 1617 >= 0 @ 32.2232
34.45/34.65	c bounds 1586 >= 0 @ 32.2877
34.45/34.68	c bounds 1567 >= 0 @ 32.3098
34.45/34.69	c bounds 1554 >= 0 @ 32.3247
34.54/34.72	c bounds 1498 >= 0 @ 32.3564
34.54/34.75	c bounds 1493 >= 0 @ 32.3825
34.64/34.88	c bounds 1483 >= 0 @ 32.5023
34.75/34.99	c bounds 1480 >= 0 @ 32.6166
34.85/35.10	c bounds 1477 >= 0 @ 32.7243
34.95/35.13	c bounds 1465 >= 0 @ 32.7522
34.95/35.15	c bounds 1457 >= 0 @ 32.7688
34.95/35.17	c bounds 1444 >= 0 @ 32.786
35.04/35.21	c bounds 1432 >= 0 @ 32.8237
35.04/35.29	c bounds 1418 >= 0 @ 32.9029
35.14/35.36	c bounds 1395 >= 0 @ 32.967
35.14/35.37	c bounds 1386 >= 0 @ 32.9813
35.14/35.39	c bounds 1384 >= 0 @ 32.9991
35.24/35.42	c bounds 1382 >= 0 @ 33.0269
36.04/36.20	c #Conflicts:       3000 | #Constraints:     659053
36.04/36.20	c bounds 1376 >= 0 @ 33.7966
36.04/36.23	c bounds 1375 >= 0 @ 33.823
36.14/36.34	c bounds 1352 >= 0 @ 33.9205
36.14/36.36	c bounds 1317 >= 0 @ 33.94
36.14/36.38	c bounds 1267 >= 0 @ 33.9549
36.24/36.40	c bounds 1247 >= 0 @ 33.977
36.24/36.45	c bounds 1244 >= 0 @ 34.0254
36.24/36.49	c bounds 1243 >= 0 @ 34.0589
36.34/36.51	c bounds 1242 >= 0 @ 34.0753
36.43/36.61	c bounds 1241 >= 0 @ 34.1717
36.54/36.74	c bounds 1240 >= 0 @ 34.2923
36.54/36.77	c bounds 1217 >= 0 @ 34.3136
36.54/36.78	c bounds 1202 >= 0 @ 34.3272
36.64/36.82	c bounds 1199 >= 0 @ 34.359
36.64/36.87	c bounds 1193 >= 0 @ 34.4017
36.74/36.92	c bounds 1180 >= 0 @ 34.446
36.74/36.96	c bounds 1167 >= 0 @ 34.4756
36.74/36.98	c bounds 1158 >= 0 @ 34.4984
36.85/37.00	c bounds 1156 >= 0 @ 34.5123
36.85/37.06	c bounds 1146 >= 0 @ 34.5585
38.43/38.60	c bounds 1143 >= 0 @ 36.0346
41.42/41.65	c #Conflicts:       4000 | #Constraints:     660074
41.42/41.65	c INPROCESSING
41.42/41.65	c GARBAGE COLLECT
41.42/41.65	c rational objective 175.566
45.31/45.56	c bounds 1031 >= 0 @ 42.9235
45.41/45.65	c bounds 1030 >= 0 @ 43.0056
45.41/45.66	c bounds 1027 >= 0 @ 43.011
67.74/68.07	c #Conflicts:       5000 | #Constraints:     659350
67.74/68.07	c #Conflicts:       6000 | #Constraints:     660360
67.74/68.07	c INPROCESSING
67.74/68.07	c GARBAGE COLLECT
67.74/68.07	c bounds 1026 >= 0 @ 65.1621
67.74/68.09	c bounds 1024 >= 0 @ 65.1875
67.84/68.12	c bounds 1023 >= 0 @ 65.2147
67.84/68.15	c bounds 1022 >= 0 @ 65.2365
68.14/68.42	c bounds 1021 >= 0 @ 65.5005
68.23/68.55	c bounds 1020 >= 0 @ 65.6325
68.23/68.57	c bounds 1018 >= 0 @ 65.648
68.43/68.73	c bounds 1016 >= 0 @ 65.8059
68.74/69.05	c bounds 1011 >= 0 @ 66.1227
69.13/69.44	c bounds 1000 >= 0 @ 66.5134
69.13/69.46	c bounds 993 >= 0 @ 66.526
69.13/69.47	c bounds 991 >= 0 @ 66.5355
69.33/69.69	c bounds 984 >= 0 @ 66.7532
69.43/69.78	c bounds 981 >= 0 @ 66.8397
69.53/69.81	c bounds 954 >= 0 @ 66.8698
69.63/69.97	c bounds 942 >= 0 @ 67.0348
69.63/69.99	c bounds 937 >= 0 @ 67.0503
69.73/70.09	c bounds 927 >= 0 @ 67.1448
69.93/70.20	c bounds 926 >= 0 @ 67.258
69.93/70.22	c bounds 924 >= 0 @ 67.2748
70.12/70.40	c #Conflicts:       7000 | #Constraints:     659371
70.12/70.40	c bounds 915 >= 0 @ 67.4544
70.23/70.58	c bounds 902 >= 0 @ 67.6266
70.33/70.61	c bounds 894 >= 0 @ 67.6517
70.42/70.74	c bounds 883 >= 0 @ 67.7819
70.42/70.79	c bounds 879 >= 0 @ 67.8325
70.52/70.81	c bounds 874 >= 0 @ 67.8525
70.63/70.93	c bounds 869 >= 0 @ 67.9699
70.63/70.95	c bounds 850 >= 0 @ 67.9832
70.63/70.97	c bounds 849 >= 0 @ 67.9989
70.73/71.10	c bounds 846 >= 0 @ 68.1217
70.83/71.12	c bounds 839 >= 0 @ 68.1395
70.83/71.14	c bounds 838 >= 0 @ 68.1634
71.03/71.38	c bounds 836 >= 0 @ 68.3932
71.13/71.49	c bounds 810 >= 0 @ 68.5056
71.42/71.70	c bounds 809 >= 0 @ 68.7091
71.82/72.11	c bounds 806 >= 0 @ 69.1119
71.82/72.13	c bounds 805 >= 0 @ 69.1277
72.02/72.31	c bounds 804 >= 0 @ 69.3109
80.29/80.65	c bounds 800 >= 0 @ 77.5792
80.29/80.68	c bounds 799 >= 0 @ 77.6077
80.49/80.80	c bounds 797 >= 0 @ 77.7253
80.49/80.83	c bounds 796 >= 0 @ 77.7554
80.49/80.86	c bounds 782 >= 0 @ 77.7788
80.49/80.87	c bounds 781 >= 0 @ 77.7892
80.59/80.96	c bounds 773 >= 0 @ 77.8689
80.70/81.03	c bounds 763 >= 0 @ 77.9436
80.70/81.05	c bounds 758 >= 0 @ 77.9645
80.70/81.08	c bounds 745 >= 0 @ 77.9895
80.79/81.11	c bounds 738 >= 0 @ 78.0119
80.79/81.13	c bounds 730 >= 0 @ 78.0338
80.79/81.16	c bounds 722 >= 0 @ 78.0616
80.90/81.21	c bounds 720 >= 0 @ 78.1159
80.90/81.24	c bounds 701 >= 0 @ 78.136
80.90/81.25	c bounds 698 >= 0 @ 78.1455
80.90/81.26	c bounds 694 >= 0 @ 78.1546
80.90/81.28	c bounds 690 >= 0 @ 78.1671
82.49/82.87	c bounds 686 >= 0 @ 79.7446
82.88/83.24	c #Conflicts:       8000 | #Constraints:     660419
82.88/83.24	c bounds 685 >= 0 @ 80.1115
83.28/83.66	c bounds 683 >= 0 @ 80.5298
83.38/83.73	c bounds 682 >= 0 @ 80.5923
83.58/83.91	c bounds 680 >= 0 @ 80.7656
83.79/84.19	c bounds 674 >= 0 @ 81.0394
83.88/84.24	c bounds 671 >= 0 @ 81.0956
83.88/84.28	c bounds 652 >= 0 @ 81.1307
83.98/84.32	c bounds 651 >= 0 @ 81.1608
83.98/84.34	c bounds 635 >= 0 @ 81.181
83.98/84.35	c bounds 634 >= 0 @ 81.1926
84.38/84.70	c bounds 626 >= 0 @ 81.5384
84.38/84.79	c bounds 615 >= 0 @ 81.6248
84.48/84.82	c bounds 611 >= 0 @ 81.6426
84.48/84.84	c bounds 606 >= 0 @ 81.6647
84.48/84.86	c bounds 604 >= 0 @ 81.6879
85.58/85.92	c bounds 603 >= 0 @ 82.7278
85.58/85.98	c bounds 602 >= 0 @ 82.7813
85.68/86.02	c bounds 600 >= 0 @ 82.8136
90.96/91.34	c #Conflicts:       9000 | #Constraints:     661437
90.96/91.34	c INPROCESSING
90.96/91.34	c GARBAGE COLLECT
90.96/91.34	c rational objective 176
95.75/96.14	c bounds 596 >= 0 @ 92.8488
96.95/97.33	c bounds 579 >= 0 @ 94.0336
97.04/97.40	c bounds 572 >= 0 @ 94.0939
110.90/111.36	c #Conflicts:      10000 | #Constraints:     660046
110.90/111.36	c #Conflicts:      11000 | #Constraints:     661046
110.90/111.36	c #Conflicts:      12000 | #Constraints:     662046
110.90/111.36	c INPROCESSING
110.90/111.36	c GARBAGE COLLECT
110.90/111.36	c rational objective 176.612
116.09/116.57	c bounds 567 >= 0 @ 113.014
116.18/116.60	c bounds 563 >= 0 @ 113.039
116.18/116.69	c bounds 561 >= 0 @ 113.126
118.48/118.96	c bounds 557 >= 0 @ 115.373
118.58/119.06	c bounds 553 >= 0 @ 115.468
118.88/119.31	c bounds 552 >= 0 @ 115.719
118.88/119.38	c bounds 530 >= 0 @ 115.784
118.98/119.41	c bounds 520 >= 0 @ 115.816
119.77/120.21	c bounds 518 >= 0 @ 116.613
120.27/120.71	c bounds 517 >= 0 @ 117.098
120.27/120.72	c bounds 515 >= 0 @ 117.109
120.27/120.79	c bounds 514 >= 0 @ 117.172
121.27/121.73	c #Conflicts:      13000 | #Constraints:     660492
121.27/121.73	c bounds 509 >= 0 @ 118.109
121.27/121.75	c bounds 507 >= 0 @ 118.125
131.94/132.47	c #Conflicts:      14000 | #Constraints:     661494
131.94/132.47	c #Conflicts:      15000 | #Constraints:     662494
131.94/132.47	c INPROCESSING
131.94/132.47	c GARBAGE COLLECT
131.94/132.47	c rational objective 176.63
136.42/136.90	c bounds 506 >= 0 @ 133.171
136.53/137.09	c bounds 505 >= 0 @ 133.363
136.63/137.13	c bounds 500 >= 0 @ 133.389
136.63/137.15	c bounds 497 >= 0 @ 133.414
139.92/140.44	c bounds 495 >= 0 @ 136.654
139.92/140.46	c bounds 494 >= 0 @ 136.681
139.92/140.48	c bounds 493 >= 0 @ 136.693
140.52/141.01	c bounds 487 >= 0 @ 137.201
141.41/141.97	c bounds 486 >= 0 @ 138.146
141.71/142.27	c bounds 484 >= 0 @ 138.448
141.91/142.42	c bounds 482 >= 0 @ 138.598
141.91/142.44	c bounds 478 >= 0 @ 138.616
142.41/142.94	c bounds 472 >= 0 @ 139.103
142.81/143.37	c #Conflicts:      16000 | #Constraints:     660726
142.81/143.37	c bounds 471 >= 0 @ 139.528
146.50/147.10	c bounds 467 >= 0 @ 143.231
158.06/158.67	c #Conflicts:      17000 | #Constraints:     661747
158.06/158.67	c #Conflicts:      18000 | #Constraints:     662760
158.06/158.67	c bounds 463 >= 0 @ 154.735
177.80/178.46	c INPROCESSING
177.80/178.46	c GARBAGE COLLECT
177.80/178.46	c rational objective 177.184
235.93/236.71	c #Conflicts:      19000 | #Constraints:     660742
235.93/236.71	c #Conflicts:      20000 | #Constraints:     661749
235.93/236.71	c #Conflicts:      21000 | #Constraints:     662759
235.93/236.71	c INPROCESSING
235.93/236.71	c GARBAGE COLLECT
235.93/236.71	c rational objective 178.136
264.56/265.45	c #Conflicts:      22000 | #Constraints:     660542
264.56/265.45	c #Conflicts:      23000 | #Constraints:     661545
264.56/265.45	c #Conflicts:      24000 | #Constraints:     662553
264.56/265.45	c #Conflicts:      25000 | #Constraints:     663564
264.56/265.45	c INPROCESSING
264.56/265.45	c GARBAGE COLLECT
264.56/265.45	c bounds 462 >= 0 @ 260.766
271.74/272.67	c #Conflicts:      26000 | #Constraints:     661157
271.74/272.67	c bounds 461 >= 0 @ 267.946
287.40/288.34	c #Conflicts:      27000 | #Constraints:     662173
287.40/288.34	c #Conflicts:      28000 | #Constraints:     663187
287.40/288.34	c #Conflicts:      29000 | #Constraints:     664200
287.40/288.34	c INPROCESSING
287.40/288.34	c GARBAGE COLLECT
287.40/288.34	c bounds 458 >= 0 @ 283.409
287.40/288.36	c bounds 456 >= 0 @ 283.428
287.40/288.39	c bounds 455 >= 0 @ 283.445
288.39/289.30	c bounds 452 >= 0 @ 284.345
288.79/289.72	c bounds 446 >= 0 @ 284.766
288.99/289.91	c bounds 444 >= 0 @ 284.949
288.99/289.95	c bounds 440 >= 0 @ 284.982
288.99/289.96	c bounds 439 >= 0 @ 285.001
289.09/290.08	c bounds 438 >= 0 @ 285.116
289.19/290.10	c bounds 437 >= 0 @ 285.137
297.17/298.14	c #Conflicts:      30000 | #Constraints:     661589
297.17/298.14	c bounds 434 >= 0 @ 293.131
300.07/301.06	c bounds 433 >= 0 @ 296.022
300.65/301.67	c bounds 432 >= 0 @ 296.619
300.95/301.90	c bounds 427 >= 0 @ 296.84
302.25/303.27	c #Conflicts:      31000 | #Constraints:     662614
302.25/303.27	c bounds 420 >= 0 @ 298.199
344.54/345.62	c #Conflicts:      32000 | #Constraints:     663630
344.54/345.62	c #Conflicts:      33000 | #Constraints:     664642
344.54/345.62	c INPROCESSING
344.54/345.62	c GARBAGE COLLECT
344.54/345.62	c rational objective 179.045
373.55/374.74	c #Conflicts:      34000 | #Constraints:     661788
373.55/374.74	c #Conflicts:      35000 | #Constraints:     662799
373.55/374.74	c bounds 416 >= 0 @ 369.262
438.95/440.34	c #Conflicts:      36000 | #Constraints:     663813
438.95/440.34	c #Conflicts:      37000 | #Constraints:     664821
438.95/440.34	c INPROCESSING
438.95/440.34	c GARBAGE COLLECT
438.95/440.34	c #Conflicts:      38000 | #Constraints:     661790
438.95/440.34	c #Conflicts:      39000 | #Constraints:     662801
438.95/440.34	c #Conflicts:      40000 | #Constraints:     663807
438.95/440.34	c #Conflicts:      41000 | #Constraints:     664815
438.95/440.34	c INPROCESSING
438.95/440.34	c GARBAGE COLLECT
438.95/440.34	c rational objective 180.003
445.94/447.37	c bounds 415 >= 0 @ 441.453
446.24/447.62	c bounds 408 >= 0 @ 441.702
446.34/447.78	c bounds 405 >= 0 @ 441.853
446.44/447.81	c bounds 404 >= 0 @ 441.889
446.44/447.86	c bounds 401 >= 0 @ 441.925
446.64/448.03	c bounds 399 >= 0 @ 442.095
447.23/448.69	c bounds 397 >= 0 @ 442.749
449.73/451.11	c #Conflicts:      42000 | #Constraints:     661595
449.73/451.11	c bounds 396 >= 0 @ 445.152
449.82/451.20	c bounds 395 >= 0 @ 445.24
457.10/458.53	c #Conflicts:      43000 | #Constraints:     662611
457.10/458.53	c bounds 393 >= 0 @ 452.535
480.64/482.12	c #Conflicts:      44000 | #Constraints:     663616
480.64/482.12	c #Conflicts:      45000 | #Constraints:     664624
480.64/482.12	c bounds 391 >= 0 @ 475.995
502.98/504.52	c #Conflicts:      46000 | #Constraints:     665638
502.98/504.52	c INPROCESSING
502.98/504.52	c GARBAGE COLLECT
502.98/504.52	c rational objective 180.321
671.57/673.61	c #Conflicts:      47000 | #Constraints:     662177
671.57/673.61	c #Conflicts:      48000 | #Constraints:     663185
671.57/673.61	c #Conflicts:      49000 | #Constraints:     664195
671.57/673.61	c #Conflicts:      50000 | #Constraints:     665202
671.57/673.61	c #Conflicts:      51000 | #Constraints:     666210
671.57/673.61	c INPROCESSING
671.57/673.61	c GARBAGE COLLECT
671.57/673.61	c #Conflicts:      52000 | #Constraints:     662576
671.57/673.61	c #Conflicts:      53000 | #Constraints:     663582
671.57/673.61	c #Conflicts:      54000 | #Constraints:     664592
671.57/673.61	c #Conflicts:      55000 | #Constraints:     665600
671.57/673.61	c #Conflicts:      56000 | #Constraints:     666610
671.57/673.61	c INPROCESSING
671.57/673.61	c GARBAGE COLLECT
671.57/673.61	c rational objective 180.375
827.13/829.61	c #Conflicts:      57000 | #Constraints:     662779
827.13/829.61	c #Conflicts:      58000 | #Constraints:     663789
827.13/829.61	c #Conflicts:      59000 | #Constraints:     664796
827.13/829.61	c #Conflicts:      60000 | #Constraints:     665805
827.13/829.61	c #Conflicts:      61000 | #Constraints:     666811
827.13/829.61	c INPROCESSING
827.13/829.61	c GARBAGE COLLECT
827.13/829.61	c #Conflicts:      62000 | #Constraints:     662770
827.13/829.61	c #Conflicts:      63000 | #Constraints:     663776
827.13/829.61	c #Conflicts:      64000 | #Constraints:     664780
827.13/829.61	c #Conflicts:      65000 | #Constraints:     665786
827.13/829.61	c #Conflicts:      66000 | #Constraints:     666792
827.13/829.61	c INPROCESSING
827.13/829.61	c GARBAGE COLLECT
827.13/829.61	c rational objective 180.375
834.01/836.53	c bounds 389 >= 0 @ 828.167
980.25/983.24	c #Conflicts:      67000 | #Constraints:     662561
980.25/983.24	c #Conflicts:      68000 | #Constraints:     663580
980.25/983.24	c #Conflicts:      69000 | #Constraints:     664591
980.25/983.24	c #Conflicts:      70000 | #Constraints:     665598
980.25/983.24	c #Conflicts:      71000 | #Constraints:     666606
980.25/983.24	c #Conflicts:      72000 | #Constraints:     667620
980.25/983.24	c INPROCESSING
980.25/983.24	c GARBAGE COLLECT
980.25/983.24	c #Conflicts:      73000 | #Constraints:     663178
980.25/983.24	c #Conflicts:      74000 | #Constraints:     664185
980.25/983.24	c #Conflicts:      75000 | #Constraints:     665195
980.25/983.24	c #Conflicts:      76000 | #Constraints:     666205
980.25/983.24	c #Conflicts:      77000 | #Constraints:     667212
980.25/983.24	c #Conflicts:      78000 | #Constraints:     668220
980.25/983.24	c INPROCESSING
980.25/983.24	c GARBAGE COLLECT
980.25/983.24	c rational objective 180.5
1171.61/1175.13	c #Conflicts:      79000 | #Constraints:     663577
1171.61/1175.13	c #Conflicts:      80000 | #Constraints:     664591
1171.61/1175.13	c #Conflicts:      81000 | #Constraints:     665601
1171.61/1175.13	c #Conflicts:      82000 | #Constraints:     666605
1171.61/1175.13	c #Conflicts:      83000 | #Constraints:     667612
1171.61/1175.13	c #Conflicts:      84000 | #Constraints:     668618
1171.61/1175.13	c INPROCESSING
1171.61/1175.13	c GARBAGE COLLECT
1171.61/1175.13	c #Conflicts:      85000 | #Constraints:     663787
1171.61/1175.13	c #Conflicts:      86000 | #Constraints:     664798
1171.61/1175.13	c #Conflicts:      87000 | #Constraints:     665807
1171.61/1175.13	c #Conflicts:      88000 | #Constraints:     666821
1171.61/1175.13	c #Conflicts:      89000 | #Constraints:     667833
1171.61/1175.13	c #Conflicts:      90000 | #Constraints:     668848
1171.61/1175.13	c INPROCESSING
1171.61/1175.13	c GARBAGE COLLECT
1171.61/1175.13	c rational objective 180.5
1360.65/1364.71	c #Conflicts:      91000 | #Constraints:     663802
1360.65/1364.71	c #Conflicts:      92000 | #Constraints:     664931
1360.65/1364.71	c #Conflicts:      93000 | #Constraints:     666376
1360.65/1364.71	c #Conflicts:      94000 | #Constraints:     667856
1360.65/1364.71	c #Conflicts:      95000 | #Constraints:     669018
1360.65/1364.71	c #Conflicts:      96000 | #Constraints:     670026
1360.65/1364.71	c INPROCESSING
1360.65/1364.71	c GARBAGE COLLECT
1360.65/1364.71	c rational objective 180.5
1368.23/1372.39	c bounds 388 >= 0 @ 1361.42
1396.34/1400.51	c #Conflicts:      97000 | #Constraints:     664200
1396.34/1400.51	c #Conflicts:      98000 | #Constraints:     665216
1396.34/1400.51	c #Conflicts:      99000 | #Constraints:     666239
1396.34/1400.51	c bounds 385 >= 0 @ 1389.4
1398.94/1403.18	c bounds 381 >= 0 @ 1392.05
1400.23/1404.49	c #Conflicts:     100000 | #Constraints:     667253
1400.23/1404.49	c bounds 378 >= 0 @ 1393.35
1400.33/1404.54	c bounds 377 >= 0 @ 1393.4
1402.33/1406.56	c bounds 376 >= 0 @ 1395.4
1402.43/1406.61	c bounds 375 >= 0 @ 1395.45
1543.91/1548.59	c #Conflicts:     101000 | #Constraints:     668277
1543.91/1548.59	c #Conflicts:     102000 | #Constraints:     669291
1543.91/1548.59	c #Conflicts:     103000 | #Constraints:     670306
1543.91/1548.59	c INPROCESSING
1543.91/1548.59	c GARBAGE COLLECT
1543.91/1548.59	c #Conflicts:     104000 | #Constraints:     664514
1543.91/1548.59	c #Conflicts:     105000 | #Constraints:     665522
1543.91/1548.59	c #Conflicts:     106000 | #Constraints:     666531
1543.91/1548.59	c #Conflicts:     107000 | #Constraints:     667540
1543.91/1548.59	c #Conflicts:     108000 | #Constraints:     668550
1543.91/1548.59	c #Conflicts:     109000 | #Constraints:     669559
1543.91/1548.59	c #Conflicts:     110000 | #Constraints:     670568
1543.91/1548.59	c INPROCESSING
1543.91/1548.59	c GARBAGE COLLECT
1543.91/1548.59	c rational objective 180.5
1551.09/1555.71	c bounds 373 >= 0 @ 1543.61
1551.09/1555.73	c bounds 372 >= 0 @ 1543.63
1551.09/1555.76	c bounds 371 >= 0 @ 1543.65
1551.19/1555.85	c bounds 369 >= 0 @ 1543.73
1551.50/1556.16	c bounds 368 >= 0 @ 1544.04
1551.59/1556.22	c bounds 365 >= 0 @ 1544.09
1551.69/1556.37	c bounds 364 >= 0 @ 1544.24
1551.79/1556.42	c bounds 363 >= 0 @ 1544.29
1551.89/1556.57	c bounds 362 >= 0 @ 1544.43
1557.17/1561.86	c bounds 361 >= 0 @ 1549.69
1557.17/1561.89	c bounds 360 >= 0 @ 1549.71
1557.28/1562.00	c bounds 358 >= 0 @ 1549.82
1557.38/1562.04	c bounds 356 >= 0 @ 1549.85
1558.37/1563.09	c bounds 355 >= 0 @ 1550.9
1559.97/1564.63	c #Conflicts:     111000 | #Constraints:     664768
1559.97/1564.63	c bounds 354 >= 0 @ 1552.43
1564.95/1569.67	c bounds 351 >= 0 @ 1557.42
1637.84/1642.74	c #Conflicts:     112000 | #Constraints:     665791
1637.84/1642.74	c #Conflicts:     113000 | #Constraints:     666804
1637.84/1642.74	c #Conflicts:     114000 | #Constraints:     667817
1637.84/1642.74	c #Conflicts:     115000 | #Constraints:     668828
1637.84/1642.74	c #Conflicts:     116000 | #Constraints:     669836
1637.84/1642.74	c bounds 350 >= 0 @ 1630.07
1678.44/1683.40	c #Conflicts:     117000 | #Constraints:     670845
1678.44/1683.40	c INPROCESSING
1678.44/1683.40	c GARBAGE COLLECT
1678.44/1683.40	c rational objective 180.5
1853.46/1858.94	c #Conflicts:     118000 | #Constraints:     664883
1853.46/1858.94	c #Conflicts:     119000 | #Constraints:     665895
1853.46/1858.94	c #Conflicts:     120000 | #Constraints:     666906
1853.46/1858.94	c #Conflicts:     121000 | #Constraints:     667917
1853.46/1858.94	c #Conflicts:     122000 | #Constraints:     668927
1853.46/1858.94	c #Conflicts:     123000 | #Constraints:     669939
1853.46/1858.94	c #Conflicts:     124000 | #Constraints:     670946
1853.46/1858.94	c INPROCESSING
1853.46/1858.94	c GARBAGE COLLECT
1853.46/1858.94	c #Conflicts:     125000 | #Constraints:     664843
1853.46/1858.94	c #Conflicts:     126000 | #Constraints:     665851
1853.46/1858.94	c #Conflicts:     127000 | #Constraints:     666860
1853.46/1858.94	c #Conflicts:     128000 | #Constraints:     667866
1853.46/1858.94	c #Conflicts:     129000 | #Constraints:     668876
1853.46/1858.94	c #Conflicts:     130000 | #Constraints:     669879
1853.46/1858.94	c #Conflicts:     131000 | #Constraints:     670886
1853.46/1858.94	c INPROCESSING
1853.46/1858.94	c GARBAGE COLLECT
1853.46/1858.94	c rational objective 180.5
1961.87/1967.68	c #Conflicts:     132000 | #Constraints:     664617
1961.87/1967.68	c #Conflicts:     133000 | #Constraints:     665629
1961.87/1967.68	c #Conflicts:     134000 | #Constraints:     666636
1961.87/1967.68	c #Conflicts:     135000 | #Constraints:     667650
1961.87/1967.68	c #Conflicts:     136000 | #Constraints:     668659
1961.87/1967.68	c #Conflicts:     137000 | #Constraints:     669665
1961.87/1967.68	c #Conflicts:     138000 | #Constraints:     670674
1961.87/1967.68	c #Conflicts:     139000 | #Constraints:     671682
1961.87/1967.68	c INPROCESSING
1961.87/1967.68	c GARBAGE COLLECT
1961.87/1967.68	c rational objective 180.5
1970.05/1975.87	c bounds 349 >= 0 @ 1961.31
1972.74/1978.55	c bounds 348 >= 0 @ 1963.97
1984.31/1990.17	c #Conflicts:     140000 | #Constraints:     665222
1984.31/1990.17	c #Conflicts:     141000 | #Constraints:     666231
1984.31/1990.17	c bounds 345 >= 0 @ 1975.54
2199.47/2206.00	c #Conflicts:     142000 | #Constraints:     667243
2199.47/2206.00	c #Conflicts:     143000 | #Constraints:     668255
2199.47/2206.00	c #Conflicts:     144000 | #Constraints:     669268
2199.47/2206.00	c #Conflicts:     145000 | #Constraints:     670275
2199.47/2206.00	c #Conflicts:     146000 | #Constraints:     671283
2199.47/2206.00	c #Conflicts:     147000 | #Constraints:     672291
2199.47/2206.00	c INPROCESSING
2199.47/2206.00	c GARBAGE COLLECT
2199.47/2206.00	c #Conflicts:     148000 | #Constraints:     665637
2199.47/2206.00	c #Conflicts:     149000 | #Constraints:     666648
2199.47/2206.00	c #Conflicts:     150000 | #Constraints:     667659
2199.47/2206.00	c #Conflicts:     151000 | #Constraints:     668669
2199.47/2206.00	c #Conflicts:     152000 | #Constraints:     669682
2199.47/2206.00	c #Conflicts:     153000 | #Constraints:     670693
2199.47/2206.00	c #Conflicts:     154000 | #Constraints:     671701
2199.47/2206.00	c #Conflicts:     155000 | #Constraints:     672707
2199.47/2206.00	c INPROCESSING
2199.47/2206.00	c GARBAGE COLLECT
2199.47/2206.00	c rational objective 180.5
2265.00/2271.65	c #Conflicts:     156000 | #Constraints:     665822
2265.00/2271.65	c #Conflicts:     157000 | #Constraints:     666828
2265.00/2271.65	c #Conflicts:     158000 | #Constraints:     667836
2265.00/2271.65	c #Conflicts:     159000 | #Constraints:     668848
2265.00/2271.65	c bounds 344 >= 0 @ 2255.55
2362.31/2369.24	c #Conflicts:     160000 | #Constraints:     669858
2362.31/2369.24	c #Conflicts:     161000 | #Constraints:     670869
2362.31/2369.24	c #Conflicts:     162000 | #Constraints:     671877
2362.31/2369.24	c #Conflicts:     163000 | #Constraints:     672891
2362.31/2369.24	c INPROCESSING
2362.31/2369.24	c GARBAGE COLLECT
2362.31/2369.24	c rational objective 180.5
2461.74/2468.94	c #Conflicts:     164000 | #Constraints:     665819
2461.74/2468.94	c #Conflicts:     165000 | #Constraints:     666828
2461.74/2468.94	c #Conflicts:     166000 | #Constraints:     667836
2461.74/2468.94	c #Conflicts:     167000 | #Constraints:     668844
2461.74/2468.94	c #Conflicts:     168000 | #Constraints:     669855
2461.74/2468.94	c #Conflicts:     169000 | #Constraints:     670864
2461.74/2468.94	c #Conflicts:     170000 | #Constraints:     671873
2461.74/2468.94	c #Conflicts:     171000 | #Constraints:     672884
2461.74/2468.94	c INPROCESSING
2461.74/2468.94	c GARBAGE COLLECT
2461.74/2468.94	c rational objective 180.5
2594.64/2602.27	c #Conflicts:     172000 | #Constraints:     665600
2594.64/2602.27	c #Conflicts:     173000 | #Constraints:     666607
2594.64/2602.27	c #Conflicts:     174000 | #Constraints:     667616
2594.64/2602.27	c #Conflicts:     175000 | #Constraints:     668621
2594.64/2602.27	c #Conflicts:     176000 | #Constraints:     669629
2594.64/2602.27	c #Conflicts:     177000 | #Constraints:     670638
2594.64/2602.27	c #Conflicts:     178000 | #Constraints:     671648
2594.64/2602.27	c #Conflicts:     179000 | #Constraints:     672658
2594.64/2602.27	c #Conflicts:     180000 | #Constraints:     673666
2594.64/2602.27	c INPROCESSING
2594.64/2602.27	c GARBAGE COLLECT
2594.64/2602.27	c rational objective 180.5
2619.58/2627.25	c #Conflicts:     181000 | #Constraints:     666207
2619.58/2627.25	c #Conflicts:     182000 | #Constraints:     667214
2619.58/2627.25	c bounds 343 >= 0 @ 2609.17
2726.10/2734.01	c #Conflicts:     183000 | #Constraints:     668228
2726.10/2734.01	c #Conflicts:     184000 | #Constraints:     669235
2726.10/2734.01	c #Conflicts:     185000 | #Constraints:     670245
2726.10/2734.01	c #Conflicts:     186000 | #Constraints:     671250
2726.10/2734.01	c #Conflicts:     187000 | #Constraints:     672262
2726.10/2734.01	c #Conflicts:     188000 | #Constraints:     673269
2726.10/2734.01	c #Conflicts:     189000 | #Constraints:     674279
2726.10/2734.01	c INPROCESSING
2726.10/2734.01	c GARBAGE COLLECT
2726.10/2734.01	c rational objective 180.5
2842.38/2850.69	c #Conflicts:     190000 | #Constraints:     666614
2842.38/2850.69	c #Conflicts:     191000 | #Constraints:     667615
2842.38/2850.69	c #Conflicts:     192000 | #Constraints:     668616
2842.38/2850.69	c #Conflicts:     193000 | #Constraints:     669624
2842.38/2850.69	c #Conflicts:     194000 | #Constraints:     670633
2842.38/2850.69	c #Conflicts:     195000 | #Constraints:     671641
2842.38/2850.69	c #Conflicts:     196000 | #Constraints:     672650
2842.38/2850.69	c #Conflicts:     197000 | #Constraints:     673657
2842.38/2850.69	c #Conflicts:     198000 | #Constraints:     674662
2842.38/2850.69	c INPROCESSING
2842.38/2850.69	c GARBAGE COLLECT
2842.38/2850.69	c rational objective 180.614
3004.64/3013.39	c #Conflicts:     199000 | #Constraints:     666813
3004.64/3013.39	c #Conflicts:     200000 | #Constraints:     667820
3004.64/3013.39	c #Conflicts:     201000 | #Constraints:     668826
3004.64/3013.39	c #Conflicts:     202000 | #Constraints:     669834
3004.64/3013.39	c #Conflicts:     203000 | #Constraints:     670839
3004.64/3013.39	c #Conflicts:     204000 | #Constraints:     671844
3004.64/3013.39	c #Conflicts:     205000 | #Constraints:     672850
3004.64/3013.39	c #Conflicts:     206000 | #Constraints:     673853
3004.64/3013.39	c #Conflicts:     207000 | #Constraints:     674861
3004.64/3013.39	c INPROCESSING
3004.64/3013.39	c GARBAGE COLLECT
3004.64/3013.39	c rational objective 180.693
3186.16/3195.39	c #Conflicts:     208000 | #Constraints:     666798
3186.16/3195.39	c #Conflicts:     209000 | #Constraints:     667805
3186.16/3195.39	c #Conflicts:     210000 | #Constraints:     668812
3186.16/3195.39	c #Conflicts:     211000 | #Constraints:     669821
3186.16/3195.39	c #Conflicts:     212000 | #Constraints:     670829
3186.16/3195.39	c #Conflicts:     213000 | #Constraints:     671835
3186.16/3195.39	c #Conflicts:     214000 | #Constraints:     672846
3186.16/3195.39	c #Conflicts:     215000 | #Constraints:     673853
3186.16/3195.39	c #Conflicts:     216000 | #Constraints:     674859
3186.16/3195.39	c INPROCESSING
3186.16/3195.39	c GARBAGE COLLECT
3186.16/3195.39	c rational objective 180.693
3318.51/3328.05	c #Conflicts:     217000 | #Constraints:     666610
3318.51/3328.05	c #Conflicts:     218000 | #Constraints:     667616
3318.51/3328.05	c #Conflicts:     219000 | #Constraints:     668621
3318.51/3328.05	c #Conflicts:     220000 | #Constraints:     669624
3318.51/3328.05	c #Conflicts:     221000 | #Constraints:     670633
3318.51/3328.05	c #Conflicts:     222000 | #Constraints:     671643
3318.51/3328.05	c #Conflicts:     223000 | #Constraints:     672646
3318.51/3328.05	c #Conflicts:     224000 | #Constraints:     673653
3318.51/3328.05	c #Conflicts:     225000 | #Constraints:     674657
3318.51/3328.05	c #Conflicts:     226000 | #Constraints:     675665
3318.51/3328.05	c INPROCESSING
3318.51/3328.05	c GARBAGE COLLECT
3318.51/3328.05	c rational objective 180.709
3421.34/3431.18	c #Conflicts:     227000 | #Constraints:     667208
3421.34/3431.18	c #Conflicts:     228000 | #Constraints:     668221
3421.34/3431.18	c #Conflicts:     229000 | #Constraints:     669229
3421.34/3431.18	c #Conflicts:     230000 | #Constraints:     670235
3421.34/3431.18	c #Conflicts:     231000 | #Constraints:     671239
3421.34/3431.18	c #Conflicts:     232000 | #Constraints:     672253
3421.34/3431.18	c #Conflicts:     233000 | #Constraints:     673262
3421.34/3431.18	c #Conflicts:     234000 | #Constraints:     674272
3421.34/3431.18	c #Conflicts:     235000 | #Constraints:     675281
3421.34/3431.18	c #Conflicts:     236000 | #Constraints:     676290
3421.34/3431.18	c INPROCESSING
3421.34/3431.18	c GARBAGE COLLECT
3421.34/3431.18	c rational objective 180.713
3527.04/3537.12	c #Conflicts:     237000 | #Constraints:     667637
3527.04/3537.12	c #Conflicts:     238000 | #Constraints:     668670
3527.04/3537.12	c #Conflicts:     239000 | #Constraints:     669694
3527.04/3537.12	c #Conflicts:     240000 | #Constraints:     670722
3527.04/3537.12	c #Conflicts:     241000 | #Constraints:     671728
3527.04/3537.12	c #Conflicts:     242000 | #Constraints:     672738
3527.04/3537.12	c #Conflicts:     243000 | #Constraints:     673748
3527.04/3537.12	c #Conflicts:     244000 | #Constraints:     674757
3527.04/3537.12	c #Conflicts:     245000 | #Constraints:     675768
3527.04/3537.12	c #Conflicts:     246000 | #Constraints:     676777
3527.04/3537.12	c INPROCESSING
3527.04/3537.12	c GARBAGE COLLECT
3527.04/3537.12	c rational objective 180.713
3600.04/3610.31	c #Conflicts:     247000 | #Constraints:     667853
3600.04/3610.31	c #Conflicts:     248000 | #Constraints:     668869
3600.04/3610.31	c #Conflicts:     249000 | #Constraints:     669879
3600.04/3610.31	c #Conflicts:     250000 | #Constraints:     670888
3600.04/3610.31	c #Conflicts:     251000 | #Constraints:     671902
3600.04/3610.31	c #Conflicts:     252000 | #Constraints:     672911
3600.04/3610.31	c #Conflicts:     253000 | #Constraints:     673919
3600.04/3610.31	c Disabling crashed LP
3600.04/3610.31	c cpu time 3587.37 s
3600.04/3610.31	c deterministic time 489229746562 4.89e+11
3600.04/3610.31	c optimization time 64.7554 s
3600.04/3610.31	c total solve time 3520.68 s
3600.04/3610.31	c core-guided solve time 2485.96 s
3600.04/3610.31	c propagation time 1618.29 s
3600.04/3610.31	c conflict analysis time 673.506 s
3600.04/3610.31	c propagations 56898607
3600.04/3610.31	c resolve steps 2939202
3600.04/3610.31	c decisions 7747284
3600.04/3610.31	c conflicts 253354
3600.04/3610.31	c restarts 591
3600.04/3610.31	c inprocessing phases 41
3600.04/3610.31	c garbage collections 41 ,( 100.00 )
3600.04/3610.31	c input clauses 656900 ,( 99.94 )
3600.04/3610.31	c input cardinalities 0 ,( 0.00 )
3600.04/3610.31	c input general constraints 377 ,( 0.06 )
3600.04/3610.31	c input average constraint length 7.76
3600.04/3610.31	c input average constraint degree 284.19
3600.04/3610.31	c learned clauses 43238 ,( 16.82 )
3600.04/3610.31	c learned cardinalities 20 ,( 0.01 )
3600.04/3610.31	c learned general constraints 213740 ,( 83.17 )
3600.04/3610.31	c learned average constraint length 6823.81
3600.04/3610.31	c learned average constraint degree 449668821760.71
3600.04/3610.31	c watched  CF 32, 64, 128, Arb: 1454 , 0 , 0 , 0
3600.04/3610.31	c counting CF 32, 64, 128, Arb: 212664 , 0 , 0 , 0
3600.04/3610.31	c watched   constraints 1454 ,( 0.68 ) 
3600.04/3610.31	c counting  constraints 212663 ,( 99.32 ) 
3600.04/3610.31	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 27791515 , 109056 , 423066561 ,( 194209 , 422872352 )
3600.04/3610.31	c gcd simplifications 3729
3600.04/3610.31	c detected cardinalities 0
3600.04/3610.31	c weakened non-implied lits 471653455
3600.04/3610.31	c weakened non-implying lits 174408
3600.04/3610.31	c original variables 10000
3600.04/3610.31	c clausal propagations 16937747
3600.04/3610.31	c cardinality propagations 2
3600.04/3610.31	c watched propagations 98
3600.04/3610.31	c counting propagations 37437622
3600.04/3610.31	c watch lookups 17069155063
3600.04/3610.31	c watch backjump lookups 0
3600.04/3610.31	c watch checks 1013406429
3600.04/3610.31	c propagation checks 466454860990
3600.04/3610.31	c constraint additions 4562291006
3600.04/3610.31	c trail pops 64887341
3600.04/3610.31	c formula constraints 656900
3600.04/3610.31	c learned constraints 251116
3600.04/3610.31	c bound constraints 377
3600.04/3610.31	c core-guided constraints 0
3600.04/3610.31	c encountered formula constraints 2463806
3600.04/3610.31	c encountered learned constraints 467703
3600.04/3610.31	c encountered bound constraints 7904
3600.04/3610.31	c encountered core-guided constraints 0
3600.04/3610.31	c LP total time 1640.04 s
3600.04/3610.31	c LP solve time 1363.52 s
3600.04/3610.31	c LP constraints added 656944
3600.04/3610.31	c LP constraints removed 22
3600.04/3610.31	c LP pivots internal 253352
3600.04/3610.31	c LP pivots root 246489
3600.04/3610.31	c LP calls 3821
3600.04/3610.31	c LP optimalities 188
3600.04/3610.31	c LP no pivot count 4
3600.04/3610.31	c LP infeasibilities 3620
3600.04/3610.31	c LP valid Farkas constraints 3610
3600.04/3610.31	c LP learned Farkas constraints 2238
3600.04/3610.31	c LP basis resets 19
3600.04/3610.31	c LP cycling count 7
3600.04/3610.31	c LP singular count 1
3600.04/3610.31	c LP no primal count 0
3600.04/3610.31	c LP no farkas count 10
3600.04/3610.31	c LP other issue count 1
3600.04/3610.31	c LP Gomory cuts 34
3600.04/3610.31	c LP learned cuts 10
3600.04/3610.31	c LP deleted cuts 22
3600.04/3610.31	c LP encountered Gomory constraints 438
3600.04/3610.31	c LP encountered Farkas constraints 244373
3600.04/3610.31	c LP encountered learned Farkas constraints 6094
3600.04/3610.31	c CG auxiliary variables introduced 0
3600.04/3610.31	c CG solutions found 376
3600.04/3610.31	c CG cores constructed 0
3600.04/3610.31	c CG core cardinality constraints returned 0
3600.04/3610.31	c CG unit cores 0
3600.04/3610.31	c CG single cores 0
3600.04/3610.31	c CG blocks removed during cardinality reduction 0
3600.04/3610.31	c CG first core best 0
3600.04/3610.31	c CG decision core best 0
3600.04/3610.31	c CG core reduction tie 0
3600.04/3610.31	c CG core degree average 0.00
3600.04/3610.31	c CG core slack average 0.00
3600.04/3610.31	c CG core upper bound improvements 0
3600.04/3610.31	c STR number of successful calls 0
3600.04/3610.31	c STR number of unsuccessful calls 0
3600.04/3610.31	c STR number of inconclusive calls 0
3600.04/3610.31	c STR number of successful attempts 0
3600.04/3610.31	c STR number of unsuccessful attempts 0
3600.04/3610.31	c STR number of inconclusive attempts 0
3600.04/3610.31	c STR average degree increase per successful call inf
3600.04/3610.31	c STR average degree increase per successful attempt inf
3600.04/3610.31	c STR total number of conflicts for successful attempts 0
3600.04/3610.31	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.31	c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.31	c STR average number of conflicts per successful attempt inf
3600.04/3610.31	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.31	c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.31	c AVG.sumWPerc 98.55 
3600.04/3610.31	c bigint constraints 0 
3600.04/3610.31	o 343
3600.04/3610.31	s SATISFIABLE
3600.04/3610.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.04/3610.31	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: 63665 MiB (63006 MiB free)
  memory of node 1: 64507 MiB (63994 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129504936/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48048] ppid=48045 vsize=163404 memory=146824 CPUtime=0.07 cores=0,2
/proc/48048/stat : 48048 (pbsuma) R 48045 48045 47252 0 -1 4194304 3995 0 0 0 5 2 0 0 20 0 1 0 51427835 167325696 36706 18446744073709551615 4210688 4653049 140720839461376 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 33935360 140720839465315 140720839465522 140720839465522 140720839471087 0
/proc/48048/statm: 40851 36706 960 108 0 38259 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167596 KiB
Current children cumulated memory: 149896 KiB

[startup+0.205599 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129439904/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48048] ppid=48045 vsize=180920 memory=167452 CPUtime=0.18 cores=0,2
/proc/48048/stat : 48048 (pbsuma) R 48045 48045 47252 0 -1 4194304 8820 0 0 0 15 3 0 0 20 0 1 0 51427835 185262080 41863 18446744073709551615 4210688 4653049 140720839461376 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 33935360 140720839465315 140720839465522 140720839465522 140720839471087 0
/proc/48048/statm: 45230 41863 960 108 0 42638 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185112 KiB
Current children cumulated memory: 170524 KiB

[startup+0.305528 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129363416/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48048] ppid=48045 vsize=194784 memory=182528 CPUtime=0.28 cores=0,2
/proc/48048/stat : 48048 (pbsuma) R 48045 48045 47252 0 -1 4194304 12107 0 0 0 24 4 0 0 20 0 1 0 51427835 199458816 45632 18446744073709551615 4210688 4653049 140720839461376 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 33935360 140720839465315 140720839465522 140720839465522 140720839471087 0
/proc/48048/statm: 48696 45632 960 108 0 46104 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198976 KiB
Current children cumulated memory: 185600 KiB

[startup+0.700206 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129039592/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48048] ppid=48045 vsize=320836 memory=273668 CPUtime=0.67 cores=0,2
/proc/48048/stat : 48048 (pbsuma) R 48045 48045 47252 0 -1 4194304 21639 0 0 0 61 6 0 0 20 0 1 0 51427835 328536064 68417 18446744073709551615 4210688 4653049 140720839461376 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 33935360 140720839465315 140720839465522 140720839465522 140720839471087 0
/proc/48048/statm: 80209 68417 992 108 0 77617 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 325028 KiB
Current children cumulated memory: 276740 KiB

[startup+1.50018 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48067
/proc/meminfo: memFree=129431508/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=119288 memory=72396 CPUtime=0.52 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 16107 0 0 0 34 18 0 0 20 0 1 0 51427930 122150912 18099 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 29822 18099 1984 1147 0 17249 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 123480 KiB
Current children cumulated memory: 75468 KiB

[startup+3.10551 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48069
/proc/meminfo: memFree=128548156/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=564304 memory=396320 CPUtime=2.12 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 57189 0 0 0 149 63 0 0 20 0 1 0 51427930 577847296 99080 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 141076 99080 2240 1147 0 128503 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 568496 KiB
Current children cumulated memory: 399392 KiB

[startup+6.30021 s]
/proc/loadavg: 3.86 4.15 4.14 5/268 48069
/proc/meminfo: memFree=126439568/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=1040472 memory=779788 CPUtime=5.31 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 81477 0 0 0 449 82 0 0 20 0 1 0 51427930 1065443328 194947 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 260118 194947 2304 1147 0 247545 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1044664 KiB
Current children cumulated memory: 782860 KiB

[startup+12.7002 s]
/proc/loadavg: 3.87 4.15 4.14 5/268 48069
/proc/meminfo: memFree=126367724/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=1233432 memory=905368 CPUtime=11.69 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 87961 0 0 0 1073 96 0 0 20 0 1 0 51427930 1263034368 226342 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 308358 226342 2400 1147 0 295785 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1237624 KiB
Current children cumulated memory: 908440 KiB

[startup+25.5002 s]
/proc/loadavg: 3.90 4.14 4.13 5/268 48069
/proc/meminfo: memFree=125844552/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=1482488 memory=1132276 CPUtime=24.45 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 123299 0 0 0 2334 111 0 0 20 0 1 0 51427930 1518067712 283069 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 370622 283069 2400 1147 0 358049 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1486680 KiB
Current children cumulated memory: 1135348 KiB

[startup+51.1054 s]
/proc/loadavg: 4.02 4.15 4.13 5/268 48069
/proc/meminfo: memFree=125354768/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=1782684 memory=1360132 CPUtime=49.97 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 164961 0 0 0 4839 158 0 0 20 0 1 0 51427930 1825468416 340033 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 445671 340033 2400 1147 0 433098 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1786876 KiB
Current children cumulated memory: 1363204 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/269 48074
/proc/meminfo: memFree=124552540/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=2145300 memory=1651404 CPUtime=101 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 213883 0 0 0 9895 205 0 0 20 0 1 0 51427930 2196787200 412851 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 536325 412851 2400 1147 0 523752 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2149492 KiB
Current children cumulated memory: 1654476 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 48080
/proc/meminfo: memFree=123591684/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=2611124 memory=2156800 CPUtime=160.82 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 290022 0 0 0 15833 249 0 0 20 0 1 0 51427930 2673790976 539200 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 652781 539200 2496 1147 0 640208 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2615316 KiB
Current children cumulated memory: 2159872 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/269 48082
/proc/meminfo: memFree=123174448/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=2859456 memory=2212860 CPUtime=220.64 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 297468 0 0 0 21794 270 0 0 20 0 1 0 51427930 2928082944 553215 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 714864 553215 2496 1147 0 702291 0
Current children cumulated CPU time: 221.57 s

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

/proc/48066/statm: 1524638 1277457 2528 1147 0 1512065 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 6102744 KiB
Current children cumulated memory: 5112900 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/267 48231
/proc/meminfo: memFree=116085796/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6743152 memory=5502736 CPUtime=3152.32 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 854575 0 0 0 314181 1051 0 0 20 0 1 0 51427930 6904987648 1375684 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1685788 1375684 2528 1147 0 1673215 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 6747344 KiB
Current children cumulated memory: 5505808 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/267 48233
/proc/meminfo: memFree=115932036/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6932840 memory=5643644 CPUtime=3212.16 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 884607 0 0 0 320151 1065 0 0 20 0 1 0 51427930 7099228160 1410911 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1733210 1410911 2528 1147 0 1720637 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 6937032 KiB
Current children cumulated memory: 5646716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/268 48236
/proc/meminfo: memFree=115930288/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6932840 memory=5643644 CPUtime=3272 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 885174 0 0 0 326129 1071 0 0 20 0 1 0 51427930 7099228160 1410911 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1733210 1410911 2528 1147 0 1720637 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 6937032 KiB
Current children cumulated memory: 5646716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/268 48238
/proc/meminfo: memFree=115753328/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=7010768 memory=5722228 CPUtime=3331.84 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 890625 0 0 0 332101 1083 0 0 20 0 1 0 51427930 7179026432 1430557 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1752692 1430557 2528 1147 0 1740119 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 7014960 KiB
Current children cumulated memory: 5725300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/268 48240
/proc/meminfo: memFree=115787388/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=7010768 memory=5722228 CPUtime=3391.68 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 891734 0 0 0 338065 1103 0 0 20 0 1 0 51427930 7179026432 1430557 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1752692 1430557 2528 1147 0 1740119 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 7014960 KiB
Current children cumulated memory: 5725300 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/267 48242
/proc/meminfo: memFree=115720368/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6932356 memory=5643884 CPUtime=3451.52 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 892234 0 0 0 344034 1118 0 0 20 0 1 0 51427930 7098732544 1410971 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1733089 1410971 2528 1147 0 1720516 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 6936548 KiB
Current children cumulated memory: 5646956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/267 48244
/proc/meminfo: memFree=115866324/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6935240 memory=5646768 CPUtime=3511.34 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 896761 0 0 0 349986 1148 0 0 20 0 1 0 51427930 7101685760 1411692 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1733810 1411692 2528 1147 0 1721237 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 6939432 KiB
Current children cumulated memory: 5649840 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/266 48246
/proc/meminfo: memFree=115757928/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6935240 memory=5646768 CPUtime=3571.18 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 899632 0 0 0 355958 1160 0 0 20 0 1 0 51427930 7101685760 1411692 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1733810 1411692 2528 1147 0 1721237 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 6939432 KiB
Current children cumulated memory: 5649840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 48247
/proc/meminfo: memFree=115749060/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6935240 memory=5646768 CPUtime=3599.11 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 900601 0 0 0 358736 1175 0 0 20 0 1 0 51427930 7101685760 1411692 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1733810 1411692 2528 1147 0 1721237 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6939432 KiB
Current children cumulated memory: 5649840 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3610.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 48247
/proc/meminfo: memFree=115749060/131250000 swapFree=33010416/33010684
[pid=48045] ppid=48040 vsize=4192 memory=3072 CPUtime=0.93 cores=0,2
/proc/48045/stat : 48045 (run-opt-ls.sh) S 48040 48045 47252 0 -1 4194304 239 28904 0 0 0 0 83 10 20 0 1 0 51427834 4292608 768 18446744073709551615 94328420945920 94328421840453 140721894796944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94328422079504 94328422127248 94328440061952 140721894803815 140721894803941 140721894803941 140721894809543 0
/proc/48045/statm: 1048 768 704 219 0 110 0
[pid=48066] ppid=48045 vsize=6935240 memory=5646768 CPUtime=3599.11 cores=0,2
/proc/48066/stat : 48066 (roundingsat) R 48045 48045 47252 0 -1 4194304 900601 0 0 0 358736 1175 0 0 20 0 1 0 51427930 7101685760 1411692 18446744073709551615 4227072 8923433 140729105004480 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39469056 140729105013062 140729105013288 140729105013288 140729105018858 0
/proc/48066/statm: 1733810 1411692 2528 1147 0 1721237 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6939432 KiB
Current children cumulated memory: 5649840 KiB

Child status: 2

Real time (s): 3610.4
CPU time (s): 3600.15
CPU user time (s): 3588.25
CPU system time (s): 11.9054
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 7039984
Max. memory (cumulated for all children) (KiB): 5749736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.25
system time used= 11.9054
maximum resident set size= 5776160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 929790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 513
involuntary context switches= 7935


# summary of solver processes directly reported to runsolver:
#   pid: 48045,48066
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3588.25
#   total CPU system time (s): 11.9054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02334 second user time and 16.8846 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-01 10:11:19
IDJOB=4489462
IDBENCH=147551
IDSOLVER=3355
FILE ID=nodeC027/4489462-1751357479
RUNJOBID= nodeC027-1751350257-47262
SLURM_JOB_ID= 9598136
Free space on /tmp= 433000 MiB

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

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=872057313

nodeC027 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.870
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.29
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		: 1889.294
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.29
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		: 3597.945
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.29
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		: 3596.171
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.29
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.760
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.29
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		: 3601.204
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130056768 kB
MemAvailable:   129780572 kB
Buffers:            2488 kB
Cached:           526372 kB
SwapCached:           12 kB
Active:           374988 kB
Inactive:         226568 kB
Active(anon):      87960 kB
Inactive(anon):     2792 kB
Active(file):     287028 kB
Inactive(file):   223776 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81396 kB
Writeback:             0 kB
AnonPages:         75840 kB
Mapped:           103128 kB
Shmem:             18056 kB
KReclaimable:     104076 kB
Slab:             191820 kB
SReclaimable:     104076 kB
SUnreclaim:        87744 kB
KernelStack:        4096 kB
PageTables:         2920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     338024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC027 at 2025-07-01 11:11:30