Trace number 4489787

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)357 3601.4 3630.11

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
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 benchmark240
Best CPU time to get the best result obtained on this benchmark72000.9
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 494314
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 494314
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.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4489787-1751370004.opb'
0.27/0.35	c 	read 17.23MB  (323.09ms)
0.27/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.35	c output proof to 'PROOFDIR/proof-4489787-1751370004'
0.27/0.35	c 
0.27/0.35	c make graph and approximate orbits
0.66/0.75	c	 [group: #orbits ~= 0] (403.28ms)
0.66/0.75	c 
0.66/0.75	c detect special group actions
0.66/0.75	c 	probe for Johnson action (limit=64)
0.66/0.76	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.77	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.77	c 	 (18.60ms)
0.66/0.77	c 
0.66/0.77	c detect symmetries on remainder
0.66/0.78	c 	[graph: #vertices 706703 #edges 2766404]
0.66/0.78	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.75/0.82	c 	 [group: #symmetries 1.00*10^0 #generators 0] (51.00ms)
0.75/0.82	c 
0.75/0.82	c finalize break order and special generators
0.75/0.82	c 
0.75/0.82	c generation finished
0.75/0.82	c 	[sbp: #constraints 0 #add_vars 0]
0.75/0.83	c 
0.75/0.83	c write result to 'HOME/instance-4489787-1751370004.opb.pre'
0.75/0.86	c 	wrote 17.23MB (35.63ms)
0.75/0.86	c ------------------------------------------------------------------
0.75/0.86	c                 403.28ms 48.24% approx_orbits
0.75/0.86	c                 323.08ms 38.64% parse
0.75/0.86	c                  51.00ms  6.10% detect_generic
0.75/0.86	c                  35.63ms  4.26% output
0.75/0.86	c                  18.60ms  2.22% detect_special
0.75/0.86	c                   4.06ms  0.49% other
0.75/0.86	c                   0.38ms  0.05% finalize_order
0.75/0.86	c         ───────────────────────────────────────────────
0.75/0.86	c                 836.04ms   100% total
0.75/0.86	c ------------------------------------------------------------------
0.96/1.01	c RoundingSat 2
0.96/1.01	c branch pb25
0.96/1.01	c commit 63f22ad
4.33/4.45	c #variables 10000 #constraints 656900
4.33/4.45	c objective is ce32 
4.33/4.45	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.33/4.45	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.33/4.45	c bounds - >= 0 @ 2.76098
6.42/6.53	c rational objective 165.75
11.02/11.18	c bounds 6537 >= 0 @ 9.34166
11.02/11.19	c bounds 6240 >= 0 @ 9.34959
11.11/11.20	c bounds 5910 >= 0 @ 9.35579
11.11/11.21	c bounds 5874 >= 0 @ 9.36034
11.11/11.22	c bounds 5757 >= 0 @ 9.36652
11.11/11.22	c bounds 5727 >= 0 @ 9.37427
11.11/11.23	c bounds 5716 >= 0 @ 9.37846
11.11/11.24	c bounds 5681 >= 0 @ 9.38774
11.11/11.25	c bounds 5494 >= 0 @ 9.39332
11.11/11.26	c bounds 5313 >= 0 @ 9.39802
11.11/11.27	c bounds 5000 >= 0 @ 9.40251
11.21/11.31	c bounds 4988 >= 0 @ 9.43526
11.21/11.31	c bounds 4916 >= 0 @ 9.44028
11.21/11.32	c bounds 4868 >= 0 @ 9.44687
11.21/11.33	c bounds 4652 >= 0 @ 9.45257
11.21/11.33	c bounds 4571 >= 0 @ 9.45735
11.21/11.34	c bounds 4516 >= 0 @ 9.46132
11.21/11.35	c bounds 4461 >= 0 @ 9.46826
11.21/11.37	c bounds 4459 >= 0 @ 9.48685
11.21/11.37	c bounds 4401 >= 0 @ 9.49212
11.21/11.38	c bounds 4252 >= 0 @ 9.49745
11.31/11.40	c bounds 4235 >= 0 @ 9.51389
11.31/11.41	c bounds 4124 >= 0 @ 9.52049
11.31/11.41	c bounds 3976 >= 0 @ 9.52501
11.31/11.42	c bounds 3924 >= 0 @ 9.5296
11.31/11.43	c bounds 3717 >= 0 @ 9.53527
11.31/11.44	c bounds 3708 >= 0 @ 9.54201
11.31/11.44	c bounds 3691 >= 0 @ 9.54773
11.31/11.46	c bounds 3684 >= 0 @ 9.55689
11.31/11.46	c bounds 3640 >= 0 @ 9.56382
11.31/11.48	c bounds 3633 >= 0 @ 9.57445
11.31/11.49	c bounds 3594 >= 0 @ 9.58034
11.31/11.49	c bounds 3540 >= 0 @ 9.5844
11.41/11.53	c bounds 3506 >= 0 @ 9.61611
11.41/11.55	c bounds 3470 >= 0 @ 9.62819
11.41/11.56	c bounds 3418 >= 0 @ 9.63456
11.41/11.57	c bounds 3387 >= 0 @ 9.64574
11.41/11.58	c bounds 3345 >= 0 @ 9.6519
11.50/11.69	c bounds 3306 >= 0 @ 9.76145
12.50/12.65	c bounds 3293 >= 0 @ 10.6998
12.50/12.68	c bounds 3285 >= 0 @ 10.7231
12.61/12.72	c bounds 3236 >= 0 @ 10.7671
12.70/12.82	c bounds 3232 >= 0 @ 10.8653
12.80/12.94	c bounds 3228 >= 0 @ 10.9804
14.01/14.10	c bounds 3207 >= 0 @ 12.1123
14.20/14.38	c bounds 3204 >= 0 @ 12.3874
14.30/14.40	c bounds 3182 >= 0 @ 12.3975
14.39/14.59	c bounds 3181 >= 0 @ 12.5764
14.50/14.60	c bounds 3049 >= 0 @ 12.5843
14.50/14.61	c bounds 3036 >= 0 @ 12.5979
14.50/14.62	c bounds 3029 >= 0 @ 12.6036
14.50/14.64	c bounds 3016 >= 0 @ 12.6127
14.50/14.65	c bounds 2913 >= 0 @ 12.624
14.50/14.68	c bounds 2852 >= 0 @ 12.6493
14.50/14.69	c bounds 2793 >= 0 @ 12.6597
14.60/14.70	c bounds 2637 >= 0 @ 12.665
14.60/14.76	c bounds 2621 >= 0 @ 12.7198
14.60/14.77	c bounds 2620 >= 0 @ 12.7277
14.69/14.81	c bounds 2610 >= 0 @ 12.7611
14.80/14.92	c bounds 2558 >= 0 @ 12.8668
14.80/14.93	c bounds 2493 >= 0 @ 12.8751
14.80/14.94	c bounds 2483 >= 0 @ 12.8822
14.80/14.96	c bounds 2389 >= 0 @ 12.894
15.30/15.43	c bounds 2377 >= 0 @ 13.3593
15.30/15.45	c bounds 2325 >= 0 @ 13.3684
15.30/15.47	c bounds 2323 >= 0 @ 13.3873
15.30/15.48	c #Conflicts:       1000 | #Constraints:     657983
15.30/15.48	c bounds 2307 >= 0 @ 13.3985
15.39/15.50	c bounds 2290 >= 0 @ 13.4134
15.39/15.52	c bounds 2267 >= 0 @ 13.4238
15.39/15.53	c bounds 2175 >= 0 @ 13.4321
15.39/15.54	c bounds 2167 >= 0 @ 13.4392
15.39/15.55	c bounds 2087 >= 0 @ 13.445
15.39/15.57	c bounds 2034 >= 0 @ 13.4517
15.39/15.59	c bounds 2031 >= 0 @ 13.4756
15.49/15.60	c bounds 2024 >= 0 @ 13.4826
15.49/15.62	c bounds 1996 >= 0 @ 13.4904
15.49/15.62	c bounds 1992 >= 0 @ 13.4967
15.49/15.64	c bounds 1969 >= 0 @ 13.5058
15.49/15.65	c bounds 1965 >= 0 @ 13.5158
15.49/15.66	c bounds 1906 >= 0 @ 13.5233
15.49/15.67	c bounds 1905 >= 0 @ 13.5289
15.49/15.68	c bounds 1864 >= 0 @ 13.5377
15.59/15.70	c bounds 1835 >= 0 @ 13.5496
15.59/15.79	c bounds 1677 >= 0 @ 13.6397
15.69/15.80	c bounds 1660 >= 0 @ 13.6459
15.69/15.81	c bounds 1619 >= 0 @ 13.6552
15.69/15.82	c bounds 1612 >= 0 @ 13.6604
15.69/15.83	c bounds 1593 >= 0 @ 13.6689
15.69/15.85	c bounds 1584 >= 0 @ 13.6799
15.69/15.86	c bounds 1455 >= 0 @ 13.6893
15.69/15.87	c bounds 1452 >= 0 @ 13.6984
15.69/15.88	c bounds 1404 >= 0 @ 13.7071
15.69/15.89	c bounds 1397 >= 0 @ 13.7126
15.79/15.91	c bounds 1372 >= 0 @ 13.7198
15.79/15.97	c bounds 1371 >= 0 @ 13.7862
16.09/16.26	c bounds 1160 >= 0 @ 14.0447
16.09/16.27	c bounds 1150 >= 0 @ 14.0511
16.09/16.28	c bounds 1137 >= 0 @ 14.0631
16.29/16.46	c bounds 1136 >= 0 @ 14.2348
16.29/16.48	c bounds 1135 >= 0 @ 14.2494
16.39/16.50	c bounds 1133 >= 0 @ 14.2633
16.50/16.66	c bounds 1115 >= 0 @ 14.4159
16.50/16.68	c bounds 1105 >= 0 @ 14.4268
16.58/16.71	c bounds 1102 >= 0 @ 14.4564
16.58/16.72	c bounds 1095 >= 0 @ 14.4661
16.58/16.74	c bounds 1086 >= 0 @ 14.4753
16.58/16.75	c bounds 1084 >= 0 @ 14.481
16.58/16.76	c bounds 1081 >= 0 @ 14.4897
16.58/16.77	c bounds 1054 >= 0 @ 14.4982
16.58/16.79	c bounds 1049 >= 0 @ 14.5149
16.69/16.81	c bounds 1023 >= 0 @ 14.5317
16.69/16.83	c bounds 1022 >= 0 @ 14.5528
16.69/16.85	c bounds 1009 >= 0 @ 14.5638
16.69/16.87	c bounds 952 >= 0 @ 14.5784
16.69/16.88	c bounds 945 >= 0 @ 14.5872
17.09/17.21	c bounds 937 >= 0 @ 14.903
17.09/17.22	c bounds 925 >= 0 @ 14.913
17.09/17.24	c bounds 875 >= 0 @ 14.922
17.19/17.34	c bounds 760 >= 0 @ 15.0205
17.29/17.40	c bounds 661 >= 0 @ 15.0613
17.69/17.88	c bounds 642 >= 0 @ 15.5155
17.69/17.89	c bounds 640 >= 0 @ 15.5258
17.78/17.90	c bounds 631 >= 0 @ 15.5349
17.78/17.91	c bounds 624 >= 0 @ 15.5429
18.48/18.63	c bounds 618 >= 0 @ 16.2431
27.06/27.29	c #Conflicts:       2000 | #Constraints:     659044
27.06/27.29	c INPROCESSING
27.06/27.29	c GARBAGE COLLECT
27.06/27.29	c #Conflicts:       3000 | #Constraints:     658916
27.06/27.29	c #Conflicts:       4000 | #Constraints:     659916
27.06/27.29	c INPROCESSING
27.06/27.29	c GARBAGE COLLECT
27.06/27.29	c bounds 615 >= 0 @ 24.7638
27.65/27.81	c bounds 610 >= 0 @ 25.2598
27.75/27.94	c bounds 506 >= 0 @ 25.3726
49.98/50.29	c #Conflicts:       5000 | #Constraints:     659324
49.98/50.29	c #Conflicts:       6000 | #Constraints:     660324
49.98/50.29	c INPROCESSING
49.98/50.29	c GARBAGE COLLECT
49.98/50.29	c #Conflicts:       7000 | #Constraints:     659324
49.98/50.29	c #Conflicts:       8000 | #Constraints:     660324
49.98/50.29	c #Conflicts:       9000 | #Constraints:     661324
49.98/50.29	c INPROCESSING
49.98/50.29	c GARBAGE COLLECT
49.98/50.29	c rational objective 167
53.66/53.94	c bounds 502 >= 0 @ 51.0872
54.36/54.67	c bounds 499 >= 0 @ 51.7982
54.46/54.76	c bounds 498 >= 0 @ 51.887
54.56/54.81	c bounds 497 >= 0 @ 51.9412
55.26/55.56	c bounds 496 >= 0 @ 52.6671
72.40/72.79	c #Conflicts:      10000 | #Constraints:     660032
72.40/72.79	c #Conflicts:      11000 | #Constraints:     661032
72.40/72.79	c #Conflicts:      12000 | #Constraints:     662032
72.40/72.79	c INPROCESSING
72.40/72.79	c GARBAGE COLLECT
72.40/72.79	c #Conflicts:      13000 | #Constraints:     660477
72.40/72.79	c #Conflicts:      14000 | #Constraints:     661477
72.40/72.79	c #Conflicts:      15000 | #Constraints:     662477
72.40/72.79	c INPROCESSING
72.40/72.79	c GARBAGE COLLECT
72.40/72.79	c rational objective 168.5
76.49/76.86	c bounds 489 >= 0 @ 73.629
82.42/83.06	c bounds 488 >= 0 @ 79.4312
93.58/94.23	c #Conflicts:      16000 | #Constraints:     660721
93.58/94.23	c #Conflicts:      17000 | #Constraints:     661721
93.58/94.23	c #Conflicts:      18000 | #Constraints:     662721
93.58/94.23	c INPROCESSING
93.58/94.23	c GARBAGE COLLECT
93.58/94.23	c rational objective 170
112.12/112.83	c #Conflicts:      19000 | #Constraints:     660741
112.12/112.83	c #Conflicts:      20000 | #Constraints:     661741
112.12/112.83	c #Conflicts:      21000 | #Constraints:     662741
112.12/112.83	c INPROCESSING
112.12/112.83	c GARBAGE COLLECT
112.12/112.83	c rational objective 170.5
131.97/132.75	c #Conflicts:      22000 | #Constraints:     660537
131.97/132.75	c #Conflicts:      23000 | #Constraints:     661537
131.97/132.75	c #Conflicts:      24000 | #Constraints:     662537
131.97/132.75	c #Conflicts:      25000 | #Constraints:     663537
131.97/132.75	c INPROCESSING
131.97/132.75	c GARBAGE COLLECT
131.97/132.75	c rational objective 171
135.66/136.45	c bounds 485 >= 0 @ 132.308
135.66/136.49	c bounds 484 >= 0 @ 132.339
135.76/136.52	c bounds 483 >= 0 @ 132.371
135.76/136.57	c bounds 480 >= 0 @ 132.418
138.05/138.80	c bounds 479 >= 0 @ 134.602
138.36/139.12	c bounds 479 >= 5 @ 134.914
159.26/165.43	c #Conflicts:      26000 | #Constraints:     661152
159.26/165.43	c #Conflicts:      27000 | #Constraints:     662160
159.26/165.43	c #Conflicts:      28000 | #Constraints:     663165
159.26/165.43	c #Conflicts:      29000 | #Constraints:     664171
159.26/165.43	c INPROCESSING
159.26/165.43	c GARBAGE COLLECT
159.26/165.43	c rational objective 217.75
188.61/195.01	c #Conflicts:      30000 | #Constraints:     661576
188.61/195.01	c #Conflicts:      31000 | #Constraints:     662581
188.61/195.01	c #Conflicts:      32000 | #Constraints:     663584
188.61/195.01	c #Conflicts:      33000 | #Constraints:     664589
188.61/195.01	c INPROCESSING
188.61/195.01	c GARBAGE COLLECT
188.61/195.01	c rational objective 283.75
192.40/198.80	c bounds 478 >= 5 @ 188.443
192.49/198.95	c bounds 474 >= 5 @ 188.584
192.49/198.98	c bounds 473 >= 5 @ 188.609
193.49/199.91	c bounds 472 >= 5 @ 189.526
194.19/200.62	c bounds 468 >= 5 @ 190.228
194.19/200.66	c bounds 465 >= 5 @ 190.258
194.29/200.70	c bounds 464 >= 5 @ 190.296
194.59/201.05	c bounds 458 >= 5 @ 190.601
194.89/201.38	c bounds 453 >= 5 @ 190.927
195.28/201.77	c bounds 451 >= 5 @ 191.311
195.38/201.82	c bounds 445 >= 5 @ 191.359
195.49/201.92	c bounds 443 >= 5 @ 191.452
195.59/202.09	c bounds 441 >= 5 @ 191.619
195.69/202.11	c bounds 440 >= 5 @ 191.642
196.68/203.13	c bounds 439 >= 5 @ 192.642
196.98/203.49	c bounds 438 >= 5 @ 192.988
197.18/203.67	c bounds 437 >= 5 @ 193.169
197.18/203.69	c bounds 436 >= 5 @ 193.185
197.68/204.14	c bounds 433 >= 5 @ 193.607
197.98/204.44	c bounds 430 >= 5 @ 193.893
198.28/204.70	c bounds 426 >= 5 @ 194.156
199.28/205.70	c bounds 420 >= 5 @ 195.131
199.60/206.37	c bounds 419 >= 5 @ 195.514
200.10/206.82	c bounds 418 >= 5 @ 195.949
200.10/206.85	c bounds 417 >= 5 @ 195.984
200.40/207.16	c bounds 416 >= 5 @ 196.285
200.40/207.19	c bounds 414 >= 5 @ 196.308
200.59/207.34	c bounds 413 >= 5 @ 196.449
200.99/207.72	c bounds 407 >= 5 @ 196.818
203.29/210.06	c #Conflicts:      34000 | #Constraints:     661859
203.29/210.06	c bounds 403 >= 5 @ 199.117
203.29/210.08	c bounds 403 >= 9 @ 199.133
219.44/226.27	c #Conflicts:      35000 | #Constraints:     662864
219.44/226.27	c #Conflicts:      36000 | #Constraints:     663864
219.44/226.27	c #Conflicts:      37000 | #Constraints:     664864
219.44/226.27	c INPROCESSING
219.44/226.27	c GARBAGE COLLECT
219.44/226.27	c rational objective 172.236
243.84/250.85	c #Conflicts:      38000 | #Constraints:     661798
243.84/250.85	c #Conflicts:      39000 | #Constraints:     662798
243.84/250.85	c #Conflicts:      40000 | #Constraints:     663799
243.84/250.85	c #Conflicts:      41000 | #Constraints:     664800
243.84/250.85	c INPROCESSING
243.84/250.85	c GARBAGE COLLECT
243.84/250.85	c rational objective 175.215
247.83/254.89	c bounds 400 >= 9 @ 243.539
247.93/254.97	c bounds 392 >= 9 @ 243.623
249.52/256.59	c bounds 390 >= 9 @ 245.213
270.74/277.80	c #Conflicts:      42000 | #Constraints:     661577
270.74/277.80	c #Conflicts:      43000 | #Constraints:     662577
270.74/277.80	c #Conflicts:      44000 | #Constraints:     663577
270.74/277.80	c #Conflicts:      45000 | #Constraints:     664577
270.74/277.80	c #Conflicts:      46000 | #Constraints:     665577
270.74/277.80	c INPROCESSING
270.74/277.80	c GARBAGE COLLECT
270.74/277.80	c rational objective 176.375
274.94/282.05	c bounds 384 >= 9 @ 270.403
276.63/283.70	c bounds 382 >= 9 @ 272.02
276.63/283.72	c bounds 382 >= 11 @ 272.03
276.63/283.73	c bounds 382 >= 13 @ 272.039
276.63/283.75	c bounds 382 >= 15 @ 272.05
276.63/283.76	c bounds 382 >= 17 @ 272.06
276.63/283.78	c bounds 382 >= 19 @ 272.069
276.74/283.80	c bounds 382 >= 21 @ 272.085
276.74/283.82	c bounds 382 >= 23 @ 272.093
276.74/283.84	c bounds 382 >= 25 @ 272.106
276.74/283.88	c bounds 382 >= 27 @ 272.145
277.03/284.12	c bounds 382 >= 29 @ 272.372
282.92/290.05	c #Conflicts:      47000 | #Constraints:     662228
282.92/290.05	c bounds 382 >= 31 @ 278.208
301.87/309.07	c #Conflicts:      48000 | #Constraints:     663243
301.87/309.07	c #Conflicts:      49000 | #Constraints:     664243
301.87/309.07	c #Conflicts:      50000 | #Constraints:     665243
301.87/309.07	c #Conflicts:      51000 | #Constraints:     666243
301.87/309.07	c INPROCESSING
301.87/309.07	c GARBAGE COLLECT
301.87/309.07	c rational objective 176.4
307.65/314.80	c bounds 380 >= 31 @ 302.624
316.23/323.42	c #Conflicts:      52000 | #Constraints:     662631
316.23/323.42	c bounds 375 >= 31 @ 311.1
316.23/323.45	c bounds 375 >= 32 @ 311.115
316.23/323.46	c bounds 375 >= 33 @ 311.124
316.23/323.48	c bounds 375 >= 34 @ 311.136
316.23/323.49	c bounds 375 >= 35 @ 311.146
316.32/323.51	c bounds 375 >= 36 @ 311.156
316.32/323.53	c bounds 375 >= 37 @ 311.17
316.32/323.54	c bounds 375 >= 38 @ 311.179
316.32/323.55	c bounds 375 >= 39 @ 311.187
316.32/323.57	c bounds 375 >= 40 @ 311.198
316.43/323.60	c bounds 375 >= 41 @ 311.215
316.43/323.62	c bounds 375 >= 42 @ 311.228
316.43/323.64	c bounds 375 >= 43 @ 311.242
316.43/323.67	c bounds 375 >= 44 @ 311.267
316.43/323.69	c bounds 375 >= 45 @ 311.288
316.53/323.72	c bounds 375 >= 46 @ 311.316
316.53/323.75	c bounds 375 >= 47 @ 311.337
316.62/323.81	c bounds 375 >= 48 @ 311.395
316.62/323.85	c bounds 375 >= 49 @ 311.421
316.62/323.89	c bounds 375 >= 50 @ 311.458
323.01/330.29	c bounds 375 >= 51 @ 317.79
323.11/330.35	c bounds 375 >= 52 @ 317.844
323.20/330.40	c bounds 375 >= 53 @ 317.88
323.30/330.54	c bounds 375 >= 54 @ 318.018
323.41/330.65	c bounds 375 >= 55 @ 318.117
324.01/331.26	c bounds 375 >= 56 @ 318.703
324.41/331.64	c bounds 375 >= 57 @ 319.064
325.00/332.22	c bounds 375 >= 58 @ 319.618
326.00/333.28	c #Conflicts:      53000 | #Constraints:     663895
326.00/333.28	c bounds 375 >= 59 @ 320.646
327.60/334.87	c bounds 375 >= 60 @ 322.157
329.29/336.53	c #Conflicts:      54000 | #Constraints:     664943
329.29/336.53	c bounds 375 >= 61 @ 323.763
333.48/340.70	c #Conflicts:      55000 | #Constraints:     665970
333.48/340.70	c bounds 375 >= 62 @ 327.798
399.70/407.11	c #Conflicts:      56000 | #Constraints:     667009
399.70/407.11	c INPROCESSING
399.70/407.11	c GARBAGE COLLECT
399.70/407.11	c #Conflicts:      57000 | #Constraints:     663085
399.70/407.11	c bounds 375 >= 63 @ 393.651
404.69/412.14	c #Conflicts:      58000 | #Constraints:     664142
404.69/412.14	c #Conflicts:      59000 | #Constraints:     665142
404.69/412.14	c bounds 375 >= 64 @ 398.57
410.47/417.92	c #Conflicts:      60000 | #Constraints:     666178
410.47/417.92	c bounds 375 >= 65 @ 404.271
413.76/421.25	c bounds 375 >= 66 @ 407.51
457.54/465.11	c #Conflicts:      61000 | #Constraints:     667229
457.54/465.11	c INPROCESSING
457.54/465.11	c GARBAGE COLLECT
457.54/465.11	WSVECS04 Frhs2[1441]: 6 -6.00006 0 shouldn't be
457.54/465.11	WSVECS04 Frhs2[9439]: 6 -1.00004 0 shouldn't be
462.62/470.29	c rational objective 176.944
472.19/479.83	c bounds 375 >= 67 @ 465.751
487.86/495.54	c #Conflicts:      62000 | #Constraints:     663177
487.86/495.54	c #Conflicts:      63000 | #Constraints:     664177
487.86/495.54	c #Conflicts:      64000 | #Constraints:     665177
487.86/495.54	c bounds 372 >= 67 @ 481.269
491.24/498.95	c bounds 372 >= 68 @ 484.593
507.50/515.29	c #Conflicts:      65000 | #Constraints:     666217
507.50/515.29	c #Conflicts:      66000 | #Constraints:     667217
507.50/515.29	c bounds 372 >= 69 @ 500.736
512.19/519.92	c INPROCESSING
512.19/519.92	c GARBAGE COLLECT
512.19/519.92	c #Conflicts:      67000 | #Constraints:     662975
512.19/519.92	c bounds 372 >= 70 @ 505.246
520.56/528.33	c #Conflicts:      68000 | #Constraints:     664005
520.56/528.33	c #Conflicts:      69000 | #Constraints:     665005
520.56/528.33	c bounds 372 >= 71 @ 513.389
535.83/543.67	c #Conflicts:      70000 | #Constraints:     666041
535.83/543.67	c #Conflicts:      71000 | #Constraints:     667041
535.83/543.67	c bounds 372 >= 72 @ 528.501
539.33/547.18	c #Conflicts:      72000 | #Constraints:     668072
539.33/547.18	c bounds 367 >= 72 @ 531.936
547.70/555.53	c INPROCESSING
547.70/555.53	c GARBAGE COLLECT
547.70/555.53	c rational objective 176.992
577.30/585.21	c #Conflicts:      73000 | #Constraints:     663608
577.30/585.21	c #Conflicts:      74000 | #Constraints:     664608
577.30/585.21	c #Conflicts:      75000 | #Constraints:     665608
577.30/585.21	c #Conflicts:      76000 | #Constraints:     666608
577.30/585.21	c bounds 367 >= 73 @ 569.284
580.00/587.98	c bounds 363 >= 73 @ 571.99
751.98/760.45	c #Conflicts:      77000 | #Constraints:     667663
751.98/760.45	c #Conflicts:      78000 | #Constraints:     668663
751.98/760.45	c INPROCESSING
751.98/760.45	c GARBAGE COLLECT
751.98/760.45	c #Conflicts:      79000 | #Constraints:     664037
751.98/760.45	c #Conflicts:      80000 | #Constraints:     665043
751.98/760.45	c #Conflicts:      81000 | #Constraints:     666049
751.98/760.45	c #Conflicts:      82000 | #Constraints:     667054
751.98/760.45	c #Conflicts:      83000 | #Constraints:     668059
751.98/760.45	c #Conflicts:      84000 | #Constraints:     669066
751.98/760.45	c INPROCESSING
751.98/760.45	c GARBAGE COLLECT
751.98/760.45	c rational objective 177.002
814.19/822.81	c #Conflicts:      85000 | #Constraints:     664260
814.19/822.81	c #Conflicts:      86000 | #Constraints:     665261
814.19/822.81	c #Conflicts:      87000 | #Constraints:     666262
814.19/822.81	c #Conflicts:      88000 | #Constraints:     667263
814.19/822.81	c #Conflicts:      89000 | #Constraints:     668264
814.19/822.81	c #Conflicts:      90000 | #Constraints:     669264
814.19/822.81	c INPROCESSING
814.19/822.81	c GARBAGE COLLECT
814.19/822.81	c rational objective 178.252
822.93/831.65	c #Conflicts:      91000 | #Constraints:     664220
822.93/831.65	c bounds 363 >= 74 @ 812.456
838.89/847.67	c #Conflicts:      92000 | #Constraints:     665268
838.89/847.67	c #Conflicts:      93000 | #Constraints:     666268
838.89/847.67	c bounds 363 >= 75 @ 828.233
855.55/864.39	c #Conflicts:      94000 | #Constraints:     667304
855.55/864.39	c #Conflicts:      95000 | #Constraints:     668305
855.55/864.39	c bounds 363 >= 76 @ 844.664
993.95/1003.25	c #Conflicts:      96000 | #Constraints:     669338
993.95/1003.25	c INPROCESSING
993.95/1003.25	c GARBAGE COLLECT
993.95/1003.25	c #Conflicts:      97000 | #Constraints:     664096
993.95/1003.25	c #Conflicts:      98000 | #Constraints:     665097
993.95/1003.25	c #Conflicts:      99000 | #Constraints:     666097
993.95/1003.25	c #Conflicts:     100000 | #Constraints:     667098
993.95/1003.25	c #Conflicts:     101000 | #Constraints:     668098
993.95/1003.25	c bounds 363 >= 77 @ 982.342
1095.03/1104.64	c #Conflicts:     102000 | #Constraints:     669149
1095.03/1104.64	c #Conflicts:     103000 | #Constraints:     670149
1095.03/1104.64	c INPROCESSING
1095.03/1104.64	c GARBAGE COLLECT
1095.03/1104.64	c rational objective 196.291
1163.50/1173.37	c #Conflicts:     104000 | #Constraints:     664721
1163.50/1173.37	c #Conflicts:     105000 | #Constraints:     665724
1163.50/1173.37	c #Conflicts:     106000 | #Constraints:     666724
1163.50/1173.37	c #Conflicts:     107000 | #Constraints:     667725
1163.50/1173.37	c #Conflicts:     108000 | #Constraints:     668725
1163.50/1173.37	c #Conflicts:     109000 | #Constraints:     669725
1163.50/1173.37	c bounds 363 >= 78 @ 1150.61
1274.59/1284.78	c #Conflicts:     110000 | #Constraints:     670782
1274.59/1284.78	c INPROCESSING
1274.59/1284.78	c GARBAGE COLLECT
1274.59/1284.78	c #Conflicts:     111000 | #Constraints:     665139
1274.59/1284.78	c #Conflicts:     112000 | #Constraints:     666139
1274.59/1284.78	c #Conflicts:     113000 | #Constraints:     667139
1274.59/1284.78	c #Conflicts:     114000 | #Constraints:     668139
1274.59/1284.78	c #Conflicts:     115000 | #Constraints:     669139
1274.59/1284.78	c #Conflicts:     116000 | #Constraints:     670139
1274.59/1284.78	c #Conflicts:     117000 | #Constraints:     671139
1274.59/1284.78	c INPROCESSING
1274.59/1284.78	c GARBAGE COLLECT
1274.59/1284.78	c #Conflicts:     118000 | #Constraints:     665332
1274.59/1284.78	c #Conflicts:     119000 | #Constraints:     666332
1274.59/1284.78	c #Conflicts:     120000 | #Constraints:     667332
1274.59/1284.78	c bounds 363 >= 79 @ 1260.23
1360.64/1371.06	c #Conflicts:     121000 | #Constraints:     668404
1360.64/1371.06	c #Conflicts:     122000 | #Constraints:     669404
1360.64/1371.06	c #Conflicts:     123000 | #Constraints:     670404
1360.64/1371.06	c #Conflicts:     124000 | #Constraints:     671405
1360.64/1371.06	c INPROCESSING
1360.64/1371.06	c GARBAGE COLLECT
1360.64/1371.06	c #Conflicts:     125000 | #Constraints:     665382
1360.64/1371.06	c #Conflicts:     126000 | #Constraints:     666382
1360.64/1371.06	c #Conflicts:     127000 | #Constraints:     667383
1360.64/1371.06	c #Conflicts:     128000 | #Constraints:     668383
1360.64/1371.06	c #Conflicts:     129000 | #Constraints:     669383
1360.64/1371.06	c #Conflicts:     130000 | #Constraints:     670383
1360.64/1371.06	c #Conflicts:     131000 | #Constraints:     671383
1360.64/1371.06	c INPROCESSING
1360.64/1371.06	c GARBAGE COLLECT
1360.64/1371.06	c rational objective 196.303
1472.28/1483.01	c #Conflicts:     132000 | #Constraints:     665158
1472.28/1483.01	c #Conflicts:     133000 | #Constraints:     666161
1472.28/1483.01	c #Conflicts:     134000 | #Constraints:     667162
1472.28/1483.01	c #Conflicts:     135000 | #Constraints:     668168
1472.28/1483.01	c #Conflicts:     136000 | #Constraints:     669177
1472.28/1483.01	c #Conflicts:     137000 | #Constraints:     670177
1472.28/1483.01	c #Conflicts:     138000 | #Constraints:     671178
1472.28/1483.01	c #Conflicts:     139000 | #Constraints:     672178
1472.28/1483.01	c INPROCESSING
1472.28/1483.01	c GARBAGE COLLECT
1472.28/1483.01	c rational objective 196.387
1579.92/1591.09	c #Conflicts:     140000 | #Constraints:     665776
1579.92/1591.09	c #Conflicts:     141000 | #Constraints:     666776
1579.92/1591.09	c #Conflicts:     142000 | #Constraints:     667777
1579.92/1591.09	c #Conflicts:     143000 | #Constraints:     668778
1579.92/1591.09	c #Conflicts:     144000 | #Constraints:     669778
1579.92/1591.09	c #Conflicts:     145000 | #Constraints:     670778
1579.92/1591.09	c #Conflicts:     146000 | #Constraints:     671778
1579.92/1591.09	c #Conflicts:     147000 | #Constraints:     672778
1579.92/1591.09	c INPROCESSING
1579.92/1591.09	c GARBAGE COLLECT
1579.92/1591.09	c rational objective 196.387
1632.42/1643.72	c #Conflicts:     148000 | #Constraints:     666162
1632.42/1643.72	c #Conflicts:     149000 | #Constraints:     667164
1632.42/1643.72	c #Conflicts:     150000 | #Constraints:     668164
1632.42/1643.72	c #Conflicts:     151000 | #Constraints:     669164
1632.42/1643.72	c bounds 363 >= 80 @ 1613.56
1723.43/1735.02	c #Conflicts:     152000 | #Constraints:     670239
1723.43/1735.02	c #Conflicts:     153000 | #Constraints:     671240
1723.43/1735.02	c #Conflicts:     154000 | #Constraints:     672240
1723.43/1735.02	c #Conflicts:     155000 | #Constraints:     673242
1723.43/1735.02	c INPROCESSING
1723.43/1735.02	c GARBAGE COLLECT
1723.43/1735.02	c rational objective 196.387
1856.16/1868.23	c #Conflicts:     156000 | #Constraints:     666397
1856.16/1868.23	c #Conflicts:     157000 | #Constraints:     667399
1856.16/1868.23	c #Conflicts:     158000 | #Constraints:     668399
1856.16/1868.23	c #Conflicts:     159000 | #Constraints:     669400
1856.16/1868.23	c #Conflicts:     160000 | #Constraints:     670400
1856.16/1868.23	c #Conflicts:     161000 | #Constraints:     671400
1856.16/1868.23	c #Conflicts:     162000 | #Constraints:     672400
1856.16/1868.23	c #Conflicts:     163000 | #Constraints:     673400
1856.16/1868.23	c INPROCESSING
1856.16/1868.23	c GARBAGE COLLECT
1856.16/1868.23	c #Conflicts:     164000 | #Constraints:     666411
1856.16/1868.23	c #Conflicts:     165000 | #Constraints:     667411
1856.16/1868.23	c #Conflicts:     166000 | #Constraints:     668411
1856.16/1868.23	c #Conflicts:     167000 | #Constraints:     669412
1856.16/1868.23	c #Conflicts:     168000 | #Constraints:     670412
1856.16/1868.23	c bounds 363 >= 81 @ 1834.65
1931.42/1943.86	c #Conflicts:     169000 | #Constraints:     671478
1931.42/1943.86	c #Conflicts:     170000 | #Constraints:     672479
1931.42/1943.86	c #Conflicts:     171000 | #Constraints:     673479
1931.42/1943.86	c INPROCESSING
1931.42/1943.86	c GARBAGE COLLECT
1931.42/1943.86	c rational objective 196.387
2252.03/2265.84	c #Conflicts:     172000 | #Constraints:     666258
2252.03/2265.84	c #Conflicts:     173000 | #Constraints:     667258
2252.03/2265.84	c #Conflicts:     174000 | #Constraints:     668259
2252.03/2265.84	c #Conflicts:     175000 | #Constraints:     669261
2252.03/2265.84	c #Conflicts:     176000 | #Constraints:     670261
2252.03/2265.84	c #Conflicts:     177000 | #Constraints:     671261
2252.03/2265.84	c #Conflicts:     178000 | #Constraints:     672261
2252.03/2265.84	c #Conflicts:     179000 | #Constraints:     673261
2252.03/2265.84	c #Conflicts:     180000 | #Constraints:     674261
2252.03/2265.84	c INPROCESSING
2252.03/2265.84	c GARBAGE COLLECT
2252.03/2265.84	c #Conflicts:     181000 | #Constraints:     666828
2252.03/2265.84	c #Conflicts:     182000 | #Constraints:     667829
2252.03/2265.84	c #Conflicts:     183000 | #Constraints:     668829
2252.03/2265.84	c #Conflicts:     184000 | #Constraints:     669830
2252.03/2265.84	c #Conflicts:     185000 | #Constraints:     670845
2252.03/2265.84	c #Conflicts:     186000 | #Constraints:     671845
2252.03/2265.84	c #Conflicts:     187000 | #Constraints:     672845
2252.03/2265.84	c bounds 363 >= 82 @ 2226.91
2402.03/2416.45	c #Conflicts:     188000 | #Constraints:     673914
2402.03/2416.45	c #Conflicts:     189000 | #Constraints:     674915
2402.03/2416.45	c INPROCESSING
2402.03/2416.45	c GARBAGE COLLECT
2402.03/2416.45	c #Conflicts:     190000 | #Constraints:     667288
2402.03/2416.45	c #Conflicts:     191000 | #Constraints:     668289
2402.03/2416.45	c #Conflicts:     192000 | #Constraints:     669289
2402.03/2416.45	c #Conflicts:     193000 | #Constraints:     670289
2402.03/2416.45	c #Conflicts:     194000 | #Constraints:     671290
2402.03/2416.45	c #Conflicts:     195000 | #Constraints:     672291
2402.03/2416.45	c #Conflicts:     196000 | #Constraints:     673291
2402.03/2416.45	c #Conflicts:     197000 | #Constraints:     674291
2402.03/2416.45	c #Conflicts:     198000 | #Constraints:     675291
2402.03/2416.45	c INPROCESSING
2402.03/2416.45	c GARBAGE COLLECT
2402.03/2416.45	c rational objective 196.387
2563.32/2578.37	c #Conflicts:     199000 | #Constraints:     667469
2563.32/2578.37	c #Conflicts:     200000 | #Constraints:     668470
2563.32/2578.37	c #Conflicts:     201000 | #Constraints:     669471
2563.32/2578.37	c #Conflicts:     202000 | #Constraints:     670471
2563.32/2578.37	c #Conflicts:     203000 | #Constraints:     671471
2563.32/2578.37	c #Conflicts:     204000 | #Constraints:     672471
2563.32/2578.37	c #Conflicts:     205000 | #Constraints:     673473
2563.32/2578.37	c #Conflicts:     206000 | #Constraints:     674473
2563.32/2578.37	c #Conflicts:     207000 | #Constraints:     675474
2563.32/2578.37	c INPROCESSING
2563.32/2578.37	c GARBAGE COLLECT
2563.32/2578.37	c rational objective 196.387
2697.37/2712.77	c #Conflicts:     208000 | #Constraints:     667463
2697.37/2712.77	c #Conflicts:     209000 | #Constraints:     668466
2697.37/2712.77	c #Conflicts:     210000 | #Constraints:     669466
2697.37/2712.77	c #Conflicts:     211000 | #Constraints:     670466
2697.37/2712.77	c #Conflicts:     212000 | #Constraints:     671467
2697.37/2712.77	c #Conflicts:     213000 | #Constraints:     672467
2697.37/2712.77	c #Conflicts:     214000 | #Constraints:     673467
2697.37/2712.77	c #Conflicts:     215000 | #Constraints:     674467
2697.37/2712.77	c #Conflicts:     216000 | #Constraints:     675468
2697.37/2712.77	c INPROCESSING
2697.37/2712.77	c GARBAGE COLLECT
2697.37/2712.77	c rational objective 196.387
2801.39/2817.02	c #Conflicts:     217000 | #Constraints:     667270
2801.39/2817.02	c #Conflicts:     218000 | #Constraints:     668270
2801.39/2817.02	c #Conflicts:     219000 | #Constraints:     669271
2801.39/2817.02	c #Conflicts:     220000 | #Constraints:     670272
2801.39/2817.02	c #Conflicts:     221000 | #Constraints:     671272
2801.39/2817.02	c #Conflicts:     222000 | #Constraints:     672273
2801.39/2817.02	c #Conflicts:     223000 | #Constraints:     673273
2801.39/2817.02	c #Conflicts:     224000 | #Constraints:     674273
2801.39/2817.02	c bounds 363 >= 83 @ 2770.58
2948.74/2964.86	c #Conflicts:     225000 | #Constraints:     675339
2948.74/2964.86	c #Conflicts:     226000 | #Constraints:     676340
2948.74/2964.86	c INPROCESSING
2948.74/2964.86	c GARBAGE COLLECT
2948.74/2964.86	c #Conflicts:     227000 | #Constraints:     667903
2948.74/2964.86	c #Conflicts:     228000 | #Constraints:     668903
2948.74/2964.86	c #Conflicts:     229000 | #Constraints:     669903
2948.74/2964.86	c #Conflicts:     230000 | #Constraints:     670903
2948.74/2964.86	c #Conflicts:     231000 | #Constraints:     671903
2948.74/2964.86	c #Conflicts:     232000 | #Constraints:     672903
2948.74/2964.86	c #Conflicts:     233000 | #Constraints:     673903
2948.74/2964.86	c #Conflicts:     234000 | #Constraints:     674903
2948.74/2964.86	c #Conflicts:     235000 | #Constraints:     675903
2948.74/2964.86	c #Conflicts:     236000 | #Constraints:     676903
2948.74/2964.86	c INPROCESSING
2948.74/2964.86	c GARBAGE COLLECT
2948.74/2964.86	c rational objective 196.472
3079.87/3096.39	c #Conflicts:     237000 | #Constraints:     668287
3079.87/3096.39	c #Conflicts:     238000 | #Constraints:     669289
3079.87/3096.39	c #Conflicts:     239000 | #Constraints:     670290
3079.87/3096.39	c #Conflicts:     240000 | #Constraints:     671290
3079.87/3096.39	c #Conflicts:     241000 | #Constraints:     672290
3079.87/3096.39	c #Conflicts:     242000 | #Constraints:     673290
3079.87/3096.39	c #Conflicts:     243000 | #Constraints:     674291
3079.87/3096.39	c #Conflicts:     244000 | #Constraints:     675291
3079.87/3096.39	c #Conflicts:     245000 | #Constraints:     676291
3079.87/3096.39	c #Conflicts:     246000 | #Constraints:     677291
3079.87/3096.39	c INPROCESSING
3079.87/3096.39	c GARBAGE COLLECT
3079.87/3096.39	c rational objective 197.633
3223.09/3239.96	c #Conflicts:     247000 | #Constraints:     668494
3223.09/3239.96	c #Conflicts:     248000 | #Constraints:     669494
3223.09/3239.96	c #Conflicts:     249000 | #Constraints:     670495
3223.09/3239.96	c #Conflicts:     250000 | #Constraints:     671495
3223.09/3239.96	c #Conflicts:     251000 | #Constraints:     672495
3223.09/3239.96	c #Conflicts:     252000 | #Constraints:     673495
3223.09/3239.96	c #Conflicts:     253000 | #Constraints:     674495
3223.09/3239.96	c #Conflicts:     254000 | #Constraints:     675495
3223.09/3239.96	c #Conflicts:     255000 | #Constraints:     676496
3223.09/3239.96	c #Conflicts:     256000 | #Constraints:     677496
3223.09/3239.96	c INPROCESSING
3223.09/3239.96	c GARBAGE COLLECT
3223.09/3239.96	c #Conflicts:     257000 | #Constraints:     668513
3223.09/3239.96	c #Conflicts:     258000 | #Constraints:     669527
3223.09/3239.96	c bounds 360 >= 83 @ 3186.06
3299.29/3316.33	c #Conflicts:     259000 | #Constraints:     670533
3299.29/3316.33	c #Conflicts:     260000 | #Constraints:     671533
3299.29/3316.33	c #Conflicts:     261000 | #Constraints:     672533
3299.29/3316.33	c #Conflicts:     262000 | #Constraints:     673533
3299.29/3316.33	c #Conflicts:     263000 | #Constraints:     674533
3299.29/3316.33	c #Conflicts:     264000 | #Constraints:     675533
3299.29/3316.33	c #Conflicts:     265000 | #Constraints:     676533
3299.29/3316.33	c #Conflicts:     266000 | #Constraints:     677533
3299.29/3316.33	c INPROCESSING
3299.29/3316.33	c GARBAGE COLLECT
3299.29/3316.33	c rational objective 174.377
3302.48/3319.53	c bounds 359 >= 83 @ 3263.9
3339.77/3356.95	c #Conflicts:     267000 | #Constraints:     668322
3339.77/3356.95	c #Conflicts:     268000 | #Constraints:     669325
3339.77/3356.95	c #Conflicts:     269000 | #Constraints:     670330
3339.77/3356.95	c #Conflicts:     270000 | #Constraints:     671335
3339.77/3356.95	c bounds 357 >= 83 @ 3300.64
3406.66/3424.06	c #Conflicts:     271000 | #Constraints:     672337
3406.66/3424.06	c #Conflicts:     272000 | #Constraints:     673337
3406.66/3424.06	c #Conflicts:     273000 | #Constraints:     674337
3406.66/3424.06	c #Conflicts:     274000 | #Constraints:     675337
3406.66/3424.06	c #Conflicts:     275000 | #Constraints:     676337
3406.66/3424.06	c #Conflicts:     276000 | #Constraints:     677337
3406.66/3424.06	c #Conflicts:     277000 | #Constraints:     678337
3406.66/3424.06	c INPROCESSING
3406.66/3424.06	c GARBAGE COLLECT
3406.66/3424.06	c rational objective 177.701
3509.21/3527.00	c #Conflicts:     278000 | #Constraints:     668914
3509.21/3527.00	c #Conflicts:     279000 | #Constraints:     669914
3509.21/3527.00	c #Conflicts:     280000 | #Constraints:     670914
3509.21/3527.00	c #Conflicts:     281000 | #Constraints:     671914
3509.21/3527.00	c #Conflicts:     282000 | #Constraints:     672914
3509.21/3527.00	c #Conflicts:     283000 | #Constraints:     673914
3509.21/3527.00	c #Conflicts:     284000 | #Constraints:     674914
3509.21/3527.00	c #Conflicts:     285000 | #Constraints:     675914
3509.21/3527.00	c #Conflicts:     286000 | #Constraints:     676914
3509.21/3527.00	c #Conflicts:     287000 | #Constraints:     677914
3509.21/3527.00	c #Conflicts:     288000 | #Constraints:     678914
3509.21/3527.00	c INPROCESSING
3509.21/3527.00	c GARBAGE COLLECT
3509.21/3527.00	c rational objective 178.003
3600.01/3618.05	c #Conflicts:     289000 | #Constraints:     669326
3600.01/3618.05	c #Conflicts:     290000 | #Constraints:     670337
3600.01/3618.05	c #Conflicts:     291000 | #Constraints:     671345
3600.01/3618.05	c #Conflicts:     292000 | #Constraints:     672354
3600.01/3618.05	c #Conflicts:     293000 | #Constraints:     673361
3600.01/3618.05	c Disabling crashed LP
3600.01/3618.05	c cpu time 3556.45 s
3600.01/3618.05	c deterministic time 94971016067 9.50e+10
3600.01/3618.05	c optimization time 87.3204 s
3600.01/3618.05	c total solve time 3466.37 s
3600.01/3618.05	c core-guided solve time 3209 s
3600.01/3618.05	c propagation time 1267.89 s
3600.01/3618.05	c conflict analysis time 1060.43 s
3600.01/3618.05	c propagations 112618668
3600.01/3618.05	c resolve steps 4661585
3600.01/3618.05	c decisions 11884979
3600.01/3618.05	c conflicts 293231
3600.01/3618.05	c restarts 700
3600.01/3618.05	c inprocessing phases 45
3600.01/3618.05	c garbage collections 45 ,( 100.00 )
3600.01/3618.05	c input clauses 657302 ,( 99.82 )
3600.01/3618.05	c input cardinalities 468 ,( 0.07 )
3600.01/3618.05	c input general constraints 714 ,( 0.11 )
3600.01/3618.05	c input average constraint length 7.15
3600.01/3618.05	c input average constraint degree 138.51
3600.01/3618.05	c learned clauses 213746 ,( 72.80 )
3600.01/3618.05	c learned cardinalities 30 ,( 0.01 )
3600.01/3618.05	c learned general constraints 79849 ,( 27.19 )
3600.01/3618.05	c learned average constraint length 1452.26
3600.01/3618.05	c learned average constraint degree 22625777172.52
3600.01/3618.05	c watched  CF 32, 64, 128, Arb: 1871 , 0 , 0 , 0
3600.01/3618.05	c counting CF 32, 64, 128, Arb: 78693 , 0 , 0 , 0
3600.01/3618.05	c watched   constraints 1871 ,( 2.32 ) 
3600.01/3618.05	c counting  constraints 78692 ,( 97.68 ) 
3600.01/3618.05	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 56145940 , 3368426 , 886378685 ,( 13464734 , 872913951 )
3600.01/3618.05	c gcd simplifications 10424
3600.01/3618.05	c detected cardinalities 3
3600.01/3618.05	c weakened non-implied lits 1060586599
3600.01/3618.05	c weakened non-implying lits 216636
3600.01/3618.05	c original variables 10000
3600.01/3618.05	c clausal propagations 17144878
3600.01/3618.05	c cardinality propagations 633248
3600.01/3618.05	c watched propagations 74561
3600.01/3618.05	c counting propagations 91044958
3600.01/3618.05	c watch lookups 4260917949
3600.01/3618.05	c watch backjump lookups 0
3600.01/3618.05	c watch checks 3101751827
3600.01/3618.05	c propagation checks 82132807488
3600.01/3618.05	c constraint additions 5225742148
3600.01/3618.05	c trail pops 124786951
3600.01/3618.05	c formula constraints 656900
3600.01/3618.05	c learned constraints 293043
3600.01/3618.05	c bound constraints 248
3600.01/3618.05	c core-guided constraints 1336
3600.01/3618.05	c encountered formula constraints 1467150
3600.01/3618.05	c encountered learned constraints 2030246
3600.01/3618.05	c encountered bound constraints 4086
3600.01/3618.05	c encountered core-guided constraints 1432585
3600.01/3618.05	c LP total time 1880.09 s
3600.01/3618.05	c LP solve time 1735.98 s
3600.01/3618.05	c LP constraints added 656980
3600.01/3618.05	c LP constraints removed 50
3600.01/3618.05	c LP pivots internal 293231
3600.01/3618.05	c LP pivots root 212825
3600.01/3618.05	c LP calls 598
3600.01/3618.05	c LP optimalities 217
3600.01/3618.05	c LP no pivot count 15
3600.01/3618.05	c LP infeasibilities 350
3600.01/3618.05	c LP valid Farkas constraints 347
3600.01/3618.05	c LP learned Farkas constraints 191
3600.01/3618.05	c LP basis resets 29
3600.01/3618.05	c LP cycling count 8
3600.01/3618.05	c LP singular count 10
3600.01/3618.05	c LP no primal count 0
3600.01/3618.05	c LP no farkas count 3
3600.01/3618.05	c LP other issue count 8
3600.01/3618.05	c LP Gomory cuts 44
3600.01/3618.05	c LP learned cuts 36
3600.01/3618.05	c LP deleted cuts 50
3600.01/3618.05	c LP encountered Gomory constraints 2
3600.01/3618.05	c LP encountered Farkas constraints 20305
3600.01/3618.05	c LP encountered learned Farkas constraints 251
3600.01/3618.05	c CG auxiliary variables introduced 467
3600.01/3618.05	c CG solutions found 183
3600.01/3618.05	c CG cores constructed 65
3600.01/3618.05	c CG core cardinality constraints returned 0
3600.01/3618.05	c CG unit cores 0
3600.01/3618.05	c CG single cores 65
3600.01/3618.05	c CG blocks removed during cardinality reduction 0
3600.01/3618.05	c CG first core best 0
3600.01/3618.05	c CG decision core best 0
3600.01/3618.05	c CG core reduction tie 0
3600.01/3618.05	c CG core degree average 1.00
3600.01/3618.05	c CG core slack average 885.80
3600.01/3618.05	c CG core upper bound improvements 51
3600.01/3618.05	c STR number of successful calls 0
3600.01/3618.05	c STR number of unsuccessful calls 0
3600.01/3618.05	c STR number of inconclusive calls 0
3600.01/3618.05	c STR number of successful attempts 0
3600.01/3618.05	c STR number of unsuccessful attempts 0
3600.01/3618.05	c STR number of inconclusive attempts 0
3600.01/3618.05	c STR average degree increase per successful call inf
3600.01/3618.05	c STR average degree increase per successful attempt inf
3600.01/3618.05	c STR total number of conflicts for successful attempts 0
3600.01/3618.05	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3618.05	c STR total number of conflicts for inconclusive attempts 0
3600.01/3618.05	c STR average number of conflicts per successful attempt inf
3600.01/3618.05	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3618.05	c STR average number of conflicts per inconclusive attempt inf
3600.01/3618.05	c AVG.sumWPerc 93.92 
3600.01/3618.05	c bigint constraints 0 
3600.01/3618.05	o 357
3600.01/3618.05	s SATISFIABLE
3600.01/3618.05	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.01/3618.05	c Program interrupted by user.

Verifier Data 

OK	357

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=47979, runsolver pid=47973

[startup+0.100061 s]*
/proc/loadavg: 3.27 3.92 4.03 5/268 47996
/proc/meminfo: memFree=129400800/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=47993] ppid=47979 vsize=162744 memory=145552 CPUtime=0.07 cores=4,6
/proc/47993/stat : 47993 (pbsuma) R 47979 47979 47923 0 -1 4194304 3694 0 0 0 4 3 0 0 20 0 1 0 52680029 166649856 36388 18446744073709551615 4210688 4653049 140720667829328 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12349440 140720667834595 140720667834930 140720667834930 140720667840495 0
/proc/47993/statm: 40686 36388 960 108 0 38094 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166936 KiB
Current children cumulated memory: 148624 KiB

[startup+0.205883 s]*
/proc/loadavg: 3.33 3.92 4.03 5/268 47996
/proc/meminfo: memFree=129323808/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=47993] ppid=47979 vsize=180128 memory=165940 CPUtime=0.17 cores=4,6
/proc/47993/stat : 47993 (pbsuma) R 47979 47979 47923 0 -1 4194304 8460 0 0 0 13 4 0 0 20 0 1 0 52680029 184451072 41485 18446744073709551615 4210688 4653049 140720667829328 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12349440 140720667834595 140720667834930 140720667834930 140720667840495 0
/proc/47993/statm: 45032 41485 960 108 0 42440 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184320 KiB
Current children cumulated memory: 169012 KiB

[startup+0.305719 s]*
/proc/loadavg: 3.33 3.92 4.03 5/268 47996
/proc/meminfo: memFree=129229488/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=47993] ppid=47979 vsize=194124 memory=179880 CPUtime=0.27 cores=4,6
/proc/47993/stat : 47993 (pbsuma) R 47979 47979 47923 0 -1 4194304 11423 0 0 0 22 5 0 0 20 0 1 0 52680029 198782976 44970 18446744073709551615 4210688 4653049 140720667829328 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12349440 140720667834595 140720667834930 140720667834930 140720667840495 0
/proc/47993/statm: 48531 44970 960 108 0 45939 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198316 KiB
Current children cumulated memory: 182952 KiB

[startup+0.700216 s]
/proc/loadavg: 3.33 3.92 4.03 5/268 47996
/proc/meminfo: memFree=128918604/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=47993] ppid=47979 vsize=309828 memory=260548 CPUtime=0.66 cores=4,6
/proc/47993/stat : 47993 (pbsuma) R 47979 47979 47923 0 -1 4194304 21412 0 0 0 59 7 0 0 20 0 1 0 52680029 317263872 65137 18446744073709551615 4210688 4653049 140720667829328 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12349440 140720667834595 140720667834930 140720667834930 140720667840495 0
/proc/47993/statm: 77457 65137 992 108 0 74865 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 314020 KiB
Current children cumulated memory: 263620 KiB

[startup+1.50015 s]
/proc/loadavg: 3.33 3.92 4.03 2/268 47999
/proc/meminfo: memFree=129476772/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/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.10588 s]
/proc/loadavg: 3.33 3.92 4.03 5/268 48000
/proc/meminfo: memFree=129241208/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=150592 memory=98588 CPUtime=2.08 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 20477 0 0 0 162 46 0 0 20 0 1 0 52680128 154206208 24647 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 37648 24647 1920 1147 0 25075 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 154784 KiB
Current children cumulated memory: 101660 KiB

[startup+6.30021 s]
/proc/loadavg: 3.39 3.92 4.03 5/268 48000
/proc/meminfo: memFree=126675824/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=914860 memory=664356 CPUtime=5.26 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 49722 0 0 0 453 73 0 0 20 0 1 0 52680128 936816640 166089 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 228715 166089 2272 1147 0 216142 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 919052 KiB
Current children cumulated memory: 667428 KiB

[startup+12.7002 s]
/proc/loadavg: 3.44 3.93 4.03 5/271 48004
/proc/meminfo: memFree=126642276/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=1088972 memory=769988 CPUtime=11.65 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 57685 0 0 0 1074 91 0 0 20 0 1 0 52680128 1115107328 192497 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 272243 192497 2368 1147 0 259670 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1093164 KiB
Current children cumulated memory: 773060 KiB

[startup+25.5002 s]
/proc/loadavg: 3.52 3.93 4.03 5/271 48004
/proc/meminfo: memFree=125919760/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=1205164 memory=880360 CPUtime=24.4 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 66898 0 0 0 2298 142 0 0 20 0 1 0 52680128 1234087936 220090 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 301291 220090 2368 1147 0 288718 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1209356 KiB
Current children cumulated memory: 883432 KiB

[startup+51.1057 s]
/proc/loadavg: 3.76 3.95 4.03 5/271 48004
/proc/meminfo: memFree=124845932/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=1205164 memory=893248 CPUtime=49.92 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 67054 0 0 0 4826 166 0 0 20 0 1 0 52680128 1234087936 223312 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 301291 223312 2368 1147 0 288718 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1209356 KiB
Current children cumulated memory: 896320 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.97 4.03 5/273 48008
/proc/meminfo: memFree=122969644/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=1382888 memory=1053696 CPUtime=100.7 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 83291 0 0 0 9850 220 0 0 20 0 1 0 52680128 1416077312 263424 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 345722 263424 2368 1147 0 333149 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 1387080 KiB
Current children cumulated memory: 1056768 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.01 4.04 5/273 48010
/proc/meminfo: memFree=122476116/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=1482240 memory=1105516 CPUtime=155.2 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 88556 0 0 0 15248 272 0 0 20 0 1 0 52680128 1517813760 276379 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 370560 276379 2368 1147 0 357987 0
Current children cumulated CPU time: 156.16 s
Current children cumulated vsize: 1486432 KiB
Current children cumulated memory: 1108588 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 4.01 4.03 5/272 48012
/proc/meminfo: memFree=121353308/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=1684892 memory=1370736 CPUtime=214.59 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 103848 0 0 0 21126 333 0 0 20 0 1 0 52680128 1725329408 342684 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 421223 342684 2464 1147 0 408650 0
Current children cumulated CPU time: 215.55 s
Current children cumulated vsize: 1689084 KiB
Current children cumulated memory: 1373808 KiB

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

[startup+3282.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/275 48186
/proc/meminfo: memFree=22432276/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=3017416 memory=2409748 CPUtime=3264.42 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 288546 0 0 0 322739 3703 0 0 20 0 1 0 52680128 3089833984 602437 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 754354 602437 2496 1147 0 741781 0
Current children cumulated CPU time: 3265.38 s
Current children cumulated vsize: 3021608 KiB
Current children cumulated memory: 2412820 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/273 48188
/proc/meminfo: memFree=18399524/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=3017416 memory=2409748 CPUtime=3324.25 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 288566 0 0 0 328623 3802 0 0 20 0 1 0 52680128 3089833984 602437 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 754354 602437 2496 1147 0 741781 0
Current children cumulated CPU time: 3325.21 s
Current children cumulated vsize: 3021608 KiB
Current children cumulated memory: 2412820 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/272 48190
/proc/meminfo: memFree=14806364/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=3017416 memory=2409748 CPUtime=3384.06 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 288566 0 0 0 334488 3918 0 0 20 0 1 0 52680128 3089833984 602437 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 754354 602437 2496 1147 0 741781 0
Current children cumulated CPU time: 3385.02 s
Current children cumulated vsize: 3021608 KiB
Current children cumulated memory: 2412820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/273 48193
/proc/meminfo: memFree=11431368/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=3017416 memory=2409748 CPUtime=3443.88 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 288889 0 0 0 340346 4042 0 0 20 0 1 0 52680128 3089833984 602437 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 754354 602437 2496 1147 0 741781 0
Current children cumulated CPU time: 3444.84 s
Current children cumulated vsize: 3021608 KiB
Current children cumulated memory: 2412820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/274 48200
/proc/meminfo: memFree=9234772/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=3017416 memory=2409748 CPUtime=3503.67 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 288890 0 0 0 346217 4150 0 0 20 0 1 0 52680128 3089833984 602437 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 754354 602437 2496 1147 0 741781 0
Current children cumulated CPU time: 3504.63 s
Current children cumulated vsize: 3021608 KiB
Current children cumulated memory: 2412820 KiB

[startup+3582.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/275 48203
/proc/meminfo: memFree=6954944/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=3017416 memory=2409748 CPUtime=3563.47 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 288916 0 0 0 352122 4225 0 0 20 0 1 0 52680128 3089833984 602437 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 754354 602437 2496 1147 0 741781 0
Current children cumulated CPU time: 3564.43 s
Current children cumulated vsize: 3021608 KiB
Current children cumulated memory: 2412820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618 s]*
/proc/loadavg: 4.25 4.18 4.12 4/273 48204
/proc/meminfo: memFree=5169120/131249996 swapFree=33010416/33010684
[pid=47979] ppid=47973 vsize=4192 memory=3072 CPUtime=0.96 cores=4,6
/proc/47979/stat : 47979 (run-opt-break-l) S 47973 47979 47923 0 -1 4194304 243 28511 0 0 0 0 86 10 20 0 1 0 52680028 4292608 768 18446744073709551615 94570576486400 94570577380933 140729085367216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94570577619984 94570577667728 94570581422080 140729085372693 140729085372894 140729085372894 140729085378496 0
/proc/47979/statm: 1048 768 704 219 0 110 0
[pid=48000] ppid=47979 vsize=3017416 memory=2410900 CPUtime=3599.05 cores=4,6
/proc/48000/stat : 48000 (roundingsat) R 47979 47979 47923 0 -1 4194304 289519 0 0 0 355643 4262 0 0 20 0 1 0 52680128 3089833984 602725 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 754354 602725 2496 1147 0 741781 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3021608 KiB
Current children cumulated memory: 2413972 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

[startup+0 s]*
/proc/loadavg: 4.25 4.18 4.12 5/272 48204
/proc/meminfo: memFree=5594504/131249996 swapFree=33010416/33010684
[pid=48000] ppid=47973 vsize=2238584 memory=1861628 CPUtime=3599.87 cores=4,6
/proc/48000/stat : 48000 (roundingsat) D 47973 47979 47923 0 -1 4194304 289522 0 2 0 355644 4343 0 0 20 0 1 0 52680128 2292310016 465407 18446744073709551615 4227072 8923433 140734759333488 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 9
/proc/48000/statm: 559646 465407 2528 1147 0 547073 0
??? kill 48000 sig 9
??? end of watcher thread

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

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

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

[startup+3619.2 s]
/proc/loadavg: 4.25 4.18 4.12 3/272 48204
/proc/meminfo: memFree=5610360/131249996 swapFree=33010416/33010684
[pid=48000] ppid=47973 vsize=2238584 memory=1861628 CPUtime=3599.87 cores=4,6
/proc/48000/stat : 48000 (roundingsat) D 47973 47979 47923 0 -1 4194304 289522 0 2 0 355644 4343 0 0 20 0 1 0 52680128 2292310016 465407 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 559646 465407 2528 1147 0 547073 0
Current cumulated CPU time of completed processes: 0.969531 s
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 2238584 KiB
Current children cumulated memory: 1861628 KiB

[startup+3619.6 s]
/proc/loadavg: 4.25 4.18 4.12 3/272 48204
/proc/meminfo: memFree=5610360/131249996 swapFree=33010416/33010684
[pid=48000] ppid=47973 vsize=2238584 memory=1861628 CPUtime=3599.87 cores=4,6
/proc/48000/stat : 48000 (roundingsat) D 47973 47979 47923 0 -1 4194304 289522 0 2 0 355644 4343 0 0 20 0 1 0 52680128 2292310016 465407 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 559646 465407 2528 1147 0 547073 0
Current cumulated CPU time of completed processes: 0.969531 s
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 2238584 KiB
Current children cumulated memory: 1861628 KiB

[startup+3620 s]*
/proc/loadavg: 4.25 4.18 4.12 3/272 48204
/proc/meminfo: memFree=5594504/131249996 swapFree=33010416/33010684
[pid=48000] ppid=47973 vsize=2238584 memory=1861628 CPUtime=3599.87 cores=4,6
/proc/48000/stat : 48000 (roundingsat) D 47973 47979 47923 0 -1 4194304 289522 0 2 0 355644 4343 0 0 20 0 1 0 52680128 2292310016 465407 18446744073709551615 4227072 8923433 140734759333488 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 30138368 140734759336212 140734759336488 140734759336488 140734759342058 0
/proc/48000/statm: 559646 465407 2528 1147 0 547073 0
Current cumulated CPU time of completed processes: 0.969531 s
Current children cumulated CPU time: 3599.87 s
Current children cumulated vsize: 2238584 KiB
Current children cumulated memory: 1861628 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3630.11
CPU time (s): 3601.4
CPU user time (s): 3557.35
CPU system time (s): 44.0521
CPU usage (%): 99.209
Max. virtual memory (cumulated for all children) (KiB): 3117328
Max. memory (cumulated for all children) (KiB): 2508448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.35
system time used= 44.0521
maximum resident set size= 2518280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318276
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 87891088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 316799
involuntary context switches= 6798


# summary of solver processes directly reported to runsolver:
#   pid: 47979,48000
#   total CPU time (s): 3601.4
#   total CPU user time (s): 3557.35
#   total CPU system time (s): 44.0521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52098 second user time and 18.4398 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 13:40:04
IDJOB=4489787
IDBENCH=147563
IDSOLVER=3360
FILE ID=nodeC030/4489787-1751370004
RUNJOBID= nodeC030-1751370004-47934
SLURM_JOB_ID= 9598188
Free space on /tmp= 432972 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.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-4489787-1751370004/watcher-4489787-1751370004 -o /tmp/evaluation-result-4489787-1751370004/solver-4489787-1751370004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751370004-47934 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489787-1751370004.opb PROOFDIR/proof-4489787-1751370004

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1824616051

nodeC030 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		: 3602.602
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.62
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		: 3607.630
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.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129941580 kB
MemAvailable:   129791084 kB
Buffers:            2564 kB
Cached:           643776 kB
SwapCached:           16 kB
Active:           480220 kB
Inactive:         225576 kB
Active(anon):      73280 kB
Inactive(anon):     4548 kB
Active(file):     406940 kB
Inactive(file):   221028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95900 kB
Writeback:             4 kB
AnonPages:         63876 kB
Mapped:           103152 kB
Shmem:             18048 kB
KReclaimable:     121148 kB
Slab:             209292 kB
SReclaimable:     121148 kB
SUnreclaim:        88144 kB
KernelStack:        4064 kB
PageTables:         2688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432876 MiB
End job on nodeC030 at 2025-07-01 14:40:35