Trace number 4489511

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+pbsuma-opt-log 63f22adSAT (TO)261 3600.19 3615.64

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
MD5SUM50cf9112b5ea763531dadde21846562c
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 benchmark211
Best CPU time to get the best result obtained on this benchmark3586.65
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 495981
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 495981
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.05	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.05	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.05	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.05	c │      (c) 2025 Markus Anders                                    │
0.00/0.05	c └────────────────────────────────────────────────────────────────┘
0.00/0.05	c parse 'HOME/instance-4489511-1751357799.opb'
0.22/0.41	c 	read 17.23MB  (353.99ms)
0.22/0.41	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.32/0.42	c output proof to 'PROOFDIR/proof-4489511-1751357799'
0.32/0.42	c 
0.32/0.42	c make graph and approximate orbits
0.70/0.80	c	 [group: #orbits ~= 0] (386.66ms)
0.70/0.80	c 
0.70/0.80	c detect special group actions
0.70/0.80	c 	probe for Johnson action (limit=64)
0.70/0.81	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.70/0.82	c 	probe for row symmetry (limit=64, splits=16.78M)
0.70/0.82	c 	 (18.89ms)
0.70/0.82	c 
0.70/0.82	c detect symmetries on remainder
0.70/0.83	c 	[graph: #vertices 706674 #edges 2766346]
0.70/0.83	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.70/0.88	c 	 [group: #symmetries 1.00*10^0 #generators 0] (51.98ms)
0.70/0.88	c 
0.70/0.88	c finalize break order and special generators
0.70/0.88	c 
0.70/0.88	c generation finished
0.70/0.88	c 	[sbp: #constraints 0 #add_vars 0]
0.70/0.88	c 
0.70/0.88	c write result to 'HOME/instance-4489511-1751357799.opb.pre'
0.80/0.91	c 	wrote 17.23MB (35.73ms)
0.80/0.91	c ------------------------------------------------------------------
0.80/0.91	c                 386.66ms 44.83% approx_orbits
0.80/0.91	c                 353.98ms 41.05% parse
0.80/0.91	c                  51.98ms  6.03% detect_generic
0.80/0.91	c                  35.73ms  4.14% output
0.80/0.91	c                  18.89ms  2.19% detect_special
0.80/0.91	c                  14.79ms  1.72% other
0.80/0.91	c                   0.39ms  0.04% finalize_order
0.80/0.91	c         ───────────────────────────────────────────────
0.80/0.91	c                 862.42ms   100% total
0.80/0.91	c ------------------------------------------------------------------
0.90/1.08	c RoundingSat 2
0.90/1.08	c branch pb25
0.90/1.08	c commit 63f22ad
4.43/4.68	c #variables 10000 #constraints 656900
4.43/4.68	c objective is ce32 
4.43/4.68	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.43/4.68	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.43/4.68	c bounds - >= 0 @ 2.85949
6.23/6.48	c rational objective 154.151
11.11/11.35	c bounds 6811 >= 0 @ 9.37597
11.11/11.36	c bounds 6729 >= 0 @ 9.38104
11.11/11.37	c bounds 6710 >= 0 @ 9.38643
11.11/11.37	c bounds 6654 >= 0 @ 9.39369
11.11/11.38	c bounds 6617 >= 0 @ 9.39922
11.11/11.39	c bounds 6573 >= 0 @ 9.40542
11.21/11.40	c bounds 6237 >= 0 @ 9.41044
11.21/11.41	c bounds 6185 >= 0 @ 9.41701
11.21/11.42	c bounds 6144 >= 0 @ 9.42811
11.21/11.43	c bounds 6066 >= 0 @ 9.43458
11.21/11.44	c bounds 6045 >= 0 @ 9.44281
11.21/11.45	c bounds 5986 >= 0 @ 9.44804
11.21/11.46	c bounds 5902 >= 0 @ 9.45389
11.21/11.47	c bounds 5719 >= 0 @ 9.46132
11.21/11.48	c bounds 5454 >= 0 @ 9.46695
11.31/11.50	c bounds 5422 >= 0 @ 9.48746
11.31/11.51	c bounds 5389 >= 0 @ 9.49732
11.31/11.52	c bounds 5307 >= 0 @ 9.50254
11.31/11.53	c bounds 5238 >= 0 @ 9.508
11.31/11.54	c bounds 5211 >= 0 @ 9.5136
11.31/11.55	c bounds 5194 >= 0 @ 9.52078
11.31/11.56	c bounds 5187 >= 0 @ 9.52656
11.31/11.56	c bounds 4856 >= 0 @ 9.53246
11.31/11.57	c bounds 4764 >= 0 @ 9.53926
11.31/11.58	c bounds 4714 >= 0 @ 9.54681
11.31/11.59	c bounds 4429 >= 0 @ 9.55331
11.41/11.60	c bounds 4289 >= 0 @ 9.56096
11.41/11.61	c bounds 4230 >= 0 @ 9.56774
11.41/11.62	c bounds 4122 >= 0 @ 9.57337
11.41/11.63	c bounds 4016 >= 0 @ 9.57821
11.41/11.64	c bounds 3888 >= 0 @ 9.58441
11.41/11.66	c bounds 3881 >= 0 @ 9.59375
11.41/11.67	c bounds 3874 >= 0 @ 9.60288
11.41/11.68	c bounds 3813 >= 0 @ 9.60702
11.41/11.69	c bounds 3645 >= 0 @ 9.61163
12.71/12.91	c bounds 3631 >= 0 @ 10.7918
12.81/13.10	c bounds 3611 >= 0 @ 10.982
13.10/13.37	c bounds 3558 >= 0 @ 11.2476
13.40/13.67	c bounds 3531 >= 0 @ 11.546
13.60/13.83	c bounds 3530 >= 0 @ 11.7028
13.70/13.94	c bounds 3520 >= 0 @ 11.8106
13.90/14.11	c bounds 3515 >= 0 @ 11.9661
13.90/14.12	c bounds 3503 >= 0 @ 11.9731
13.90/14.16	c bounds 3478 >= 0 @ 12.0141
14.01/14.27	c bounds 3457 >= 0 @ 12.1263
14.01/14.28	c bounds 3411 >= 0 @ 12.1344
14.50/14.78	c bounds 3385 >= 0 @ 12.6241
14.50/14.79	c bounds 3338 >= 0 @ 12.6313
14.70/14.90	c bounds 3327 >= 0 @ 12.7371
14.70/14.92	c bounds 3154 >= 0 @ 12.7451
14.70/14.93	c bounds 3055 >= 0 @ 12.754
14.70/14.94	c bounds 2905 >= 0 @ 12.7631
14.70/14.96	c bounds 2849 >= 0 @ 12.7732
14.81/15.06	c bounds 2818 >= 0 @ 12.8664
14.90/15.16	c bounds 2813 >= 0 @ 12.9631
14.90/15.18	c bounds 2809 >= 0 @ 12.9796
14.90/15.19	c bounds 2756 >= 0 @ 12.9881
15.00/15.27	c bounds 2755 >= 0 @ 13.0627
15.80/16.01	c #Conflicts:       1000 | #Constraints:     657976
15.80/16.01	c bounds 2751 >= 0 @ 13.8014
15.80/16.02	c bounds 2749 >= 0 @ 13.8076
15.80/16.04	c bounds 2737 >= 0 @ 13.8168
15.80/16.06	c bounds 2734 >= 0 @ 13.8355
18.59/18.80	c bounds 2728 >= 0 @ 16.5025
18.59/18.82	c bounds 2720 >= 0 @ 16.5233
18.59/18.85	c bounds 2700 >= 0 @ 16.5461
18.59/18.88	c bounds 2699 >= 0 @ 16.5687
18.59/18.89	c bounds 2693 >= 0 @ 16.5767
18.69/18.91	c bounds 2677 >= 0 @ 16.6004
18.69/19.00	c bounds 2647 >= 0 @ 16.688
18.79/19.01	c bounds 2642 >= 0 @ 16.6996
18.79/19.02	c bounds 2630 >= 0 @ 16.7066
18.79/19.04	c bounds 2622 >= 0 @ 16.7201
18.79/19.05	c bounds 2600 >= 0 @ 16.7326
18.79/19.08	c bounds 2587 >= 0 @ 16.7645
18.89/19.14	c bounds 2546 >= 0 @ 16.8189
18.89/19.15	c bounds 2541 >= 0 @ 16.8286
18.89/19.17	c bounds 2512 >= 0 @ 16.8439
18.89/19.18	c bounds 2511 >= 0 @ 16.8603
18.99/19.21	c bounds 2510 >= 0 @ 16.8841
18.99/19.23	c bounds 2509 >= 0 @ 16.9056
19.19/19.44	c bounds 2488 >= 0 @ 17.1076
19.19/19.47	c bounds 2485 >= 0 @ 17.1321
19.29/19.51	c bounds 2478 >= 0 @ 17.1792
19.29/19.54	c bounds 2446 >= 0 @ 17.1986
19.29/19.55	c bounds 2419 >= 0 @ 17.2084
19.38/19.62	c bounds 2416 >= 0 @ 17.281
19.38/19.64	c bounds 2412 >= 0 @ 17.2969
19.38/19.66	c bounds 2392 >= 0 @ 17.3177
19.38/19.67	c bounds 2378 >= 0 @ 17.3304
19.38/19.69	c bounds 2362 >= 0 @ 17.3434
19.48/19.72	c bounds 2343 >= 0 @ 17.372
19.48/19.74	c bounds 2322 >= 0 @ 17.3909
19.48/19.76	c bounds 2300 >= 0 @ 17.4057
19.48/19.78	c bounds 2296 >= 0 @ 17.4231
19.58/19.80	c bounds 2282 >= 0 @ 17.4398
19.58/19.81	c bounds 2278 >= 0 @ 17.4532
19.58/19.85	c bounds 2244 >= 0 @ 17.493
19.58/19.87	c bounds 2221 >= 0 @ 17.5084
19.58/19.88	c bounds 2206 >= 0 @ 17.516
19.98/20.23	c bounds 2179 >= 0 @ 17.8561
19.98/20.28	c bounds 2161 >= 0 @ 17.9065
20.09/20.30	c bounds 2144 >= 0 @ 17.924
20.09/20.32	c bounds 2113 >= 0 @ 17.9434
20.09/20.33	c bounds 2104 >= 0 @ 17.952
20.18/20.43	c bounds 2090 >= 0 @ 18.0439
20.18/20.45	c bounds 2054 >= 0 @ 18.0637
20.18/20.47	c bounds 2030 >= 0 @ 18.0828
20.18/20.49	c bounds 1996 >= 0 @ 18.1044
20.28/20.52	c bounds 1947 >= 0 @ 18.1307
20.28/20.53	c bounds 1930 >= 0 @ 18.1434
20.28/20.55	c bounds 1920 >= 0 @ 18.159
20.28/20.56	c bounds 1915 >= 0 @ 18.1692
20.28/20.59	c bounds 1877 >= 0 @ 18.1981
20.39/20.61	c bounds 1858 >= 0 @ 18.2144
20.48/20.74	c bounds 1855 >= 0 @ 18.338
20.48/20.76	c bounds 1816 >= 0 @ 18.3537
20.58/20.80	c bounds 1782 >= 0 @ 18.3923
20.58/20.82	c bounds 1745 >= 0 @ 18.4126
20.58/20.83	c bounds 1732 >= 0 @ 18.4193
20.58/20.85	c bounds 1729 >= 0 @ 18.4411
20.58/20.86	c bounds 1728 >= 0 @ 18.4467
20.68/20.93	c bounds 1699 >= 0 @ 18.5206
23.38/23.64	c #Conflicts:       2000 | #Constraints:     659040
23.38/23.64	c INPROCESSING
23.38/23.64	c GARBAGE COLLECT
23.38/23.64	c bounds 1693 >= 0 @ 21.1812
23.47/23.78	c bounds 1692 >= 0 @ 21.3184
23.58/23.88	c bounds 1686 >= 0 @ 21.4108
23.58/23.89	c bounds 1655 >= 0 @ 21.4197
23.67/23.90	c bounds 1620 >= 0 @ 21.427
23.67/23.99	c bounds 1582 >= 0 @ 21.5127
23.78/24.00	c bounds 1577 >= 0 @ 21.5217
23.78/24.01	c bounds 1565 >= 0 @ 21.5339
23.78/24.05	c bounds 1558 >= 0 @ 21.5623
23.78/24.06	c bounds 1548 >= 0 @ 21.5773
23.78/24.07	c bounds 1541 >= 0 @ 21.5839
23.78/24.10	c bounds 1530 >= 0 @ 21.6041
24.57/24.80	c bounds 1514 >= 0 @ 22.2996
25.06/25.39	c bounds 1512 >= 0 @ 22.8704
25.17/25.40	c bounds 1510 >= 0 @ 22.8791
25.66/25.94	c bounds 1508 >= 0 @ 23.4131
25.66/25.96	c bounds 1474 >= 0 @ 23.4226
25.97/26.27	c bounds 1464 >= 0 @ 23.7226
25.97/26.28	c bounds 1425 >= 0 @ 23.7318
25.97/26.29	c bounds 1399 >= 0 @ 23.7386
26.07/26.31	c bounds 1394 >= 0 @ 23.7483
26.27/26.54	c bounds 1389 >= 0 @ 23.9658
26.46/26.70	c bounds 1388 >= 0 @ 24.1173
26.77/27.09	c bounds 1386 >= 0 @ 24.4947
26.96/27.21	c bounds 1375 >= 0 @ 24.6113
26.96/27.24	c bounds 1364 >= 0 @ 24.633
27.07/27.34	c bounds 1361 >= 0 @ 24.7279
29.76/30.06	c bounds 1360 >= 0 @ 27.3775
29.76/30.07	c bounds 1359 >= 0 @ 27.3865
29.95/30.22	c bounds 1358 >= 0 @ 27.535
29.95/30.23	c bounds 1351 >= 0 @ 27.5463
29.95/30.26	c bounds 1350 >= 0 @ 27.5666
30.45/30.73	c bounds 1340 >= 0 @ 28.0274
31.05/31.38	c #Conflicts:       3000 | #Constraints:     658972
31.05/31.38	c bounds 1339 >= 0 @ 28.6669
32.45/32.77	c bounds 1334 >= 0 @ 30.0106
32.75/33.01	c bounds 1321 >= 0 @ 30.2395
36.64/36.91	c bounds 1319 >= 0 @ 34.0362
36.64/36.93	c bounds 1318 >= 0 @ 34.0482
36.93/37.22	c bounds 1315 >= 0 @ 34.3347
36.93/37.24	c bounds 1312 >= 0 @ 34.35
37.03/37.37	c bounds 1304 >= 0 @ 34.4728
37.14/37.42	c bounds 1297 >= 0 @ 34.5257
37.23/37.53	c bounds 1285 >= 0 @ 34.6341
37.73/38.05	c bounds 1284 >= 0 @ 35.1398
37.83/38.11	c bounds 1265 >= 0 @ 35.1921
38.13/38.43	c bounds 1257 >= 0 @ 35.5086
38.92/39.27	c bounds 1241 >= 0 @ 36.3211
39.32/39.68	c bounds 1219 >= 0 @ 36.7171
39.42/39.70	c bounds 1183 >= 0 @ 36.7293
39.42/39.72	c bounds 1136 >= 0 @ 36.741
39.42/39.73	c bounds 1099 >= 0 @ 36.7535
72.51/72.96	c #Conflicts:       4000 | #Constraints:     660025
72.51/72.96	c INPROCESSING
72.51/72.96	c GARBAGE COLLECT
72.51/72.96	c bounds 1091 >= 0 @ 69.7667
72.62/73.01	c bounds 1085 >= 0 @ 69.8201
72.72/73.10	c bounds 1077 >= 0 @ 69.9097
72.91/73.30	c bounds 1074 >= 0 @ 70.0976
72.91/73.32	c bounds 1071 >= 0 @ 70.1189
73.41/73.89	c bounds 1069 >= 0 @ 70.678
73.52/73.91	c bounds 1066 >= 0 @ 70.6893
73.62/74.01	c bounds 1059 >= 0 @ 70.792
73.62/74.04	c bounds 1058 >= 0 @ 70.8116
73.91/74.30	c bounds 1047 >= 0 @ 71.065
73.91/74.31	c bounds 995 >= 0 @ 71.076
73.91/74.33	c bounds 994 >= 0 @ 71.0898
73.91/74.35	c bounds 975 >= 0 @ 71.1037
73.91/74.36	c bounds 973 >= 0 @ 71.1139
73.91/74.38	c bounds 853 >= 0 @ 71.1248
74.01/74.49	c bounds 847 >= 0 @ 71.2347
74.11/74.55	c bounds 844 >= 0 @ 71.2774
74.81/75.25	c bounds 842 >= 0 @ 71.9683
94.06/94.53	c #Conflicts:       5000 | #Constraints:     659378
94.06/94.53	c #Conflicts:       6000 | #Constraints:     660391
94.06/94.53	c INPROCESSING
94.06/94.53	c GARBAGE COLLECT
94.06/94.53	c bounds 841 >= 0 @ 90.783
94.06/94.55	c bounds 840 >= 0 @ 90.7922
94.06/94.56	c bounds 829 >= 0 @ 90.8017
94.06/94.59	c bounds 827 >= 0 @ 90.8297
94.16/94.61	c bounds 826 >= 0 @ 90.8438
94.25/94.71	c bounds 825 >= 0 @ 90.9357
94.25/94.74	c bounds 821 >= 0 @ 90.9538
94.35/94.86	c bounds 819 >= 0 @ 91.0697
94.35/94.87	c bounds 818 >= 0 @ 91.0801
94.46/94.98	c bounds 815 >= 0 @ 91.1833
94.46/95.00	c bounds 814 >= 0 @ 91.202
94.56/95.02	c bounds 813 >= 0 @ 91.2154
94.85/95.34	c bounds 806 >= 0 @ 91.529
94.85/95.38	c bounds 803 >= 0 @ 91.5637
94.95/95.42	c bounds 798 >= 0 @ 91.6026
94.95/95.44	c bounds 788 >= 0 @ 91.6182
95.65/96.14	c bounds 780 >= 0 @ 92.305
95.84/96.38	c bounds 765 >= 0 @ 92.5474
95.95/96.50	c bounds 761 >= 0 @ 92.6566
96.15/96.68	c bounds 758 >= 0 @ 92.8364
96.15/96.69	c bounds 756 >= 0 @ 92.8537
96.25/96.73	c bounds 740 >= 0 @ 92.8837
96.25/96.75	c bounds 739 >= 0 @ 92.9113
96.25/96.79	c bounds 737 >= 0 @ 92.9461
96.44/96.91	c bounds 736 >= 0 @ 93.0657
96.44/96.95	c bounds 735 >= 0 @ 93.0981
96.44/96.97	c bounds 728 >= 0 @ 93.1214
96.44/97.00	c bounds 725 >= 0 @ 93.1442
96.55/97.02	c bounds 721 >= 0 @ 93.1622
96.65/97.11	c bounds 717 >= 0 @ 93.2541
96.74/97.20	c bounds 711 >= 0 @ 93.3397
96.74/97.29	c bounds 710 >= 0 @ 93.4291
96.85/97.39	c bounds 697 >= 0 @ 93.5305
96.95/97.45	c bounds 687 >= 0 @ 93.5834
96.95/97.49	c bounds 679 >= 0 @ 93.6227
97.15/97.62	c bounds 676 >= 0 @ 93.7481
97.15/97.65	c bounds 675 >= 0 @ 93.7747
97.45/97.91	c bounds 671 >= 0 @ 94.0259
97.45/97.94	c bounds 665 >= 0 @ 94.0563
97.45/97.96	c bounds 663 >= 0 @ 94.0703
97.65/98.11	c #Conflicts:       7000 | #Constraints:     659399
97.65/98.11	c bounds 657 >= 0 @ 94.2236
97.65/98.13	c bounds 647 >= 0 @ 94.2452
97.65/98.15	c bounds 643 >= 0 @ 94.2557
97.65/98.18	c bounds 640 >= 0 @ 94.2903
97.74/98.20	c bounds 633 >= 0 @ 94.3063
97.74/98.23	c bounds 624 >= 0 @ 94.3279
97.74/98.26	c bounds 621 >= 0 @ 94.3602
97.84/98.30	c bounds 615 >= 0 @ 94.3938
97.84/98.32	c bounds 614 >= 0 @ 94.4147
97.84/98.34	c bounds 612 >= 0 @ 94.4237
97.84/98.39	c bounds 611 >= 0 @ 94.4712
98.04/98.54	c bounds 610 >= 0 @ 94.6232
98.25/98.72	c bounds 604 >= 0 @ 94.7962
98.44/98.95	c bounds 602 >= 0 @ 95.0175
98.44/98.97	c bounds 592 >= 0 @ 95.0333
98.65/99.11	c bounds 591 >= 0 @ 95.1729
98.65/99.12	c bounds 586 >= 0 @ 95.1888
98.65/99.14	c bounds 578 >= 0 @ 95.2047
98.74/99.21	c bounds 573 >= 0 @ 95.2671
98.74/99.26	c bounds 570 >= 0 @ 95.3095
98.74/99.30	c bounds 568 >= 0 @ 95.3463
98.84/99.32	c bounds 567 >= 0 @ 95.3686
98.84/99.36	c bounds 559 >= 0 @ 95.4005
98.94/99.48	c bounds 556 >= 0 @ 95.5232
99.04/99.51	c bounds 552 >= 0 @ 95.5429
99.04/99.54	c bounds 542 >= 0 @ 95.571
99.34/99.88	c bounds 537 >= 0 @ 95.903
99.44/99.92	c bounds 536 >= 0 @ 95.9435
100.44/100.95	c bounds 535 >= 0 @ 96.9547
100.83/101.38	c bounds 534 >= 0 @ 97.3815
100.93/101.44	c bounds 532 >= 0 @ 97.4323
101.03/101.57	c bounds 531 >= 0 @ 97.5545
101.03/101.58	c bounds 528 >= 0 @ 97.5657
101.43/101.95	c bounds 523 >= 0 @ 97.9219
101.63/102.10	c bounds 517 >= 0 @ 98.0682
101.63/102.15	c bounds 504 >= 0 @ 98.1131
101.63/102.19	c bounds 502 >= 0 @ 98.1478
101.83/102.34	c bounds 501 >= 0 @ 98.2949
101.83/102.37	c bounds 497 >= 0 @ 98.3246
101.83/102.39	c bounds 494 >= 0 @ 98.3425
102.03/102.52	c bounds 493 >= 0 @ 98.4688
102.03/102.57	c bounds 490 >= 0 @ 98.508
102.03/102.59	c bounds 481 >= 0 @ 98.5242
102.23/102.72	c bounds 480 >= 0 @ 98.6497
102.53/103.00	c bounds 476 >= 0 @ 98.9327
102.53/103.06	c bounds 473 >= 0 @ 98.9849
102.53/103.09	c bounds 464 >= 0 @ 99.0092
104.22/104.73	c bounds 453 >= 0 @ 100.623
104.42/104.95	c bounds 446 >= 0 @ 100.835
104.42/104.97	c bounds 442 >= 0 @ 100.849
106.71/107.21	c bounds 441 >= 0 @ 103.044
107.31/107.89	c #Conflicts:       8000 | #Constraints:     660483
107.31/107.89	c bounds 440 >= 0 @ 103.71
107.41/107.91	c bounds 438 >= 0 @ 103.723
108.01/108.50	c bounds 437 >= 0 @ 104.303
108.71/109.25	c bounds 436 >= 0 @ 105.044
109.80/110.32	c bounds 432 >= 0 @ 106.083
109.91/110.40	c bounds 430 >= 0 @ 106.16
110.11/110.66	c bounds 426 >= 0 @ 106.416
110.30/110.81	c bounds 424 >= 0 @ 106.558
110.30/110.85	c bounds 423 >= 0 @ 106.595
110.71/111.27	c bounds 417 >= 0 @ 107.003
111.61/112.15	c bounds 413 >= 0 @ 107.868
113.80/114.38	c bounds 406 >= 0 @ 110.055
114.30/114.88	c bounds 398 >= 0 @ 110.541
114.69/115.22	c bounds 397 >= 0 @ 110.885
115.49/116.01	c bounds 393 >= 0 @ 111.65
116.69/117.27	c bounds 392 >= 0 @ 112.871
117.38/117.90	c #Conflicts:       9000 | #Constraints:     661529
117.38/117.90	c bounds 391 >= 0 @ 113.484
140.32/140.95	c INPROCESSING
140.32/140.95	c GARBAGE COLLECT
140.32/140.95	c bounds 390 >= 0 @ 136.344
142.71/143.35	c bounds 386 >= 0 @ 138.692
168.73/169.42	c #Conflicts:      10000 | #Constraints:     660080
168.73/169.42	c #Conflicts:      11000 | #Constraints:     661091
168.73/169.42	c #Conflicts:      12000 | #Constraints:     662102
168.73/169.42	c INPROCESSING
168.73/169.42	c GARBAGE COLLECT
168.73/169.42	c bounds 385 >= 0 @ 164.136
168.73/169.49	c bounds 383 >= 0 @ 164.198
169.23/169.99	c bounds 382 >= 0 @ 164.689
173.72/174.49	c bounds 380 >= 0 @ 169.095
177.80/178.52	c bounds 377 >= 0 @ 173.053
179.00/179.74	c bounds 376 >= 0 @ 174.24
213.29/214.13	c #Conflicts:      13000 | #Constraints:     660530
213.29/214.13	c #Conflicts:      14000 | #Constraints:     661539
213.29/214.13	c #Conflicts:      15000 | #Constraints:     662544
213.29/214.13	c INPROCESSING
213.29/214.13	c GARBAGE COLLECT
213.29/214.13	c rational objective 156.044
316.92/318.12	c #Conflicts:      16000 | #Constraints:     660740
316.92/318.12	c #Conflicts:      17000 | #Constraints:     661749
316.92/318.12	c #Conflicts:      18000 | #Constraints:     662758
316.92/318.12	c INPROCESSING
316.92/318.12	c GARBAGE COLLECT
316.92/318.12	c #Conflicts:      19000 | #Constraints:     660747
316.92/318.12	c #Conflicts:      20000 | #Constraints:     661757
316.92/318.12	c #Conflicts:      21000 | #Constraints:     662764
316.92/318.12	c INPROCESSING
316.92/318.12	c GARBAGE COLLECT
316.92/318.12	c rational objective 157
361.67/363.05	c #Conflicts:      22000 | #Constraints:     660554
361.67/363.05	c #Conflicts:      23000 | #Constraints:     661565
361.67/363.05	c #Conflicts:      24000 | #Constraints:     662570
361.67/363.05	c bounds 366 >= 0 @ 354.766
472.55/474.28	c #Conflicts:      25000 | #Constraints:     663586
472.55/474.28	c INPROCESSING
472.55/474.28	c GARBAGE COLLECT
472.55/474.28	c #Conflicts:      26000 | #Constraints:     661162
472.55/474.28	c #Conflicts:      27000 | #Constraints:     662168
472.55/474.28	c #Conflicts:      28000 | #Constraints:     663178
472.55/474.28	c #Conflicts:      29000 | #Constraints:     664188
472.55/474.28	c INPROCESSING
472.55/474.28	c GARBAGE COLLECT
472.55/474.28	c #Conflicts:      30000 | #Constraints:     661562
472.55/474.28	c #Conflicts:      31000 | #Constraints:     662571
472.55/474.28	c #Conflicts:      32000 | #Constraints:     663580
472.55/474.28	c #Conflicts:      33000 | #Constraints:     664591
472.55/474.28	c INPROCESSING
472.55/474.28	c GARBAGE COLLECT
472.55/474.28	c rational objective 157.402
488.09/489.80	c bounds 365 >= 0 @ 479.535
520.00/521.81	c #Conflicts:      34000 | #Constraints:     661774
520.00/521.81	c #Conflicts:      35000 | #Constraints:     662783
520.00/521.81	c bounds 362 >= 0 @ 511.094
624.68/626.83	c #Conflicts:      36000 | #Constraints:     663797
624.68/626.83	c #Conflicts:      37000 | #Constraints:     664809
624.68/626.83	c INPROCESSING
624.68/626.83	c GARBAGE COLLECT
624.68/626.83	c #Conflicts:      38000 | #Constraints:     661775
624.68/626.83	c #Conflicts:      39000 | #Constraints:     662784
624.68/626.83	c #Conflicts:      40000 | #Constraints:     663789
624.68/626.83	c #Conflicts:      41000 | #Constraints:     664799
624.68/626.83	c INPROCESSING
624.68/626.83	c GARBAGE COLLECT
624.68/626.83	c rational objective 157.435
630.16/632.35	c bounds 361 >= 0 @ 620.285
630.46/632.67	c bounds 360 >= 0 @ 620.603
753.58/756.13	c #Conflicts:      42000 | #Constraints:     661585
753.58/756.13	c #Conflicts:      43000 | #Constraints:     662850
753.58/756.13	c #Conflicts:      44000 | #Constraints:     664395
753.58/756.13	c bounds 359 >= 0 @ 743.081
755.97/758.58	c #Conflicts:      45000 | #Constraints:     665560
755.97/758.58	c bounds 358 >= 0 @ 745.497
830.32/833.12	c #Conflicts:      46000 | #Constraints:     666561
830.32/833.12	c INPROCESSING
830.32/833.12	c GARBAGE COLLECT
830.32/833.12	c #Conflicts:      47000 | #Constraints:     662643
830.32/833.12	c #Conflicts:      48000 | #Constraints:     663643
830.32/833.12	c #Conflicts:      49000 | #Constraints:     664643
830.32/833.12	c #Conflicts:      50000 | #Constraints:     665643
830.32/833.12	c #Conflicts:      51000 | #Constraints:     666643
830.32/833.12	c INPROCESSING
830.32/833.12	c GARBAGE COLLECT
830.32/833.12	c rational objective 157.449
837.30/840.11	c bounds 357 >= 0 @ 825.538
840.78/843.62	c bounds 350 >= 0 @ 829.011
864.30/867.24	c #Conflicts:      52000 | #Constraints:     662783
864.30/867.24	c bounds 349 >= 0 @ 852.293
950.86/954.03	c #Conflicts:      53000 | #Constraints:     663784
950.86/954.03	c #Conflicts:      54000 | #Constraints:     664784
950.86/954.03	c #Conflicts:      55000 | #Constraints:     665788
950.86/954.03	c #Conflicts:      56000 | #Constraints:     667064
950.86/954.03	c INPROCESSING
950.86/954.03	c GARBAGE COLLECT
950.86/954.03	c rational objective 159.055
1037.17/1040.61	c #Conflicts:      57000 | #Constraints:     662995
1037.17/1040.61	c #Conflicts:      58000 | #Constraints:     664005
1037.17/1040.61	c #Conflicts:      59000 | #Constraints:     665013
1037.17/1040.61	c #Conflicts:      60000 | #Constraints:     666019
1037.17/1040.61	c #Conflicts:      61000 | #Constraints:     667025
1037.17/1040.61	c INPROCESSING
1037.17/1040.61	c GARBAGE COLLECT
1037.17/1040.61	c rational objective 158.083
1048.54/1052.10	c bounds 348 >= 0 @ 1035.08
1244.91/1250.06	c #Conflicts:      62000 | #Constraints:     662885
1244.91/1250.06	c #Conflicts:      63000 | #Constraints:     663893
1244.91/1250.06	c #Conflicts:      64000 | #Constraints:     664905
1244.91/1250.06	c #Conflicts:      65000 | #Constraints:     665906
1244.91/1250.06	c #Conflicts:      66000 | #Constraints:     666915
1244.91/1250.06	c INPROCESSING
1244.91/1250.06	c GARBAGE COLLECT
1244.91/1250.06	c #Conflicts:      67000 | #Constraints:     662624
1244.91/1250.06	c #Conflicts:      68000 | #Constraints:     663637
1244.91/1250.06	c #Conflicts:      69000 | #Constraints:     664645
1244.91/1250.06	c #Conflicts:      70000 | #Constraints:     665658
1244.91/1250.06	c #Conflicts:      71000 | #Constraints:     666667
1244.91/1250.06	c #Conflicts:      72000 | #Constraints:     667676
1244.91/1250.06	c INPROCESSING
1244.91/1250.06	c GARBAGE COLLECT
1244.91/1250.06	c rational objective 158.492
1473.60/1479.89	c #Conflicts:      73000 | #Constraints:     663202
1473.60/1479.89	c #Conflicts:      74000 | #Constraints:     664212
1473.60/1479.89	c #Conflicts:      75000 | #Constraints:     665218
1473.60/1479.89	c #Conflicts:      76000 | #Constraints:     666229
1473.60/1479.89	c #Conflicts:      77000 | #Constraints:     667241
1473.60/1479.89	c #Conflicts:      78000 | #Constraints:     668251
1473.60/1479.89	c INPROCESSING
1473.60/1479.89	c GARBAGE COLLECT
1473.60/1479.89	c #Conflicts:      79000 | #Constraints:     663592
1473.60/1479.89	c #Conflicts:      80000 | #Constraints:     664601
1473.60/1479.89	c #Conflicts:      81000 | #Constraints:     665611
1473.60/1479.89	c #Conflicts:      82000 | #Constraints:     666617
1473.60/1479.89	c #Conflicts:      83000 | #Constraints:     667625
1473.60/1479.89	c #Conflicts:      84000 | #Constraints:     668632
1473.60/1479.89	c INPROCESSING
1473.60/1479.89	c GARBAGE COLLECT
1473.60/1479.89	c rational objective 158.517
1675.04/1682.26	c #Conflicts:      85000 | #Constraints:     663814
1675.04/1682.26	c #Conflicts:      86000 | #Constraints:     664867
1675.04/1682.26	c #Conflicts:      87000 | #Constraints:     665936
1675.04/1682.26	c #Conflicts:      88000 | #Constraints:     666999
1675.04/1682.26	c #Conflicts:      89000 | #Constraints:     668092
1675.04/1682.26	c #Conflicts:      90000 | #Constraints:     669160
1675.04/1682.26	c INPROCESSING
1675.04/1682.26	c #Conflicts:      91000 | #Constraints:     663989
1675.04/1682.26	c #Conflicts:      92000 | #Constraints:     665029
1675.04/1682.26	c #Conflicts:      93000 | #Constraints:     666066
1675.04/1682.26	c #Conflicts:      94000 | #Constraints:     667105
1675.04/1682.26	c #Conflicts:      95000 | #Constraints:     668144
1675.04/1682.26	c #Conflicts:      96000 | #Constraints:     669190
1675.04/1682.26	c INPROCESSING
1675.04/1682.26	c GARBAGE COLLECT
1675.04/1682.26	c #Conflicts:      97000 | #Constraints:     663785
1675.04/1682.26	c #Conflicts:      98000 | #Constraints:     664789
1675.04/1682.26	c #Conflicts:      99000 | #Constraints:     665793
1675.04/1682.26	c #Conflicts:     100000 | #Constraints:     666796
1675.04/1682.26	c #Conflicts:     101000 | #Constraints:     667802
1675.04/1682.26	c #Conflicts:     102000 | #Constraints:     668807
1675.04/1682.26	c #Conflicts:     103000 | #Constraints:     669813
1675.04/1682.26	c INPROCESSING
1675.04/1682.26	c GARBAGE COLLECT
1675.04/1682.26	c rational objective 158.517
1705.54/1713.03	c #Conflicts:     104000 | #Constraints:     664272
1705.54/1713.03	c bounds 341 >= 0 @ 1686.85
1802.55/1810.31	c #Conflicts:     105000 | #Constraints:     665279
1802.55/1810.31	c #Conflicts:     106000 | #Constraints:     666285
1802.55/1810.31	c #Conflicts:     107000 | #Constraints:     667292
1802.55/1810.31	c #Conflicts:     108000 | #Constraints:     668300
1802.55/1810.31	c #Conflicts:     109000 | #Constraints:     669314
1802.55/1810.31	c #Conflicts:     110000 | #Constraints:     670321
1802.55/1810.31	c INPROCESSING
1802.55/1810.31	c GARBAGE COLLECT
1802.55/1810.31	c rational objective 158.517
1814.22/1822.10	c bounds 340 >= 0 @ 1794.63
1817.51/1825.38	c bounds 339 >= 0 @ 1797.87
1817.81/1825.69	c bounds 338 >= 0 @ 1798.18
1824.09/1831.97	c #Conflicts:     111000 | #Constraints:     664638
1824.09/1831.97	c bounds 337 >= 0 @ 1804.33
1825.69/1833.58	c bounds 336 >= 0 @ 1805.91
1830.97/1838.84	c bounds 335 >= 0 @ 1811.07
1875.45/1883.46	c #Conflicts:     112000 | #Constraints:     665644
1875.45/1883.46	c #Conflicts:     113000 | #Constraints:     666645
1875.45/1883.46	c #Conflicts:     114000 | #Constraints:     667646
1875.45/1883.46	c #Conflicts:     115000 | #Constraints:     668652
1875.45/1883.46	c #Conflicts:     116000 | #Constraints:     669654
1875.45/1883.46	c #Conflicts:     117000 | #Constraints:     670655
1875.45/1883.46	c INPROCESSING
1875.45/1883.46	c GARBAGE COLLECT
1875.45/1883.46	c rational objective 158.517
1885.62/1893.62	c bounds 333 >= 0 @ 1865.34
1931.55/1939.78	c #Conflicts:     118000 | #Constraints:     664809
1931.55/1939.78	c #Conflicts:     119000 | #Constraints:     665825
1931.55/1939.78	c #Conflicts:     120000 | #Constraints:     666837
1931.55/1939.78	c bounds 332 >= 0 @ 1910.62
1959.95/1968.23	c #Conflicts:     121000 | #Constraints:     667841
1959.95/1968.23	c #Conflicts:     122000 | #Constraints:     668841
1959.95/1968.23	c #Conflicts:     123000 | #Constraints:     669841
1959.95/1968.23	c #Conflicts:     124000 | #Constraints:     670841
1959.95/1968.23	c INPROCESSING
1959.95/1968.23	c GARBAGE COLLECT
1959.95/1968.23	c rational objective 158.583
2046.78/2055.37	c #Conflicts:     125000 | #Constraints:     664783
2046.78/2055.37	c #Conflicts:     126000 | #Constraints:     665788
2046.78/2055.37	c #Conflicts:     127000 | #Constraints:     666812
2046.78/2055.37	c #Conflicts:     128000 | #Constraints:     667841
2046.78/2055.37	c #Conflicts:     129000 | #Constraints:     668861
2046.78/2055.37	c #Conflicts:     130000 | #Constraints:     669913
2046.78/2055.37	c #Conflicts:     131000 | #Constraints:     670941
2046.78/2055.37	c INPROCESSING
2046.78/2055.37	c #Conflicts:     132000 | #Constraints:     664644
2046.78/2055.37	c #Conflicts:     133000 | #Constraints:     665670
2046.78/2055.37	c #Conflicts:     134000 | #Constraints:     666687
2046.78/2055.37	c #Conflicts:     135000 | #Constraints:     667703
2046.78/2055.37	c #Conflicts:     136000 | #Constraints:     668729
2046.78/2055.37	c #Conflicts:     137000 | #Constraints:     669743
2046.78/2055.37	c #Conflicts:     138000 | #Constraints:     670766
2046.78/2055.37	c #Conflicts:     139000 | #Constraints:     671815
2046.78/2055.37	c INPROCESSING
2046.78/2055.37	c GARBAGE COLLECT
2046.78/2055.37	c #Conflicts:     140000 | #Constraints:     665299
2046.78/2055.37	c #Conflicts:     141000 | #Constraints:     666324
2046.78/2055.37	c bounds 315 >= 0 @ 2025.06
2154.09/2163.06	c #Conflicts:     142000 | #Constraints:     667338
2154.09/2163.06	c #Conflicts:     143000 | #Constraints:     668342
2154.09/2163.06	c #Conflicts:     144000 | #Constraints:     669346
2154.09/2163.06	c #Conflicts:     145000 | #Constraints:     670372
2154.09/2163.06	c #Conflicts:     146000 | #Constraints:     671401
2154.09/2163.06	c #Conflicts:     147000 | #Constraints:     672439
2154.09/2163.06	c INPROCESSING
2154.09/2163.06	c rational objective 158.673
2223.37/2232.59	c #Conflicts:     148000 | #Constraints:     665709
2223.37/2232.59	c #Conflicts:     149000 | #Constraints:     666746
2223.37/2232.59	c #Conflicts:     150000 | #Constraints:     667774
2223.37/2232.59	c #Conflicts:     151000 | #Constraints:     668803
2223.37/2232.59	c #Conflicts:     152000 | #Constraints:     669810
2223.37/2232.59	c #Conflicts:     153000 | #Constraints:     670821
2223.37/2232.59	c #Conflicts:     154000 | #Constraints:     671861
2223.37/2232.59	c #Conflicts:     155000 | #Constraints:     672914
2223.37/2232.59	c INPROCESSING
2223.37/2232.59	c GARBAGE COLLECT
2223.37/2232.59	c #Conflicts:     156000 | #Constraints:     665925
2223.37/2232.59	c #Conflicts:     157000 | #Constraints:     666925
2223.37/2232.59	c #Conflicts:     158000 | #Constraints:     667927
2223.37/2232.59	c #Conflicts:     159000 | #Constraints:     668933
2223.37/2232.59	c #Conflicts:     160000 | #Constraints:     669943
2223.37/2232.59	c bounds 299 >= 0 @ 2200.89
2247.29/2256.59	c #Conflicts:     161000 | #Constraints:     670950
2247.29/2256.59	c #Conflicts:     162000 | #Constraints:     671961
2247.29/2256.59	c #Conflicts:     163000 | #Constraints:     672963
2247.29/2256.59	c INPROCESSING
2247.29/2256.59	c rational objective 158.698
2308.19/2317.63	c #Conflicts:     164000 | #Constraints:     665858
2308.19/2317.63	c #Conflicts:     165000 | #Constraints:     666860
2308.19/2317.63	c #Conflicts:     166000 | #Constraints:     667869
2308.19/2317.63	c #Conflicts:     167000 | #Constraints:     668873
2308.19/2317.63	c #Conflicts:     168000 | #Constraints:     669880
2308.19/2317.63	c #Conflicts:     169000 | #Constraints:     670889
2308.19/2317.63	c #Conflicts:     170000 | #Constraints:     671891
2308.19/2317.63	c #Conflicts:     171000 | #Constraints:     672897
2308.19/2317.63	c INPROCESSING
2308.19/2317.63	c GARBAGE COLLECT
2308.19/2317.63	c rational objective 158.704
2384.14/2393.85	c #Conflicts:     172000 | #Constraints:     665633
2384.14/2393.85	c #Conflicts:     173000 | #Constraints:     666638
2384.14/2393.85	c #Conflicts:     174000 | #Constraints:     667647
2384.14/2393.85	c #Conflicts:     175000 | #Constraints:     668658
2384.14/2393.85	c #Conflicts:     176000 | #Constraints:     669662
2384.14/2393.85	c #Conflicts:     177000 | #Constraints:     670669
2384.14/2393.85	c #Conflicts:     178000 | #Constraints:     671679
2384.14/2393.85	c #Conflicts:     179000 | #Constraints:     672687
2384.14/2393.85	c #Conflicts:     180000 | #Constraints:     673691
2384.14/2393.85	c INPROCESSING
2384.14/2393.85	c rational objective 158.705
2444.26/2454.14	c #Conflicts:     181000 | #Constraints:     666235
2444.26/2454.14	c #Conflicts:     182000 | #Constraints:     667239
2444.26/2454.14	c #Conflicts:     183000 | #Constraints:     668249
2444.26/2454.14	c #Conflicts:     184000 | #Constraints:     669252
2444.26/2454.14	c #Conflicts:     185000 | #Constraints:     670264
2444.26/2454.14	c #Conflicts:     186000 | #Constraints:     671272
2444.26/2454.14	c #Conflicts:     187000 | #Constraints:     672278
2444.26/2454.14	c #Conflicts:     188000 | #Constraints:     673285
2444.26/2454.14	c #Conflicts:     189000 | #Constraints:     674287
2444.26/2454.14	c INPROCESSING
2444.26/2454.14	c GARBAGE COLLECT
2444.26/2454.14	c rational objective 159.399
2566.68/2577.05	c #Conflicts:     190000 | #Constraints:     666650
2566.68/2577.05	c #Conflicts:     191000 | #Constraints:     667658
2566.68/2577.05	c #Conflicts:     192000 | #Constraints:     668667
2566.68/2577.05	c #Conflicts:     193000 | #Constraints:     669672
2566.68/2577.05	c #Conflicts:     194000 | #Constraints:     670675
2566.68/2577.05	c #Conflicts:     195000 | #Constraints:     671679
2566.68/2577.05	c #Conflicts:     196000 | #Constraints:     672682
2566.68/2577.05	c #Conflicts:     197000 | #Constraints:     673684
2566.68/2577.05	c #Conflicts:     198000 | #Constraints:     674690
2566.68/2577.05	c INPROCESSING
2566.68/2577.05	c GARBAGE COLLECT
2566.68/2577.05	c #Conflicts:     199000 | #Constraints:     666841
2566.68/2577.05	c #Conflicts:     200000 | #Constraints:     667846
2566.68/2577.05	c #Conflicts:     201000 | #Constraints:     668855
2566.68/2577.05	c #Conflicts:     202000 | #Constraints:     669866
2566.68/2577.05	c #Conflicts:     203000 | #Constraints:     670869
2566.68/2577.05	c #Conflicts:     204000 | #Constraints:     671871
2566.68/2577.05	c #Conflicts:     205000 | #Constraints:     672872
2566.68/2577.05	c #Conflicts:     206000 | #Constraints:     673881
2566.68/2577.05	c #Conflicts:     207000 | #Constraints:     674899
2566.68/2577.05	c INPROCESSING
2566.68/2577.05	c GARBAGE COLLECT
2566.68/2577.05	c bounds 295 >= 0 @ 2542.83
2566.68/2577.06	c bounds 294 >= 0 @ 2542.84
2566.68/2577.09	c bounds 291 >= 0 @ 2542.87
2566.97/2577.34	c bounds 290 >= 0 @ 2543.09
2646.21/2656.89	c #Conflicts:     208000 | #Constraints:     666848
2646.21/2656.89	c #Conflicts:     209000 | #Constraints:     667862
2646.21/2656.89	c #Conflicts:     210000 | #Constraints:     668871
2646.21/2656.89	c #Conflicts:     211000 | #Constraints:     669884
2646.21/2656.89	c #Conflicts:     212000 | #Constraints:     670896
2646.21/2656.89	c #Conflicts:     213000 | #Constraints:     671904
2646.21/2656.89	c #Conflicts:     214000 | #Constraints:     672912
2646.21/2656.89	c bounds 289 >= 0 @ 2621.12
2646.30/2656.92	c bounds 289 >= 4 @ 2621.15
2646.30/2656.96	c bounds 289 >= 8 @ 2621.18
2646.41/2657.01	c bounds 289 >= 12 @ 2621.22
2646.51/2657.17	c bounds 289 >= 16 @ 2621.38
2650.09/2660.70	c bounds 289 >= 20 @ 2624.88
2668.41/2679.12	c #Conflicts:     215000 | #Constraints:     673944
2668.41/2679.12	c #Conflicts:     216000 | #Constraints:     674944
2668.41/2679.12	c INPROCESSING
2668.41/2679.12	c GARBAGE COLLECT
2668.41/2679.12	c rational objective 159
2689.51/2700.33	c #Conflicts:     217000 | #Constraints:     666676
2689.51/2700.33	c #Conflicts:     218000 | #Constraints:     667676
2689.51/2700.33	c bounds 289 >= 24 @ 2664.08
2741.32/2752.30	c #Conflicts:     219000 | #Constraints:     668688
2741.32/2752.30	c #Conflicts:     220000 | #Constraints:     669688
2741.32/2752.30	c #Conflicts:     221000 | #Constraints:     670688
2741.32/2752.30	c #Conflicts:     222000 | #Constraints:     671688
2741.32/2752.30	c #Conflicts:     223000 | #Constraints:     672688
2741.32/2752.30	c #Conflicts:     224000 | #Constraints:     673688
2741.32/2752.30	c #Conflicts:     225000 | #Constraints:     674688
2741.32/2752.30	c #Conflicts:     226000 | #Constraints:     675688
2741.32/2752.30	c INPROCESSING
2741.32/2752.30	c GARBAGE COLLECT
2741.32/2752.30	c rational objective 159
2818.45/2829.70	c #Conflicts:     227000 | #Constraints:     667247
2818.45/2829.70	c #Conflicts:     228000 | #Constraints:     668247
2818.45/2829.70	c #Conflicts:     229000 | #Constraints:     669247
2818.45/2829.70	c #Conflicts:     230000 | #Constraints:     670247
2818.45/2829.70	c #Conflicts:     231000 | #Constraints:     671247
2818.45/2829.70	c #Conflicts:     232000 | #Constraints:     672247
2818.45/2829.70	c #Conflicts:     233000 | #Constraints:     673247
2818.45/2829.70	c #Conflicts:     234000 | #Constraints:     674247
2818.45/2829.70	c #Conflicts:     235000 | #Constraints:     675247
2818.45/2829.70	c #Conflicts:     236000 | #Constraints:     676247
2818.45/2829.70	c INPROCESSING
2818.45/2829.70	c GARBAGE COLLECT
2818.45/2829.70	c rational objective 159
2827.52/2838.87	c bounds 288 >= 24 @ 2801.17
2827.73/2839.01	c bounds 287 >= 24 @ 2801.3
2827.73/2839.03	c bounds 282 >= 24 @ 2801.32
2827.83/2839.10	c bounds 279 >= 24 @ 2801.39
2828.42/2839.78	c bounds 278 >= 24 @ 2802.03
2828.51/2839.80	c bounds 277 >= 24 @ 2802.04
2836.98/2848.37	c #Conflicts:     237000 | #Constraints:     667644
2836.98/2848.37	c bounds 275 >= 24 @ 2810.45
2840.68/2852.02	c bounds 274 >= 24 @ 2814.04
2848.82/2860.28	c #Conflicts:     238000 | #Constraints:     668651
2848.82/2860.28	c bounds 269 >= 24 @ 2822.1
2848.93/2860.36	c bounds 269 >= 27 @ 2822.18
2851.62/2863.10	c bounds 269 >= 30 @ 2824.89
2879.62/2891.13	c #Conflicts:     239000 | #Constraints:     669666
2879.62/2891.13	c #Conflicts:     240000 | #Constraints:     670666
2879.62/2891.13	c #Conflicts:     241000 | #Constraints:     671666
2879.62/2891.13	c #Conflicts:     242000 | #Constraints:     672666
2879.62/2891.13	c #Conflicts:     243000 | #Constraints:     673666
2879.62/2891.13	c bounds 269 >= 33 @ 2852.49
2879.71/2891.21	c bounds 268 >= 33 @ 2852.57
2879.82/2891.32	c bounds 266 >= 33 @ 2852.68
2882.79/2894.36	c bounds 265 >= 33 @ 2855.65
2882.99/2894.56	c bounds 263 >= 33 @ 2855.85
2884.79/2896.36	c bounds 261 >= 33 @ 2857.61
2971.20/2983.09	c #Conflicts:     244000 | #Constraints:     674688
2971.20/2983.09	c #Conflicts:     245000 | #Constraints:     675697
2971.20/2983.09	c #Conflicts:     246000 | #Constraints:     676704
2971.20/2983.09	c INPROCESSING
2971.20/2983.09	c GARBAGE COLLECT
2971.20/2983.09	c rational objective 159
3077.67/3090.34	c #Conflicts:     247000 | #Constraints:     667837
3077.67/3090.34	c #Conflicts:     248000 | #Constraints:     668841
3077.67/3090.34	c #Conflicts:     249000 | #Constraints:     669842
3077.67/3090.34	c #Conflicts:     250000 | #Constraints:     670845
3077.67/3090.34	c #Conflicts:     251000 | #Constraints:     671845
3077.67/3090.34	c #Conflicts:     252000 | #Constraints:     672853
3077.67/3090.34	c #Conflicts:     253000 | #Constraints:     673861
3077.67/3090.34	c #Conflicts:     254000 | #Constraints:     674868
3077.67/3090.34	c #Conflicts:     255000 | #Constraints:     675871
3077.67/3090.34	c #Conflicts:     256000 | #Constraints:     676877
3077.67/3090.34	c INPROCESSING
3077.67/3090.34	c GARBAGE COLLECT
3077.67/3090.34	c rational objective 159.178
3281.27/3294.51	c #Conflicts:     257000 | #Constraints:     667827
3281.27/3294.51	c #Conflicts:     258000 | #Constraints:     668827
3281.27/3294.51	c #Conflicts:     259000 | #Constraints:     669834
3281.27/3294.51	c #Conflicts:     260000 | #Constraints:     670837
3281.27/3294.51	c #Conflicts:     261000 | #Constraints:     671842
3281.27/3294.51	c #Conflicts:     262000 | #Constraints:     672850
3281.27/3294.51	c #Conflicts:     263000 | #Constraints:     673855
3281.27/3294.51	c #Conflicts:     264000 | #Constraints:     674863
3281.27/3294.51	c #Conflicts:     265000 | #Constraints:     675871
3281.27/3294.51	c #Conflicts:     266000 | #Constraints:     676877
3281.27/3294.51	c INPROCESSING
3281.27/3294.51	c GARBAGE COLLECT
3281.27/3294.51	c rational objective 159.283
3473.22/3487.44	c #Conflicts:     267000 | #Constraints:     667628
3473.22/3487.44	c #Conflicts:     268000 | #Constraints:     668636
3473.22/3487.44	c #Conflicts:     269000 | #Constraints:     669641
3473.22/3487.44	c #Conflicts:     270000 | #Constraints:     670644
3473.22/3487.44	c #Conflicts:     271000 | #Constraints:     671653
3473.22/3487.44	c #Conflicts:     272000 | #Constraints:     672663
3473.22/3487.44	c #Conflicts:     273000 | #Constraints:     673673
3473.22/3487.44	c #Conflicts:     274000 | #Constraints:     674681
3473.22/3487.44	c #Conflicts:     275000 | #Constraints:     675687
3473.22/3487.44	c #Conflicts:     276000 | #Constraints:     676694
3473.22/3487.44	c #Conflicts:     277000 | #Constraints:     677708
3473.22/3487.44	c INPROCESSING
3473.22/3487.44	c GARBAGE COLLECT
3473.22/3487.44	c rational objective 159.313
3600.03/3615.07	c #Conflicts:     278000 | #Constraints:     668241
3600.03/3615.07	c #Conflicts:     279000 | #Constraints:     669243
3600.03/3615.07	c #Conflicts:     280000 | #Constraints:     670247
3600.03/3615.07	c #Conflicts:     281000 | #Constraints:     671250
3600.03/3615.07	c #Conflicts:     282000 | #Constraints:     672252
3600.03/3615.07	c #Conflicts:     283000 | #Constraints:     673261
3600.03/3615.07	c #Conflicts:     284000 | #Constraints:     674266
3600.03/3615.07	c #Conflicts:     285000 | #Constraints:     675267
3600.03/3615.07	c #Conflicts:     286000 | #Constraints:     676269
3600.03/3615.07	c #Conflicts:     287000 | #Constraints:     677274
3600.03/3615.07	c #Conflicts:     288000 | #Constraints:     678283
3600.03/3615.07	c INPROCESSING
3600.03/3615.07	c GARBAGE COLLECT
3600.03/3615.07	c Disabling crashed LP
3600.03/3615.07	c cpu time 3565.47 s
3600.03/3615.07	c deterministic time 302659200369 3.03e+11
3600.03/3615.07	c optimization time 0.959907 s
3600.03/3615.07	c total solve time 3561.65 s
3600.03/3615.07	c core-guided solve time 2600.39 s
3600.03/3615.07	c propagation time 1463.57 s
3600.03/3615.07	c conflict analysis time 941.546 s
3600.03/3615.07	c propagations 46360904
3600.03/3615.07	c resolve steps 5509349
3600.03/3615.07	c decisions 8934717
3600.03/3615.07	c conflicts 288001
3600.03/3615.07	c restarts 690
3600.03/3615.07	c inprocessing phases 45
3600.03/3615.07	c garbage collections 40 ,( 88.89 )
3600.03/3615.07	c input clauses 656911 ,( 99.94 )
3600.03/3615.07	c input cardinalities 20 ,( 0.00 )
3600.03/3615.07	c input general constraints 377 ,( 0.06 )
3600.03/3615.07	c input average constraint length 7.58
3600.03/3615.07	c input average constraint degree 262.77
3600.03/3615.07	c learned clauses 154622 ,( 52.91 )
3600.03/3615.07	c learned cardinalities 20 ,( 0.01 )
3600.03/3615.07	c learned general constraints 137606 ,( 47.09 )
3600.03/3615.07	c learned average constraint length 4940.04
3600.03/3615.07	c learned average constraint degree 214242048889.58
3600.03/3615.07	c watched  CF 32, 64, 128, Arb: 4673 , 0 , 0 , 0
3600.03/3615.07	c counting CF 32, 64, 128, Arb: 133311 , 0 , 0 , 0
3600.03/3615.07	c watched   constraints 4673 ,( 3.39 ) 
3600.03/3615.07	c counting  constraints 133310 ,( 96.61 ) 
3600.03/3615.07	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 79580905 , 343506 , 682055621 ,( 32817907 , 649237714 )
3600.03/3615.07	c gcd simplifications 2457
3600.03/3615.07	c detected cardinalities 1
3600.03/3615.07	c weakened non-implied lits 383008954
3600.03/3615.07	c weakened non-implying lits 113382
3600.03/3615.07	c original variables 10000
3600.03/3615.07	c clausal propagations 25549982
3600.03/3615.07	c cardinality propagations 14621
3600.03/3615.07	c watched propagations 27513
3600.03/3615.07	c counting propagations 19471907
3600.03/3615.07	c watch lookups 19820141906
3600.03/3615.07	c watch backjump lookups 0
3600.03/3615.07	c watch checks 6749583465
3600.03/3615.07	c propagation checks 272311572211
3600.03/3615.07	c constraint additions 3666532153
3600.03/3615.07	c trail pops 55582368
3600.03/3615.07	c formula constraints 656900
3600.03/3615.07	c learned constraints 286748
3600.03/3615.07	c bound constraints 357
3600.03/3615.07	c core-guided constraints 51
3600.03/3615.07	c encountered formula constraints 4547831
3600.03/3615.07	c encountered learned constraints 1087169
3600.03/3615.07	c encountered bound constraints 6133
3600.03/3615.07	c encountered core-guided constraints 13494
3600.03/3615.07	c LP total time 1569.89 s
3600.03/3615.07	c LP solve time 1287.21 s
3600.03/3615.07	c LP constraints added 656982
3600.03/3615.07	c LP constraints removed 60
3600.03/3615.07	c LP pivots internal 288060
3600.03/3615.07	c LP pivots root 204584
3600.03/3615.07	c LP calls 4439
3600.03/3615.07	c LP optimalities 195
3600.03/3615.07	c LP no pivot count 2
3600.03/3615.07	c LP infeasibilities 4223
3600.03/3615.07	c LP valid Farkas constraints 4219
3600.03/3615.07	c LP learned Farkas constraints 1254
3600.03/3615.07	c LP basis resets 21
3600.03/3615.07	c LP cycling count 11
3600.03/3615.07	c LP singular count 4
3600.03/3615.07	c LP no primal count 0
3600.03/3615.07	c LP no farkas count 4
3600.03/3615.07	c LP other issue count 2
3600.03/3615.07	c LP Gomory cuts 27
3600.03/3615.07	c LP learned cuts 55
3600.03/3615.07	c LP deleted cuts 60
3600.03/3615.07	c LP encountered Gomory constraints 0
3600.03/3615.07	c LP encountered Farkas constraints 138550
3600.03/3615.07	c LP encountered learned Farkas constraints 2919
3600.03/3615.07	c CG auxiliary variables introduced 20
3600.03/3615.07	c CG solutions found 348
3600.03/3615.07	c CG cores constructed 9
3600.03/3615.07	c CG core cardinality constraints returned 0
3600.03/3615.07	c CG unit cores 0
3600.03/3615.07	c CG single cores 9
3600.03/3615.07	c CG blocks removed during cardinality reduction 0
3600.03/3615.07	c CG first core best 0
3600.03/3615.07	c CG decision core best 0
3600.03/3615.07	c CG core reduction tie 0
3600.03/3615.07	c CG core degree average 1.00
3600.03/3615.07	c CG core slack average 2191.11
3600.03/3615.07	c CG core upper bound improvements 0
3600.03/3615.07	c STR number of successful calls 0
3600.03/3615.07	c STR number of unsuccessful calls 0
3600.03/3615.07	c STR number of inconclusive calls 0
3600.03/3615.07	c STR number of successful attempts 0
3600.03/3615.07	c STR number of unsuccessful attempts 0
3600.03/3615.07	c STR number of inconclusive attempts 0
3600.03/3615.07	c STR average degree increase per successful call inf
3600.03/3615.07	c STR average degree increase per successful attempt inf
3600.03/3615.07	c STR total number of conflicts for successful attempts 0
3600.03/3615.07	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3615.07	c STR total number of conflicts for inconclusive attempts 0
3600.03/3615.07	c STR average number of conflicts per successful attempt inf
3600.03/3615.07	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3615.07	c STR average number of conflicts per inconclusive attempt inf
3600.03/3615.07	c AVG.sumWPerc 95.62 
3600.03/3615.07	c bigint constraints 0 
3600.03/3615.07	o 261
3600.03/3615.07	s SATISFIABLE
3600.03/3615.07	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/3615.07	c Program interrupted by user.

Verifier Data 

OK	261

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489511-1751357799/watcher-4489511-1751357799 -o /tmp/evaluation-result-4489511-1751357799/solver-4489511-1751357799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751350557-51303 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489511-1751357799.opb PROOFDIR/proof-4489511-1751357799 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=52030, runsolver pid=52027

[startup+0.100072 s]*
/proc/loadavg: 4.04 4.14 4.11 5/266 52036
/proc/meminfo: memFree=67937812/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52033] ppid=52030 vsize=157312 memory=137748 CPUtime=0.03 cores=0,2
/proc/52033/stat : 52033 (pbsuma) R 52030 52030 51293 0 -1 4194304 1976 0 0 0 0 3 0 0 20 0 1 0 51459353 161087488 34437 18446744073709551615 4210688 4653049 140730398908928 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 17788928 140730398910691 140730398911026 140730398911026 140730398916591 0
/proc/52033/statm: 39328 34437 992 108 0 36736 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 161504 KiB
Current children cumulated memory: 140820 KiB

[startup+0.206521 s]*
/proc/loadavg: 4.04 4.14 4.11 6/266 52036
/proc/meminfo: memFree=67910284/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52033] ppid=52030 vsize=170828 memory=155820 CPUtime=0.12 cores=0,2
/proc/52033/stat : 52033 (pbsuma) R 52030 52030 51293 0 -1 4194304 6302 0 0 0 8 4 0 0 20 0 1 0 51459353 174927872 38955 18446744073709551615 4210688 4653049 140730398908928 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 17788928 140730398910691 140730398911026 140730398911026 140730398916591 0
/proc/52033/statm: 42707 38955 992 108 0 40115 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 175020 KiB
Current children cumulated memory: 158892 KiB

[startup+0.306361 s]*
/proc/loadavg: 4.04 4.14 4.11 4/266 52036
/proc/meminfo: memFree=67881020/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52033] ppid=52030 vsize=184484 memory=172772 CPUtime=0.22 cores=0,2
/proc/52033/stat : 52033 (pbsuma) R 52030 52030 51293 0 -1 4194304 10143 0 0 0 17 5 0 0 20 0 1 0 51459353 188911616 43193 18446744073709551615 4210688 4653049 140730398908928 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 17788928 140730398910691 140730398911026 140730398911026 140730398916591 0
/proc/52033/statm: 46121 43193 992 108 0 43529 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 188676 KiB
Current children cumulated memory: 175844 KiB

[startup+0.700263 s]
/proc/loadavg: 4.04 4.14 4.11 4/264 52036
/proc/meminfo: memFree=67790804/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52033] ppid=52030 vsize=309820 memory=261644 CPUtime=0.6 cores=0,2
/proc/52033/stat : 52033 (pbsuma) R 52030 52030 51293 0 -1 4194304 22715 0 0 0 52 8 0 0 20 0 1 0 51459353 317255680 65411 18446744073709551615 4210688 4653049 140730398908928 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 17788928 140730398910691 140730398911026 140730398911026 140730398916591 0
/proc/52033/statm: 77455 65411 992 108 0 74863 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 314012 KiB
Current children cumulated memory: 264716 KiB

[startup+1.50016 s]
/proc/loadavg: 4.04 4.14 4.11 6/266 52040
/proc/meminfo: memFree=67839944/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3.10623 s]
/proc/loadavg: 4.04 4.14 4.11 3/264 52084
/proc/meminfo: memFree=77198360/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=145692 memory=90688 CPUtime=1.99 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 19514 0 0 0 155 44 0 0 20 0 1 0 51459456 149188608 22672 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 36423 22672 1888 1147 0 23850 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 149884 KiB
Current children cumulated memory: 93760 KiB

[startup+6.30022 s]
/proc/loadavg: 4.04 4.14 4.11 4/270 52124
/proc/meminfo: memFree=84711588/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=914860 memory=667416 CPUtime=5.17 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 54536 0 0 0 439 78 0 0 20 0 1 0 51459456 936816640 166854 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 228715 166854 2272 1147 0 216142 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 919052 KiB
Current children cumulated memory: 670488 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.14 4.11 5/273 52172
/proc/meminfo: memFree=126377568/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=1086492 memory=758248 CPUtime=11.55 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 61404 0 0 0 1058 97 0 0 20 0 1 0 51459456 1112567808 189562 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 271623 189562 2336 1147 0 259050 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 1090684 KiB
Current children cumulated memory: 761320 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.11 5/274 52174
/proc/meminfo: memFree=124863292/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=1236244 memory=909972 CPUtime=24.31 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 84080 0 0 0 2297 134 0 0 20 0 1 0 51459456 1265913856 227493 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 309061 227493 2336 1147 0 296488 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 1240436 KiB
Current children cumulated memory: 913044 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.14 4.11 5/274 52175
/proc/meminfo: memFree=123584668/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=1479252 memory=1161860 CPUtime=49.83 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 109406 0 0 0 4801 182 0 0 20 0 1 0 51459456 1514754048 290465 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 369813 290465 2336 1147 0 357240 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 1483444 KiB
Current children cumulated memory: 1164932 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/274 52177
/proc/meminfo: memFree=121106404/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=1916168 memory=1450896 CPUtime=100.87 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 152707 0 0 0 9825 262 0 0 20 0 1 0 51459456 1962156032 362724 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 479042 362724 2336 1147 0 466469 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1453968 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/274 52179
/proc/meminfo: memFree=119013752/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=2163120 memory=1712192 CPUtime=160.69 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 194623 0 0 0 15722 347 0 0 20 0 1 0 51459456 2215034880 428048 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 540780 428048 2336 1147 0 528207 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 2167312 KiB
Current children cumulated memory: 1715264 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/274 52181
/proc/meminfo: memFree=117241212/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=2518392 memory=2027424 CPUtime=220.49 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 253023 0 0 0 21617 432 0 0 20 0 1 0 51459456 2578833408 506856 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 629598 506856 2336 1147 0 617025 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 2522584 KiB
Current children cumulated memory: 2030496 KiB

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

/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=4609472 memory=4295380 CPUtime=3148.53 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 564646 0 0 0 311967 2886 0 0 20 0 1 0 51459456 4720099328 1073845 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1152368 1073845 2496 1147 0 1139795 0
Current children cumulated CPU time: 3149.49 s
Current children cumulated vsize: 4613664 KiB
Current children cumulated memory: 4298452 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/274 52362
/proc/meminfo: memFree=8152372/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=5177000 memory=4445524 CPUtime=3208.34 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 603556 0 0 0 317881 2953 0 0 20 0 1 0 51459456 5301248000 1111381 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1294250 1111381 2496 1147 0 1281677 0
Current children cumulated CPU time: 3209.3 s
Current children cumulated vsize: 5181192 KiB
Current children cumulated memory: 4448596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/275 52366
/proc/meminfo: memFree=6709572/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=5177000 memory=4445524 CPUtime=3268.14 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 603556 0 0 0 323855 2959 0 0 20 0 1 0 51459456 5301248000 1111381 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1294250 1111381 2496 1147 0 1281677 0
Current children cumulated CPU time: 3269.1 s
Current children cumulated vsize: 5181192 KiB
Current children cumulated memory: 4448596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/275 52368
/proc/meminfo: memFree=5197972/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=5187340 memory=4447768 CPUtime=3327.78 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 605023 0 0 0 329768 3010 0 0 20 0 1 0 51459456 5311836160 1111942 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1296835 1111942 2496 1147 0 1284262 0
Current children cumulated CPU time: 3328.74 s
Current children cumulated vsize: 5191532 KiB
Current children cumulated memory: 4450840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/276 52377
/proc/meminfo: memFree=2310976/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=5187340 memory=4447768 CPUtime=3387.42 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 629445 0 0 0 335661 3081 0 0 20 0 1 0 51459456 5311836160 1111942 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1296835 1111942 2496 1147 0 1284262 0
Current children cumulated CPU time: 3388.38 s
Current children cumulated vsize: 5191532 KiB
Current children cumulated memory: 4450840 KiB

[startup+3462.3 s]
/proc/loadavg: 4.47 4.22 4.16 5/276 52379
/proc/meminfo: memFree=680608/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=5460224 memory=4647932 CPUtime=3447.24 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 730114 0 0 0 341565 3159 0 0 20 0 1 0 51459456 5591269376 1161983 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1365056 1161983 2496 1147 0 1352483 0
Current children cumulated CPU time: 3448.2 s
Current children cumulated vsize: 5464416 KiB
Current children cumulated memory: 4651004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.20 4.15 5/275 52381
/proc/meminfo: memFree=614596/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=6108008 memory=5058888 CPUtime=3507.06 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 882523 0 0 0 347468 3238 0 0 20 0 1 0 51459456 6254600192 1264722 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1527002 1264722 2496 1147 0 1514429 0
Current children cumulated CPU time: 3508.02 s
Current children cumulated vsize: 6112200 KiB
Current children cumulated memory: 5061960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/273 52383
/proc/meminfo: memFree=723296/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=6108008 memory=5058888 CPUtime=3566.89 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 904540 0 0 0 353371 3318 0 0 20 0 1 0 51459456 6254600192 1264722 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1527002 1264722 2496 1147 0 1514429 0
Current children cumulated CPU time: 3567.85 s
Current children cumulated vsize: 6112200 KiB
Current children cumulated memory: 5061960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615 s]*
/proc/loadavg: 4.08 4.15 4.14 5/275 52387
/proc/meminfo: memFree=569344/131250000 swapFree=33009904/33010684
[pid=52030] ppid=52027 vsize=4192 memory=3072 CPUtime=0.96 cores=0,2
/proc/52030/stat : 52030 (run-opt-break-l) S 52027 52030 51293 0 -1 4194304 240 30065 0 0 0 0 84 12 20 0 1 0 51459350 4292608 768 18446744073709551615 93893788622848 93893789517381 140724927791776 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93893789756432 93893789804176 93893804310528 140724927793429 140724927793630 140724927793630 140724927799232 0
/proc/52030/statm: 1048 768 704 219 0 110 0
[pid=52043] ppid=52030 vsize=6108648 memory=5060296 CPUtime=3599.07 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52030 52030 51293 0 -1 4194304 943006 0 0 0 356543 3364 0 0 20 0 1 0 51459456 6255255552 1265074 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1527162 1265074 2496 1147 0 1514589 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 6112840 KiB
Current children cumulated memory: 5063368 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3566.33 s, system=33.8606 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+3615.21 s]
/proc/loadavg: 4.08 4.15 4.14 3/274 52387
/proc/meminfo: memFree=959924/131250000 swapFree=33009904/33010684
[pid=52043] ppid=52027 vsize=5465456 memory=4636104 CPUtime=3599.14 cores=0,2
/proc/52043/stat : 52043 (roundingsat) D 52027 52030 51293 0 -1 4194304 943010 0 2 0 356547 3367 0 0 20 0 1 0 51459456 5596626944 1159026 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1366364 1159026 2528 1147 0 1353791 0
Current cumulated CPU time of completed processes: 0.96841 s
Current children cumulated CPU time: 3599.14 s
Current children cumulated vsize: 5465456 KiB
Current children cumulated memory: 4636104 KiB

[startup+3615.6 s]
/proc/loadavg: 4.08 4.15 4.14 3/274 52387
/proc/meminfo: memFree=959924/131250000 swapFree=33009904/33010684
[pid=52043] ppid=52027 vsize=4902864 memory=4082376 CPUtime=3599.17 cores=0,2
/proc/52043/stat : 52043 (roundingsat) R 52027 52030 51293 0 -1 4194304 943010 0 2 0 356547 3370 0 0 20 0 1 0 51459456 5020532736 1020594 18446744073709551615 4227072 8923433 140733515187072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39841792 140733515192596 140733515192872 140733515192872 140733515198442 0
/proc/52043/statm: 1225716 1020594 2528 1147 0 1213143 0
Current cumulated CPU time of completed processes: 0.96841 s
Current children cumulated CPU time: 3599.17 s
Current children cumulated vsize: 4902864 KiB
Current children cumulated memory: 4082376 KiB

Child status: 2

Real time (s): 3615.64
CPU time (s): 3600.19
CPU user time (s): 3566.33
CPU system time (s): 33.8606
CPU usage (%): 99.5727
Max. virtual memory (cumulated for all children) (KiB): 6158900
Max. memory (cumulated for all children) (KiB): 5108464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.33
system time used= 33.8606
maximum resident set size= 5138708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 973331
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 59519568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10818
involuntary context switches= 11164


# summary of solver processes directly reported to runsolver:
#   pid: 52030,52043
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3566.33
#   total CPU system time (s): 33.8606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41117 second user time and 17.4321 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-01 10:16:39
IDJOB=4489511
IDBENCH=147555
IDSOLVER=3360
FILE ID=nodeC033/4489511-1751357799
RUNJOBID= nodeC033-1751350557-51303
SLURM_JOB_ID= 9598139
Free space on /tmp= 432404 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=420367292

nodeC033 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.047
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	: 7000.13
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		: 3600.083
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	: 7000.13
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		: 3598.625
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	: 7000.13
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		: 3528.812
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	: 7000.13
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		: 3700.000
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	: 7000.13
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		: 3600.067
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	: 7000.13
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		: 3719.132
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	: 7000.13
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		: 3609.704
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        68033356 kB
MemAvailable:   126539368 kB
Buffers:            2128 kB
Cached:         59244024 kB
SwapCached:           68 kB
Active:          3132808 kB
Inactive:       59066596 kB
Active(anon):    2946784 kB
Inactive(anon):    24524 kB
Active(file):     186024 kB
Inactive(file): 59042072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7046492 kB
Writeback:             0 kB
AnonPages:       2951804 kB
Mapped:           114604 kB
Shmem:             18028 kB
KReclaimable:     234308 kB
Slab:             544292 kB
SReclaimable:     234308 kB
SUnreclaim:       309984 kB
KernelStack:        4336 kB
PageTables:         8924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3678584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2813952 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432316 MiB
End job on nodeC033 at 2025-07-01 11:16:55