Trace number 4489876

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)311 3600.15 3610.13

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
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 benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
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 497468
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 497468
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489876-1751363764.opb'
0.27/0.35	c 	read 17.23MB  (331.84ms)
0.27/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.35	c 
0.27/0.35	c make graph and approximate orbits
0.57/0.69	c	 [group: #orbits ~= 0] (337.13ms)
0.57/0.69	c 
0.57/0.69	c detect special group actions
0.57/0.69	c 	probe for Johnson action (limit=64)
0.57/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.71	c 	 (19.23ms)
0.66/0.71	c 
0.66/0.71	c detect symmetries on remainder
0.66/0.71	c 	[graph: #vertices 706680 #edges 2766358]
0.66/0.72	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (51.30ms)
0.66/0.76	c 
0.66/0.76	c finalize break order and special generators
0.66/0.76	c 
0.66/0.76	c generation finished
0.66/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.76	c 
0.66/0.76	c write result to 'HOME/instance-4489876-1751363764.opb.pre'
0.77/0.80	c 	wrote 17.23MB (35.54ms)
0.77/0.80	c ------------------------------------------------------------------
0.77/0.80	c                 337.13ms 43.35% approx_orbits
0.77/0.80	c                 331.84ms 42.67% parse
0.77/0.80	c                  51.30ms  6.60% detect_generic
0.77/0.80	c                  35.54ms  4.57% output
0.77/0.80	c                  19.23ms  2.47% detect_special
0.77/0.80	c                   2.35ms  0.30% other
0.77/0.80	c                   0.38ms  0.05% finalize_order
0.77/0.80	c         ───────────────────────────────────────────────
0.77/0.80	c                 777.78ms   100% total
0.77/0.80	c ------------------------------------------------------------------
0.86/0.98	c RoundingSat 2
0.86/0.98	c branch pb25
0.86/0.98	c commit 63f22ad
3.60/3.71	c #variables 10000 #constraints 656900
3.60/3.71	c objective is ce32 
4.41/4.56	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.41/4.56	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.41/4.56	c bounds 5698 >= 0 @ 2.86408
6.90/7.06	c rational objective 160.199
10.97/11.19	c bounds 5697 >= 0 @ 9.32033
11.06/11.20	c bounds 5692 >= 0 @ 9.32603
11.06/11.21	c bounds 5624 >= 0 @ 9.33142
11.06/11.21	c bounds 5537 >= 0 @ 9.33803
11.06/11.22	c bounds 5521 >= 0 @ 9.34144
11.06/11.24	c bounds 5512 >= 0 @ 9.35469
11.06/11.25	c bounds 5449 >= 0 @ 9.36121
11.06/11.26	c bounds 5382 >= 0 @ 9.37745
11.06/11.27	c bounds 5233 >= 0 @ 9.38267
11.06/11.28	c bounds 5177 >= 0 @ 9.38979
11.06/11.28	c bounds 5096 >= 0 @ 9.39409
11.16/11.32	c bounds 5057 >= 0 @ 9.42785
11.16/11.33	c bounds 5040 >= 0 @ 9.43877
11.16/11.34	c bounds 4997 >= 0 @ 9.44578
11.16/11.35	c bounds 4992 >= 0 @ 9.45364
11.16/11.36	c bounds 4948 >= 0 @ 9.46086
11.16/11.37	c bounds 4909 >= 0 @ 9.46569
11.16/11.38	c bounds 4856 >= 0 @ 9.46974
11.16/11.39	c bounds 4811 >= 0 @ 9.48223
11.26/11.40	c bounds 4740 >= 0 @ 9.48856
11.26/11.41	c bounds 4634 >= 0 @ 9.49544
11.26/11.46	c bounds 4632 >= 0 @ 9.54355
11.26/11.46	c bounds 4553 >= 0 @ 9.54819
11.26/11.47	c bounds 4463 >= 0 @ 9.55466
11.36/11.51	c bounds 4461 >= 0 @ 9.58971
11.36/11.52	c bounds 4456 >= 0 @ 9.60005
11.36/11.58	c bounds 4331 >= 0 @ 9.64956
11.36/11.59	c bounds 4277 >= 0 @ 9.65937
11.46/11.60	c bounds 4259 >= 0 @ 9.67431
11.46/11.61	c bounds 4237 >= 0 @ 9.67895
11.46/11.68	c bounds 4214 >= 0 @ 9.74981
11.56/11.75	c bounds 4212 >= 0 @ 9.81644
11.56/11.75	c bounds 4210 >= 0 @ 9.82256
11.56/11.76	c bounds 4209 >= 0 @ 9.8275
11.56/11.77	c bounds 4203 >= 0 @ 9.84044
11.56/11.78	c bounds 3935 >= 0 @ 9.84647
11.56/11.79	c bounds 3931 >= 0 @ 9.8524
11.67/11.81	c bounds 3907 >= 0 @ 9.87106
11.67/11.82	c bounds 3844 >= 0 @ 9.87817
11.67/11.82	c bounds 3790 >= 0 @ 9.88555
11.67/11.84	c bounds 3760 >= 0 @ 9.9035
11.67/11.86	c bounds 3747 >= 0 @ 9.91499
11.67/11.87	c bounds 3692 >= 0 @ 9.92272
11.67/11.87	c bounds 3691 >= 0 @ 9.92922
11.76/11.96	c bounds 3686 >= 0 @ 10.0141
11.87/12.09	c bounds 3621 >= 0 @ 10.1436
11.87/12.10	c bounds 3578 >= 0 @ 10.1485
11.97/12.12	c bounds 3527 >= 0 @ 10.1688
11.97/12.13	c bounds 3390 >= 0 @ 10.176
11.97/12.15	c bounds 3360 >= 0 @ 10.1931
11.97/12.16	c bounds 3359 >= 0 @ 10.2005
11.97/12.17	c bounds 3335 >= 0 @ 10.2119
11.97/12.18	c bounds 3333 >= 0 @ 10.2193
12.07/12.29	c bounds 3323 >= 0 @ 10.3212
12.36/12.56	c bounds 3311 >= 0 @ 10.5893
12.56/12.70	c bounds 3242 >= 0 @ 10.7211
12.56/12.71	c bounds 3239 >= 0 @ 10.7367
12.56/12.76	c bounds 3234 >= 0 @ 10.7811
12.56/12.78	c bounds 3229 >= 0 @ 10.7913
12.56/12.79	c bounds 3152 >= 0 @ 10.7986
13.45/13.65	c bounds 3145 >= 0 @ 11.6385
13.45/13.66	c bounds 3143 >= 0 @ 11.6524
13.76/13.98	c bounds 3133 >= 0 @ 11.9683
14.75/14.94	c bounds 3123 >= 0 @ 12.9163
17.04/17.29	c #Conflicts:       1000 | #Constraints:     657992
17.04/17.29	c bounds 3117 >= 0 @ 15.2335
17.35/17.54	c bounds 3091 >= 0 @ 15.48
17.35/17.56	c bounds 3067 >= 0 @ 15.4969
17.44/17.60	c bounds 3059 >= 0 @ 15.5373
17.44/17.61	c bounds 3049 >= 0 @ 15.5493
17.54/17.76	c bounds 3042 >= 0 @ 15.6948
17.54/17.77	c bounds 3014 >= 0 @ 15.7057
17.54/17.78	c bounds 2999 >= 0 @ 15.718
17.64/17.80	c bounds 2985 >= 0 @ 15.7325
17.64/17.81	c bounds 2969 >= 0 @ 15.7406
17.64/17.83	c bounds 2940 >= 0 @ 15.7547
17.74/17.94	c bounds 2939 >= 0 @ 15.8579
17.74/17.96	c bounds 2917 >= 0 @ 15.8818
17.84/18.07	c bounds 2912 >= 0 @ 15.9919
17.84/18.09	c bounds 2907 >= 0 @ 16.0081
17.94/18.11	c bounds 2866 >= 0 @ 16.0243
18.04/18.20	c bounds 2861 >= 0 @ 16.1085
18.04/18.21	c bounds 2855 >= 0 @ 16.1229
18.04/18.23	c bounds 2810 >= 0 @ 16.1352
18.04/18.24	c bounds 2801 >= 0 @ 16.1485
18.13/18.35	c bounds 2782 >= 0 @ 16.2545
18.24/18.47	c bounds 2764 >= 0 @ 16.368
18.24/18.48	c bounds 2728 >= 0 @ 16.3826
18.34/18.51	c bounds 2726 >= 0 @ 16.4037
18.34/18.52	c bounds 2709 >= 0 @ 16.4196
18.34/18.54	c bounds 2665 >= 0 @ 16.4353
18.44/18.66	c bounds 2632 >= 0 @ 16.5469
18.54/18.70	c bounds 2611 >= 0 @ 16.5848
18.54/18.71	c bounds 2602 >= 0 @ 16.599
18.63/18.82	c bounds 2590 >= 0 @ 16.6988
18.63/18.84	c bounds 2586 >= 0 @ 16.7234
18.63/18.86	c bounds 2571 >= 0 @ 16.7374
18.74/18.96	c bounds 2557 >= 0 @ 16.8396
18.74/18.97	c bounds 2544 >= 0 @ 16.8513
18.74/18.99	c bounds 2510 >= 0 @ 16.8645
18.74/19.00	c bounds 2509 >= 0 @ 16.8721
18.84/19.09	c bounds 2493 >= 0 @ 16.9707
18.94/19.10	c bounds 2492 >= 0 @ 16.9791
18.94/19.12	c bounds 2488 >= 0 @ 16.9983
18.94/19.13	c bounds 2477 >= 0 @ 17.0065
18.94/19.16	c bounds 2466 >= 0 @ 17.0267
18.94/19.17	c bounds 2465 >= 0 @ 17.0423
18.94/19.19	c bounds 2449 >= 0 @ 17.0563
19.04/19.29	c bounds 2447 >= 0 @ 17.1574
19.24/19.42	c bounds 2433 >= 0 @ 17.2857
19.24/19.43	c bounds 2401 >= 0 @ 17.2968
19.24/19.45	c bounds 2390 >= 0 @ 17.3083
19.34/19.57	c bounds 2382 >= 0 @ 17.4251
19.34/19.58	c bounds 2381 >= 0 @ 17.4341
19.43/19.69	c bounds 2358 >= 0 @ 17.5464
19.53/19.71	c bounds 2318 >= 0 @ 17.5549
19.64/19.88	c bounds 2314 >= 0 @ 17.7304
19.73/19.92	c bounds 2313 >= 0 @ 17.7603
19.84/20.01	c bounds 2311 >= 0 @ 17.8483
19.84/20.03	c bounds 2292 >= 0 @ 17.8641
19.84/20.06	c bounds 2291 >= 0 @ 17.8889
19.94/20.15	c bounds 2280 >= 0 @ 17.9781
20.73/20.91	c bounds 2276 >= 0 @ 18.7312
20.73/20.93	c bounds 2273 >= 0 @ 18.7427
20.73/20.94	c bounds 2271 >= 0 @ 18.7529
20.73/20.97	c bounds 2267 >= 0 @ 18.7805
20.84/21.01	c bounds 2261 >= 0 @ 18.8213
20.84/21.03	c bounds 2233 >= 0 @ 18.8385
20.93/21.13	c bounds 2215 >= 0 @ 18.9376
20.93/21.15	c bounds 2211 >= 0 @ 18.9501
20.93/21.17	c bounds 2193 >= 0 @ 18.97
20.93/21.18	c bounds 2191 >= 0 @ 18.9829
21.03/21.29	c bounds 2177 >= 0 @ 19.0877
21.22/21.41	c bounds 2133 >= 0 @ 19.2067
21.22/21.44	c bounds 2132 >= 0 @ 19.2316
21.33/21.54	c bounds 2130 >= 0 @ 19.332
21.33/21.56	c bounds 2052 >= 0 @ 19.342
21.63/21.86	c bounds 2046 >= 0 @ 19.636
21.63/21.87	c bounds 2045 >= 0 @ 19.6462
21.73/21.90	c bounds 2011 >= 0 @ 19.6698
21.83/22.09	c bounds 2003 >= 0 @ 19.8543
21.93/22.13	c bounds 2001 >= 0 @ 19.8938
22.03/22.25	c bounds 1997 >= 0 @ 20.0088
22.03/22.27	c bounds 1958 >= 0 @ 20.0248
22.03/22.29	c bounds 1906 >= 0 @ 20.0381
22.13/22.30	c bounds 1892 >= 0 @ 20.0502
22.13/22.32	c bounds 1870 >= 0 @ 20.0645
22.22/22.43	c bounds 1840 >= 0 @ 20.1703
22.22/22.45	c bounds 1777 >= 0 @ 20.183
22.52/22.76	c bounds 1756 >= 0 @ 20.4974
22.93/23.14	c bounds 1742 >= 0 @ 20.8585
22.93/23.17	c bounds 1720 >= 0 @ 20.8848
23.82/24.04	c bounds 1708 >= 0 @ 21.7489
24.42/24.69	c bounds 1707 >= 0 @ 22.3854
24.52/24.71	c bounds 1701 >= 0 @ 22.4083
24.62/24.82	c bounds 1657 >= 0 @ 22.5069
24.72/24.92	c bounds 1652 >= 0 @ 22.6102
35.07/35.31	c #Conflicts:       2000 | #Constraints:     659121
35.07/35.31	c INPROCESSING
35.07/35.31	c GARBAGE COLLECT
35.07/35.31	c bounds 1640 >= 0 @ 32.9071
35.07/35.32	c bounds 1603 >= 0 @ 32.918
35.07/35.34	c bounds 1573 >= 0 @ 32.9287
35.07/35.36	c bounds 1556 >= 0 @ 32.9464
35.07/35.38	c bounds 1552 >= 0 @ 32.9581
53.60/53.90	c #Conflicts:       3000 | #Constraints:     658951
53.60/53.90	c #Conflicts:       4000 | #Constraints:     659968
53.60/53.90	c INPROCESSING
53.60/53.90	c GARBAGE COLLECT
53.60/53.90	c bounds 1533 >= 0 @ 51.271
53.60/53.91	c bounds 1532 >= 0 @ 51.282
53.60/53.92	c bounds 1531 >= 0 @ 51.2963
53.70/54.05	c bounds 1529 >= 0 @ 51.4115
53.70/54.07	c bounds 1523 >= 0 @ 51.4299
53.70/54.09	c bounds 1517 >= 0 @ 51.4462
53.70/54.10	c bounds 1514 >= 0 @ 51.4575
53.99/54.33	c bounds 1512 >= 0 @ 51.6828
53.99/54.34	c bounds 1511 >= 0 @ 51.6945
54.20/54.52	c bounds 1506 >= 0 @ 51.8755
54.29/54.68	c bounds 1503 >= 0 @ 52.0339
54.39/54.72	c bounds 1494 >= 0 @ 52.0705
54.49/54.88	c bounds 1482 >= 0 @ 52.2287
54.80/55.17	c bounds 1480 >= 0 @ 52.5148
54.80/55.19	c bounds 1467 >= 0 @ 52.5256
54.99/55.32	c bounds 1466 >= 0 @ 52.6549
54.99/55.34	c bounds 1461 >= 0 @ 52.6729
54.99/55.38	c bounds 1457 >= 0 @ 52.7116
55.39/55.76	c bounds 1442 >= 0 @ 53.0844
55.69/56.00	c bounds 1424 >= 0 @ 53.3289
55.79/56.12	c bounds 1423 >= 0 @ 53.4436
56.08/56.42	c bounds 1402 >= 0 @ 53.7456
56.18/56.57	c bounds 1392 >= 0 @ 53.8922
56.99/57.33	c bounds 1388 >= 0 @ 54.6415
57.38/57.76	c bounds 1371 >= 0 @ 55.0672
57.38/57.79	c bounds 1365 >= 0 @ 55.0993
57.48/57.82	c bounds 1360 >= 0 @ 55.1266
57.48/57.84	c bounds 1337 >= 0 @ 55.1459
57.59/57.96	c bounds 1317 >= 0 @ 55.2669
57.59/57.98	c bounds 1310 >= 0 @ 55.2792
57.69/58.09	c bounds 1286 >= 0 @ 55.3901
57.78/58.11	c bounds 1264 >= 0 @ 55.4011
57.88/58.21	c bounds 1259 >= 0 @ 55.5059
57.88/58.24	c bounds 1251 >= 0 @ 55.5265
57.88/58.26	c bounds 1221 >= 0 @ 55.5469
57.88/58.28	c bounds 1218 >= 0 @ 55.5666
57.98/58.39	c bounds 1210 >= 0 @ 55.6711
58.18/58.52	c bounds 1193 >= 0 @ 55.8054
58.18/58.56	c bounds 1176 >= 0 @ 55.8361
58.28/58.67	c bounds 1172 >= 0 @ 55.9511
58.37/58.74	c bounds 1164 >= 0 @ 56.0126
58.37/58.77	c bounds 1160 >= 0 @ 56.0412
58.48/58.80	c bounds 1155 >= 0 @ 56.061
58.48/58.81	c bounds 1142 >= 0 @ 56.0754
58.48/58.85	c bounds 1137 >= 0 @ 56.1139
58.68/59.04	c bounds 1107 >= 0 @ 56.297
58.78/59.17	c bounds 1106 >= 0 @ 56.4216
58.78/59.19	c bounds 1095 >= 0 @ 56.4455
58.88/59.21	c bounds 1093 >= 0 @ 56.4589
58.98/59.35	c bounds 1063 >= 0 @ 56.5939
58.98/59.39	c bounds 1059 >= 0 @ 56.6307
59.08/59.41	c bounds 1057 >= 0 @ 56.6483
59.08/59.43	c bounds 1052 >= 0 @ 56.6615
59.08/59.46	c bounds 1040 >= 0 @ 56.6888
59.08/59.47	c bounds 1038 >= 0 @ 56.7064
59.18/59.50	c bounds 1031 >= 0 @ 56.7315
59.18/59.52	c bounds 1013 >= 0 @ 56.7499
59.27/59.62	c bounds 1012 >= 0 @ 56.8431
59.27/59.65	c bounds 1008 >= 0 @ 56.8688
59.38/59.76	c bounds 987 >= 0 @ 56.9799
59.57/59.94	c bounds 977 >= 0 @ 57.1519
59.57/59.97	c bounds 975 >= 0 @ 57.1788
59.78/60.14	c bounds 973 >= 0 @ 57.3464
59.78/60.16	c bounds 968 >= 0 @ 57.368
59.88/60.29	c bounds 964 >= 0 @ 57.4877
59.98/60.30	c bounds 961 >= 0 @ 57.5001
60.08/60.42	c bounds 954 >= 0 @ 57.6099
60.17/60.54	c bounds 946 >= 0 @ 57.7292
60.37/60.75	c bounds 943 >= 0 @ 57.9417
60.37/60.78	c bounds 924 >= 0 @ 57.9697
60.57/61.00	c #Conflicts:       5000 | #Constraints:     659445
60.57/61.00	c bounds 923 >= 0 @ 58.1869
60.67/61.03	c bounds 911 >= 0 @ 58.2171
60.78/61.18	c bounds 907 >= 0 @ 58.3642
60.97/61.32	c bounds 897 >= 0 @ 58.5046
60.97/61.35	c bounds 886 >= 0 @ 58.53
60.97/61.37	c bounds 881 >= 0 @ 58.5447
61.07/61.40	c bounds 874 >= 0 @ 58.5739
61.07/61.42	c bounds 873 >= 0 @ 58.5897
61.17/61.55	c bounds 872 >= 0 @ 58.7122
61.17/61.57	c bounds 871 >= 0 @ 58.7297
61.17/61.59	c bounds 866 >= 0 @ 58.7468
61.27/61.61	c bounds 859 >= 0 @ 58.7715
61.47/61.89	c bounds 858 >= 0 @ 59.0388
61.67/62.05	c bounds 839 >= 0 @ 59.1986
61.87/62.20	c bounds 832 >= 0 @ 59.3486
61.87/62.24	c bounds 827 >= 0 @ 59.3832
61.87/62.26	c bounds 823 >= 0 @ 59.3952
61.87/62.28	c bounds 820 >= 0 @ 59.4137
61.97/62.30	c bounds 805 >= 0 @ 59.4365
62.06/62.43	c bounds 802 >= 0 @ 59.5662
62.06/62.47	c bounds 798 >= 0 @ 59.6007
62.17/62.57	c bounds 796 >= 0 @ 59.7014
62.37/62.73	c bounds 795 >= 0 @ 59.8611
62.67/63.02	c bounds 790 >= 0 @ 60.1446
62.87/63.22	c bounds 787 >= 0 @ 60.3335
62.96/63.35	c bounds 783 >= 0 @ 60.4558
63.17/63.54	c bounds 782 >= 0 @ 60.645
63.17/63.56	c bounds 781 >= 0 @ 60.6613
63.37/63.72	c bounds 775 >= 0 @ 60.8117
63.37/63.75	c bounds 771 >= 0 @ 60.8374
63.37/63.79	c bounds 766 >= 0 @ 60.8714
63.46/63.88	c bounds 763 >= 0 @ 60.9607
63.57/63.90	c bounds 729 >= 0 @ 60.9765
106.69/107.29	c #Conflicts:       6000 | #Constraints:     660511
106.69/107.29	c INPROCESSING
106.69/107.29	c GARBAGE COLLECT
106.69/107.29	c bounds 728 >= 0 @ 104.013
106.99/107.51	c bounds 726 >= 0 @ 104.222
107.08/107.61	c bounds 721 >= 0 @ 104.32
107.08/107.64	c bounds 720 >= 0 @ 104.354
107.19/107.78	c bounds 706 >= 0 @ 104.482
107.48/108.06	c bounds 704 >= 0 @ 104.759
107.48/108.08	c bounds 703 >= 0 @ 104.771
107.68/108.20	c bounds 688 >= 0 @ 104.889
108.38/108.99	c bounds 685 >= 0 @ 105.673
110.17/110.78	c #Conflicts:       7000 | #Constraints:     659395
110.17/110.78	c bounds 676 >= 0 @ 107.449
116.85/117.40	c #Conflicts:       8000 | #Constraints:     660417
116.85/117.40	c bounds 663 >= 0 @ 114.02
201.56/202.40	c #Conflicts:       9000 | #Constraints:     661438
201.56/202.40	c INPROCESSING
201.56/202.40	c GARBAGE COLLECT
201.56/202.40	c #Conflicts:      10000 | #Constraints:     660074
201.56/202.40	c #Conflicts:      11000 | #Constraints:     661077
201.56/202.40	c #Conflicts:      12000 | #Constraints:     662087
201.56/202.40	c INPROCESSING
201.56/202.40	c GARBAGE COLLECT
201.56/202.40	c bounds 658 >= 0 @ 198.337
201.56/202.42	c bounds 655 >= 0 @ 198.351
201.66/202.54	c bounds 647 >= 0 @ 198.473
201.66/202.58	c bounds 646 >= 0 @ 198.506
201.76/202.61	c bounds 638 >= 0 @ 198.533
201.76/202.64	c bounds 628 >= 0 @ 198.553
203.85/204.76	c bounds 623 >= 0 @ 200.658
204.56/205.40	c bounds 622 >= 0 @ 201.293
204.56/205.42	c bounds 620 >= 0 @ 201.308
205.15/206.09	c bounds 618 >= 0 @ 201.981
205.75/206.63	c bounds 614 >= 0 @ 202.51
206.15/207.03	c bounds 601 >= 0 @ 202.906
206.94/207.89	c bounds 590 >= 0 @ 203.75
207.35/208.29	c bounds 589 >= 0 @ 204.146
207.44/208.32	c bounds 588 >= 0 @ 204.168
208.15/209.02	c bounds 572 >= 0 @ 204.862
208.25/209.19	c bounds 571 >= 0 @ 205.033
208.45/209.37	c bounds 570 >= 0 @ 205.207
208.54/209.40	c bounds 569 >= 0 @ 205.226
208.84/209.71	c #Conflicts:      13000 | #Constraints:     660547
208.84/209.71	c bounds 558 >= 0 @ 205.531
209.34/210.29	c bounds 553 >= 0 @ 206.105
290.41/291.51	c #Conflicts:      14000 | #Constraints:     661571
290.41/291.51	c #Conflicts:      15000 | #Constraints:     662586
290.41/291.51	c INPROCESSING
290.41/291.51	c GARBAGE COLLECT
290.41/291.51	c #Conflicts:      16000 | #Constraints:     660761
290.41/291.51	c #Conflicts:      17000 | #Constraints:     661771
290.41/291.51	c #Conflicts:      18000 | #Constraints:     662781
290.41/291.51	c INPROCESSING
290.41/291.51	c GARBAGE COLLECT
290.41/291.51	c rational objective 161.125
296.49/297.68	c bounds 549 >= 0 @ 292.947
309.75/310.96	c #Conflicts:      19000 | #Constraints:     660772
309.75/310.96	c bounds 547 >= 0 @ 306.146
314.03/315.23	c #Conflicts:      20000 | #Constraints:     661791
314.03/315.23	c bounds 546 >= 0 @ 310.384
322.61/323.88	c #Conflicts:      21000 | #Constraints:     662807
322.61/323.88	c INPROCESSING
322.61/323.88	c GARBAGE COLLECT
322.61/323.88	c bounds 545 >= 0 @ 318.906
323.01/324.21	c bounds 543 >= 0 @ 319.236
323.01/324.26	c bounds 542 >= 0 @ 319.277
346.75/348.10	c #Conflicts:      22000 | #Constraints:     660566
346.75/348.10	c #Conflicts:      23000 | #Constraints:     661581
346.75/348.10	c #Conflicts:      24000 | #Constraints:     662591
346.75/348.10	c #Conflicts:      25000 | #Constraints:     663602
346.75/348.10	c INPROCESSING
346.75/348.10	c GARBAGE COLLECT
346.75/348.10	c bounds 541 >= 0 @ 342.882
346.94/348.25	c bounds 539 >= 0 @ 343.034
349.64/350.96	c bounds 538 >= 0 @ 345.715
350.84/352.18	c bounds 537 >= 0 @ 346.93
351.33/352.67	c bounds 531 >= 0 @ 347.413
351.93/353.25	c bounds 530 >= 0 @ 347.987
352.73/354.05	c bounds 528 >= 0 @ 348.779
353.12/354.47	c #Conflicts:      26000 | #Constraints:     661178
353.12/354.47	c bounds 527 >= 0 @ 349.189
353.23/354.56	c bounds 515 >= 0 @ 349.282
353.73/355.02	c bounds 513 >= 0 @ 349.733
354.32/355.67	c bounds 505 >= 0 @ 350.37
354.52/355.87	c bounds 500 >= 0 @ 350.568
354.62/355.96	c bounds 499 >= 0 @ 350.658
354.73/356.10	c bounds 497 >= 0 @ 350.787
354.92/356.29	c bounds 486 >= 0 @ 350.976
355.12/356.47	c bounds 485 >= 0 @ 351.159
355.12/356.49	c bounds 481 >= 0 @ 351.174
355.52/356.85	c bounds 478 >= 0 @ 351.531
355.62/356.92	c bounds 459 >= 0 @ 351.594
355.82/357.18	c bounds 454 >= 0 @ 351.842
356.11/357.41	c bounds 451 >= 0 @ 352.07
358.71/360.03	c bounds 449 >= 0 @ 354.673
358.81/360.18	c bounds 448 >= 0 @ 354.826
359.30/360.64	c bounds 444 >= 0 @ 355.284
359.81/361.13	c bounds 442 >= 0 @ 355.766
403.60/405.05	c #Conflicts:      27000 | #Constraints:     662226
403.60/405.05	c #Conflicts:      28000 | #Constraints:     663245
403.60/405.05	c #Conflicts:      29000 | #Constraints:     664254
403.60/405.05	c INPROCESSING
403.60/405.05	c GARBAGE COLLECT
403.60/405.05	c rational objective 161.199
408.68/410.15	c bounds 441 >= 0 @ 404.485
422.94/424.46	c #Conflicts:      30000 | #Constraints:     661591
422.94/424.46	c bounds 440 >= 0 @ 418.681
441.59/443.18	c #Conflicts:      31000 | #Constraints:     662612
441.59/443.18	c #Conflicts:      32000 | #Constraints:     663625
441.59/443.18	c #Conflicts:      33000 | #Constraints:     664633
441.59/443.18	c INPROCESSING
441.59/443.18	c GARBAGE COLLECT
441.59/443.18	c bounds 438 >= 0 @ 437.223
441.69/443.23	c bounds 437 >= 0 @ 437.278
441.89/443.40	c bounds 430 >= 0 @ 437.44
441.99/443.54	c bounds 424 >= 0 @ 437.583
441.99/443.57	c bounds 416 >= 0 @ 437.605
441.99/443.59	c bounds 414 >= 0 @ 437.623
444.09/445.62	c bounds 406 >= 0 @ 439.639
446.97/448.55	c #Conflicts:      34000 | #Constraints:     661797
446.97/448.55	c bounds 393 >= 0 @ 442.545
451.47/453.10	c bounds 391 >= 0 @ 447.07
523.77/525.52	c #Conflicts:      35000 | #Constraints:     662819
523.77/525.52	c #Conflicts:      36000 | #Constraints:     663832
523.77/525.52	c #Conflicts:      37000 | #Constraints:     664840
523.77/525.52	c INPROCESSING
523.77/525.52	c GARBAGE COLLECT
523.77/525.52	c rational objective 161.539
529.65/531.40	c bounds 390 >= 0 @ 525.065
529.65/531.43	c bounds 389 >= 0 @ 525.084
530.15/531.92	c bounds 388 >= 0 @ 525.561
530.15/531.94	c bounds 387 >= 0 @ 525.579
530.15/531.98	c bounds 382 >= 0 @ 525.612
531.65/533.40	c bounds 381 >= 0 @ 527.031
532.25/534.07	c bounds 370 >= 0 @ 527.689
532.84/534.66	c bounds 369 >= 0 @ 528.282
535.64/537.40	c #Conflicts:      38000 | #Constraints:     661819
535.64/537.40	c bounds 364 >= 0 @ 531
537.53/539.34	c bounds 362 >= 0 @ 532.934
537.53/539.37	c bounds 360 >= 0 @ 532.962
539.33/541.17	c bounds 359 >= 0 @ 534.744
539.43/541.26	c bounds 358 >= 0 @ 534.835
539.53/541.32	c bounds 356 >= 0 @ 534.893
734.30/736.63	c #Conflicts:      39000 | #Constraints:     662850
734.30/736.63	c #Conflicts:      40000 | #Constraints:     663869
734.30/736.63	c #Conflicts:      41000 | #Constraints:     664885
734.30/736.63	c INPROCESSING
734.30/736.63	c GARBAGE COLLECT
734.30/736.63	c #Conflicts:      42000 | #Constraints:     661614
734.30/736.63	c #Conflicts:      43000 | #Constraints:     662626
734.30/736.63	c #Conflicts:      44000 | #Constraints:     663634
734.30/736.63	c #Conflicts:      45000 | #Constraints:     664645
734.30/736.63	c #Conflicts:      46000 | #Constraints:     665659
734.30/736.63	c INPROCESSING
734.30/736.63	c GARBAGE COLLECT
734.30/736.63	c #Conflicts:      47000 | #Constraints:     662195
734.30/736.63	c #Conflicts:      48000 | #Constraints:     663201
734.30/736.63	c #Conflicts:      49000 | #Constraints:     664209
734.30/736.63	c #Conflicts:      50000 | #Constraints:     665217
734.30/736.63	c #Conflicts:      51000 | #Constraints:     666225
734.30/736.63	c INPROCESSING
734.30/736.63	c GARBAGE COLLECT
734.30/736.63	c rational objective 161.54
740.89/743.21	c bounds 354 >= 0 @ 735.552
741.69/744.10	c bounds 352 >= 0 @ 736.432
883.61/886.31	c #Conflicts:      52000 | #Constraints:     662746
883.61/886.31	c #Conflicts:      53000 | #Constraints:     664060
883.61/886.31	c #Conflicts:      54000 | #Constraints:     665344
883.61/886.31	c #Conflicts:      55000 | #Constraints:     666723
883.61/886.31	c #Conflicts:      56000 | #Constraints:     667827
883.61/886.31	c INPROCESSING
883.61/886.31	c GARBAGE COLLECT
883.61/886.31	c #Conflicts:      57000 | #Constraints:     663379
883.61/886.31	c #Conflicts:      58000 | #Constraints:     664395
883.61/886.31	c #Conflicts:      59000 | #Constraints:     665404
883.61/886.31	c bounds 351 >= 0 @ 877.906
922.71/925.54	c #Conflicts:      60000 | #Constraints:     666415
922.71/925.54	c #Conflicts:      61000 | #Constraints:     667423
922.71/925.54	c INPROCESSING
922.71/925.54	c GARBAGE COLLECT
922.71/925.54	c rational objective 161.54
968.78/971.75	c #Conflicts:      62000 | #Constraints:     663073
968.78/971.75	c #Conflicts:      63000 | #Constraints:     664077
968.78/971.75	c #Conflicts:      64000 | #Constraints:     665082
968.78/971.75	c #Conflicts:      65000 | #Constraints:     666090
968.78/971.75	c #Conflicts:      66000 | #Constraints:     667098
968.78/971.75	c INPROCESSING
968.78/971.75	c GARBAGE COLLECT
968.78/971.75	c #Conflicts:      67000 | #Constraints:     662715
968.78/971.75	c bounds 349 >= 0 @ 962.876
974.07/977.01	c #Conflicts:      68000 | #Constraints:     663726
974.07/977.01	c bounds 348 >= 0 @ 968.085
976.36/979.39	c bounds 345 >= 0 @ 970.453
976.86/979.89	c bounds 344 >= 0 @ 970.937
976.96/979.92	c bounds 343 >= 0 @ 970.965
977.06/980.02	c bounds 342 >= 0 @ 971.058
977.36/980.39	c bounds 341 >= 0 @ 971.422
1026.23/1029.34	c #Conflicts:      69000 | #Constraints:     664745
1026.23/1029.34	c #Conflicts:      70000 | #Constraints:     665752
1026.23/1029.34	c #Conflicts:      71000 | #Constraints:     666763
1026.23/1029.34	c #Conflicts:      72000 | #Constraints:     667768
1026.23/1029.34	c INPROCESSING
1026.23/1029.34	c GARBAGE COLLECT
1026.23/1029.34	c rational objective 161.54
1033.61/1036.70	c bounds 337 >= 0 @ 1027.47
1033.91/1037.01	c bounds 335 >= 0 @ 1027.76
1035.20/1038.34	c bounds 332 >= 0 @ 1029.08
1035.80/1038.94	c bounds 331 >= 0 @ 1029.67
1036.80/1039.94	c bounds 324 >= 0 @ 1030.65
1036.80/1039.96	c bounds 323 >= 0 @ 1030.67
1036.80/1039.99	c bounds 322 >= 0 @ 1030.69
1043.89/1047.06	c #Conflicts:      73000 | #Constraints:     663264
1043.89/1047.06	c bounds 321 >= 0 @ 1037.71
1043.89/1047.09	c bounds 320 >= 0 @ 1037.74
1139.23/1142.64	c #Conflicts:      74000 | #Constraints:     664281
1139.23/1142.64	c #Conflicts:      75000 | #Constraints:     665296
1139.23/1142.64	c #Conflicts:      76000 | #Constraints:     666310
1139.23/1142.64	c #Conflicts:      77000 | #Constraints:     667320
1139.23/1142.64	c #Conflicts:      78000 | #Constraints:     668331
1139.23/1142.64	c INPROCESSING
1139.23/1142.64	c GARBAGE COLLECT
1139.23/1142.64	c rational objective 161.54
1312.86/1316.71	c #Conflicts:      79000 | #Constraints:     663629
1312.86/1316.71	c #Conflicts:      80000 | #Constraints:     664635
1312.86/1316.71	c #Conflicts:      81000 | #Constraints:     665643
1312.86/1316.71	c #Conflicts:      82000 | #Constraints:     666649
1312.86/1316.71	c #Conflicts:      83000 | #Constraints:     667656
1312.86/1316.71	c #Conflicts:      84000 | #Constraints:     668661
1312.86/1316.71	c INPROCESSING
1312.86/1316.71	c GARBAGE COLLECT
1312.86/1316.71	c #Conflicts:      85000 | #Constraints:     663800
1312.86/1316.71	c #Conflicts:      86000 | #Constraints:     664806
1312.86/1316.71	c #Conflicts:      87000 | #Constraints:     665810
1312.86/1316.71	c #Conflicts:      88000 | #Constraints:     666817
1312.86/1316.71	c #Conflicts:      89000 | #Constraints:     667823
1312.86/1316.71	c #Conflicts:      90000 | #Constraints:     668828
1312.86/1316.71	c INPROCESSING
1312.86/1316.71	c GARBAGE COLLECT
1312.86/1316.71	c rational objective 161.54
1537.96/1542.41	c #Conflicts:      91000 | #Constraints:     663811
1537.96/1542.41	c #Conflicts:      92000 | #Constraints:     664964
1537.96/1542.41	c #Conflicts:      93000 | #Constraints:     666120
1537.96/1542.41	c #Conflicts:      94000 | #Constraints:     667200
1537.96/1542.41	c #Conflicts:      95000 | #Constraints:     668309
1537.96/1542.41	c #Conflicts:      96000 | #Constraints:     669387
1537.96/1542.41	c INPROCESSING
1537.96/1542.41	c GARBAGE COLLECT
1537.96/1542.41	c #Conflicts:      97000 | #Constraints:     663886
1537.96/1542.41	c bounds 319 >= 0 @ 1531.05
1719.09/1724.06	c #Conflicts:      98000 | #Constraints:     664903
1719.09/1724.06	c #Conflicts:      99000 | #Constraints:     665919
1719.09/1724.06	c #Conflicts:     100000 | #Constraints:     666933
1719.09/1724.06	c #Conflicts:     101000 | #Constraints:     667944
1719.09/1724.06	c #Conflicts:     102000 | #Constraints:     668957
1719.09/1724.06	c #Conflicts:     103000 | #Constraints:     669962
1719.09/1724.06	c INPROCESSING
1719.09/1724.06	c GARBAGE COLLECT
1719.09/1724.06	c #Conflicts:     104000 | #Constraints:     664362
1719.09/1724.06	c #Conflicts:     105000 | #Constraints:     665371
1719.09/1724.06	c #Conflicts:     106000 | #Constraints:     666376
1719.09/1724.06	c #Conflicts:     107000 | #Constraints:     667382
1719.09/1724.06	c #Conflicts:     108000 | #Constraints:     668394
1719.09/1724.06	c #Conflicts:     109000 | #Constraints:     669397
1719.09/1724.06	c #Conflicts:     110000 | #Constraints:     670404
1719.09/1724.06	c INPROCESSING
1719.09/1724.06	c GARBAGE COLLECT
1719.09/1724.06	c rational objective 161.54
1990.98/1996.64	c #Conflicts:     111000 | #Constraints:     664675
1990.98/1996.64	c #Conflicts:     112000 | #Constraints:     665800
1990.98/1996.64	c #Conflicts:     113000 | #Constraints:     666863
1990.98/1996.64	c #Conflicts:     114000 | #Constraints:     667981
1990.98/1996.64	c #Conflicts:     115000 | #Constraints:     669425
1990.98/1996.64	c #Conflicts:     116000 | #Constraints:     670675
1990.98/1996.64	c #Conflicts:     117000 | #Constraints:     671900
1990.98/1996.64	c INPROCESSING
1990.98/1996.64	c GARBAGE COLLECT
1990.98/1996.64	c #Conflicts:     118000 | #Constraints:     665656
1990.98/1996.64	c #Conflicts:     119000 | #Constraints:     666943
1990.98/1996.64	c #Conflicts:     120000 | #Constraints:     668320
1990.98/1996.64	c #Conflicts:     121000 | #Constraints:     669499
1990.98/1996.64	c #Conflicts:     122000 | #Constraints:     670675
1990.98/1996.64	c #Conflicts:     123000 | #Constraints:     671995
1990.98/1996.64	c #Conflicts:     124000 | #Constraints:     673128
1990.98/1996.64	c INPROCESSING
1990.98/1996.64	c GARBAGE COLLECT
1990.98/1996.64	c rational objective 161.54
2217.09/2223.36	c #Conflicts:     125000 | #Constraints:     665949
2217.09/2223.36	c #Conflicts:     126000 | #Constraints:     666983
2217.09/2223.36	c #Conflicts:     127000 | #Constraints:     668017
2217.09/2223.36	c #Conflicts:     128000 | #Constraints:     669196
2217.09/2223.36	c #Conflicts:     129000 | #Constraints:     670329
2217.09/2223.36	c #Conflicts:     130000 | #Constraints:     671437
2217.09/2223.36	c #Conflicts:     131000 | #Constraints:     672525
2217.09/2223.36	c INPROCESSING
2217.09/2223.36	c GARBAGE COLLECT
2217.09/2223.36	c #Conflicts:     132000 | #Constraints:     665447
2217.09/2223.36	c #Conflicts:     133000 | #Constraints:     666460
2217.09/2223.36	c #Conflicts:     134000 | #Constraints:     667470
2217.09/2223.36	c #Conflicts:     135000 | #Constraints:     668477
2217.09/2223.36	c #Conflicts:     136000 | #Constraints:     669484
2217.09/2223.36	c #Conflicts:     137000 | #Constraints:     670492
2217.09/2223.36	c #Conflicts:     138000 | #Constraints:     671494
2217.09/2223.36	c #Conflicts:     139000 | #Constraints:     672499
2217.09/2223.36	c INPROCESSING
2217.09/2223.36	c GARBAGE COLLECT
2217.09/2223.36	c rational objective 161.54
2314.63/2321.13	c #Conflicts:     140000 | #Constraints:     665622
2314.63/2321.13	c #Conflicts:     141000 | #Constraints:     666626
2314.63/2321.13	c #Conflicts:     142000 | #Constraints:     667635
2314.63/2321.13	c #Conflicts:     143000 | #Constraints:     668639
2314.63/2321.13	c #Conflicts:     144000 | #Constraints:     669643
2314.63/2321.13	c #Conflicts:     145000 | #Constraints:     670647
2314.63/2321.13	c #Conflicts:     146000 | #Constraints:     671650
2314.63/2321.13	c #Conflicts:     147000 | #Constraints:     672651
2314.63/2321.13	c INPROCESSING
2314.63/2321.13	c GARBAGE COLLECT
2314.63/2321.13	c rational objective 161.54
2333.48/2340.09	c #Conflicts:     148000 | #Constraints:     665804
2333.48/2340.09	c bounds 318 >= 0 @ 2324.98
2333.58/2340.13	c bounds 317 >= 0 @ 2325.01
2506.93/2513.91	c #Conflicts:     149000 | #Constraints:     666832
2506.93/2513.91	c #Conflicts:     150000 | #Constraints:     667838
2506.93/2513.91	c #Conflicts:     151000 | #Constraints:     668992
2506.93/2513.91	c #Conflicts:     152000 | #Constraints:     670178
2506.93/2513.91	c #Conflicts:     153000 | #Constraints:     671393
2506.93/2513.91	c #Conflicts:     154000 | #Constraints:     672503
2506.93/2513.91	c #Conflicts:     155000 | #Constraints:     673736
2506.93/2513.91	c INPROCESSING
2506.93/2513.91	c GARBAGE COLLECT
2506.93/2513.91	c rational objective 161.541
2633.80/2641.19	c #Conflicts:     156000 | #Constraints:     666337
2633.80/2641.19	c #Conflicts:     157000 | #Constraints:     667436
2633.80/2641.19	c #Conflicts:     158000 | #Constraints:     668572
2633.80/2641.19	c #Conflicts:     159000 | #Constraints:     669588
2633.80/2641.19	c #Conflicts:     160000 | #Constraints:     670774
2633.80/2641.19	c #Conflicts:     161000 | #Constraints:     671901
2633.80/2641.19	c #Conflicts:     162000 | #Constraints:     673077
2633.80/2641.19	c #Conflicts:     163000 | #Constraints:     674215
2633.80/2641.19	c INPROCESSING
2633.80/2641.19	c GARBAGE COLLECT
2633.80/2641.19	c rational objective 161.541
2893.38/2901.45	c #Conflicts:     164000 | #Constraints:     666509
2893.38/2901.45	c #Conflicts:     165000 | #Constraints:     667645
2893.38/2901.45	c #Conflicts:     166000 | #Constraints:     668840
2893.38/2901.45	c #Conflicts:     167000 | #Constraints:     669995
2893.38/2901.45	c #Conflicts:     168000 | #Constraints:     671154
2893.38/2901.45	c #Conflicts:     169000 | #Constraints:     672245
2893.38/2901.45	c #Conflicts:     170000 | #Constraints:     673695
2893.38/2901.45	c #Conflicts:     171000 | #Constraints:     675097
2893.38/2901.45	c INPROCESSING
2893.38/2901.45	c GARBAGE COLLECT
2893.38/2901.45	c rational objective 161.541
3010.18/3018.53	c #Conflicts:     172000 | #Constraints:     666799
3010.18/3018.53	c #Conflicts:     173000 | #Constraints:     667821
3010.18/3018.53	c #Conflicts:     174000 | #Constraints:     668829
3010.18/3018.53	c #Conflicts:     175000 | #Constraints:     669835
3010.18/3018.53	c #Conflicts:     176000 | #Constraints:     670840
3010.18/3018.53	c #Conflicts:     177000 | #Constraints:     671847
3010.18/3018.53	c #Conflicts:     178000 | #Constraints:     672854
3010.18/3018.53	c #Conflicts:     179000 | #Constraints:     673865
3010.18/3018.53	c #Conflicts:     180000 | #Constraints:     674875
3010.18/3018.53	c INPROCESSING
3010.18/3018.53	c GARBAGE COLLECT
3010.18/3018.53	c rational objective 161.541
3161.98/3170.71	c #Conflicts:     181000 | #Constraints:     666804
3161.98/3170.71	c #Conflicts:     182000 | #Constraints:     667812
3161.98/3170.71	c #Conflicts:     183000 | #Constraints:     668820
3161.98/3170.71	c #Conflicts:     184000 | #Constraints:     669826
3161.98/3170.71	c #Conflicts:     185000 | #Constraints:     670830
3161.98/3170.71	c #Conflicts:     186000 | #Constraints:     671834
3161.98/3170.71	c #Conflicts:     187000 | #Constraints:     672839
3161.98/3170.71	c #Conflicts:     188000 | #Constraints:     673844
3161.98/3170.71	c #Conflicts:     189000 | #Constraints:     674851
3161.98/3170.71	c INPROCESSING
3161.98/3170.71	c GARBAGE COLLECT
3161.98/3170.71	c rational objective 161.541
3297.61/3306.78	c #Conflicts:     190000 | #Constraints:     666904
3297.61/3306.78	c #Conflicts:     191000 | #Constraints:     667914
3297.61/3306.78	c #Conflicts:     192000 | #Constraints:     668925
3297.61/3306.78	c #Conflicts:     193000 | #Constraints:     669937
3297.61/3306.78	c #Conflicts:     194000 | #Constraints:     670948
3297.61/3306.78	c #Conflicts:     195000 | #Constraints:     671960
3297.61/3306.78	c #Conflicts:     196000 | #Constraints:     672967
3297.61/3306.78	c #Conflicts:     197000 | #Constraints:     673976
3297.61/3306.78	c #Conflicts:     198000 | #Constraints:     674983
3297.61/3306.78	c INPROCESSING
3297.61/3306.78	c GARBAGE COLLECT
3297.61/3306.78	c rational objective 161.541
3311.08/3320.25	c bounds 313 >= 0 @ 3300.3
3311.08/3320.27	c bounds 311 >= 0 @ 3300.32
3524.23/3534.07	c #Conflicts:     199000 | #Constraints:     666984
3524.23/3534.07	c #Conflicts:     200000 | #Constraints:     668042
3524.23/3534.07	c #Conflicts:     201000 | #Constraints:     669151
3524.23/3534.07	c #Conflicts:     202000 | #Constraints:     670261
3524.23/3534.07	c #Conflicts:     203000 | #Constraints:     671397
3524.23/3534.07	c #Conflicts:     204000 | #Constraints:     672615
3524.23/3534.07	c #Conflicts:     205000 | #Constraints:     673756
3524.23/3534.07	c #Conflicts:     206000 | #Constraints:     674880
3524.23/3534.07	c #Conflicts:     207000 | #Constraints:     676047
3524.23/3534.07	c INPROCESSING
3524.23/3534.07	c GARBAGE COLLECT
3524.23/3534.07	c rational objective 161.541
3600.01/3610.02	c #Conflicts:     208000 | #Constraints:     667410
3600.01/3610.02	c #Conflicts:     209000 | #Constraints:     668461
3600.01/3610.02	c #Conflicts:     210000 | #Constraints:     669516
3600.01/3610.02	c #Conflicts:     211000 | #Constraints:     670552
3600.01/3610.02	c #Conflicts:     212000 | #Constraints:     671600
3600.01/3610.02	c #Conflicts:     213000 | #Constraints:     672683
3600.01/3610.02	c #Conflicts:     214000 | #Constraints:     673844
3600.01/3610.02	c cpu time 3588.93 s
3600.01/3610.02	c deterministic time 543013020632 5.43e+11
3600.01/3610.02	c optimization time 67.8655 s
3600.01/3610.02	c total solve time 3519.04 s
3600.01/3610.02	c core-guided solve time 2210.34 s
3600.01/3610.02	c propagation time 1916 s
3600.01/3610.02	c conflict analysis time 523.754 s
3600.01/3610.02	c propagations 59728849
3600.01/3610.02	c resolve steps 2116117
3600.01/3610.02	c decisions 6892089
3600.01/3610.02	c conflicts 214053
3600.01/3610.02	c restarts 510
3600.01/3610.02	c inprocessing phases 37
3600.01/3610.02	c garbage collections 37 ,( 100.00 )
3600.01/3610.02	c input clauses 656900 ,( 99.94 )
3600.01/3610.02	c input cardinalities 0 ,( 0.00 )
3600.01/3610.02	c input general constraints 377 ,( 0.06 )
3600.01/3610.02	c input average constraint length 7.76
3600.01/3610.02	c input average constraint degree 285.31
3600.01/3610.02	c learned clauses 27345 ,( 12.08 )
3600.01/3610.02	c learned cardinalities 3 ,( 0.00 )
3600.01/3610.02	c learned general constraints 198965 ,( 87.92 )
3600.01/3610.02	c learned average constraint length 6929.62
3600.01/3610.02	c learned average constraint degree 459497979695.95
3600.01/3610.02	c watched  CF 32, 64, 128, Arb: 6791 , 0 , 0 , 0
3600.01/3610.02	c counting CF 32, 64, 128, Arb: 192552 , 0 , 0 , 0
3600.01/3610.02	c watched   constraints 6791 ,( 3.41 ) 
3600.01/3610.02	c counting  constraints 192551 ,( 96.59 ) 
3600.01/3610.02	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 21582113 , 17983 , 467600975 ,( 467392 , 467133583 )
3600.01/3610.02	c gcd simplifications 2467
3600.01/3610.02	c detected cardinalities 0
3600.01/3610.02	c weakened non-implied lits 422171032
3600.01/3610.02	c weakened non-implying lits 138375
3600.01/3610.02	c original variables 10000
3600.01/3610.02	c clausal propagations 14809730
3600.01/3610.02	c cardinality propagations 0
3600.01/3610.02	c watched propagations 288
3600.01/3610.02	c counting propagations 41973431
3600.01/3610.02	c watch lookups 11220824945
3600.01/3610.02	c watch backjump lookups 0
3600.01/3610.02	c watch checks 796373543
3600.01/3610.02	c propagation checks 526928454383
3600.01/3610.02	c constraint additions 3933509966
3600.01/3610.02	c trail pops 66823758
3600.01/3610.02	c formula constraints 656900
3600.01/3610.02	c learned constraints 212497
3600.01/3610.02	c bound constraints 377
3600.01/3610.02	c core-guided constraints 0
3600.01/3610.02	c encountered formula constraints 1747059
3600.01/3610.02	c encountered learned constraints 379254
3600.01/3610.02	c encountered bound constraints 10286
3600.01/3610.02	c encountered core-guided constraints 0
3600.01/3610.02	c LP total time 1832.73 s
3600.01/3610.02	c LP solve time 1464.88 s
3600.01/3610.02	c LP constraints added 656906
3600.01/3610.02	c LP constraints removed 0
3600.01/3610.02	c LP pivots internal 214007
3600.01/3610.02	c LP pivots root 199091
3600.01/3610.02	c LP calls 12411
3600.01/3610.02	c LP optimalities 139
3600.01/3610.02	c LP no pivot count 0
3600.01/3610.02	c LP infeasibilities 12262
3600.01/3610.02	c LP valid Farkas constraints 12255
3600.01/3610.02	c LP learned Farkas constraints 1556
3600.01/3610.02	c LP basis resets 12
3600.01/3610.02	c LP cycling count 4
3600.01/3610.02	c LP singular count 1
3600.01/3610.02	c LP no primal count 0
3600.01/3610.02	c LP no farkas count 6
3600.01/3610.02	c LP other issue count 1
3600.01/3610.02	c LP Gomory cuts 5
3600.01/3610.02	c LP learned cuts 1
3600.01/3610.02	c LP deleted cuts 0
3600.01/3610.02	c LP encountered Gomory constraints 0
3600.01/3610.02	c LP encountered Farkas constraints 188449
3600.01/3610.02	c LP encountered learned Farkas constraints 3566
3600.01/3610.02	c CG auxiliary variables introduced 0
3600.01/3610.02	c CG solutions found 376
3600.01/3610.02	c CG cores constructed 0
3600.01/3610.02	c CG core cardinality constraints returned 0
3600.01/3610.02	c CG unit cores 0
3600.01/3610.02	c CG single cores 0
3600.01/3610.02	c CG blocks removed during cardinality reduction 0
3600.01/3610.02	c CG first core best 0
3600.01/3610.02	c CG decision core best 0
3600.01/3610.02	c CG core reduction tie 0
3600.01/3610.02	c CG core degree average 0.00
3600.01/3610.02	c CG core slack average 0.00
3600.01/3610.02	c CG core upper bound improvements 0
3600.01/3610.02	c STR number of successful calls 0
3600.01/3610.02	c STR number of unsuccessful calls 0
3600.01/3610.02	c STR number of inconclusive calls 0
3600.01/3610.02	c STR number of successful attempts 0
3600.01/3610.02	c STR number of unsuccessful attempts 0
3600.01/3610.02	c STR number of inconclusive attempts 0
3600.01/3610.02	c STR average degree increase per successful call inf
3600.01/3610.02	c STR average degree increase per successful attempt inf
3600.01/3610.02	c STR total number of conflicts for successful attempts 0
3600.01/3610.02	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.02	c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.02	c STR average number of conflicts per successful attempt inf
3600.01/3610.02	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.02	c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.02	c AVG.sumWPerc 95.89 
3600.01/3610.02	c bigint constraints 0 
3600.01/3610.02	o 311
3600.01/3610.02	s SATISFIABLE
3600.01/3610.02	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.01/3610.02	c Program interrupted by user.

Verifier Data 

OK	311

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63010 MiB free)
  memory of node 1: 64465 MiB (63930 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489876-1751363764/watcher-4489876-1751363764 -o /tmp/evaluation-result-4489876-1751363764/solver-4489876-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751363764-51136 --watchdog 3760 run-opt-ls.sh HOME/instance-4489876-1751363764.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=51180, runsolver pid=51172
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=129431696/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51186] ppid=51180 vsize=162480 memory=144996 CPUtime=0.07 cores=0,2
/proc/51186/stat : 51186 (pbsuma) R 51180 51180 51126 0 -1 4194304 3607 0 0 0 4 3 0 0 20 0 1 0 52054343 166379520 36249 18446744073709551615 4210688 4653049 140737071631200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24338432 140737071634787 140737071634994 140737071634994 140737071640559 0
/proc/51186/statm: 40620 36249 896 108 0 38028 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166672 KiB
Current children cumulated memory: 148068 KiB

[startup+0.205715 s]*
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=129145332/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51186] ppid=51180 vsize=179996 memory=165400 CPUtime=0.18 cores=0,2
/proc/51186/stat : 51186 (pbsuma) R 51180 51180 51126 0 -1 4194304 8377 0 0 0 14 4 0 0 20 0 1 0 52054343 184315904 41350 18446744073709551615 4210688 4653049 140737071631200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24338432 140737071634787 140737071634994 140737071634994 140737071640559 0
/proc/51186/statm: 44999 41350 896 108 0 42407 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 184188 KiB
Current children cumulated memory: 168472 KiB

[startup+0.305611 s]*
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=129069600/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51186] ppid=51180 vsize=193992 memory=179728 CPUtime=0.27 cores=0,2
/proc/51186/stat : 51186 (pbsuma) R 51180 51180 51126 0 -1 4194304 11457 0 0 0 23 4 0 0 20 0 1 0 52054343 198647808 44932 18446744073709551615 4210688 4653049 140737071631200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24338432 140737071634787 140737071634994 140737071634994 140737071640559 0
/proc/51186/statm: 48498 44932 896 108 0 45906 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198184 KiB
Current children cumulated memory: 182800 KiB

[startup+0.700207 s]
/proc/loadavg: 0.48 0.98 1.77 5/267 51199
/proc/meminfo: memFree=128812248/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51186] ppid=51180 vsize=341284 memory=266992 CPUtime=0.66 cores=0,2
/proc/51186/stat : 51186 (pbsuma) R 51180 51180 51126 0 -1 4194304 24936 0 0 0 58 8 0 0 20 0 1 0 52054343 349474816 66748 18446744073709551615 4210688 4653049 140737071631200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 24338432 140737071634787 140737071634994 140737071634994 140737071640559 0
/proc/51186/statm: 85321 66748 992 108 0 82729 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 345476 KiB
Current children cumulated memory: 270064 KiB

[startup+1.50021 s]
/proc/loadavg: 0.76 1.03 1.78 5/267 51201
/proc/meminfo: memFree=128808144/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=116648 memory=71460 CPUtime=0.52 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 15235 0 3 0 36 16 0 0 20 0 1 0 52054436 119447552 17865 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 29162 17865 2016 1147 0 16589 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 120840 KiB
Current children cumulated memory: 74532 KiB

[startup+3.10544 s]
/proc/loadavg: 0.76 1.03 1.78 5/267 51203
/proc/meminfo: memFree=128681024/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=697232 memory=486332 CPUtime=2.12 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 55274 0 3 0 152 60 0 0 20 0 1 0 52054436 713965568 121583 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 174308 121583 2272 1147 0 161735 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 701424 KiB
Current children cumulated memory: 489404 KiB

[startup+6.30021 s]
/proc/loadavg: 1.02 1.08 1.79 5/267 51203
/proc/meminfo: memFree=127488472/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=1039960 memory=780384 CPUtime=5.3 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 81152 0 3 0 451 79 0 0 20 0 1 0 52054436 1064919040 195096 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 259990 195096 2368 1147 0 247417 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1044152 KiB
Current children cumulated memory: 783456 KiB

[startup+12.7002 s]
/proc/loadavg: 1.26 1.13 1.80 6/265 51217
/proc/meminfo: memFree=127622664/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=1219688 memory=891840 CPUtime=11.66 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 88209 0 3 0 1072 94 0 0 20 0 1 0 52054436 1248960512 222960 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 304922 222960 2432 1147 0 292349 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 1223880 KiB
Current children cumulated memory: 894912 KiB

[startup+25.5002 s]
/proc/loadavg: 1.68 1.23 1.83 5/267 51250
/proc/meminfo: memFree=127164644/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=1483656 memory=1143852 CPUtime=24.41 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 112250 0 3 0 2316 125 0 0 20 0 1 0 52054436 1519263744 285963 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 370914 285963 2432 1147 0 358341 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 1487848 KiB
Current children cumulated memory: 1146924 KiB

[startup+51.1056 s]
/proc/loadavg: 2.71 1.53 1.91 5/264 51311
/proc/meminfo: memFree=127287072/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=1720480 memory=1307548 CPUtime=49.92 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 139379 0 3 0 4850 142 0 0 20 0 1 0 52054436 1761771520 326887 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 430120 326887 2432 1147 0 417547 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 1724672 KiB
Current children cumulated memory: 1310620 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.92 2.03 5/267 51444
/proc/meminfo: memFree=126357732/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=1876980 memory=1556068 CPUtime=100.9 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 167928 0 3 0 9904 186 0 0 20 0 1 0 52054436 1922027520 389017 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 469245 389017 2432 1147 0 456672 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 1881172 KiB
Current children cumulated memory: 1559140 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 2.30 2.15 5/270 51589
/proc/meminfo: memFree=126434580/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=2258304 memory=1781140 CPUtime=160.68 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 206847 0 3 0 15855 213 0 0 20 0 1 0 52054436 2312503296 445285 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 564576 445285 2432 1147 0 552003 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 2262496 KiB
Current children cumulated memory: 1784212 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.63 2.28 5/270 51591
/proc/meminfo: memFree=126208500/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=2463668 memory=1969932 CPUtime=220.51 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 238462 0 3 0 21803 248 0 0 20 0 1 0 52054436 2522796032 492483 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 615917 492483 2432 1147 0 603344 0
Current children cumulated CPU time: 221.41 s

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

[pid=51200] ppid=51180 vsize=7617228 memory=6127916 CPUtime=3092.85 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 879904 0 3 0 308321 964 0 0 20 0 1 0 52054436 7800041472 1531979 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1904307 1531979 2528 1147 0 1891734 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 7621420 KiB
Current children cumulated memory: 6130988 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/268 51836
/proc/meminfo: memFree=120334188/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7617228 memory=6129068 CPUtime=3152.69 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 882115 0 3 0 314301 968 0 0 20 0 1 0 52054436 7800041472 1532267 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1904307 1532267 2528 1147 0 1891734 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 7621420 KiB
Current children cumulated memory: 6132140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/268 51838
/proc/meminfo: memFree=120305632/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6140680 CPUtime=3212.54 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 887456 0 3 0 320274 980 0 0 20 0 1 0 52054436 7807242240 1535170 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535170 2528 1147 0 1893492 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6143752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.03 5/268 51840
/proc/meminfo: memFree=120297384/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6140680 CPUtime=3272.37 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 889105 0 3 0 326251 986 0 0 20 0 1 0 52054436 7807242240 1535170 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535170 2528 1147 0 1893492 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6143752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/267 51842
/proc/meminfo: memFree=120263012/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6141960 CPUtime=3332.22 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 889509 0 3 0 332226 996 0 0 20 0 1 0 52054436 7807242240 1535490 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535490 2528 1147 0 1893492 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6145032 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/267 51846
/proc/meminfo: memFree=120254768/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6141960 CPUtime=3392.03 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 891121 0 3 0 338203 1000 0 0 20 0 1 0 52054436 7807242240 1535490 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535490 2528 1147 0 1893492 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6145032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/266 51848
/proc/meminfo: memFree=120234508/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6141960 CPUtime=3451.85 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 891434 0 3 0 344180 1005 0 0 20 0 1 0 52054436 7807242240 1535490 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535490 2528 1147 0 1893492 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6145032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/267 51851
/proc/meminfo: memFree=120232400/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6141960 CPUtime=3511.66 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 892134 0 3 0 350156 1010 0 0 20 0 1 0 52054436 7807242240 1535490 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535490 2528 1147 0 1893492 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6145032 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/267 51853
/proc/meminfo: memFree=120229836/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6141960 CPUtime=3571.48 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 893685 0 3 0 356131 1017 0 0 20 0 1 0 52054436 7807242240 1535490 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535490 2528 1147 0 1893492 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6145032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.15 4.11 4.05 5/267 51853
/proc/meminfo: memFree=120221740/131249996 swapFree=33005272/33010684
[pid=51180] ppid=51172 vsize=4192 memory=3072 CPUtime=0.9 cores=0,2
/proc/51180/stat : 51180 (run-opt-ls.sh) S 51172 51180 51126 0 -1 4194304 239 30123 0 0 0 0 79 11 20 0 1 0 52054342 4292608 768 18446744073709551615 94006584221696 94006585116229 140734074684768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94006585355280 94006585403024 94006593314816 140734074689895 140734074690021 140734074690021 140734074695623 0
/proc/51180/statm: 1048 768 704 219 0 110 0
[pid=51200] ppid=51180 vsize=7624260 memory=6141960 CPUtime=3599.11 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51180 51180 51126 0 -1 4194304 893723 0 3 0 358891 1020 0 0 20 0 1 0 52054436 7807242240 1535490 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1906065 1535490 2528 1147 0 1893492 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 7628452 KiB
Current children cumulated memory: 6145032 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3589.77 s, system=10.3867 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.11 s]*
/proc/loadavg: 4.15 4.11 4.05 5/266 51853
/proc/meminfo: memFree=121942252/131249996 swapFree=33005272/33010684
[pid=51200] ppid=51172 vsize=4402200 memory=3974020 CPUtime=3599.21 cores=0,2
/proc/51200/stat : 51200 (roundingsat) R 51172 51180 51126 0 -1 4194304 893742 0 3 0 358896 1025 0 0 20 0 1 0 52054436 4507852800 1010401 18446744073709551615 4227072 8923433 140728157762784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15867904 140728157768006 140728157768232 140728157768232 140728157773802 0
/proc/51200/statm: 1100550 1001185 2592 1147 0 1087977 0
Current cumulated CPU time of completed processes: 0.914467 s
Current children cumulated CPU time: 3599.21 s
Current children cumulated vsize: 4402200 KiB
Current children cumulated memory: 3974020 KiB

Child status: 2

Real time (s): 3610.13
CPU time (s): 3600.15
CPU user time (s): 3589.77
CPU system time (s): 10.3867
CPU usage (%): 99.7238
Max. virtual memory (cumulated for all children) (KiB): 7713156
Max. memory (cumulated for all children) (KiB): 6227292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.77
system time used= 10.3867
maximum resident set size= 6224220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924119
page faults= 3
swaps= 0
block input operations= 8200
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 406
involuntary context switches= 7915


# summary of solver processes directly reported to runsolver:
#   pid: 51180,51200
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3589.77
#   total CPU system time (s): 10.3867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29563 second user time and 18.2984 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 11:56:05
IDJOB=4489876
IDBENCH=147565
IDSOLVER=3355
FILE ID=nodeC023/4489876-1751363764
RUNJOBID= nodeC023-1751363764-51136
SLURM_JOB_ID= 9598180
Free space on /tmp= 432904 MiB

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

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=137257437

nodeC023 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.895
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.78
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		: 3595.490
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.78
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		: 3399.516
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129988164 kB
MemAvailable:   129748544 kB
Buffers:            1328 kB
Cached:           559420 kB
SwapCached:          444 kB
Active:           233800 kB
Inactive:         407120 kB
Active(anon):      38928 kB
Inactive(anon):    54640 kB
Active(file):     194872 kB
Inactive(file):   352480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            153168 kB
Writeback:             0 kB
AnonPages:         82852 kB
Mapped:            98468 kB
Shmem:             13364 kB
KReclaimable:     104532 kB
Slab:             192084 kB
SReclaimable:     104532 kB
SUnreclaim:        87552 kB
KernelStack:        4048 kB
PageTables:         2736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     339864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC023 at 2025-07-01 12:56:15