Trace number 4531822

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 0f876b3SAT (TO)317 3600.22 3609.65

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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4531822-1752683038.opb'
0.29/0.32	c 	read 17.23MB  (317.05ms)
0.29/0.32	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.32	c output proof to '/tmp/proof-4531822-1752683038'
0.29/0.32	c 
0.29/0.32	c make graph and approximate orbits
0.58/0.65	c	 [group: #orbits ~= 0] (325.65ms)
0.58/0.65	c 
0.58/0.65	c detect special group actions
0.58/0.65	c 	probe for Johnson action (limit=64)
0.58/0.65	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.58/0.66	c 	probe for row symmetry (limit=64, splits=16.78M)
0.58/0.67	c 	 (22.77ms)
0.58/0.67	c 
0.58/0.67	c detect symmetries on remainder
0.58/0.67	c 	[graph: #vertices 706680 #edges 2766358]
0.58/0.68	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.68/0.72	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.94ms)
0.68/0.72	c 
0.68/0.72	c finalize break order and special generators
0.68/0.72	c 
0.68/0.72	c generation finished
0.68/0.72	c 	[sbp: #constraints 0 #add_vars 0]
0.68/0.72	c 
0.68/0.72	c write result to 'HOME/instance-4531822-1752683038.opb.pre'
0.68/0.76	c 	wrote 17.23MB (35.58ms)
0.68/0.76	c ------------------------------------------------------------------
0.68/0.76	c                 325.65ms 43.20% approx_orbits
0.68/0.76	c                 317.05ms 42.06% parse
0.68/0.76	c                  49.94ms  6.63% detect_generic
0.68/0.76	c                  35.58ms  4.72% output
0.68/0.76	c                  22.77ms  3.02% detect_special
0.68/0.76	c                   2.41ms  0.32% other
0.68/0.76	c                   0.39ms  0.05% finalize_order
0.68/0.76	c         ───────────────────────────────────────────────
0.68/0.76	c                 753.81ms   100% total
0.68/0.76	c ------------------------------------------------------------------
0.78/0.89	c RoundingSat 2
0.78/0.89	c branch pb25
0.78/0.89	c commit 0f876b3
4.45/4.55	c #variables 10000 #constraints 656900
4.45/4.55	c objective is ce32 
5.25/5.39	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.25/5.39	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.25/5.39	c bounds 5698 >= 0 @ 3.79303
7.44/7.57	c rational objective 160.199
11.23/11.37	c bounds 5697 >= 0 @ 9.64576
11.23/11.37	c bounds 5692 >= 0 @ 9.65157
11.23/11.38	c bounds 5624 >= 0 @ 9.65627
11.23/11.39	c bounds 5537 >= 0 @ 9.6651
11.32/11.40	c bounds 5521 >= 0 @ 9.67006
11.32/11.42	c bounds 5512 >= 0 @ 9.69217
11.32/11.43	c bounds 5449 >= 0 @ 9.70219
11.32/11.46	c bounds 5382 >= 0 @ 9.72635
11.32/11.47	c bounds 5233 >= 0 @ 9.7321
11.32/11.48	c bounds 5177 >= 0 @ 9.73762
11.32/11.48	c bounds 5096 >= 0 @ 9.74375
11.43/11.54	c bounds 5057 >= 0 @ 9.80007
11.43/11.56	c bounds 5040 >= 0 @ 9.81473
11.43/11.57	c bounds 4997 >= 0 @ 9.82359
11.43/11.58	c bounds 4992 >= 0 @ 9.82914
11.43/11.59	c bounds 4948 >= 0 @ 9.83879
11.53/11.60	c bounds 4909 >= 0 @ 9.84557
11.53/11.61	c bounds 4856 >= 0 @ 9.85232
11.53/11.62	c bounds 4811 >= 0 @ 9.86965
11.53/11.63	c bounds 4740 >= 0 @ 9.87543
11.53/11.64	c bounds 4634 >= 0 @ 9.88164
11.63/11.71	c bounds 4632 >= 0 @ 9.95144
11.63/11.72	c bounds 4553 >= 0 @ 9.95683
11.63/11.73	c bounds 4463 >= 0 @ 9.96175
11.63/11.79	c bounds 4461 >= 0 @ 10.0176
11.73/11.80	c bounds 4456 >= 0 @ 10.0328
11.73/11.89	c bounds 4331 >= 0 @ 10.1123
11.83/11.90	c bounds 4277 >= 0 @ 10.1285
11.83/11.93	c bounds 4259 >= 0 @ 10.1521
11.83/11.93	c bounds 4237 >= 0 @ 10.158
11.93/12.05	c bounds 4214 >= 0 @ 10.2757
12.03/12.17	c bounds 4212 >= 0 @ 10.3851
12.03/12.17	c bounds 4210 >= 0 @ 10.3904
12.03/12.18	c bounds 4209 >= 0 @ 10.3951
12.13/12.20	c bounds 4203 >= 0 @ 10.4116
12.13/12.20	c bounds 3935 >= 0 @ 10.4165
12.13/12.21	c bounds 3931 >= 0 @ 10.4231
12.13/12.24	c bounds 3907 >= 0 @ 10.4511
12.13/12.25	c bounds 3844 >= 0 @ 10.4607
12.13/12.26	c bounds 3790 >= 0 @ 10.4667
12.13/12.28	c bounds 3760 >= 0 @ 10.4879
12.13/12.30	c bounds 3747 >= 0 @ 10.4998
12.23/12.30	c bounds 3692 >= 0 @ 10.5039
12.23/12.31	c bounds 3691 >= 0 @ 10.5094
12.32/12.42	c bounds 3686 >= 0 @ 10.6156
12.42/12.59	c bounds 3621 >= 0 @ 10.7825
12.52/12.60	c bounds 3578 >= 0 @ 10.7895
12.52/12.63	c bounds 3527 >= 0 @ 10.8192
12.52/12.64	c bounds 3390 >= 0 @ 10.8253
12.52/12.67	c bounds 3360 >= 0 @ 10.8467
12.52/12.68	c bounds 3359 >= 0 @ 10.8548
12.52/12.69	c bounds 3335 >= 0 @ 10.8714
12.63/12.70	c bounds 3333 >= 0 @ 10.8779
12.72/12.83	c bounds 3323 >= 0 @ 10.9996
13.02/13.17	c bounds 3311 >= 0 @ 11.3312
13.22/13.34	c bounds 3242 >= 0 @ 11.4933
13.22/13.36	c bounds 3239 >= 0 @ 11.5098
13.32/13.43	c bounds 3234 >= 0 @ 11.5751
13.32/13.45	c bounds 3229 >= 0 @ 11.5875
13.32/13.46	c bounds 3152 >= 0 @ 11.5923
14.52/14.62	c bounds 3145 >= 0 @ 12.7405
14.52/14.65	c bounds 3143 >= 0 @ 12.7633
15.02/15.10	c bounds 3133 >= 0 @ 13.2099
16.42/16.52	c bounds 3123 >= 0 @ 14.5972
19.71/19.88	c #Conflicts:       1000 | #Constraints:     657992
19.71/19.88	c bounds 3117 >= 0 @ 17.8668
20.01/20.17	c bounds 3091 >= 0 @ 18.1553
20.01/20.19	c bounds 3067 >= 0 @ 18.1775
20.11/20.26	c bounds 3059 >= 0 @ 18.2377
20.11/20.27	c bounds 3049 >= 0 @ 18.2502
20.31/20.47	c bounds 3042 >= 0 @ 18.4427
20.31/20.48	c bounds 3014 >= 0 @ 18.4514
20.31/20.49	c bounds 2999 >= 0 @ 18.463
20.40/20.51	c bounds 2985 >= 0 @ 18.4812
20.40/20.52	c bounds 2969 >= 0 @ 18.4895
20.40/20.53	c bounds 2940 >= 0 @ 18.4996
20.51/20.65	c bounds 2939 >= 0 @ 18.6069
20.51/20.68	c bounds 2917 >= 0 @ 18.64
20.70/20.80	c bounds 2912 >= 0 @ 18.7561
20.70/20.82	c bounds 2907 >= 0 @ 18.775
20.70/20.84	c bounds 2866 >= 0 @ 18.7899
20.80/20.93	c bounds 2861 >= 0 @ 18.8792
20.80/20.95	c bounds 2855 >= 0 @ 18.8931
20.80/20.96	c bounds 2810 >= 0 @ 18.9057
20.80/20.98	c bounds 2801 >= 0 @ 18.9218
20.91/21.09	c bounds 2782 >= 0 @ 19.029
21.10/21.23	c bounds 2764 >= 0 @ 19.163
21.10/21.24	c bounds 2728 >= 0 @ 19.1793
21.10/21.27	c bounds 2726 >= 0 @ 19.2041
21.10/21.29	c bounds 2709 >= 0 @ 19.2203
21.20/21.31	c bounds 2665 >= 0 @ 19.2375
21.31/21.45	c bounds 2632 >= 0 @ 19.3732
21.40/21.50	c bounds 2611 >= 0 @ 19.4245
21.40/21.52	c bounds 2602 >= 0 @ 19.4404
21.50/21.62	c bounds 2590 >= 0 @ 19.5428
21.50/21.66	c bounds 2586 >= 0 @ 19.5762
21.50/21.67	c bounds 2571 >= 0 @ 19.5883
21.60/21.78	c bounds 2557 >= 0 @ 19.6919
21.60/21.79	c bounds 2544 >= 0 @ 19.7055
21.70/21.81	c bounds 2510 >= 0 @ 19.7215
21.70/21.82	c bounds 2509 >= 0 @ 19.7294
21.80/21.92	c bounds 2493 >= 0 @ 19.8305
21.80/21.93	c bounds 2492 >= 0 @ 19.8405
21.80/21.96	c bounds 2488 >= 0 @ 19.8678
21.80/21.97	c bounds 2477 >= 0 @ 19.8768
21.80/22.00	c bounds 2466 >= 0 @ 19.9022
21.91/22.02	c bounds 2465 >= 0 @ 19.9187
21.91/22.04	c bounds 2449 >= 0 @ 19.9363
22.01/22.15	c bounds 2447 >= 0 @ 20.0455
22.20/22.30	c bounds 2433 >= 0 @ 20.1982
22.20/22.31	c bounds 2401 >= 0 @ 20.2118
22.20/22.33	c bounds 2390 >= 0 @ 20.2279
22.30/22.46	c bounds 2382 >= 0 @ 20.3577
22.30/22.47	c bounds 2381 >= 0 @ 20.3637
22.50/22.61	c bounds 2358 >= 0 @ 20.5022
22.50/22.62	c bounds 2318 >= 0 @ 20.5118
22.70/22.83	c bounds 2314 >= 0 @ 20.7098
22.70/22.88	c bounds 2313 >= 0 @ 20.7579
22.80/22.97	c bounds 2311 >= 0 @ 20.8496
22.80/22.99	c bounds 2292 >= 0 @ 20.8668
22.91/23.03	c bounds 2291 >= 0 @ 20.8968
23.00/23.12	c bounds 2280 >= 0 @ 20.9832
24.00/24.18	c bounds 2276 >= 0 @ 22.0205
24.00/24.19	c bounds 2273 >= 0 @ 22.0294
24.09/24.20	c bounds 2271 >= 0 @ 22.0388
24.09/24.24	c bounds 2267 >= 0 @ 22.0784
24.09/24.29	c bounds 2261 >= 0 @ 22.1345
24.19/24.32	c bounds 2233 >= 0 @ 22.1557
24.30/24.42	c bounds 2215 >= 0 @ 22.258
24.30/24.44	c bounds 2211 >= 0 @ 22.2701
24.30/24.46	c bounds 2193 >= 0 @ 22.2944
24.30/24.48	c bounds 2191 >= 0 @ 22.3064
24.39/24.58	c bounds 2177 >= 0 @ 22.4118
24.60/24.72	c bounds 2133 >= 0 @ 22.5456
24.60/24.75	c bounds 2132 >= 0 @ 22.5751
24.69/24.87	c bounds 2130 >= 0 @ 22.6952
24.69/24.89	c bounds 2052 >= 0 @ 22.7066
25.09/25.25	c bounds 2046 >= 0 @ 23.06
25.09/25.26	c bounds 2045 >= 0 @ 23.0694
25.19/25.30	c bounds 2011 >= 0 @ 23.0972
25.39/25.50	c bounds 2003 >= 0 @ 23.2985
25.39/25.55	c bounds 2001 >= 0 @ 23.3396
25.49/25.67	c bounds 1997 >= 0 @ 23.4564
25.49/25.69	c bounds 1958 >= 0 @ 23.4703
25.59/25.70	c bounds 1906 >= 0 @ 23.4802
25.59/25.72	c bounds 1892 >= 0 @ 23.4933
25.59/25.74	c bounds 1870 >= 0 @ 23.5067
25.69/25.85	c bounds 1840 >= 0 @ 23.615
25.69/25.87	c bounds 1777 >= 0 @ 23.6264
26.09/26.28	c bounds 1756 >= 0 @ 24.032
26.58/26.76	c bounds 1742 >= 0 @ 24.4983
26.58/26.79	c bounds 1720 >= 0 @ 24.5272
27.78/27.94	c bounds 1708 >= 0 @ 25.6662
28.68/28.81	c bounds 1707 >= 0 @ 26.5045
28.68/28.83	c bounds 1701 >= 0 @ 26.5319
28.78/28.95	c bounds 1657 >= 0 @ 26.6431
28.89/29.07	c bounds 1652 >= 0 @ 26.7576
37.36/37.56	c #Conflicts:       2000 | #Constraints:     659121
37.36/37.56	c INPROCESSING
37.36/37.56	c GARBAGE COLLECT
37.36/37.56	c bounds 1640 >= 0 @ 35.2148
37.36/37.58	c bounds 1603 >= 0 @ 35.2228
37.36/37.59	c bounds 1573 >= 0 @ 35.2302
37.46/37.61	c bounds 1556 >= 0 @ 35.2504
37.46/37.63	c bounds 1552 >= 0 @ 35.2639
57.92/58.13	c #Conflicts:       3000 | #Constraints:     658951
57.92/58.13	c #Conflicts:       4000 | #Constraints:     659968
57.92/58.13	c INPROCESSING
57.92/58.13	c GARBAGE COLLECT
57.92/58.13	c bounds 1533 >= 0 @ 55.3879
57.92/58.14	c bounds 1532 >= 0 @ 55.3982
57.92/58.15	c bounds 1531 >= 0 @ 55.4075
58.01/58.29	c bounds 1529 >= 0 @ 55.5367
58.11/58.30	c bounds 1523 >= 0 @ 55.5524
58.11/58.32	c bounds 1517 >= 0 @ 55.5668
58.11/58.33	c bounds 1514 >= 0 @ 55.5751
58.41/58.60	c bounds 1512 >= 0 @ 55.8377
58.41/58.61	c bounds 1511 >= 0 @ 55.847
58.61/58.86	c bounds 1506 >= 0 @ 56.085
58.81/59.06	c bounds 1503 >= 0 @ 56.2824
58.91/59.11	c bounds 1494 >= 0 @ 56.3349
59.10/59.30	c bounds 1482 >= 0 @ 56.5248
59.40/59.65	c bounds 1480 >= 0 @ 56.8643
59.40/59.66	c bounds 1467 >= 0 @ 56.8743
59.60/59.81	c bounds 1466 >= 0 @ 57.0181
59.60/59.83	c bounds 1461 >= 0 @ 57.0394
59.60/59.88	c bounds 1457 >= 0 @ 57.0864
60.10/60.37	c bounds 1442 >= 0 @ 57.5538
60.40/60.67	c bounds 1424 >= 0 @ 57.8555
60.60/60.80	c bounds 1423 >= 0 @ 57.9859
60.90/61.16	c bounds 1402 >= 0 @ 58.3388
61.09/61.32	c bounds 1392 >= 0 @ 58.4939
62.19/62.42	c bounds 1388 >= 0 @ 59.5672
62.80/63.04	c bounds 1371 >= 0 @ 60.1763
62.80/63.08	c bounds 1365 >= 0 @ 60.2183
62.90/63.12	c bounds 1360 >= 0 @ 60.2538
62.90/63.14	c bounds 1337 >= 0 @ 60.275
62.99/63.29	c bounds 1317 >= 0 @ 60.4242
63.09/63.31	c bounds 1310 >= 0 @ 60.4339
63.20/63.43	c bounds 1286 >= 0 @ 60.5502
63.20/63.44	c bounds 1264 >= 0 @ 60.5623
63.29/63.56	c bounds 1259 >= 0 @ 60.6819
63.29/63.59	c bounds 1251 >= 0 @ 60.7081
63.40/63.61	c bounds 1221 >= 0 @ 60.729
63.40/63.64	c bounds 1218 >= 0 @ 60.7511
63.49/63.76	c bounds 1210 >= 0 @ 60.8704
63.70/63.91	c bounds 1193 >= 0 @ 61.0175
63.70/63.95	c bounds 1176 >= 0 @ 61.0546
63.80/64.07	c bounds 1172 >= 0 @ 61.1687
63.90/64.16	c bounds 1164 >= 0 @ 61.257
63.99/64.20	c bounds 1160 >= 0 @ 61.2917
63.99/64.22	c bounds 1155 >= 0 @ 61.3135
63.99/64.24	c bounds 1142 >= 0 @ 61.3232
63.99/64.29	c bounds 1137 >= 0 @ 61.372
64.29/64.50	c bounds 1107 >= 0 @ 61.5734
64.39/64.66	c bounds 1106 >= 0 @ 61.7328
64.39/64.69	c bounds 1095 >= 0 @ 61.7591
64.49/64.70	c bounds 1093 >= 0 @ 61.7698
64.60/64.85	c bounds 1063 >= 0 @ 61.9158
64.69/64.90	c bounds 1059 >= 0 @ 61.964
64.69/64.93	c bounds 1057 >= 0 @ 61.9847
64.69/64.94	c bounds 1052 >= 0 @ 61.996
64.69/64.98	c bounds 1040 >= 0 @ 62.0289
64.69/65.00	c bounds 1038 >= 0 @ 62.0451
64.79/65.03	c bounds 1031 >= 0 @ 62.0781
64.79/65.05	c bounds 1013 >= 0 @ 62.0968
64.90/65.15	c bounds 1012 >= 0 @ 62.1935
64.90/65.18	c bounds 1008 >= 0 @ 62.2195
65.08/65.30	c bounds 987 >= 0 @ 62.3381
65.19/65.48	c bounds 977 >= 0 @ 62.5119
65.29/65.53	c bounds 975 >= 0 @ 62.5512
65.49/65.71	c bounds 973 >= 0 @ 62.7333
65.49/65.74	c bounds 968 >= 0 @ 62.7559
65.59/65.89	c bounds 964 >= 0 @ 62.9015
65.68/65.90	c bounds 961 >= 0 @ 62.9137
65.79/66.02	c bounds 954 >= 0 @ 63.0374
65.90/66.17	c bounds 946 >= 0 @ 63.1798
66.19/66.43	c bounds 943 >= 0 @ 63.4359
66.19/66.47	c bounds 924 >= 0 @ 63.4728
66.48/66.71	c #Conflicts:       5000 | #Constraints:     659445
66.48/66.71	c bounds 923 >= 0 @ 63.7127
66.48/66.75	c bounds 911 >= 0 @ 63.7496
66.69/66.91	c bounds 907 >= 0 @ 63.9078
66.79/67.07	c bounds 897 >= 0 @ 64.0717
66.89/67.10	c bounds 886 >= 0 @ 64.0979
66.89/67.12	c bounds 881 >= 0 @ 64.1146
66.89/67.16	c bounds 874 >= 0 @ 64.1534
66.89/67.18	c bounds 873 >= 0 @ 64.1669
67.08/67.31	c bounds 872 >= 0 @ 64.2951
67.08/67.33	c bounds 871 >= 0 @ 64.3152
67.08/67.35	c bounds 866 >= 0 @ 64.3325
67.08/67.38	c bounds 859 >= 0 @ 64.3569
67.48/67.73	c bounds 858 >= 0 @ 64.6974
67.68/67.92	c bounds 839 >= 0 @ 64.8852
67.79/68.08	c bounds 832 >= 0 @ 65.0467
67.89/68.13	c bounds 827 >= 0 @ 65.09
67.89/68.14	c bounds 823 >= 0 @ 65.1013
67.89/68.16	c bounds 820 >= 0 @ 65.1188
67.89/68.19	c bounds 805 >= 0 @ 65.1398
68.08/68.35	c bounds 802 >= 0 @ 65.2951
68.08/68.39	c bounds 798 >= 0 @ 65.3352
68.28/68.50	c bounds 796 >= 0 @ 65.4395
68.38/68.69	c bounds 795 >= 0 @ 65.6217
68.79/69.06	c bounds 790 >= 0 @ 65.9798
68.98/69.26	c bounds 787 >= 0 @ 66.1802
69.17/69.45	c bounds 783 >= 0 @ 66.3667
69.38/69.68	c bounds 782 >= 0 @ 66.5886
69.47/69.70	c bounds 781 >= 0 @ 66.6056
69.58/69.86	c bounds 775 >= 0 @ 66.7587
69.58/69.89	c bounds 771 >= 0 @ 66.7874
69.67/69.94	c bounds 766 >= 0 @ 66.8267
69.78/70.04	c bounds 763 >= 0 @ 66.9237
69.78/70.06	c bounds 729 >= 0 @ 66.9383
113.17/113.52	c #Conflicts:       6000 | #Constraints:     660511
113.17/113.52	c INPROCESSING
113.17/113.52	c GARBAGE COLLECT
113.17/113.52	c bounds 728 >= 0 @ 109.972
113.36/113.78	c bounds 726 >= 0 @ 110.222
113.46/113.88	c bounds 721 >= 0 @ 110.323
113.56/113.93	c bounds 720 >= 0 @ 110.366
113.67/114.09	c bounds 706 >= 0 @ 110.517
114.06/114.42	c bounds 704 >= 0 @ 110.841
114.06/114.43	c bounds 703 >= 0 @ 110.853
114.16/114.58	c bounds 688 >= 0 @ 110.997
115.36/115.73	c bounds 685 >= 0 @ 112.139
118.25/118.60	c #Conflicts:       7000 | #Constraints:     659395
118.25/118.60	c bounds 676 >= 0 @ 114.961
127.82/128.28	c #Conflicts:       8000 | #Constraints:     660417
127.82/128.28	c bounds 663 >= 0 @ 124.467
210.01/210.67	c #Conflicts:       9000 | #Constraints:     661438
210.01/210.67	c INPROCESSING
210.01/210.67	c GARBAGE COLLECT
210.01/210.67	c #Conflicts:      10000 | #Constraints:     660074
210.01/210.67	c #Conflicts:      11000 | #Constraints:     661077
210.01/210.67	c #Conflicts:      12000 | #Constraints:     662087
210.01/210.67	c INPROCESSING
210.01/210.67	c GARBAGE COLLECT
210.01/210.67	c bounds 658 >= 0 @ 205.911
210.01/210.69	c bounds 655 >= 0 @ 205.926
210.20/210.81	c bounds 647 >= 0 @ 206.041
210.20/210.85	c bounds 646 >= 0 @ 206.075
210.20/210.88	c bounds 638 >= 0 @ 206.102
210.31/210.90	c bounds 628 >= 0 @ 206.122
213.10/213.79	c bounds 623 >= 0 @ 208.967
214.10/214.72	c bounds 622 >= 0 @ 209.874
214.10/214.73	c bounds 620 >= 0 @ 209.887
215.09/215.70	c bounds 618 >= 0 @ 210.835
215.79/216.45	c bounds 614 >= 0 @ 211.566
216.39/217.03	c bounds 601 >= 0 @ 212.135
217.39/218.10	c bounds 590 >= 0 @ 213.178
217.89/218.56	c bounds 589 >= 0 @ 213.63
217.89/218.58	c bounds 588 >= 0 @ 213.651
218.69/219.37	c bounds 572 >= 0 @ 214.428
218.88/219.57	c bounds 571 >= 0 @ 214.624
219.09/219.77	c bounds 570 >= 0 @ 214.818
219.09/219.79	c bounds 569 >= 0 @ 214.839
219.49/220.11	c #Conflicts:      13000 | #Constraints:     660547
219.49/220.11	c bounds 558 >= 0 @ 215.147
220.18/220.88	c bounds 553 >= 0 @ 215.911
302.87/303.77	c #Conflicts:      14000 | #Constraints:     661571
302.87/303.77	c #Conflicts:      15000 | #Constraints:     662586
302.87/303.77	c INPROCESSING
302.87/303.77	c GARBAGE COLLECT
302.87/303.77	c #Conflicts:      16000 | #Constraints:     660761
302.87/303.77	c #Conflicts:      17000 | #Constraints:     661771
302.87/303.77	c #Conflicts:      18000 | #Constraints:     662781
302.87/303.77	c INPROCESSING
302.87/303.77	c GARBAGE COLLECT
302.87/303.77	c rational objective 161.125
309.96/310.88	c bounds 549 >= 0 @ 304.807
327.81/328.72	c #Conflicts:      19000 | #Constraints:     660772
327.81/328.72	c bounds 547 >= 0 @ 322.361
333.39/334.36	c #Conflicts:      20000 | #Constraints:     661791
333.39/334.36	c bounds 546 >= 0 @ 327.91
345.86/346.80	c #Conflicts:      21000 | #Constraints:     662807
345.86/346.80	c INPROCESSING
345.86/346.80	c GARBAGE COLLECT
345.86/346.80	c bounds 545 >= 0 @ 340.118
346.26/347.24	c bounds 543 >= 0 @ 340.544
346.26/347.28	c bounds 542 >= 0 @ 340.586
377.28/378.31	c #Conflicts:      22000 | #Constraints:     660566
377.28/378.31	c #Conflicts:      23000 | #Constraints:     661581
377.28/378.31	c #Conflicts:      24000 | #Constraints:     662591
377.28/378.31	c #Conflicts:      25000 | #Constraints:     663602
377.28/378.31	c INPROCESSING
377.28/378.31	c GARBAGE COLLECT
377.28/378.31	c bounds 541 >= 0 @ 371.008
377.38/378.48	c bounds 539 >= 0 @ 371.172
380.87/381.96	c bounds 538 >= 0 @ 374.593
382.37/383.49	c bounds 537 >= 0 @ 376.087
382.98/384.08	c bounds 531 >= 0 @ 376.67
383.76/384.83	c bounds 530 >= 0 @ 377.398
384.67/385.74	c bounds 528 >= 0 @ 378.302
385.16/386.29	c #Conflicts:      26000 | #Constraints:     661178
385.16/386.29	c bounds 527 >= 0 @ 378.841
385.36/386.42	c bounds 515 >= 0 @ 378.969
385.76/386.89	c bounds 513 >= 0 @ 379.437
386.56/387.68	c bounds 505 >= 0 @ 380.207
386.85/387.95	c bounds 500 >= 0 @ 380.471
386.96/388.07	c bounds 499 >= 0 @ 380.585
387.15/388.22	c bounds 497 >= 0 @ 380.727
387.36/388.44	c bounds 486 >= 0 @ 380.946
387.56/388.63	c bounds 485 >= 0 @ 381.135
387.56/388.65	c bounds 481 >= 0 @ 381.15
388.06/389.12	c bounds 478 >= 0 @ 381.613
388.15/389.20	c bounds 459 >= 0 @ 381.691
388.45/389.50	c bounds 454 >= 0 @ 381.985
388.65/389.77	c bounds 451 >= 0 @ 382.24
392.25/393.31	c bounds 449 >= 0 @ 385.736
392.44/393.54	c bounds 448 >= 0 @ 385.961
393.14/394.20	c bounds 444 >= 0 @ 386.603
393.73/394.86	c bounds 442 >= 0 @ 387.249
453.06/454.33	c #Conflicts:      27000 | #Constraints:     662226
453.06/454.33	c #Conflicts:      28000 | #Constraints:     663245
453.06/454.33	c #Conflicts:      29000 | #Constraints:     664254
453.06/454.33	c INPROCESSING
453.06/454.33	c GARBAGE COLLECT
453.06/454.33	c rational objective 161.199
458.14/459.48	c bounds 441 >= 0 @ 451.25
478.79/480.19	c #Conflicts:      30000 | #Constraints:     661591
478.79/480.19	c bounds 440 >= 0 @ 471.612
504.13/505.54	c #Conflicts:      31000 | #Constraints:     662612
504.13/505.54	c #Conflicts:      32000 | #Constraints:     663625
504.13/505.54	c #Conflicts:      33000 | #Constraints:     664633
504.13/505.54	c INPROCESSING
504.13/505.54	c GARBAGE COLLECT
504.13/505.54	c bounds 438 >= 0 @ 496.516
504.23/505.60	c bounds 437 >= 0 @ 496.571
504.33/505.79	c bounds 430 >= 0 @ 496.758
504.53/505.95	c bounds 424 >= 0 @ 496.917
504.53/505.98	c bounds 416 >= 0 @ 496.941
504.64/506.00	c bounds 414 >= 0 @ 496.962
507.62/509.00	c bounds 406 >= 0 @ 499.896
511.91/513.33	c #Conflicts:      34000 | #Constraints:     661797
511.91/513.33	c bounds 393 >= 0 @ 504.151
518.39/519.88	c bounds 391 >= 0 @ 510.589
594.58/596.28	c #Conflicts:      35000 | #Constraints:     662819
594.58/596.28	c #Conflicts:      36000 | #Constraints:     663832
594.58/596.28	c #Conflicts:      37000 | #Constraints:     664840
594.58/596.28	c INPROCESSING
594.58/596.28	c GARBAGE COLLECT
594.58/596.28	c rational objective 161.539
601.57/603.26	c bounds 390 >= 0 @ 593.258
601.57/603.28	c bounds 389 >= 0 @ 593.282
602.26/603.97	c bounds 388 >= 0 @ 593.94
602.26/604.00	c bounds 387 >= 0 @ 593.963
602.37/604.04	c bounds 382 >= 0 @ 594.001
604.36/606.09	c bounds 381 >= 0 @ 596.014
605.26/606.98	c bounds 370 >= 0 @ 596.884
606.05/607.78	c bounds 369 >= 0 @ 597.666
609.85/611.58	c #Conflicts:      38000 | #Constraints:     661819
609.85/611.58	c bounds 364 >= 0 @ 601.406
612.64/614.32	c bounds 362 >= 0 @ 604.102
612.64/614.35	c bounds 360 >= 0 @ 604.128
614.93/616.67	c bounds 359 >= 0 @ 606.417
615.03/616.78	c bounds 358 >= 0 @ 606.524
615.13/616.86	c bounds 356 >= 0 @ 606.592
852.90/855.20	c #Conflicts:      39000 | #Constraints:     662850
852.90/855.20	c #Conflicts:      40000 | #Constraints:     663869
852.90/855.20	c #Conflicts:      41000 | #Constraints:     664885
852.90/855.20	c INPROCESSING
852.90/855.20	c GARBAGE COLLECT
852.90/855.20	c #Conflicts:      42000 | #Constraints:     661614
852.90/855.20	c #Conflicts:      43000 | #Constraints:     662626
852.90/855.20	c #Conflicts:      44000 | #Constraints:     663634
852.90/855.20	c #Conflicts:      45000 | #Constraints:     664645
852.90/855.20	c #Conflicts:      46000 | #Constraints:     665659
852.90/855.20	c INPROCESSING
852.90/855.20	c GARBAGE COLLECT
852.90/855.20	c #Conflicts:      47000 | #Constraints:     662195
852.90/855.20	c #Conflicts:      48000 | #Constraints:     663201
852.90/855.20	c #Conflicts:      49000 | #Constraints:     664209
852.90/855.20	c #Conflicts:      50000 | #Constraints:     665217
852.90/855.20	c #Conflicts:      51000 | #Constraints:     666225
852.90/855.20	c INPROCESSING
852.90/855.20	c GARBAGE COLLECT
852.90/855.20	c rational objective 161.54
860.98/863.33	c bounds 354 >= 0 @ 850.088
862.07/864.44	c bounds 352 >= 0 @ 851.176
1032.42/1035.20	c #Conflicts:      52000 | #Constraints:     662746
1032.42/1035.20	c #Conflicts:      53000 | #Constraints:     664060
1032.42/1035.20	c #Conflicts:      54000 | #Constraints:     665344
1032.42/1035.20	c #Conflicts:      55000 | #Constraints:     666723
1032.42/1035.20	c #Conflicts:      56000 | #Constraints:     667827
1032.42/1035.20	c INPROCESSING
1032.42/1035.20	c GARBAGE COLLECT
1032.42/1035.20	c #Conflicts:      57000 | #Constraints:     663379
1032.42/1035.20	c #Conflicts:      58000 | #Constraints:     664395
1032.42/1035.20	c #Conflicts:      59000 | #Constraints:     665404
1032.42/1035.20	c bounds 351 >= 0 @ 1020.09
1080.71/1083.62	c #Conflicts:      60000 | #Constraints:     666415
1080.71/1083.62	c #Conflicts:      61000 | #Constraints:     667423
1080.71/1083.62	c INPROCESSING
1080.71/1083.62	c GARBAGE COLLECT
1080.71/1083.62	c rational objective 161.54
1138.85/1141.99	c #Conflicts:      62000 | #Constraints:     663073
1138.85/1141.99	c #Conflicts:      63000 | #Constraints:     664077
1138.85/1141.99	c #Conflicts:      64000 | #Constraints:     665082
1138.85/1141.99	c #Conflicts:      65000 | #Constraints:     666090
1138.85/1141.99	c #Conflicts:      66000 | #Constraints:     667098
1138.85/1141.99	c INPROCESSING
1138.85/1141.99	c GARBAGE COLLECT
1138.85/1141.99	c #Conflicts:      67000 | #Constraints:     662715
1138.85/1141.99	c bounds 349 >= 0 @ 1125.67
1146.04/1149.14	c #Conflicts:      68000 | #Constraints:     663726
1146.04/1149.14	c bounds 348 >= 0 @ 1132.7
1149.32/1152.44	c bounds 345 >= 0 @ 1135.96
1149.93/1153.01	c bounds 344 >= 0 @ 1136.52
1149.93/1153.04	c bounds 343 >= 0 @ 1136.54
1150.04/1153.15	c bounds 342 >= 0 @ 1136.64
1150.42/1153.57	c bounds 341 >= 0 @ 1137.06
1213.05/1216.32	c #Conflicts:      69000 | #Constraints:     664745
1213.05/1216.32	c #Conflicts:      70000 | #Constraints:     665752
1213.05/1216.32	c #Conflicts:      71000 | #Constraints:     666763
1213.05/1216.32	c #Conflicts:      72000 | #Constraints:     667768
1213.05/1216.32	c INPROCESSING
1213.05/1216.32	c GARBAGE COLLECT
1213.05/1216.32	c rational objective 161.54
1221.94/1225.23	c bounds 337 >= 0 @ 1207.9
1222.23/1225.59	c bounds 335 >= 0 @ 1208.26
1223.92/1227.24	c bounds 332 >= 0 @ 1209.88
1224.73/1228.01	c bounds 331 >= 0 @ 1210.63
1226.12/1229.48	c bounds 324 >= 0 @ 1212.06
1226.22/1229.50	c bounds 323 >= 0 @ 1212.08
1226.22/1229.52	c bounds 322 >= 0 @ 1212.1
1236.10/1239.47	c #Conflicts:      73000 | #Constraints:     663264
1236.10/1239.47	c bounds 321 >= 0 @ 1221.88
1236.20/1239.50	c bounds 320 >= 0 @ 1221.91
1351.90/1355.58	c #Conflicts:      74000 | #Constraints:     664281
1351.90/1355.58	c #Conflicts:      75000 | #Constraints:     665296
1351.90/1355.58	c #Conflicts:      76000 | #Constraints:     666310
1351.90/1355.58	c #Conflicts:      77000 | #Constraints:     667320
1351.90/1355.58	c #Conflicts:      78000 | #Constraints:     668331
1351.90/1355.58	c INPROCESSING
1351.90/1355.58	c GARBAGE COLLECT
1351.90/1355.58	c rational objective 161.54
1565.72/1569.91	c #Conflicts:      79000 | #Constraints:     663629
1565.72/1569.91	c #Conflicts:      80000 | #Constraints:     664635
1565.72/1569.91	c #Conflicts:      81000 | #Constraints:     665643
1565.72/1569.91	c #Conflicts:      82000 | #Constraints:     666649
1565.72/1569.91	c #Conflicts:      83000 | #Constraints:     667656
1565.72/1569.91	c #Conflicts:      84000 | #Constraints:     668661
1565.72/1569.91	c INPROCESSING
1565.72/1569.91	c GARBAGE COLLECT
1565.72/1569.91	c #Conflicts:      85000 | #Constraints:     663800
1565.72/1569.91	c #Conflicts:      86000 | #Constraints:     664806
1565.72/1569.91	c #Conflicts:      87000 | #Constraints:     665810
1565.72/1569.91	c #Conflicts:      88000 | #Constraints:     666817
1565.72/1569.91	c #Conflicts:      89000 | #Constraints:     667823
1565.72/1569.91	c #Conflicts:      90000 | #Constraints:     668828
1565.72/1569.91	c INPROCESSING
1565.72/1569.91	c GARBAGE COLLECT
1565.72/1569.91	c rational objective 161.54
1802.80/1807.65	c #Conflicts:      91000 | #Constraints:     663811
1802.80/1807.65	c #Conflicts:      92000 | #Constraints:     664964
1802.80/1807.65	c #Conflicts:      93000 | #Constraints:     666120
1802.80/1807.65	c #Conflicts:      94000 | #Constraints:     667200
1802.80/1807.65	c #Conflicts:      95000 | #Constraints:     668309
1802.80/1807.65	c #Conflicts:      96000 | #Constraints:     669387
1802.80/1807.65	c INPROCESSING
1802.80/1807.65	c GARBAGE COLLECT
1802.80/1807.65	c #Conflicts:      97000 | #Constraints:     663886
1802.80/1807.65	c bounds 319 >= 0 @ 1785.02
2019.73/2025.11	c #Conflicts:      98000 | #Constraints:     664903
2019.73/2025.11	c #Conflicts:      99000 | #Constraints:     665919
2019.73/2025.11	c #Conflicts:     100000 | #Constraints:     666933
2019.73/2025.11	c #Conflicts:     101000 | #Constraints:     667944
2019.73/2025.11	c #Conflicts:     102000 | #Constraints:     668957
2019.73/2025.11	c #Conflicts:     103000 | #Constraints:     669962
2019.73/2025.11	c INPROCESSING
2019.73/2025.11	c GARBAGE COLLECT
2019.73/2025.11	c #Conflicts:     104000 | #Constraints:     664362
2019.73/2025.11	c #Conflicts:     105000 | #Constraints:     665371
2019.73/2025.11	c #Conflicts:     106000 | #Constraints:     666376
2019.73/2025.11	c #Conflicts:     107000 | #Constraints:     667382
2019.73/2025.11	c #Conflicts:     108000 | #Constraints:     668394
2019.73/2025.11	c #Conflicts:     109000 | #Constraints:     669397
2019.73/2025.11	c #Conflicts:     110000 | #Constraints:     670404
2019.73/2025.11	c INPROCESSING
2019.73/2025.11	c GARBAGE COLLECT
2019.73/2025.11	c rational objective 161.54
2329.23/2335.47	c #Conflicts:     111000 | #Constraints:     664675
2329.23/2335.47	c #Conflicts:     112000 | #Constraints:     665800
2329.23/2335.47	c #Conflicts:     113000 | #Constraints:     666863
2329.23/2335.47	c #Conflicts:     114000 | #Constraints:     667981
2329.23/2335.47	c #Conflicts:     115000 | #Constraints:     669425
2329.23/2335.47	c #Conflicts:     116000 | #Constraints:     670675
2329.23/2335.47	c #Conflicts:     117000 | #Constraints:     671900
2329.23/2335.47	c INPROCESSING
2329.23/2335.47	c GARBAGE COLLECT
2329.23/2335.47	c #Conflicts:     118000 | #Constraints:     665656
2329.23/2335.47	c #Conflicts:     119000 | #Constraints:     666943
2329.23/2335.47	c #Conflicts:     120000 | #Constraints:     668320
2329.23/2335.47	c #Conflicts:     121000 | #Constraints:     669499
2329.23/2335.47	c #Conflicts:     122000 | #Constraints:     670675
2329.23/2335.47	c #Conflicts:     123000 | #Constraints:     671995
2329.23/2335.47	c #Conflicts:     124000 | #Constraints:     673128
2329.23/2335.47	c INPROCESSING
2329.23/2335.47	c GARBAGE COLLECT
2329.23/2335.47	c rational objective 161.54
2599.82/2606.70	c #Conflicts:     125000 | #Constraints:     665949
2599.82/2606.70	c #Conflicts:     126000 | #Constraints:     666983
2599.82/2606.70	c #Conflicts:     127000 | #Constraints:     668017
2599.82/2606.70	c #Conflicts:     128000 | #Constraints:     669196
2599.82/2606.70	c #Conflicts:     129000 | #Constraints:     670329
2599.82/2606.70	c #Conflicts:     130000 | #Constraints:     671437
2599.82/2606.70	c #Conflicts:     131000 | #Constraints:     672525
2599.82/2606.70	c INPROCESSING
2599.82/2606.70	c GARBAGE COLLECT
2599.82/2606.70	c #Conflicts:     132000 | #Constraints:     665447
2599.82/2606.70	c #Conflicts:     133000 | #Constraints:     666460
2599.82/2606.70	c #Conflicts:     134000 | #Constraints:     667470
2599.82/2606.70	c #Conflicts:     135000 | #Constraints:     668477
2599.82/2606.70	c #Conflicts:     136000 | #Constraints:     669484
2599.82/2606.70	c #Conflicts:     137000 | #Constraints:     670492
2599.82/2606.70	c #Conflicts:     138000 | #Constraints:     671494
2599.82/2606.70	c #Conflicts:     139000 | #Constraints:     672499
2599.82/2606.70	c INPROCESSING
2599.82/2606.70	c GARBAGE COLLECT
2599.82/2606.70	c rational objective 161.54
2721.81/2729.09	c #Conflicts:     140000 | #Constraints:     665622
2721.81/2729.09	c #Conflicts:     141000 | #Constraints:     666626
2721.81/2729.09	c #Conflicts:     142000 | #Constraints:     667635
2721.81/2729.09	c #Conflicts:     143000 | #Constraints:     668639
2721.81/2729.09	c #Conflicts:     144000 | #Constraints:     669643
2721.81/2729.09	c #Conflicts:     145000 | #Constraints:     670647
2721.81/2729.09	c #Conflicts:     146000 | #Constraints:     671650
2721.81/2729.09	c #Conflicts:     147000 | #Constraints:     672651
2721.81/2729.09	c INPROCESSING
2721.81/2729.09	c GARBAGE COLLECT
2721.81/2729.09	c rational objective 161.54
2744.44/2751.78	c #Conflicts:     148000 | #Constraints:     665804
2744.44/2751.78	c bounds 318 >= 0 @ 2718.85
2744.55/2751.81	c bounds 317 >= 0 @ 2718.88
2941.54/2949.30	c #Conflicts:     149000 | #Constraints:     666832
2941.54/2949.30	c #Conflicts:     150000 | #Constraints:     667838
2941.54/2949.30	c #Conflicts:     151000 | #Constraints:     668992
2941.54/2949.30	c #Conflicts:     152000 | #Constraints:     670178
2941.54/2949.30	c #Conflicts:     153000 | #Constraints:     671393
2941.54/2949.30	c #Conflicts:     154000 | #Constraints:     672503
2941.54/2949.30	c #Conflicts:     155000 | #Constraints:     673736
2941.54/2949.30	c INPROCESSING
2941.54/2949.30	c GARBAGE COLLECT
2941.54/2949.30	c rational objective 161.541
3092.95/3101.14	c #Conflicts:     156000 | #Constraints:     666337
3092.95/3101.14	c #Conflicts:     157000 | #Constraints:     667436
3092.95/3101.14	c #Conflicts:     158000 | #Constraints:     668572
3092.95/3101.14	c #Conflicts:     159000 | #Constraints:     669588
3092.95/3101.14	c #Conflicts:     160000 | #Constraints:     670774
3092.95/3101.14	c #Conflicts:     161000 | #Constraints:     671901
3092.95/3101.14	c #Conflicts:     162000 | #Constraints:     673077
3092.95/3101.14	c #Conflicts:     163000 | #Constraints:     674215
3092.95/3101.14	c INPROCESSING
3092.95/3101.14	c GARBAGE COLLECT
3092.95/3101.14	c rational objective 161.541
3368.44/3377.34	c #Conflicts:     164000 | #Constraints:     666509
3368.44/3377.34	c #Conflicts:     165000 | #Constraints:     667645
3368.44/3377.34	c #Conflicts:     166000 | #Constraints:     668840
3368.44/3377.34	c #Conflicts:     167000 | #Constraints:     669995
3368.44/3377.34	c #Conflicts:     168000 | #Constraints:     671154
3368.44/3377.34	c #Conflicts:     169000 | #Constraints:     672245
3368.44/3377.34	c #Conflicts:     170000 | #Constraints:     673695
3368.44/3377.34	c #Conflicts:     171000 | #Constraints:     675097
3368.44/3377.34	c INPROCESSING
3368.44/3377.34	c GARBAGE COLLECT
3368.44/3377.34	c rational objective 161.541
3511.57/3520.81	c #Conflicts:     172000 | #Constraints:     666799
3511.57/3520.81	c #Conflicts:     173000 | #Constraints:     667821
3511.57/3520.81	c #Conflicts:     174000 | #Constraints:     668829
3511.57/3520.81	c #Conflicts:     175000 | #Constraints:     669835
3511.57/3520.81	c #Conflicts:     176000 | #Constraints:     670840
3511.57/3520.81	c #Conflicts:     177000 | #Constraints:     671847
3511.57/3520.81	c #Conflicts:     178000 | #Constraints:     672854
3511.57/3520.81	c #Conflicts:     179000 | #Constraints:     673865
3511.57/3520.81	c #Conflicts:     180000 | #Constraints:     674875
3511.57/3520.81	c INPROCESSING
3511.57/3520.81	c GARBAGE COLLECT
3511.57/3520.81	c rational objective 161.541
3600.03/3609.50	c #Conflicts:     181000 | #Constraints:     666804
3600.03/3609.50	c #Conflicts:     182000 | #Constraints:     667812
3600.03/3609.50	c #Conflicts:     183000 | #Constraints:     668820
3600.03/3609.50	c #Conflicts:     184000 | #Constraints:     669826
3600.03/3609.50	c #Conflicts:     185000 | #Constraints:     670830
3600.03/3609.50	c cpu time 3567.32 s
3600.03/3609.50	c deterministic time 439010394292 4.39e+11
3600.03/3609.50	c optimization time 78.7197 s
3600.03/3609.50	c total solve time 3485.65 s
3600.03/3609.50	c core-guided solve time 2379.06 s
3600.03/3609.50	c propagation time 1708.55 s
3600.03/3609.50	c conflict analysis time 841.605 s
3600.03/3609.50	c propagations 54093311
3600.03/3609.50	c resolve steps 1715259
3600.03/3609.50	c decisions 6708171
3600.03/3609.50	c conflicts 185745
3600.03/3609.50	c restarts 507
3600.03/3609.50	c inprocessing phases 34
3600.03/3609.50	c garbage collections 34 ,( 100.00 )
3600.03/3609.50	c input clauses 656900 ,( 99.94 )
3600.03/3609.50	c input cardinalities 0 ,( 0.00 )
3600.03/3609.50	c input general constraints 375 ,( 0.06 )
3600.03/3609.50	c input average constraint length 7.73
3600.03/3609.50	c input average constraint degree 283.80
3600.03/3609.50	c learned clauses 20699 ,( 10.54 )
3600.03/3609.50	c learned cardinalities 3 ,( 0.00 )
3600.03/3609.50	c learned general constraints 175639 ,( 89.46 )
3600.03/3609.50	c learned average constraint length 7088.75
3600.03/3609.50	c learned average constraint degree 471886170073.19
3600.03/3609.50	c watched  CF 32, 64, 128, Arb: 5516 , 0 , 0 , 0
3600.03/3609.50	c counting CF 32, 64, 128, Arb: 170499 , 0 , 0 , 0
3600.03/3609.50	c watched   constraints 5516 ,( 3.13 ) 
3600.03/3609.50	c counting  constraints 170498 ,( 96.87 ) 
3600.03/3609.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 18145213 , 12950 , 374945503 ,( 340881 , 374604622 )
3600.03/3609.50	c gcd simplifications 1762
3600.03/3609.50	c detected cardinalities 0
3600.03/3609.50	c weakened non-implied lits 346149432
3600.03/3609.50	c weakened non-implying lits 107446
3600.03/3609.50	c original variables 10000
3600.03/3609.50	c clausal propagations 13167503
3600.03/3609.50	c cardinality propagations 0
3600.03/3609.50	c watched propagations 107
3600.03/3609.50	c counting propagations 38138688
3600.03/3609.50	c watch lookups 9885611159
3600.03/3609.50	c watch backjump lookups 0
3600.03/3609.50	c watch checks 575307583
3600.03/3609.50	c propagation checks 425045513558
3600.03/3609.50	c constraint additions 3381828086
3600.03/3609.50	c trail pops 60976017
3600.03/3609.50	c formula constraints 656900
3600.03/3609.50	c learned constraints 184296
3600.03/3609.50	c bound constraints 375
3600.03/3609.50	c core-guided constraints 0
3600.03/3609.50	c encountered formula constraints 1424499
3600.03/3609.50	c encountered learned constraints 300659
3600.03/3609.50	c encountered bound constraints 10169
3600.03/3609.50	c encountered core-guided constraints 0
3600.03/3609.50	c LP total time 1601.62 s
3600.03/3609.50	c LP solve time 1261.71 s
3600.03/3609.50	c LP constraints added 656906
3600.03/3609.50	c LP constraints removed 0
3600.03/3609.50	c LP pivots internal 185830
3600.03/3609.50	c LP pivots root 170576
3600.03/3609.50	c LP calls 10733
3600.03/3609.50	c LP optimalities 127
3600.03/3609.50	c LP no pivot count 0
3600.03/3609.50	c LP infeasibilities 10597
3600.03/3609.50	c LP valid Farkas constraints 10592
3600.03/3609.50	c LP learned Farkas constraints 1448
3600.03/3609.50	c LP basis resets 10
3600.03/3609.50	c LP cycling count 3
3600.03/3609.50	c LP singular count 1
3600.03/3609.50	c LP no primal count 0
3600.03/3609.50	c LP no farkas count 5
3600.03/3609.50	c LP other issue count 1
3600.03/3609.50	c LP Gomory cuts 5
3600.03/3609.50	c LP learned cuts 1
3600.03/3609.50	c LP deleted cuts 0
3600.03/3609.50	c LP encountered Gomory constraints 0
3600.03/3609.50	c LP encountered Farkas constraints 162097
3600.03/3609.50	c LP encountered learned Farkas constraints 2132
3600.03/3609.50	c CG auxiliary variables introduced 0
3600.03/3609.50	c CG solutions found 374
3600.03/3609.50	c CG cores constructed 0
3600.03/3609.50	c CG core cardinality constraints returned 0
3600.03/3609.50	c CG unit cores 0
3600.03/3609.50	c CG single cores 0
3600.03/3609.50	c CG blocks removed during cardinality reduction 0
3600.03/3609.50	c CG first core best 0
3600.03/3609.50	c CG decision core best 0
3600.03/3609.50	c CG core reduction tie 0
3600.03/3609.50	c CG core degree average 0.00
3600.03/3609.50	c CG core slack average 0.00
3600.03/3609.50	c CG core upper bound improvements 0
3600.03/3609.50	c STR number of successful calls 0
3600.03/3609.50	c STR number of unsuccessful calls 0
3600.03/3609.50	c STR number of inconclusive calls 0
3600.03/3609.50	c STR number of successful attempts 0
3600.03/3609.50	c STR number of unsuccessful attempts 0
3600.03/3609.50	c STR number of inconclusive attempts 0
3600.03/3609.50	c STR average degree increase per successful call inf
3600.03/3609.50	c STR average degree increase per successful attempt inf
3600.03/3609.50	c STR total number of conflicts for successful attempts 0
3600.03/3609.50	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.50	c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.50	c STR average number of conflicts per successful attempt inf
3600.03/3609.50	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.50	c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.50	c AVG.sumWPerc 96.28 
3600.03/3609.50	c bigint constraints 0 
3600.03/3609.50	o 317
3600.03/3609.50	s SATISFIABLE
3600.03/3609.50	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.03/3609.50	c Program interrupted by user.

Verifier Data 

OK	317

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (48689 MiB free)
  memory of node 1: 64507 MiB (50570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531822-1752683038/watcher-4531822-1752683038 -o /tmp/evaluation-result-4531822-1752683038/solver-4531822-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752683038-147252 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531822-1752683038.opb /tmp/proof-4531822-1752683038 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=147311, runsolver pid=147298

[startup+0.100043 s]*
/proc/loadavg: 0.14 0.10 0.09 5/268 147313
/proc/meminfo: memFree=101194128/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147313] ppid=147311 vsize=166144 memory=151108 CPUtime=0.08 cores=5,7
/proc/147313/stat : 147313 (pbsuma) R 147311 147311 147232 0 -1 4194304 4815 0 0 0 5 3 0 0 20 0 1 0 183982715 170131456 37777 18446744073709551615 4210688 4653049 140730266414624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 10371072 140730266417415 140730266417712 140730266417712 140730266423279 0
/proc/147313/statm: 41536 37777 960 108 0 38944 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 170336 KiB
Current children cumulated memory: 154052 KiB

[startup+0.205043 s]*
/proc/loadavg: 0.14 0.10 0.09 5/268 147313
/proc/meminfo: memFree=101143412/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147313] ppid=147311 vsize=182372 memory=170516 CPUtime=0.19 cores=5,7
/proc/147313/stat : 147313 (pbsuma) R 147311 147311 147232 0 -1 4194304 9075 0 0 0 15 4 0 0 20 0 1 0 183982715 186748928 42629 18446744073709551615 4210688 4653049 140730266414624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 10371072 140730266417415 140730266417712 140730266417712 140730266423279 0
/proc/147313/statm: 45593 42629 960 108 0 43001 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 186564 KiB
Current children cumulated memory: 173460 KiB

[startup+0.305105 s]*
/proc/loadavg: 0.14 0.10 0.09 5/268 147313
/proc/meminfo: memFree=101085888/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147313] ppid=147311 vsize=196632 memory=185440 CPUtime=0.29 cores=5,7
/proc/147313/stat : 147313 (pbsuma) R 147311 147311 147232 0 -1 4194304 12304 0 0 0 25 4 0 0 20 0 1 0 183982715 201351168 46360 18446744073709551615 4210688 4653049 140730266414624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 10371072 140730266417415 140730266417712 140730266417712 140730266423279 0
/proc/147313/statm: 49158 46360 960 108 0 46566 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 200824 KiB
Current children cumulated memory: 188384 KiB

[startup+0.700209 s]
/proc/loadavg: 0.14 0.10 0.09 5/268 147314
/proc/meminfo: memFree=100849568/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147313] ppid=147311 vsize=349112 memory=289408 CPUtime=0.68 cores=5,7
/proc/147313/stat : 147313 (pbsuma) R 147311 147311 147232 0 -1 4194304 27076 0 0 0 59 9 0 0 20 0 1 0 183982715 357490688 72352 18446744073709551615 4210688 4653049 140730266414624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 10371072 140730266417415 140730266417712 140730266417712 140730266423279 0
/proc/147313/statm: 87278 72352 1024 108 0 84686 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 353304 KiB
Current children cumulated memory: 292352 KiB

[startup+1.50016 s]
/proc/loadavg: 0.44 0.16 0.11 5/268 147317
/proc/meminfo: memFree=101216060/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=111424 memory=66428 CPUtime=0.6 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 13630 0 0 0 49 11 0 0 20 0 1 0 183982802 114098176 16607 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 27856 16607 2080 1147 0 15282 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 115616 KiB
Current children cumulated memory: 69372 KiB

[startup+3.10545 s]
/proc/loadavg: 0.44 0.16 0.11 5/268 147317
/proc/meminfo: memFree=100796856/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=268600 memory=211288 CPUtime=2.2 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 45714 0 0 0 175 45 0 0 20 0 1 0 183982802 275046400 52822 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 67150 52822 2080 1147 0 54576 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 272792 KiB
Current children cumulated memory: 214232 KiB

[startup+6.30021 s]
/proc/loadavg: 0.73 0.22 0.13 5/269 147318
/proc/meminfo: memFree=98734072/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=1067540 memory=806124 CPUtime=5.39 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 89390 0 0 0 461 78 0 0 20 0 1 0 183982802 1093160960 201531 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 266885 201531 2368 1147 0 254311 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1071732 KiB
Current children cumulated memory: 809068 KiB

[startup+12.7002 s]
/proc/loadavg: 1.07 0.30 0.16 5/269 147318
/proc/meminfo: memFree=98558488/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=1218748 memory=898108 CPUtime=11.78 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 98506 0 0 0 1087 91 0 0 20 0 1 0 183982802 1247997952 224527 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 304687 224527 2464 1147 0 292113 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1222940 KiB
Current children cumulated memory: 901052 KiB

[startup+25.5002 s]
/proc/loadavg: 1.52 0.43 0.20 5/269 147319
/proc/meminfo: memFree=97774892/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=1414068 memory=1095716 CPUtime=24.54 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 117115 0 0 0 2329 125 0 0 20 0 1 0 183982802 1448005632 273929 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 353517 273929 2464 1147 0 340943 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1418260 KiB
Current children cumulated memory: 1098660 KiB

[startup+51.1056 s]
/proc/loadavg: 2.71 0.82 0.34 5/269 147319
/proc/meminfo: memFree=96182328/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=1645092 memory=1310544 CPUtime=50.08 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 146871 0 0 0 4840 168 0 0 20 0 1 0 183982802 1684574208 327636 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 411273 327636 2464 1147 0 398699 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1649284 KiB
Current children cumulated memory: 1313488 KiB

[startup+102.3 s]
/proc/loadavg: 3.79 1.42 0.57 5/271 147323
/proc/meminfo: memFree=94325560/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=1906104 memory=1580424 CPUtime=101.14 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 180216 0 0 0 9878 236 0 0 20 0 1 0 183982802 1951850496 395106 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 476526 395106 2464 1147 0 463952 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1910296 KiB
Current children cumulated memory: 1583368 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 1.95 0.81 5/272 147326
/proc/meminfo: memFree=92498188/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=2289012 memory=1805556 CPUtime=160.98 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 220228 0 0 0 15813 285 0 0 20 0 1 0 183982802 2343948288 451389 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 572253 451389 2464 1147 0 559679 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2293204 KiB
Current children cumulated memory: 1808500 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 2.40 1.04 5/272 147328
/proc/meminfo: memFree=89410192/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=2443688 memory=1940612 CPUtime=220.83 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 245610 0 0 0 21729 354 0 0 20 0 1 0 183982802 2502336512 485153 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 610922 485153 2464 1147 0 598348 0
Current children cumulated CPU time: 221.68 s

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

[pid=147315] ppid=147311 vsize=5742548 memory=4905640 CPUtime=3093.3 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 984784 0 0 0 306575 2755 0 0 20 0 1 0 183982802 5880369152 1226410 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1435637 1226410 2560 1147 0 1423063 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 5746740 KiB
Current children cumulated memory: 4908584 KiB

[startup+3162.3 s]
/proc/loadavg: 4.47 4.39 4.29 5/272 147501
/proc/meminfo: memFree=1327616/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=5742548 memory=4905640 CPUtime=3153.14 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 985577 0 0 0 312520 2794 0 0 20 0 1 0 183982802 5880369152 1226410 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1435637 1226410 2560 1147 0 1423063 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 5746740 KiB
Current children cumulated memory: 4908584 KiB

[startup+3222.3 s]
/proc/loadavg: 4.44 4.40 4.29 5/272 147503
/proc/meminfo: memFree=1281124/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=5742548 memory=4940584 CPUtime=3212.98 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1011254 0 0 0 318451 2847 0 0 20 0 1 0 183982802 5880369152 1235146 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1435637 1235146 2560 1147 0 1423063 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 5746740 KiB
Current children cumulated memory: 4943528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.35 4.28 5/272 147505
/proc/meminfo: memFree=1415644/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=5743548 memory=4988200 CPUtime=3272.83 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1076764 0 0 0 324397 2886 0 0 20 0 1 0 183982802 5881393152 1247050 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1435887 1247050 2560 1147 0 1423313 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 5747740 KiB
Current children cumulated memory: 4991144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.38 4.29 5/270 147507
/proc/meminfo: memFree=1412052/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=5743548 memory=5029032 CPUtime=3332.67 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1078025 0 0 0 330377 2890 0 0 20 0 1 0 183982802 5881393152 1257258 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1435887 1257258 2560 1147 0 1423313 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 5747740 KiB
Current children cumulated memory: 5031976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.34 4.28 5/271 147510
/proc/meminfo: memFree=1211972/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=5869004 memory=5202880 CPUtime=3392.53 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1119085 0 0 0 336331 2922 0 0 20 0 1 0 183982802 6009860096 1300720 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1467251 1300720 2560 1147 0 1454677 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 5873196 KiB
Current children cumulated memory: 5205824 KiB

[startup+3462.3 s]
/proc/loadavg: 4.50 4.39 4.30 5/271 147512
/proc/meminfo: memFree=1239808/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=5869004 memory=5211840 CPUtime=3452.37 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1164650 0 0 0 342246 2991 0 0 20 0 1 0 183982802 6009860096 1302960 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1467251 1302960 2560 1147 0 1454677 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 5873196 KiB
Current children cumulated memory: 5214784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.53 4.42 4.32 5/270 147514
/proc/meminfo: memFree=1343856/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=7667764 memory=6330476 CPUtime=3512.22 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1503708 0 0 0 348135 3087 0 0 20 0 1 0 183982802 7851790336 1582619 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1916941 1582619 2560 1147 0 1904367 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 7671956 KiB
Current children cumulated memory: 6333420 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.42 4.32 5/270 147516
/proc/meminfo: memFree=1372824/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=7667764 memory=6374508 CPUtime=3572.05 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1506470 0 0 0 354048 3157 0 0 20 0 1 0 183982802 7851790336 1593627 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1916941 1593627 2560 1147 0 1904367 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 7671956 KiB
Current children cumulated memory: 6377452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.41 4.40 4.32 5/271 147524
/proc/meminfo: memFree=1216652/131249988 swapFree=33010160/33010684
[pid=147311] ppid=147298 vsize=4192 memory=2944 CPUtime=0.85 cores=5,7
/proc/147311/stat : 147311 (run-opt-ls-log.) S 147298 147311 147232 0 -1 4194304 238 29775 0 0 0 0 75 10 20 0 1 0 183982715 4292608 736 18446744073709551615 94751659683840 94751660578373 140736716644272 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94751660817424 94751660865168 94751685472256 140736716650815 140736716650975 140736716650975 140736716656579 0
/proc/147311/statm: 1048 736 672 219 0 110 0
[pid=147315] ppid=147311 vsize=7667764 memory=6389100 CPUtime=3599.18 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147311 147311 147232 0 -1 4194304 1548175 0 0 0 356731 3187 0 0 20 0 1 0 183982802 7851790336 1597275 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1916941 1597275 2560 1147 0 1904367 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7671956 KiB
Current children cumulated memory: 6392044 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3568.15 s, system=32.0681 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+3609.6 s]*
/proc/loadavg: 4.41 4.40 4.32 4/265 147532
/proc/meminfo: memFree=5568328/131249988 swapFree=33010160/33010684
[pid=147315] ppid=147298 vsize=4439192 memory=3098584 CPUtime=3599.3 cores=5,7
/proc/147315/stat : 147315 (roundingsat) R 147298 147311 147232 0 -1 4194304 1550686 0 0 0 356736 3194 0 0 20 0 1 0 183982802 4545732608 774646 18446744073709551615 4227072 8923577 140726363700816 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 25563136 140726363707674 140726363707942 140726363707942 140726363713514 0
/proc/147315/statm: 1109798 774646 2624 1147 0 1097224 0
Current cumulated CPU time of completed processes: 0.868112 s
Current children cumulated CPU time: 3599.3 s
Current children cumulated vsize: 4439192 KiB
Current children cumulated memory: 3098584 KiB

Child status: 2

Real time (s): 3609.65
CPU time (s): 3600.22
CPU user time (s): 3568.15
CPU system time (s): 32.0681
CPU usage (%): 99.7386
Max. virtual memory (cumulated for all children) (KiB): 7671956
Max. memory (cumulated for all children) (KiB): 6392044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.15
system time used= 32.0681
maximum resident set size= 6389356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1580714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 73504688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 4868


# summary of solver processes directly reported to runsolver:
#   pid: 147311,147315
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3568.15
#   total CPU system time (s): 32.0681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5978 second user time and 17.3331 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-16 18:23:59
IDJOB=4531822
IDBENCH=147565
IDSOLVER=3392
FILE ID=nodeC034/4531822-1752683038
RUNJOBID= nodeC034-1752683038-147252
SLURM_JOB_ID= 9686929
Free space on /tmp= 431804 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531822-1752683038/watcher-4531822-1752683038 -o /tmp/evaluation-result-4531822-1752683038/solver-4531822-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752683038-147252 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531822-1752683038.opb /tmp/proof-4531822-1752683038

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=210464024

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        101638352 kB
MemAvailable:   129614472 kB
Buffers:            2128 kB
Cached:         28716224 kB
SwapCached:           36 kB
Active:          1000488 kB
Inactive:       27855416 kB
Active(anon):     161656 kB
Inactive(anon):     2156 kB
Active(file):     838832 kB
Inactive(file): 27853260 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81400 kB
Writeback:             0 kB
AnonPages:        140728 kB
Mapped:           108860 kB
Shmem:             26260 kB
KReclaimable:     246132 kB
Slab:             344384 kB
SReclaimable:     246132 kB
SUnreclaim:        98252 kB
KernelStack:        4128 kB
PageTables:         3068 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     445504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 302544 MiB
End job on nodeC034 at 2025-07-16 19:24:08