Trace number 4489693

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22adSAT (TO)351 3601.97 3623.91

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMac2beb72083c40d036c40a53754bf1b9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark255
Best CPU time to get the best result obtained on this benchmark30252.2
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 494728
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 494728
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4489693-1751368624.opb'
0.29/0.34	c 	read 17.23MB  (325.77ms)
0.29/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.34	c output proof to 'PROOFDIR/proof-4489693-1751368624'
0.29/0.34	c 
0.29/0.34	c make graph and approximate orbits
0.67/0.71	c	 [group: #orbits ~= 0] (371.02ms)
0.67/0.71	c 
0.67/0.71	c detect special group actions
0.67/0.71	c 	probe for Johnson action (limit=64)
0.67/0.71	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.72	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.73	c 	 (21.93ms)
0.67/0.73	c 
0.67/0.73	c detect symmetries on remainder
0.67/0.73	c 	[graph: #vertices 706711 #edges 2766420]
0.67/0.74	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.78	c 	 [group: #symmetries 1.00*10^0 #generators 0] (50.19ms)
0.67/0.78	c 
0.67/0.78	c finalize break order and special generators
0.67/0.78	c 
0.67/0.78	c generation finished
0.67/0.78	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.78	c 
0.67/0.78	c write result to 'HOME/instance-4489693-1751368624.opb.pre'
0.78/0.82	c 	wrote 17.23MB (35.50ms)
0.78/0.82	c ------------------------------------------------------------------
0.78/0.82	c                 371.02ms 45.85% approx_orbits
0.78/0.82	c                 325.77ms 40.26% parse
0.78/0.82	c                  50.19ms  6.20% detect_generic
0.78/0.82	c                  35.50ms  4.39% output
0.78/0.82	c                  21.93ms  2.71% detect_special
0.78/0.82	c                   4.35ms  0.54% other
0.78/0.82	c                   0.38ms  0.05% finalize_order
0.78/0.82	c         ───────────────────────────────────────────────
0.78/0.82	c                 809.14ms   100% total
0.78/0.82	c ------------------------------------------------------------------
0.87/0.98	c RoundingSat 2
0.87/0.98	c branch pb25
0.87/0.98	c commit 63f22ad
4.44/4.56	c #variables 10000 #constraints 656900
4.44/4.56	c objective is ce32 
5.34/5.46	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.34/5.46	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.34/5.46	c bounds 5439 >= 0 @ 3.72009
7.53/7.60	c rational objective 197.264
11.32/11.49	c bounds 5413 >= 0 @ 9.61699
11.43/11.50	c bounds 5391 >= 0 @ 9.62827
11.43/11.52	c bounds 5349 >= 0 @ 9.63784
11.43/11.52	c bounds 5158 >= 0 @ 9.64223
11.43/11.53	c bounds 4993 >= 0 @ 9.64763
11.43/11.54	c bounds 4992 >= 0 @ 9.65453
11.43/11.55	c bounds 4982 >= 0 @ 9.66099
11.43/11.56	c bounds 4974 >= 0 @ 9.67049
11.43/11.57	c bounds 4890 >= 0 @ 9.67813
11.43/11.58	c bounds 4879 >= 0 @ 9.68198
11.43/11.59	c bounds 4809 >= 0 @ 9.68895
11.52/11.64	c bounds 4788 >= 0 @ 9.73403
11.52/11.64	c bounds 4775 >= 0 @ 9.73991
11.52/11.66	c bounds 4749 >= 0 @ 9.7586
11.82/11.92	c bounds 4723 >= 0 @ 10.0059
11.82/11.93	c bounds 4716 >= 0 @ 10.0139
11.82/11.97	c bounds 4711 >= 0 @ 10.0505
11.93/12.03	c bounds 4675 >= 0 @ 10.1131
11.93/12.05	c bounds 4651 >= 0 @ 10.1301
11.93/12.10	c bounds 4634 >= 0 @ 10.1785
12.03/12.17	c bounds 4626 >= 0 @ 10.25
12.03/12.18	c bounds 4481 >= 0 @ 10.2571
12.13/12.21	c bounds 4471 >= 0 @ 10.2843
12.13/12.29	c bounds 4441 >= 0 @ 10.3642
12.22/12.32	c bounds 4416 >= 0 @ 10.3894
12.22/12.33	c bounds 4374 >= 0 @ 10.3932
12.22/12.34	c bounds 4164 >= 0 @ 10.398
12.22/12.34	c bounds 3896 >= 0 @ 10.4036
12.22/12.35	c bounds 3890 >= 0 @ 10.4088
12.22/12.36	c bounds 3836 >= 0 @ 10.4136
12.22/12.37	c bounds 3825 >= 0 @ 10.4275
12.22/12.38	c bounds 3601 >= 0 @ 10.4323
12.82/12.93	c bounds 3585 >= 0 @ 10.9695
13.12/13.21	c bounds 3575 >= 0 @ 11.2401
13.12/13.23	c bounds 3573 >= 0 @ 11.255
13.12/13.25	c bounds 3548 >= 0 @ 11.2708
13.32/13.46	c bounds 3542 >= 0 @ 11.4782
13.32/13.48	c bounds 3497 >= 0 @ 11.4954
13.42/13.51	c bounds 3482 >= 0 @ 11.5274
13.42/13.52	c bounds 3480 >= 0 @ 11.5335
13.52/13.66	c bounds 3444 >= 0 @ 11.6716
13.62/13.70	c bounds 3435 >= 0 @ 11.704
13.62/13.71	c bounds 3427 >= 0 @ 11.7122
13.62/13.79	c bounds 3422 >= 0 @ 11.7939
13.81/13.92	c bounds 3397 >= 0 @ 11.918
13.81/13.93	c bounds 3361 >= 0 @ 11.9279
13.92/14.04	c bounds 3326 >= 0 @ 12.0305
13.92/14.04	c bounds 3179 >= 0 @ 12.0374
14.03/14.15	c bounds 3175 >= 0 @ 12.1417
14.03/14.17	c bounds 3152 >= 0 @ 12.1548
14.03/14.18	c bounds 3151 >= 0 @ 12.163
14.12/14.21	c bounds 3134 >= 0 @ 12.1964
14.12/14.22	c bounds 3133 >= 0 @ 12.2015
14.12/14.24	c bounds 3095 >= 0 @ 12.2215
14.12/14.25	c bounds 3048 >= 0 @ 12.2287
14.12/14.26	c bounds 2988 >= 0 @ 12.2345
14.12/14.27	c bounds 2940 >= 0 @ 12.244
14.12/14.28	c bounds 2915 >= 0 @ 12.2516
14.32/14.42	c bounds 2908 >= 0 @ 12.3826
14.32/14.43	c bounds 2891 >= 0 @ 12.3948
14.32/14.44	c bounds 2846 >= 0 @ 12.4072
14.32/14.45	c bounds 2811 >= 0 @ 12.4115
14.32/14.48	c bounds 2809 >= 0 @ 12.4318
14.32/14.49	c bounds 2775 >= 0 @ 12.441
14.42/14.52	c bounds 2762 >= 0 @ 12.4673
14.52/14.64	c bounds 2749 >= 0 @ 12.5857
14.52/14.66	c bounds 2746 >= 0 @ 12.6045
14.52/14.68	c bounds 2717 >= 0 @ 12.6218
14.62/14.70	c bounds 2713 >= 0 @ 12.6356
14.62/14.71	c bounds 2596 >= 0 @ 12.6423
14.62/14.72	c bounds 2555 >= 0 @ 12.6488
14.72/14.83	c bounds 2550 >= 0 @ 12.7552
14.72/14.85	c bounds 2548 >= 0 @ 12.7723
14.72/14.87	c bounds 2531 >= 0 @ 12.7885
14.82/14.96	c bounds 2492 >= 0 @ 12.8789
15.02/15.14	c bounds 2464 >= 0 @ 13.0458
15.02/15.15	c bounds 2462 >= 0 @ 13.0543
15.02/15.18	c bounds 2430 >= 0 @ 13.0894
15.12/15.21	c bounds 2426 >= 0 @ 13.1112
15.12/15.22	c bounds 2388 >= 0 @ 13.1243
15.21/15.33	c bounds 2366 >= 0 @ 13.2269
15.21/15.36	c bounds 2364 >= 0 @ 13.2483
15.52/15.60	c bounds 2355 >= 0 @ 13.4888
16.51/16.60	c bounds 2354 >= 0 @ 14.4649
16.71/16.87	c bounds 2343 >= 0 @ 14.7335
17.71/17.84	c bounds 2342 >= 0 @ 15.6812
17.71/17.86	c bounds 2298 >= 0 @ 15.691
18.41/18.51	c bounds 2284 >= 0 @ 16.3238
18.61/18.74	c bounds 2269 >= 0 @ 16.5475
18.61/18.75	c bounds 2268 >= 0 @ 16.5551
18.61/18.76	c bounds 2226 >= 0 @ 16.5614
18.80/18.93	c bounds 2185 >= 0 @ 16.7187
18.80/18.94	c bounds 2182 >= 0 @ 16.7247
18.80/18.96	c bounds 2162 >= 0 @ 16.7431
18.80/18.98	c bounds 2161 >= 0 @ 16.7588
18.80/18.99	c bounds 2112 >= 0 @ 16.7692
18.91/19.01	c bounds 2086 >= 0 @ 16.7822
19.00/19.12	c bounds 2080 >= 0 @ 16.8892
19.00/19.13	c bounds 2068 >= 0 @ 16.9003
19.00/19.15	c bounds 2054 >= 0 @ 16.9089
19.10/19.25	c bounds 2042 >= 0 @ 17.0088
19.10/19.27	c bounds 2037 >= 0 @ 17.0175
19.10/19.27	c bounds 2027 >= 0 @ 17.0258
19.10/19.29	c bounds 1958 >= 0 @ 17.0357
19.21/19.31	c bounds 1948 >= 0 @ 17.0537
19.30/19.42	c bounds 1938 >= 0 @ 17.1661
19.41/19.55	c bounds 1927 >= 0 @ 17.2831
19.41/19.56	c bounds 1926 >= 0 @ 17.2913
19.41/19.57	c bounds 1905 >= 0 @ 17.3012
19.41/19.59	c bounds 1892 >= 0 @ 17.3212
19.50/19.61	c bounds 1891 >= 0 @ 17.3292
19.70/19.87	c bounds 1869 >= 0 @ 17.5889
19.70/19.88	c bounds 1830 >= 0 @ 17.598
19.80/19.90	c bounds 1792 >= 0 @ 17.6068
19.91/20.01	c bounds 1789 >= 0 @ 17.714
19.91/20.06	c bounds 1787 >= 0 @ 17.7511
20.01/20.19	c bounds 1765 >= 0 @ 17.8831
20.10/20.21	c bounds 1753 >= 0 @ 17.9002
20.10/20.23	c bounds 1719 >= 0 @ 17.9094
20.10/20.25	c bounds 1717 >= 0 @ 17.9228
20.20/20.37	c bounds 1710 >= 0 @ 18.0416
20.30/20.49	c bounds 1689 >= 0 @ 18.161
20.60/20.76	c #Conflicts:       1000 | #Constraints:     658060
20.60/20.76	c bounds 1668 >= 0 @ 18.4157
20.60/20.79	c bounds 1667 >= 0 @ 18.4486
20.80/20.91	c bounds 1644 >= 0 @ 18.5626
20.80/20.92	c bounds 1586 >= 0 @ 18.5706
20.80/20.94	c bounds 1504 >= 0 @ 18.5815
21.40/21.50	c bounds 1496 >= 0 @ 19.1394
21.40/21.52	c bounds 1386 >= 0 @ 19.1477
21.40/21.53	c bounds 1310 >= 0 @ 19.1543
21.40/21.55	c bounds 1282 >= 0 @ 19.165
22.19/22.37	c bounds 1273 >= 0 @ 19.9564
22.19/22.40	c bounds 1267 >= 0 @ 19.9805
22.40/22.52	c bounds 1265 >= 0 @ 20.0955
22.40/22.54	c bounds 1258 >= 0 @ 20.1102
22.40/22.55	c bounds 1257 >= 0 @ 20.1183
22.49/22.67	c bounds 1253 >= 0 @ 20.2311
22.49/22.68	c bounds 1252 >= 0 @ 20.2403
23.19/23.32	c bounds 1250 >= 0 @ 20.862
24.09/24.26	c bounds 1243 >= 0 @ 21.7544
24.09/24.27	c bounds 1242 >= 0 @ 21.7622
24.09/24.28	c bounds 1236 >= 0 @ 21.7736
24.29/24.44	c bounds 1229 >= 0 @ 21.928
24.49/24.62	c bounds 1221 >= 0 @ 22.1075
24.49/24.64	c bounds 1215 >= 0 @ 22.1194
24.59/24.74	c bounds 1212 >= 0 @ 22.2098
24.69/24.86	c bounds 1189 >= 0 @ 22.3292
24.69/24.89	c bounds 1125 >= 0 @ 22.3463
24.89/25.01	c bounds 1027 >= 0 @ 22.4656
24.89/25.05	c bounds 908 >= 0 @ 22.4963
24.89/25.06	c bounds 907 >= 0 @ 22.5047
24.89/25.08	c bounds 891 >= 0 @ 22.5216
24.99/25.11	c bounds 868 >= 0 @ 22.5467
24.99/25.12	c bounds 864 >= 0 @ 22.5556
24.99/25.16	c bounds 855 >= 0 @ 22.5816
25.09/25.23	c bounds 837 >= 0 @ 22.6499
25.09/25.26	c bounds 830 >= 0 @ 22.6837
25.09/25.28	c bounds 827 >= 0 @ 22.6987
25.19/25.30	c bounds 825 >= 0 @ 22.7182
27.08/27.26	c #Conflicts:       2000 | #Constraints:     659106
27.08/27.26	c INPROCESSING
27.08/27.26	c GARBAGE COLLECT
27.08/27.26	c bounds 817 >= 0 @ 24.6473
27.19/27.35	c bounds 734 >= 0 @ 24.7323
27.19/27.36	c bounds 731 >= 0 @ 24.7454
27.19/27.37	c bounds 730 >= 0 @ 24.7539
27.19/27.39	c bounds 725 >= 0 @ 24.7706
28.18/28.33	c bounds 716 >= 0 @ 25.6796
28.18/28.35	c bounds 682 >= 0 @ 25.6933
30.17/30.39	c #Conflicts:       3000 | #Constraints:     658935
30.17/30.39	c bounds 659 >= 0 @ 27.7023
30.57/30.75	c bounds 537 >= 0 @ 28.0366
30.57/30.76	c bounds 537 >= 9 @ 28.047
34.16/34.37	c #Conflicts:       4000 | #Constraints:     659940
34.16/34.37	c INPROCESSING
34.16/34.37	c bounds 513 >= 9 @ 31.5938
38.96/39.80	c #Conflicts:       5000 | #Constraints:     659332
38.96/39.80	c #Conflicts:       6000 | #Constraints:     660332
38.96/39.80	c bounds 458 >= 9 @ 36.2444
38.96/39.82	c bounds 457 >= 9 @ 36.2539
43.26/44.18	c INPROCESSING
43.26/44.18	c GARBAGE COLLECT
43.26/44.18	c rational objective 199.794
46.94/47.82	c bounds 455 >= 9 @ 44.1997
46.94/47.84	c bounds 450 >= 9 @ 44.2142
52.42/53.33	c #Conflicts:       7000 | #Constraints:     659334
52.42/53.33	c bounds 449 >= 9 @ 49.5862
72.34/73.46	c #Conflicts:       8000 | #Constraints:     660347
72.34/73.46	c #Conflicts:       9000 | #Constraints:     661347
72.34/73.46	c INPROCESSING
72.34/73.46	c GARBAGE COLLECT
72.34/73.46	c #Conflicts:      10000 | #Constraints:     660030
72.34/73.46	c #Conflicts:      11000 | #Constraints:     661030
72.34/73.46	c #Conflicts:      12000 | #Constraints:     662030
72.34/73.46	c INPROCESSING
72.34/73.46	c GARBAGE COLLECT
72.34/73.46	c rational objective 200.794
78.52/79.65	c bounds 448 >= 9 @ 75.4355
88.80/89.90	c #Conflicts:      13000 | #Constraints:     660487
88.80/89.90	c #Conflicts:      14000 | #Constraints:     661487
88.80/89.90	c #Conflicts:      15000 | #Constraints:     662487
88.80/89.90	c INPROCESSING
88.80/89.90	c GARBAGE COLLECT
88.80/89.90	c rational objective 201.875
93.09/94.24	c bounds 446 >= 9 @ 89.8712
93.49/94.61	c bounds 445 >= 9 @ 90.236
94.59/95.76	c bounds 443 >= 9 @ 91.368
94.59/95.78	c bounds 443 >= 14 @ 91.377
94.68/95.80	c bounds 443 >= 19 @ 91.3871
98.71/99.95	c #Conflicts:      16000 | #Constraints:     660724
98.71/99.95	c bounds 443 >= 24 @ 95.4328
106.98/108.23	c #Conflicts:      17000 | #Constraints:     661733
106.98/108.23	c #Conflicts:      18000 | #Constraints:     662733
106.98/108.23	c INPROCESSING
106.98/108.23	c GARBAGE COLLECT
106.98/108.23	c rational objective 202.278
112.17/113.46	c bounds 441 >= 24 @ 108.833
112.57/113.80	c bounds 440 >= 24 @ 109.167
112.57/113.82	c bounds 440 >= 28 @ 109.181
118.26/119.52	c #Conflicts:      19000 | #Constraints:     660755
118.26/119.52	c #Conflicts:      20000 | #Constraints:     661755
118.26/119.52	c bounds 439 >= 28 @ 114.768
118.26/119.54	c bounds 438 >= 28 @ 114.778
118.26/119.57	c bounds 437 >= 28 @ 114.809
118.65/119.92	c bounds 435 >= 28 @ 115.147
118.85/120.15	c bounds 428 >= 28 @ 115.365
118.96/120.20	c bounds 427 >= 28 @ 115.417
118.96/120.25	c bounds 424 >= 28 @ 115.456
118.96/120.27	c bounds 421 >= 28 @ 115.475
118.96/120.28	c bounds 418 >= 28 @ 115.486
119.05/120.34	c bounds 413 >= 28 @ 115.541
119.05/120.37	c bounds 410 >= 28 @ 115.567
164.03/166.10	c #Conflicts:      21000 | #Constraints:     662766
164.03/166.10	c INPROCESSING
164.03/166.10	c #Conflicts:      22000 | #Constraints:     660548
164.03/166.10	c #Conflicts:      23000 | #Constraints:     661548
164.03/166.10	c #Conflicts:      24000 | #Constraints:     662548
164.03/166.10	c #Conflicts:      25000 | #Constraints:     663548
164.03/166.10	c INPROCESSING
164.03/166.10	c GARBAGE COLLECT
164.03/166.10	c #Conflicts:      26000 | #Constraints:     661152
164.03/166.10	c #Conflicts:      27000 | #Constraints:     662152
164.03/166.10	c #Conflicts:      28000 | #Constraints:     663152
164.03/166.10	c #Conflicts:      29000 | #Constraints:     664152
164.03/166.10	c INPROCESSING
164.03/166.10	c GARBAGE COLLECT
164.03/166.10	c rational objective 202.379
169.50/171.60	c bounds 409 >= 28 @ 165.497
174.79/176.98	c bounds 406 >= 28 @ 170.717
174.79/176.99	c bounds 406 >= 30 @ 170.729
174.89/177.01	c bounds 406 >= 32 @ 170.741
174.89/177.03	c bounds 406 >= 34 @ 170.756
174.89/177.05	c bounds 406 >= 36 @ 170.77
174.89/177.07	c bounds 406 >= 38 @ 170.79
180.67/182.86	c bounds 406 >= 40 @ 176.527
181.17/183.36	c bounds 406 >= 42 @ 177.013
185.86/188.02	c #Conflicts:      30000 | #Constraints:     661610
185.86/188.02	c #Conflicts:      31000 | #Constraints:     662610
185.86/188.02	c bounds 406 >= 44 @ 181.564
213.82/216.48	c #Conflicts:      32000 | #Constraints:     663628
213.82/216.48	c #Conflicts:      33000 | #Constraints:     664628
213.82/216.48	c INPROCESSING
213.82/216.48	c GARBAGE COLLECT
213.82/216.48	c rational objective 202.392
240.36/243.16	c #Conflicts:      34000 | #Constraints:     661812
240.36/243.16	c #Conflicts:      35000 | #Constraints:     662812
240.36/243.16	c #Conflicts:      36000 | #Constraints:     663812
240.36/243.16	c #Conflicts:      37000 | #Constraints:     664812
240.36/243.16	c INPROCESSING
240.36/243.16	c GARBAGE COLLECT
240.36/243.16	c rational objective 202.765
258.50/261.32	c #Conflicts:      38000 | #Constraints:     661823
258.50/261.32	c bounds 403 >= 44 @ 253.583
259.30/262.13	c bounds 401 >= 44 @ 254.375
259.70/262.53	c bounds 398 >= 44 @ 254.771
259.90/262.72	c #Conflicts:      39000 | #Constraints:     662843
259.90/262.72	c bounds 396 >= 44 @ 254.957
260.09/262.91	c bounds 395 >= 44 @ 255.14
271.17/274.06	c #Conflicts:      40000 | #Constraints:     663869
271.17/274.06	c bounds 391 >= 44 @ 265.968
271.17/274.08	c bounds 391 >= 45 @ 265.988
271.27/274.11	c bounds 391 >= 46 @ 266.003
271.27/274.13	c bounds 391 >= 47 @ 266.021
271.27/274.15	c bounds 391 >= 48 @ 266.033
271.27/274.17	c bounds 391 >= 49 @ 266.049
271.37/274.20	c bounds 391 >= 50 @ 266.068
271.37/274.23	c bounds 391 >= 51 @ 266.091
271.37/274.26	c bounds 391 >= 52 @ 266.117
271.37/274.29	c bounds 391 >= 53 @ 266.139
271.47/274.33	c bounds 391 >= 54 @ 266.17
271.47/274.36	c bounds 391 >= 55 @ 266.194
271.47/274.39	c bounds 391 >= 56 @ 266.217
271.57/274.42	c bounds 391 >= 57 @ 266.246
271.57/274.48	c bounds 391 >= 58 @ 266.298
271.67/274.56	c bounds 391 >= 59 @ 266.376
271.76/274.62	c bounds 391 >= 60 @ 266.425
271.76/274.68	c bounds 391 >= 61 @ 266.476
271.87/274.72	c bounds 391 >= 62 @ 266.513
274.45/277.31	c bounds 391 >= 63 @ 269.084
274.55/277.46	c bounds 391 >= 64 @ 269.22
274.76/277.69	c bounds 391 >= 65 @ 269.439
275.06/277.96	c bounds 391 >= 66 @ 269.696
275.35/278.22	c bounds 391 >= 67 @ 269.943
275.46/278.36	c bounds 391 >= 68 @ 270.071
275.85/278.74	c bounds 391 >= 69 @ 270.444
276.95/279.83	c bounds 391 >= 70 @ 271.502
277.85/280.73	c #Conflicts:      41000 | #Constraints:     665139
277.85/280.73	c bounds 391 >= 71 @ 272.372
278.45/281.33	c bounds 391 >= 72 @ 272.957
278.85/281.72	c bounds 391 >= 73 @ 273.324
316.93/319.99	c INPROCESSING
316.93/319.99	c GARBAGE COLLECT
316.93/319.99	c rational objective 202.765
323.12/326.14	c bounds 391 >= 74 @ 317.497
330.69/333.78	c #Conflicts:      42000 | #Constraints:     661905
330.69/333.78	c bounds 391 >= 75 @ 325.077
332.19/335.29	c bounds 391 >= 76 @ 326.551
334.28/337.30	c #Conflicts:      43000 | #Constraints:     662965
334.28/337.30	c bounds 391 >= 77 @ 328.506
336.57/339.66	c #Conflicts:      44000 | #Constraints:     663995
336.57/339.66	c bounds 391 >= 78 @ 330.825
348.23/351.33	c #Conflicts:      45000 | #Constraints:     665028
348.23/351.33	c bounds 391 >= 79 @ 342.333
350.94/354.09	c bounds 390 >= 79 @ 345.018
361.91/365.05	c #Conflicts:      46000 | #Constraints:     666068
361.91/365.05	c INPROCESSING
361.91/365.05	c GARBAGE COLLECT
361.91/365.05	c #Conflicts:      47000 | #Constraints:     662562
361.91/365.05	c bounds 390 >= 80 @ 355.797
367.19/370.32	c #Conflicts:      48000 | #Constraints:     663617
367.19/370.32	c #Conflicts:      49000 | #Constraints:     664617
367.19/370.32	c bounds 390 >= 81 @ 360.907
367.89/371.06	c bounds 388 >= 81 @ 361.634
371.48/374.65	c bounds 387 >= 81 @ 365.166
388.83/392.02	c #Conflicts:      50000 | #Constraints:     665660
388.83/392.02	c #Conflicts:      51000 | #Constraints:     666660
388.83/392.02	c INPROCESSING
388.83/392.02	c GARBAGE COLLECT
388.83/392.02	c rational objective 202.765
397.50/400.77	c #Conflicts:      52000 | #Constraints:     662993
397.50/400.77	c bounds 387 >= 82 @ 390.903
408.67/411.98	c #Conflicts:      53000 | #Constraints:     664015
408.67/411.98	c bounds 387 >= 83 @ 401.893
420.04/423.39	c #Conflicts:      54000 | #Constraints:     665069
420.04/423.39	c #Conflicts:      55000 | #Constraints:     666069
420.04/423.39	c bounds 387 >= 84 @ 413.091
487.35/490.82	c #Conflicts:      56000 | #Constraints:     667100
487.35/490.82	c INPROCESSING
487.35/490.82	c GARBAGE COLLECT
487.35/490.82	c rational objective 202.765
517.65/521.29	c #Conflicts:      57000 | #Constraints:     663230
517.65/521.29	c #Conflicts:      58000 | #Constraints:     664232
517.65/521.29	c #Conflicts:      59000 | #Constraints:     665233
517.65/521.29	c bounds 387 >= 85 @ 510.163
518.16/521.78	c bounds 385 >= 85 @ 510.638
521.74/525.38	c bounds 383 >= 85 @ 514.158
527.62/531.26	c #Conflicts:      60000 | #Constraints:     666306
527.62/531.26	c bounds 383 >= 86 @ 519.952
662.85/666.82	c #Conflicts:      61000 | #Constraints:     667333
662.85/666.82	c INPROCESSING
662.85/666.82	c GARBAGE COLLECT
662.85/666.82	c #Conflicts:      62000 | #Constraints:     663267
662.85/666.82	c bounds 383 >= 87 @ 654.878
699.95/704.05	c #Conflicts:      63000 | #Constraints:     664318
699.95/704.05	c #Conflicts:      64000 | #Constraints:     665440
699.95/704.05	c bounds 381 >= 87 @ 691.632
736.36/740.55	c #Conflicts:      65000 | #Constraints:     666645
736.36/740.55	c #Conflicts:      66000 | #Constraints:     667645
736.36/740.55	c INPROCESSING
736.36/740.55	c GARBAGE COLLECT
736.36/740.55	c #Conflicts:      67000 | #Constraints:     663239
736.36/740.55	c #Conflicts:      68000 | #Constraints:     664239
736.36/740.55	c #Conflicts:      69000 | #Constraints:     665239
736.36/740.55	c bounds 381 >= 88 @ 727.379
788.01/792.39	c #Conflicts:      70000 | #Constraints:     666287
788.01/792.39	c #Conflicts:      71000 | #Constraints:     667287
788.01/792.39	c #Conflicts:      72000 | #Constraints:     668287
788.01/792.39	c INPROCESSING
788.01/792.39	c GARBAGE COLLECT
788.01/792.39	c #Conflicts:      73000 | #Constraints:     663762
788.01/792.39	c #Conflicts:      74000 | #Constraints:     664762
788.01/792.39	c #Conflicts:      75000 | #Constraints:     665762
788.01/792.39	c bounds 381 >= 89 @ 778.225
807.17/811.58	c #Conflicts:      76000 | #Constraints:     666813
807.17/811.58	c #Conflicts:      77000 | #Constraints:     667813
807.17/811.58	c #Conflicts:      78000 | #Constraints:     668813
807.17/811.58	c INPROCESSING
807.17/811.58	c GARBAGE COLLECT
807.17/811.58	c rational objective 202.765
833.40/837.85	c #Conflicts:      79000 | #Constraints:     664156
833.40/837.85	c #Conflicts:      80000 | #Constraints:     665156
833.40/837.85	c #Conflicts:      81000 | #Constraints:     666156
833.40/837.85	c bounds 381 >= 90 @ 822.873
860.13/864.66	c #Conflicts:      82000 | #Constraints:     667200
860.13/864.66	c #Conflicts:      83000 | #Constraints:     668200
860.13/864.66	c #Conflicts:      84000 | #Constraints:     669200
860.13/864.66	c INPROCESSING
860.13/864.66	c GARBAGE COLLECT
860.13/864.66	c rational objective 202.765
892.44/897.05	c #Conflicts:      85000 | #Constraints:     664347
892.44/897.05	c #Conflicts:      86000 | #Constraints:     665347
892.44/897.05	c #Conflicts:      87000 | #Constraints:     666347
892.44/897.05	c #Conflicts:      88000 | #Constraints:     667347
892.44/897.05	c bounds 381 >= 91 @ 881.172
1005.73/1010.60	c #Conflicts:      89000 | #Constraints:     668401
1005.73/1010.60	c #Conflicts:      90000 | #Constraints:     669401
1005.73/1010.60	c INPROCESSING
1005.73/1010.60	c GARBAGE COLLECT
1005.73/1010.60	c rational objective 202.765
1062.47/1067.50	c #Conflicts:      91000 | #Constraints:     664370
1062.47/1067.50	c #Conflicts:      92000 | #Constraints:     665371
1062.47/1067.50	c #Conflicts:      93000 | #Constraints:     666371
1062.47/1067.50	c #Conflicts:      94000 | #Constraints:     667371
1062.47/1067.50	c #Conflicts:      95000 | #Constraints:     668372
1062.47/1067.50	c #Conflicts:      96000 | #Constraints:     669372
1062.47/1067.50	c INPROCESSING
1062.47/1067.50	c GARBAGE COLLECT
1062.47/1067.50	c rational objective 202.765
1186.50/1191.98	c #Conflicts:      97000 | #Constraints:     664155
1186.50/1191.98	c #Conflicts:      98000 | #Constraints:     665155
1186.50/1191.98	c #Conflicts:      99000 | #Constraints:     666156
1186.50/1191.98	c #Conflicts:     100000 | #Constraints:     667197
1186.50/1191.98	c #Conflicts:     101000 | #Constraints:     668741
1186.50/1191.98	c #Conflicts:     102000 | #Constraints:     670253
1186.50/1191.98	c #Conflicts:     103000 | #Constraints:     671463
1186.50/1191.98	c INPROCESSING
1186.50/1191.98	c GARBAGE COLLECT
1186.50/1191.98	c rational objective 202.765
1239.23/1244.82	c #Conflicts:     104000 | #Constraints:     665427
1239.23/1244.82	c #Conflicts:     105000 | #Constraints:     666427
1239.23/1244.82	c #Conflicts:     106000 | #Constraints:     667427
1239.23/1244.82	c #Conflicts:     107000 | #Constraints:     668427
1239.23/1244.82	c #Conflicts:     108000 | #Constraints:     669428
1239.23/1244.82	c #Conflicts:     109000 | #Constraints:     670428
1239.23/1244.82	c bounds 381 >= 92 @ 1225.22
1295.77/1301.52	c #Conflicts:     110000 | #Constraints:     671481
1295.77/1301.52	c INPROCESSING
1295.77/1301.52	c GARBAGE COLLECT
1295.77/1301.52	c rational objective 202.765
1349.60/1355.51	c #Conflicts:     111000 | #Constraints:     665512
1349.60/1355.51	c #Conflicts:     112000 | #Constraints:     666512
1349.60/1355.51	c #Conflicts:     113000 | #Constraints:     667513
1349.60/1355.51	c #Conflicts:     114000 | #Constraints:     668513
1349.60/1355.51	c #Conflicts:     115000 | #Constraints:     669513
1349.60/1355.51	c #Conflicts:     116000 | #Constraints:     670514
1349.60/1355.51	c #Conflicts:     117000 | #Constraints:     671514
1349.60/1355.51	c INPROCESSING
1349.60/1355.51	c GARBAGE COLLECT
1349.60/1355.51	c rational objective 202.765
1407.43/1413.53	c #Conflicts:     118000 | #Constraints:     665534
1407.43/1413.53	c #Conflicts:     119000 | #Constraints:     666534
1407.43/1413.53	c #Conflicts:     120000 | #Constraints:     667534
1407.43/1413.53	c #Conflicts:     121000 | #Constraints:     668534
1407.43/1413.53	c #Conflicts:     122000 | #Constraints:     669535
1407.43/1413.53	c #Conflicts:     123000 | #Constraints:     670536
1407.43/1413.53	c bounds 381 >= 93 @ 1391.51
1528.94/1535.40	c #Conflicts:     124000 | #Constraints:     671599
1528.94/1535.40	c INPROCESSING
1528.94/1535.40	c GARBAGE COLLECT
1528.94/1535.40	c bounds 380 >= 93 @ 1512.76
1573.31/1579.93	c #Conflicts:     125000 | #Constraints:     665522
1573.31/1579.93	c #Conflicts:     126000 | #Constraints:     666522
1573.31/1579.93	c #Conflicts:     127000 | #Constraints:     667522
1573.31/1579.93	c #Conflicts:     128000 | #Constraints:     668522
1573.31/1579.93	c #Conflicts:     129000 | #Constraints:     669522
1573.31/1579.93	c #Conflicts:     130000 | #Constraints:     670522
1573.31/1579.93	c #Conflicts:     131000 | #Constraints:     671522
1573.31/1579.93	c INPROCESSING
1573.31/1579.93	c GARBAGE COLLECT
1573.31/1579.93	c rational objective 202.765
1619.97/1626.72	c #Conflicts:     132000 | #Constraints:     665244
1619.97/1626.72	c #Conflicts:     133000 | #Constraints:     666700
1619.97/1626.72	c bounds 375 >= 93 @ 1602.63
1832.53/1840.06	c #Conflicts:     134000 | #Constraints:     667763
1832.53/1840.06	c #Conflicts:     135000 | #Constraints:     668763
1832.53/1840.06	c #Conflicts:     136000 | #Constraints:     669763
1832.53/1840.06	c #Conflicts:     137000 | #Constraints:     670764
1832.53/1840.06	c #Conflicts:     138000 | #Constraints:     671765
1832.53/1840.06	c #Conflicts:     139000 | #Constraints:     672765
1832.53/1840.06	c INPROCESSING
1832.53/1840.06	c GARBAGE COLLECT
1832.53/1840.06	c rational objective 202.765
1867.43/1875.03	c #Conflicts:     140000 | #Constraints:     666080
1867.43/1875.03	c #Conflicts:     141000 | #Constraints:     667082
1867.43/1875.03	c #Conflicts:     142000 | #Constraints:     668083
1867.43/1875.03	c bounds 375 >= 94 @ 1848.89
1900.23/1907.94	c #Conflicts:     143000 | #Constraints:     669128
1900.23/1907.94	c #Conflicts:     144000 | #Constraints:     670128
1900.23/1907.94	c #Conflicts:     145000 | #Constraints:     671129
1900.23/1907.94	c #Conflicts:     146000 | #Constraints:     672129
1900.23/1907.94	c #Conflicts:     147000 | #Constraints:     673129
1900.23/1907.94	c INPROCESSING
1900.23/1907.94	c GARBAGE COLLECT
1900.23/1907.94	c rational objective 202.765
1969.13/1977.05	c #Conflicts:     148000 | #Constraints:     666377
1969.13/1977.05	c #Conflicts:     149000 | #Constraints:     667379
1969.13/1977.05	c #Conflicts:     150000 | #Constraints:     668379
1969.13/1977.05	c #Conflicts:     151000 | #Constraints:     669380
1969.13/1977.05	c #Conflicts:     152000 | #Constraints:     670380
1969.13/1977.05	c #Conflicts:     153000 | #Constraints:     671381
1969.13/1977.05	c #Conflicts:     154000 | #Constraints:     672382
1969.13/1977.05	c #Conflicts:     155000 | #Constraints:     673383
1969.13/1977.05	c INPROCESSING
1969.13/1977.05	c GARBAGE COLLECT
1969.13/1977.05	c rational objective 202.765
1976.11/1984.02	c bounds 373 >= 94 @ 1955.89
1979.40/1987.33	c #Conflicts:     156000 | #Constraints:     666489
1979.40/1987.33	c bounds 369 >= 94 @ 1959.14
1997.94/2005.92	c #Conflicts:     157000 | #Constraints:     667490
1997.94/2005.92	c bounds 369 >= 95 @ 1977.48
2043.51/2051.65	c #Conflicts:     158000 | #Constraints:     668544
2043.51/2051.65	c #Conflicts:     159000 | #Constraints:     669544
2043.51/2051.65	c #Conflicts:     160000 | #Constraints:     670544
2043.51/2051.65	c #Conflicts:     161000 | #Constraints:     671544
2043.51/2051.65	c #Conflicts:     162000 | #Constraints:     672544
2043.51/2051.65	c #Conflicts:     163000 | #Constraints:     673544
2043.51/2051.65	c INPROCESSING
2043.51/2051.65	c GARBAGE COLLECT
2043.51/2051.65	c rational objective 202.765
2073.32/2081.52	c #Conflicts:     164000 | #Constraints:     666491
2073.32/2081.52	c #Conflicts:     165000 | #Constraints:     667500
2073.32/2081.52	c bounds 368 >= 95 @ 2051.83
2115.20/2123.51	c #Conflicts:     166000 | #Constraints:     668513
2115.20/2123.51	c #Conflicts:     167000 | #Constraints:     669513
2115.20/2123.51	c #Conflicts:     168000 | #Constraints:     670513
2115.20/2123.51	c #Conflicts:     169000 | #Constraints:     671513
2115.20/2123.51	c #Conflicts:     170000 | #Constraints:     672513
2115.20/2123.51	c #Conflicts:     171000 | #Constraints:     673513
2115.20/2123.51	c bounds 368 >= 96 @ 2092.94
2136.04/2144.41	c INPROCESSING
2136.04/2144.41	c GARBAGE COLLECT
2136.04/2144.41	c rational objective 202.765
2216.01/2224.67	c #Conflicts:     172000 | #Constraints:     666285
2216.01/2224.67	c #Conflicts:     173000 | #Constraints:     667285
2216.01/2224.67	c #Conflicts:     174000 | #Constraints:     668286
2216.01/2224.67	c #Conflicts:     175000 | #Constraints:     669286
2216.01/2224.67	c #Conflicts:     176000 | #Constraints:     670286
2216.01/2224.67	c #Conflicts:     177000 | #Constraints:     671286
2216.01/2224.67	c #Conflicts:     178000 | #Constraints:     672286
2216.01/2224.67	c #Conflicts:     179000 | #Constraints:     673286
2216.01/2224.67	c #Conflicts:     180000 | #Constraints:     674286
2216.01/2224.67	c INPROCESSING
2216.01/2224.67	c GARBAGE COLLECT
2216.01/2224.67	c rational objective 202.765
2362.36/2371.44	c #Conflicts:     181000 | #Constraints:     666874
2362.36/2371.44	c #Conflicts:     182000 | #Constraints:     667874
2362.36/2371.44	c #Conflicts:     183000 | #Constraints:     668874
2362.36/2371.44	c #Conflicts:     184000 | #Constraints:     669875
2362.36/2371.44	c #Conflicts:     185000 | #Constraints:     670875
2362.36/2371.44	c #Conflicts:     186000 | #Constraints:     671876
2362.36/2371.44	c #Conflicts:     187000 | #Constraints:     672878
2362.36/2371.44	c #Conflicts:     188000 | #Constraints:     673878
2362.36/2371.44	c #Conflicts:     189000 | #Constraints:     674880
2362.36/2371.44	c INPROCESSING
2362.36/2371.44	c GARBAGE COLLECT
2362.36/2371.44	c bounds 368 >= 97 @ 2337.59
2591.76/2601.54	c #Conflicts:     190000 | #Constraints:     667331
2591.76/2601.54	c #Conflicts:     191000 | #Constraints:     668331
2591.76/2601.54	c #Conflicts:     192000 | #Constraints:     669331
2591.76/2601.54	c #Conflicts:     193000 | #Constraints:     670331
2591.76/2601.54	c #Conflicts:     194000 | #Constraints:     671331
2591.76/2601.54	c #Conflicts:     195000 | #Constraints:     672331
2591.76/2601.54	c #Conflicts:     196000 | #Constraints:     673331
2591.76/2601.54	c #Conflicts:     197000 | #Constraints:     674331
2591.76/2601.54	c #Conflicts:     198000 | #Constraints:     675331
2591.76/2601.54	c INPROCESSING
2591.76/2601.54	c GARBAGE COLLECT
2591.76/2601.54	c rational objective 202.765
2596.84/2606.61	c bounds 367 >= 97 @ 2570.56
2657.96/2667.92	c #Conflicts:     199000 | #Constraints:     667519
2657.96/2667.92	c #Conflicts:     200000 | #Constraints:     668519
2657.96/2667.92	c #Conflicts:     201000 | #Constraints:     669521
2657.96/2667.92	c #Conflicts:     202000 | #Constraints:     670528
2657.96/2667.92	c #Conflicts:     203000 | #Constraints:     671534
2657.96/2667.92	c #Conflicts:     204000 | #Constraints:     672536
2657.96/2667.92	c #Conflicts:     205000 | #Constraints:     673540
2657.96/2667.92	c bounds 366 >= 97 @ 2630.87
2676.10/2686.16	c #Conflicts:     206000 | #Constraints:     674541
2676.10/2686.16	c #Conflicts:     207000 | #Constraints:     675541
2676.10/2686.16	c INPROCESSING
2676.10/2686.16	c GARBAGE COLLECT
2676.10/2686.16	c rational objective 202.765
2781.47/2791.82	c #Conflicts:     208000 | #Constraints:     667502
2781.47/2791.82	c #Conflicts:     209000 | #Constraints:     668504
2781.47/2791.82	c #Conflicts:     210000 | #Constraints:     669504
2781.47/2791.82	c #Conflicts:     211000 | #Constraints:     670504
2781.47/2791.82	c #Conflicts:     212000 | #Constraints:     671504
2781.47/2791.82	c #Conflicts:     213000 | #Constraints:     672504
2781.47/2791.82	c #Conflicts:     214000 | #Constraints:     673504
2781.47/2791.82	c #Conflicts:     215000 | #Constraints:     674512
2781.47/2791.82	c #Conflicts:     216000 | #Constraints:     675513
2781.47/2791.82	c INPROCESSING
2781.47/2791.82	c GARBAGE COLLECT
2781.47/2791.82	c rational objective 202.765
2798.32/2808.71	c #Conflicts:     217000 | #Constraints:     667290
2798.32/2808.71	c #Conflicts:     218000 | #Constraints:     668290
2798.32/2808.71	c bounds 366 >= 98 @ 2769.59
2862.92/2873.57	c #Conflicts:     219000 | #Constraints:     669356
2862.92/2873.57	c #Conflicts:     220000 | #Constraints:     670356
2862.92/2873.57	c #Conflicts:     221000 | #Constraints:     671357
2862.92/2873.57	c #Conflicts:     222000 | #Constraints:     672357
2862.92/2873.57	c #Conflicts:     223000 | #Constraints:     673357
2862.92/2873.57	c #Conflicts:     224000 | #Constraints:     674358
2862.92/2873.57	c #Conflicts:     225000 | #Constraints:     675359
2862.92/2873.57	c #Conflicts:     226000 | #Constraints:     676359
2862.92/2873.57	c INPROCESSING
2862.92/2873.57	c GARBAGE COLLECT
2862.92/2873.57	c rational objective 202.765
2976.38/2987.34	c #Conflicts:     227000 | #Constraints:     667934
2976.38/2987.34	c #Conflicts:     228000 | #Constraints:     668936
2976.38/2987.34	c #Conflicts:     229000 | #Constraints:     669937
2976.38/2987.34	c #Conflicts:     230000 | #Constraints:     670937
2976.38/2987.34	c #Conflicts:     231000 | #Constraints:     671938
2976.38/2987.34	c #Conflicts:     232000 | #Constraints:     672938
2976.38/2987.34	c #Conflicts:     233000 | #Constraints:     673938
2976.38/2987.34	c #Conflicts:     234000 | #Constraints:     674938
2976.38/2987.34	c #Conflicts:     235000 | #Constraints:     675938
2976.38/2987.34	c bounds 366 >= 99 @ 2945.27
2976.49/2987.42	c bounds 360 >= 99 @ 2945.34
2976.78/2987.70	c bounds 357 >= 99 @ 2945.61
2976.98/2987.95	c bounds 353 >= 99 @ 2945.85
2977.99/2988.98	c bounds 351 >= 99 @ 2946.85
3053.55/3064.77	c #Conflicts:     236000 | #Constraints:     676999
3053.55/3064.77	c INPROCESSING
3053.55/3064.77	c GARBAGE COLLECT
3053.55/3064.77	c rational objective 202.765
3323.21/3335.26	c #Conflicts:     237000 | #Constraints:     668402
3323.21/3335.26	c #Conflicts:     238000 | #Constraints:     669402
3323.21/3335.26	c #Conflicts:     239000 | #Constraints:     670402
3323.21/3335.26	c #Conflicts:     240000 | #Constraints:     671402
3323.21/3335.26	c #Conflicts:     241000 | #Constraints:     672415
3323.21/3335.26	c #Conflicts:     242000 | #Constraints:     673643
3323.21/3335.26	c #Conflicts:     243000 | #Constraints:     675029
3323.21/3335.26	c #Conflicts:     244000 | #Constraints:     676215
3323.21/3335.26	c #Conflicts:     245000 | #Constraints:     677496
3323.21/3335.26	c #Conflicts:     246000 | #Constraints:     678895
3323.21/3335.26	c INPROCESSING
3323.21/3335.26	c GARBAGE COLLECT
3323.21/3335.26	c rational objective 202.765
3421.90/3434.21	c #Conflicts:     247000 | #Constraints:     669371
3421.90/3434.21	c #Conflicts:     248000 | #Constraints:     670372
3421.90/3434.21	c #Conflicts:     249000 | #Constraints:     671372
3421.90/3434.21	c #Conflicts:     250000 | #Constraints:     672372
3421.90/3434.21	c #Conflicts:     251000 | #Constraints:     673372
3421.90/3434.21	c #Conflicts:     252000 | #Constraints:     674372
3421.90/3434.21	c #Conflicts:     253000 | #Constraints:     675372
3421.90/3434.21	c #Conflicts:     254000 | #Constraints:     676372
3421.90/3434.21	c #Conflicts:     255000 | #Constraints:     677372
3421.90/3434.21	c #Conflicts:     256000 | #Constraints:     678372
3421.90/3434.21	c INPROCESSING
3421.90/3434.21	c GARBAGE COLLECT
3421.90/3434.21	c rational objective 202.765
3518.90/3531.59	c #Conflicts:     257000 | #Constraints:     668942
3518.90/3531.59	c #Conflicts:     258000 | #Constraints:     669942
3518.90/3531.59	c #Conflicts:     259000 | #Constraints:     670942
3518.90/3531.59	c #Conflicts:     260000 | #Constraints:     671942
3518.90/3531.59	c #Conflicts:     261000 | #Constraints:     672942
3518.90/3531.59	c #Conflicts:     262000 | #Constraints:     673942
3518.90/3531.59	c #Conflicts:     263000 | #Constraints:     674942
3518.90/3531.59	c #Conflicts:     264000 | #Constraints:     675943
3518.90/3531.59	c #Conflicts:     265000 | #Constraints:     676943
3518.90/3531.59	c #Conflicts:     266000 | #Constraints:     677945
3518.90/3531.59	c INPROCESSING
3518.90/3531.59	c GARBAGE COLLECT
3518.90/3531.59	c rational objective 202.765
3600.07/3612.90	c #Conflicts:     267000 | #Constraints:     668557
3600.07/3612.90	c #Conflicts:     268000 | #Constraints:     669558
3600.07/3612.90	c #Conflicts:     269000 | #Constraints:     670558
3600.07/3612.90	c #Conflicts:     270000 | #Constraints:     671558
3600.07/3612.90	c #Conflicts:     271000 | #Constraints:     672558
3600.07/3612.90	c #Conflicts:     272000 | #Constraints:     673558
3600.07/3612.90	c #Conflicts:     273000 | #Constraints:     674558
3600.07/3612.90	c #Conflicts:     274000 | #Constraints:     675559
3600.07/3612.90	c cpu time 3562.51 s
3600.07/3612.90	c deterministic time 124352139751 1.24e+11
3600.07/3612.90	c optimization time 77.2468 s
3600.07/3612.90	c total solve time 3482.44 s
3600.07/3612.90	c core-guided solve time 2630.29 s
3600.07/3612.90	c propagation time 1283.23 s
3600.07/3612.90	c conflict analysis time 892.285 s
3600.07/3612.90	c propagations 104402405
3600.07/3612.90	c resolve steps 4222564
3600.07/3612.90	c decisions 10378576
3600.07/3612.90	c conflicts 274166
3600.07/3612.90	c restarts 637
3600.07/3612.90	c inprocessing phases 43
3600.07/3612.90	c garbage collections 41 ,( 95.35 )
3600.07/3612.90	c input clauses 657352 ,( 99.80 )
3600.07/3612.90	c input cardinalities 522 ,( 0.08 )
3600.07/3612.90	c input general constraints 803 ,( 0.12 )
3600.07/3612.90	c input average constraint length 7.74
3600.07/3612.90	c input average constraint degree 164.00
3600.07/3612.90	c learned clauses 185585 ,( 66.73 )
3600.07/3612.90	c learned cardinalities 19 ,( 0.01 )
3600.07/3612.90	c learned general constraints 92495 ,( 33.26 )
3600.07/3612.90	c learned average constraint length 1564.27
3600.07/3612.90	c learned average constraint degree 27994388805.38
3600.07/3612.90	c watched  CF 32, 64, 128, Arb: 4584 , 0 , 0 , 0
3600.07/3612.90	c counting CF 32, 64, 128, Arb: 88715 , 0 , 0 , 0
3600.07/3612.90	c watched   constraints 4584 ,( 4.91 ) 
3600.07/3612.90	c counting  constraints 88714 ,( 95.09 ) 
3600.07/3612.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 48933578 , 3740579 , 917119227 ,( 13179098 , 903940129 )
3600.07/3612.90	c gcd simplifications 9544
3600.07/3612.90	c detected cardinalities 1
3600.07/3612.90	c weakened non-implied lits 912001197
3600.07/3612.90	c weakened non-implying lits 229050
3600.07/3612.90	c original variables 10000
3600.07/3612.90	c clausal propagations 16131871
3600.07/3612.90	c cardinality propagations 1072458
3600.07/3612.90	c watched propagations 60025
3600.07/3612.90	c counting propagations 83849737
3600.07/3612.90	c watch lookups 4732278272
3600.07/3612.90	c watch backjump lookups 0
3600.07/3612.90	c watch checks 2696178225
3600.07/3612.90	c propagation checks 112421154325
3600.07/3612.90	c constraint additions 4272227969
3600.07/3612.90	c trail pops 115045235
3600.07/3612.90	c formula constraints 656900
3600.07/3612.90	c learned constraints 273945
3600.07/3612.90	c bound constraints 285
3600.07/3612.90	c core-guided constraints 1492
3600.07/3612.90	c encountered formula constraints 1212855
3600.07/3612.90	c encountered learned constraints 1712472
3600.07/3612.90	c encountered bound constraints 19208
3600.07/3612.90	c encountered core-guided constraints 1529966
3600.07/3612.90	c LP total time 2048.66 s
3600.07/3612.90	c LP solve time 1816.22 s
3600.07/3612.90	c LP constraints added 656942
3600.07/3612.90	c LP constraints removed 29
3600.07/3612.90	c LP pivots internal 277234
3600.07/3612.90	c LP pivots root 197509
3600.07/3612.90	c LP calls 4184
3600.07/3612.90	c LP optimalities 240
3600.07/3612.90	c LP no pivot count 56
3600.07/3612.90	c LP infeasibilities 3920
3600.07/3612.90	c LP valid Farkas constraints 3916
3600.07/3612.90	c LP learned Farkas constraints 222
3600.07/3612.90	c LP basis resets 23
3600.07/3612.90	c LP cycling count 6
3600.07/3612.90	c LP singular count 2
3600.07/3612.90	c LP no primal count 0
3600.07/3612.90	c LP no farkas count 4
3600.07/3612.90	c LP other issue count 11
3600.07/3612.90	c LP Gomory cuts 16
3600.07/3612.90	c LP learned cuts 26
3600.07/3612.90	c LP deleted cuts 29
3600.07/3612.90	c LP encountered Gomory constraints 994
3600.07/3612.90	c LP encountered Farkas constraints 20883
3600.07/3612.90	c LP encountered learned Farkas constraints 130
3600.07/3612.90	c CG auxiliary variables introduced 520
3600.07/3612.90	c CG solutions found 216
3600.07/3612.90	c CG cores constructed 68
3600.07/3612.90	c CG core cardinality constraints returned 0
3600.07/3612.90	c CG unit cores 0
3600.07/3612.90	c CG single cores 68
3600.07/3612.90	c CG blocks removed during cardinality reduction 0
3600.07/3612.90	c CG first core best 0
3600.07/3612.90	c CG decision core best 0
3600.07/3612.90	c CG core reduction tie 0
3600.07/3612.90	c CG core degree average 1.00
3600.07/3612.90	c CG core slack average 828.68
3600.07/3612.90	c CG core upper bound improvements 118
3600.07/3612.90	c STR number of successful calls 0
3600.07/3612.90	c STR number of unsuccessful calls 0
3600.07/3612.90	c STR number of inconclusive calls 0
3600.07/3612.90	c STR number of successful attempts 0
3600.07/3612.90	c STR number of unsuccessful attempts 0
3600.07/3612.90	c STR number of inconclusive attempts 0
3600.07/3612.90	c STR average degree increase per successful call inf
3600.07/3612.90	c STR average degree increase per successful attempt inf
3600.07/3612.90	c STR total number of conflicts for successful attempts 0
3600.07/3612.90	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3612.90	c STR total number of conflicts for inconclusive attempts 0
3600.07/3612.90	c STR average number of conflicts per successful attempt inf
3600.07/3612.90	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3612.90	c STR average number of conflicts per inconclusive attempt inf
3600.07/3612.90	c AVG.sumWPerc 91.82 
3600.07/3612.90	c bigint constraints 0 
3600.07/3612.90	o 351
3600.07/3612.90	s SATISFIABLE
3600.07/3612.90	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.07/3612.90	c Program interrupted by user.

Verifier Data 

OK	351

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 (62927 MiB free)
  memory of node 1: 64507 MiB (64005 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=54711, runsolver pid=54708

[startup+0.100019 s]*
/proc/loadavg: 2.63 3.76 3.97 4/258 54723
/proc/meminfo: memFree=129836816/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54713] ppid=54711 vsize=165748 memory=150340 CPUtime=0.08 cores=5,7
/proc/54713/stat : 54713 (pbsuma) R 54711 54711 54673 0 -1 4194304 4640 0 0 0 5 3 0 0 20 0 1 0 52540289 169725952 37585 18446744073709551615 4210688 4653049 140736268967344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 15507456 140736268970211 140736268970546 140736268970546 140736268976111 0
/proc/54713/statm: 41437 37585 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153412 KiB

[startup+0.205583 s]*
/proc/loadavg: 2.63 3.76 3.97 4/269 54746
/proc/meminfo: memFree=129559276/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54713] ppid=54711 vsize=181448 memory=168100 CPUtime=0.19 cores=5,7
/proc/54713/stat : 54713 (pbsuma) R 54711 54711 54673 0 -1 4194304 8990 0 0 0 15 4 0 0 20 0 1 0 52540289 185802752 42025 18446744073709551615 4210688 4653049 140736268967344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 15507456 140736268970211 140736268970546 140736268970546 140736268976111 0
/proc/54713/statm: 45362 42025 960 108 0 42770 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 171172 KiB

[startup+0.305604 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129372388/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54713] ppid=54711 vsize=195312 memory=185116 CPUtime=0.29 cores=5,7
/proc/54713/stat : 54713 (pbsuma) R 54711 54711 54673 0 -1 4194304 12246 0 0 0 24 5 0 0 20 0 1 0 52540289 199999488 46279 18446744073709551615 4210688 4653049 140736268967344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 15507456 140736268970211 140736268970546 140736268970546 140736268976111 0
/proc/54713/statm: 48828 46279 960 108 0 46236 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199504 KiB
Current children cumulated memory: 188188 KiB

[startup+0.700222 s]
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129175380/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54713] ppid=54711 vsize=320868 memory=273956 CPUtime=0.67 cores=5,7
/proc/54713/stat : 54713 (pbsuma) R 54711 54711 54673 0 -1 4194304 22702 0 0 0 60 7 0 0 20 0 1 0 52540289 328568832 68489 18446744073709551615 4210688 4653049 140736268967344 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 15507456 140736268970211 140736268970546 140736268970546 140736268976111 0
/proc/54713/statm: 80217 68489 1024 108 0 77625 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 325060 KiB
Current children cumulated memory: 277028 KiB

[startup+1.5002 s]
/proc/loadavg: 2.63 3.76 3.97 5/269 54747
/proc/meminfo: memFree=129063788/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=107064 memory=61636 CPUtime=0.51 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 13119 0 0 0 39 12 0 0 20 0 1 0 52540385 109633536 15409 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 26766 15409 2016 1147 0 14193 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 111256 KiB
Current children cumulated memory: 64708 KiB

[startup+3.10539 s]
/proc/loadavg: 2.74 3.76 3.97 5/269 54750
/proc/meminfo: memFree=128849056/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=268860 memory=212544 CPUtime=2.12 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 46121 0 0 0 163 49 0 0 20 0 1 0 52540385 275312640 53136 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 67215 53136 2016 1147 0 54642 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 273052 KiB
Current children cumulated memory: 215616 KiB

[startup+6.30022 s]
/proc/loadavg: 2.74 3.76 3.97 5/270 54751
/proc/meminfo: memFree=126173564/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=1064968 memory=805280 CPUtime=5.3 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 90348 0 0 0 447 83 0 0 20 0 1 0 52540385 1090527232 201320 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 266242 201320 2304 1147 0 253669 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1069160 KiB
Current children cumulated memory: 808352 KiB

[startup+12.7002 s]
/proc/loadavg: 2.84 3.77 3.98 5/270 54751
/proc/meminfo: memFree=125996416/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=1222504 memory=906356 CPUtime=11.68 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 96747 0 0 0 1073 95 0 0 20 0 1 0 52540385 1251844096 226589 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 305626 226589 2400 1147 0 293053 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1226696 KiB
Current children cumulated memory: 909428 KiB

[startup+25.5002 s]
/proc/loadavg: 3.24 3.81 3.99 5/270 54751
/proc/meminfo: memFree=124680208/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=1480164 memory=1128464 CPUtime=24.45 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 123556 0 0 0 2290 155 0 0 20 0 1 0 52540385 1515687936 282116 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 370041 282116 2400 1147 0 357468 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1484356 KiB
Current children cumulated memory: 1131536 KiB

[startup+51.1056 s]
/proc/loadavg: 3.50 3.83 3.99 5/271 54755
/proc/meminfo: memFree=123555156/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=1490740 memory=1166024 CPUtime=49.3 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 124964 0 0 0 4741 189 0 0 20 0 1 0 52540385 1526517760 291506 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 372685 291506 2400 1147 0 360112 0
Current children cumulated CPU time: 50.24 s
Current children cumulated vsize: 1494932 KiB
Current children cumulated memory: 1169096 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 3.89 4.01 5/273 54758
/proc/meminfo: memFree=122153228/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=1659380 memory=1277156 CPUtime=100.16 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 135507 0 0 0 9774 242 0 0 20 0 1 0 52540385 1699205120 319289 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 414845 319289 2400 1147 0 402272 0
Current children cumulated CPU time: 101.1 s
Current children cumulated vsize: 1663572 KiB
Current children cumulated memory: 1280228 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.92 4.01 5/273 54760
/proc/meminfo: memFree=121053048/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=1778288 memory=1453612 CPUtime=159.29 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 154050 0 0 0 15624 305 0 0 20 0 1 0 52540385 1820966912 363403 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 444572 363403 2400 1147 0 431999 0
Current children cumulated CPU time: 160.23 s
Current children cumulated vsize: 1782480 KiB
Current children cumulated memory: 1456684 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.96 4.01 5/273 54763
/proc/meminfo: memFree=118272300/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=1878296 memory=1544864 CPUtime=218.67 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 169681 0 0 0 21510 357 0 0 20 0 1 0 52540385 1923375104 386216 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 469574 386216 2400 1147 0 457001 0

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

Current children cumulated memory: 3217016 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/273 54940
/proc/meminfo: memFree=38021648/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=4152272 memory=3472852 CPUtime=3329.34 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 491004 0 0 0 329697 3237 0 0 20 0 1 0 52540385 4251926528 868213 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1038068 868213 2528 1147 0 1025495 0
Current children cumulated CPU time: 3330.28 s
Current children cumulated vsize: 4156464 KiB
Current children cumulated memory: 3475924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/274 54947
/proc/meminfo: memFree=36459736/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=4168008 memory=3488824 CPUtime=3389.15 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 495085 0 0 0 335585 3330 0 0 20 0 1 0 52540385 4268040192 872206 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042002 872206 2528 1147 0 1029429 0
Current children cumulated CPU time: 3390.09 s
Current children cumulated vsize: 4172200 KiB
Current children cumulated memory: 3491896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/275 54951
/proc/meminfo: memFree=35289580/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=4168000 memory=3488900 CPUtime=3448.97 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 498564 0 0 0 341488 3409 0 0 20 0 1 0 52540385 4268032000 872225 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872225 2528 1147 0 1029427 0
Current children cumulated CPU time: 3449.91 s
Current children cumulated vsize: 4172192 KiB
Current children cumulated memory: 3491972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.18 4.11 5/277 54957
/proc/meminfo: memFree=33447920/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=4168000 memory=3488900 CPUtime=3508.8 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 498987 0 0 0 347342 3538 0 0 20 0 1 0 52540385 4268032000 872225 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872225 2528 1147 0 1029427 0
Current children cumulated CPU time: 3509.74 s
Current children cumulated vsize: 4172192 KiB
Current children cumulated memory: 3491972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/278 54960
/proc/meminfo: memFree=30875552/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=4168000 memory=3488900 CPUtime=3568.61 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 499010 0 0 0 353241 3620 0 0 20 0 1 0 52540385 4268032000 872225 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872225 2528 1147 0 1029427 0
Current children cumulated CPU time: 3569.55 s
Current children cumulated vsize: 4172192 KiB
Current children cumulated memory: 3491972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 4.15 4.16 4.10 5/278 54962
/proc/meminfo: memFree=29674520/131250000 swapFree=33010416/33010684
[pid=54711] ppid=54708 vsize=4192 memory=3072 CPUtime=0.94 cores=5,7
/proc/54711/stat : 54711 (run-opt-ls-log.) S 54708 54711 54673 0 -1 4194304 244 29180 0 0 0 0 83 11 20 0 1 0 52540288 4292608 768 18446744073709551615 94825615122432 94825616016965 140721670441264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94825616256016 94825616303760 94825630527488 140721670445339 140721670445537 140721670445537 140721670451139 0
/proc/54711/statm: 1048 768 704 219 0 110 0
[pid=54747] ppid=54711 vsize=4168000 memory=3488900 CPUtime=3599.13 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54711 54711 54673 0 -1 4194304 502633 0 0 0 356251 3662 0 0 20 0 1 0 52540385 4268032000 872225 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872225 2528 1147 0 1029427 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4172192 KiB
Current children cumulated memory: 3491972 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.841175 s, system=0.111113 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.21 4.17 4.11 6/277 54962
/proc/meminfo: memFree=29572580/131250000 swapFree=33010416/33010684
[pid=54747] ppid=54708 vsize=4168000 memory=3489156 CPUtime=3600.22 cores=5,7
/proc/54747/stat : 54747 (roundingsat) D 54708 54711 54673 0 -1 4194304 502637 0 0 0 356253 3769 0 0 20 0 1 0 52540385 4268032000 872289 18446744073709551615 4227072 8923433 140723115533728 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 9
/proc/54747/statm: 1042000 872289 2592 1147 0 1029427 0
??? kill 54747 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3563.38 s, system=38.5882 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+3613.6 s]
/proc/loadavg: 4.21 4.17 4.11 5/277 54962
/proc/meminfo: memFree=29636996/131250000 swapFree=33010416/33010684
[pid=54747] ppid=54708 vsize=4168000 memory=3489156 CPUtime=3599.82 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54708 54711 54673 0 -1 4194304 502637 0 0 0 356251 3731 0 0 20 0 1 0 52540385 4268032000 872289 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872289 2592 1147 0 1029427 0
Current cumulated CPU time of completed processes: 0.952288 s
Current children cumulated CPU time: 3599.82 s
Current children cumulated vsize: 4168000 KiB
Current children cumulated memory: 3489156 KiB

[startup+3614.4 s]
/proc/loadavg: 4.21 4.17 4.11 6/277 54962
/proc/meminfo: memFree=29573380/131250000 swapFree=33010416/33010684
[pid=54747] ppid=54708 vsize=4168000 memory=3489156 CPUtime=3600.18 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54708 54711 54673 0 -1 4194304 502637 0 0 0 356252 3766 0 0 20 0 1 0 52540385 4268032000 872289 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872289 2592 1147 0 1029427 0
Current cumulated CPU time of completed processes: 0.952288 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 4168000 KiB
Current children cumulated memory: 3489156 KiB

[startup+3614.8 s]
/proc/loadavg: 4.21 4.17 4.11 6/277 54962
/proc/meminfo: memFree=29573380/131250000 swapFree=33010416/33010684
[pid=54747] ppid=54708 vsize=4168000 memory=3489156 CPUtime=3600.21 cores=5,7
/proc/54747/stat : 54747 (roundingsat) R 54708 54711 54673 0 -1 4194304 502637 0 0 0 356253 3768 0 0 20 0 1 0 52540385 4268032000 872289 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872289 2592 1147 0 1029427 0
Current cumulated CPU time of completed processes: 0.952288 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 4168000 KiB
Current children cumulated memory: 3489156 KiB

[startup+3614.9 s]
/proc/loadavg: 4.21 4.17 4.11 6/277 54962
/proc/meminfo: memFree=29573380/131250000 swapFree=33010416/33010684
[pid=54747] ppid=54708 vsize=4168000 memory=3489156 CPUtime=3600.22 cores=5,7
/proc/54747/stat : 54747 (roundingsat) D 54708 54711 54673 0 -1 4194304 502637 0 0 0 356253 3769 0 0 20 0 1 0 52540385 4268032000 872289 18446744073709551615 4227072 8923433 140723115533728 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 16637952 140723115542774 140723115543080 140723115543080 140723115548650 0
/proc/54747/statm: 1042000 872289 2592 1147 0 1029427 0
Current cumulated CPU time of completed processes: 0.952288 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 4168000 KiB
Current children cumulated memory: 3489156 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3623.91
CPU time (s): 3601.97
CPU user time (s): 3563.38
CPU system time (s): 38.5882
CPU usage (%): 99.3943
Max. virtual memory (cumulated for all children) (KiB): 4248612
Max. memory (cumulated for all children) (KiB): 3568040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.38
system time used= 38.5882
maximum resident set size= 3564968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 76755368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 297912
involuntary context switches= 3881


# summary of solver processes directly reported to runsolver:
#   pid: 54711,54747
#   total CPU time (s): 3601.97
#   total CPU user time (s): 3563.38
#   total CPU system time (s): 38.5882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37443 second user time and 17.2083 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 13:17:04
IDJOB=4489693
IDBENCH=147561
IDSOLVER=3356
FILE ID=nodeC018/4489693-1751368624
RUNJOBID= nodeC018-1751368624-54686
SLURM_JOB_ID= 9598184
Free space on /tmp= 432912 MiB

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

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=1688743210

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.829
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.829
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3705.296
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.777
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.835
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.554
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3602.823
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130010928 kB
MemAvailable:   129736264 kB
Buffers:            2128 kB
Cached:           527108 kB
SwapCached:           32 kB
Active:           424880 kB
Inactive:         192568 kB
Active(anon):     104744 kB
Inactive(anon):     1564 kB
Active(file):     320136 kB
Inactive(file):   191004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             43288 kB
Writeback:             0 kB
AnonPages:         91472 kB
Mapped:           103628 kB
Shmem:             18044 kB
KReclaimable:     106472 kB
Slab:             194488 kB
SReclaimable:     106472 kB
SUnreclaim:        88016 kB
KernelStack:        4160 kB
PageTables:         3100 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     357028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432772 MiB
End job on nodeC018 at 2025-07-01 14:17:28