Trace number 4489508

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22adSAT (TO)302 3600.19 3610.1

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
MD5SUM50cf9112b5ea763531dadde21846562c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark211
Best CPU time to get the best result obtained on this benchmark3586.65
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495981
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495981
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489508-1751357479.opb'
0.28/0.34	c 	read 17.23MB  (326.69ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.35	c 
0.28/0.35	c make graph and approximate orbits
0.67/0.73	c	 [group: #orbits ~= 0] (386.19ms)
0.67/0.73	c 
0.67/0.73	c detect special group actions
0.67/0.73	c 	probe for Johnson action (limit=64)
0.67/0.74	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.74	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.75	c 	 (22.94ms)
0.67/0.75	c 
0.67/0.75	c detect symmetries on remainder
0.67/0.76	c 	[graph: #vertices 706674 #edges 2766346]
0.67/0.76	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.77/0.81	c 	 [group: #symmetries 1.00*10^0 #generators 0] (51.49ms)
0.77/0.81	c 
0.77/0.81	c finalize break order and special generators
0.77/0.81	c 
0.77/0.81	c generation finished
0.77/0.81	c 	[sbp: #constraints 0 #add_vars 0]
0.77/0.81	c 
0.77/0.81	c write result to 'HOME/instance-4489508-1751357479.opb.pre'
0.77/0.84	c 	wrote 17.23MB (35.57ms)
0.77/0.84	c ------------------------------------------------------------------
0.77/0.84	c                 386.19ms 46.77% approx_orbits
0.77/0.84	c                 326.68ms 39.56% parse
0.77/0.84	c                  51.49ms  6.24% detect_generic
0.77/0.84	c                  35.57ms  4.31% output
0.77/0.84	c                  22.94ms  2.78% detect_special
0.77/0.84	c                   2.49ms  0.30% other
0.77/0.84	c                   0.38ms  0.05% finalize_order
0.77/0.84	c         ───────────────────────────────────────────────
0.77/0.84	c                 825.74ms   100% total
0.77/0.84	c ------------------------------------------------------------------
0.86/0.98	c RoundingSat 2
0.86/0.98	c branch pb25
0.86/0.98	c commit 63f22ad
3.63/3.72	c #variables 10000 #constraints 656900
3.63/3.72	c objective is ce32 
4.54/4.60	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.54/4.60	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.54/4.60	c bounds 5640 >= 0 @ 2.90959
6.63/6.76	c rational objective 154.151
10.82/10.93	c bounds 5607 >= 0 @ 9.10989
10.93/11.03	c bounds 5601 >= 0 @ 9.20786
10.93/11.06	c bounds 5596 >= 0 @ 9.23779
10.93/11.07	c bounds 5594 >= 0 @ 9.24633
11.02/11.10	c bounds 5589 >= 0 @ 9.27349
11.02/11.11	c bounds 5495 >= 0 @ 9.28105
11.02/11.12	c bounds 5455 >= 0 @ 9.2868
11.02/11.13	c bounds 5441 >= 0 @ 9.30056
11.02/11.14	c bounds 5405 >= 0 @ 9.30684
11.02/11.15	c bounds 5353 >= 0 @ 9.30998
11.02/11.16	c bounds 5320 >= 0 @ 9.31686
11.02/11.16	c bounds 5142 >= 0 @ 9.31917
11.02/11.17	c bounds 5138 >= 0 @ 9.32341
11.02/11.18	c bounds 5129 >= 0 @ 9.33659
11.02/11.19	c bounds 5111 >= 0 @ 9.34041
11.11/11.20	c bounds 5034 >= 0 @ 9.34716
11.11/11.23	c bounds 5032 >= 0 @ 9.37494
11.11/11.24	c bounds 5024 >= 0 @ 9.38599
11.11/11.26	c bounds 5009 >= 0 @ 9.39902
11.11/11.26	c bounds 5008 >= 0 @ 9.4064
11.11/11.29	c bounds 5007 >= 0 @ 9.4319
11.22/11.30	c bounds 4856 >= 0 @ 9.43833
11.22/11.37	c bounds 4844 >= 0 @ 9.50538
11.22/11.38	c bounds 4814 >= 0 @ 9.51423
11.22/11.40	c bounds 4803 >= 0 @ 9.52342
11.32/11.40	c bounds 4719 >= 0 @ 9.53094
11.32/11.41	c bounds 4708 >= 0 @ 9.53626
11.32/11.42	c bounds 4693 >= 0 @ 9.5458
11.32/11.44	c bounds 4638 >= 0 @ 9.55944
11.32/11.45	c bounds 4625 >= 0 @ 9.57073
11.32/11.46	c bounds 4561 >= 0 @ 9.57911
11.32/11.47	c bounds 4374 >= 0 @ 9.58507
11.32/11.48	c bounds 4372 >= 0 @ 9.59187
11.32/11.49	c bounds 4336 >= 0 @ 9.59619
11.42/11.50	c bounds 4292 >= 0 @ 9.60172
11.42/11.50	c bounds 4255 >= 0 @ 9.60612
11.42/11.51	c bounds 3995 >= 0 @ 9.61195
11.42/11.54	c bounds 3980 >= 0 @ 9.63546
11.42/11.55	c bounds 3928 >= 0 @ 9.6444
11.42/11.56	c bounds 3904 >= 0 @ 9.65151
11.42/11.57	c bounds 3898 >= 0 @ 9.65873
11.52/11.61	c bounds 3886 >= 0 @ 9.69613
11.52/11.62	c bounds 3872 >= 0 @ 9.70691
11.52/11.63	c bounds 3866 >= 0 @ 9.71458
11.52/11.69	c bounds 3838 >= 0 @ 9.77007
11.61/11.70	c bounds 3801 >= 0 @ 9.78076
11.61/11.71	c bounds 3780 >= 0 @ 9.79099
11.61/11.72	c bounds 3727 >= 0 @ 9.80154
11.61/11.74	c bounds 3717 >= 0 @ 9.81535
11.61/11.75	c bounds 3592 >= 0 @ 9.82282
11.61/11.77	c bounds 3558 >= 0 @ 9.83399
11.61/11.78	c bounds 3552 >= 0 @ 9.84644
11.61/11.79	c bounds 3540 >= 0 @ 9.85545
11.71/11.80	c bounds 3466 >= 0 @ 9.86151
11.71/11.81	c bounds 3465 >= 0 @ 9.86589
11.71/11.82	c bounds 3456 >= 0 @ 9.87209
11.71/11.83	c bounds 3450 >= 0 @ 9.87832
11.71/11.84	c bounds 3437 >= 0 @ 9.89481
11.71/11.85	c bounds 3436 >= 0 @ 9.9044
11.71/11.86	c bounds 3371 >= 0 @ 9.91088
11.71/11.87	c bounds 3368 >= 0 @ 9.91635
11.71/11.88	c bounds 3293 >= 0 @ 9.92556
11.71/11.89	c bounds 3273 >= 0 @ 9.93395
11.92/12.10	c bounds 3272 >= 0 @ 10.129
12.02/12.11	c bounds 3231 >= 0 @ 10.1364
12.12/12.23	c bounds 3228 >= 0 @ 10.2544
12.12/12.24	c bounds 3203 >= 0 @ 10.2621
12.12/12.26	c bounds 3163 >= 0 @ 10.2742
12.12/12.27	c bounds 3147 >= 0 @ 10.2843
12.12/12.28	c bounds 3088 >= 0 @ 10.2903
12.21/12.36	c bounds 3076 >= 0 @ 10.3687
12.31/12.47	c bounds 3054 >= 0 @ 10.4745
12.31/12.49	c bounds 3051 >= 0 @ 10.4918
12.42/12.50	c bounds 3031 >= 0 @ 10.5
12.42/12.51	c bounds 3006 >= 0 @ 10.5086
12.52/12.63	c bounds 3001 >= 0 @ 10.6246
12.52/12.64	c bounds 2978 >= 0 @ 10.6331
13.02/13.16	c bounds 2968 >= 0 @ 11.1387
13.02/13.16	c bounds 2967 >= 0 @ 11.1433
13.02/13.17	c bounds 2951 >= 0 @ 11.1504
13.02/13.19	c bounds 2928 >= 0 @ 11.1664
13.11/13.28	c bounds 2908 >= 0 @ 11.2513
13.11/13.29	c bounds 2864 >= 0 @ 11.2589
13.31/13.41	c bounds 2863 >= 0 @ 11.3783
13.31/13.42	c bounds 2862 >= 0 @ 11.3843
13.31/13.42	c bounds 2851 >= 0 @ 11.3919
13.31/13.44	c bounds 2845 >= 0 @ 11.4017
13.41/13.53	c bounds 2829 >= 0 @ 11.4933
13.41/13.55	c bounds 2796 >= 0 @ 11.5019
13.41/13.55	c bounds 2754 >= 0 @ 11.5086
13.52/13.65	c bounds 2741 >= 0 @ 11.6014
13.52/13.66	c bounds 2651 >= 0 @ 11.6097
13.52/13.67	c bounds 2643 >= 0 @ 11.6157
13.61/13.76	c bounds 2635 >= 0 @ 11.6996
13.61/13.77	c bounds 2621 >= 0 @ 11.7095
13.71/13.85	c bounds 2594 >= 0 @ 11.7906
13.81/13.96	c bounds 2589 >= 0 @ 11.8909
13.81/13.97	c bounds 2396 >= 0 @ 11.8982
13.81/13.98	c bounds 2375 >= 0 @ 11.9035
13.91/14.07	c bounds 2372 >= 0 @ 11.9934
13.91/14.08	c bounds 2367 >= 0 @ 12.0012
14.01/14.18	c bounds 2363 >= 0 @ 12.0954
14.01/14.19	c bounds 2359 >= 0 @ 12.1032
14.11/14.21	c bounds 2348 >= 0 @ 12.1117
14.31/14.41	c bounds 2331 >= 0 @ 12.3183
14.51/14.60	c bounds 2330 >= 0 @ 12.4945
14.51/14.62	c bounds 2326 >= 0 @ 12.5049
14.51/14.63	c bounds 2325 >= 0 @ 12.5108
14.51/14.64	c bounds 2304 >= 0 @ 12.5205
14.61/14.78	c bounds 2082 >= 0 @ 12.6473
14.61/14.79	c bounds 2056 >= 0 @ 12.6569
14.71/14.80	c bounds 2037 >= 0 @ 12.6651
14.71/14.81	c bounds 2023 >= 0 @ 12.669
14.71/14.82	c bounds 2004 >= 0 @ 12.6747
14.71/14.82	c bounds 1988 >= 0 @ 12.6774
14.81/14.92	c bounds 1984 >= 0 @ 12.7656
14.81/14.93	c bounds 1965 >= 0 @ 12.7731
14.81/14.94	c bounds 1834 >= 0 @ 12.7791
14.81/14.95	c bounds 1788 >= 0 @ 12.786
14.81/14.97	c bounds 1777 >= 0 @ 12.7958
14.81/14.98	c bounds 1762 >= 0 @ 12.8035
14.81/14.99	c bounds 1729 >= 0 @ 12.8132
14.92/15.01	c bounds 1717 >= 0 @ 12.8218
14.92/15.02	c bounds 1567 >= 0 @ 12.8273
14.92/15.03	c bounds 1558 >= 0 @ 12.8385
14.92/15.05	c bounds 1393 >= 0 @ 12.8465
14.92/15.06	c bounds 1391 >= 0 @ 12.8564
14.92/15.07	c bounds 1348 >= 0 @ 12.8653
14.92/15.08	c bounds 1344 >= 0 @ 12.8727
14.92/15.10	c bounds 1340 >= 0 @ 12.8834
15.01/15.11	c bounds 1323 >= 0 @ 12.8912
15.11/15.24	c bounds 1249 >= 0 @ 13.0086
15.11/15.24	c bounds 1248 >= 0 @ 13.0153
15.11/15.26	c bounds 1227 >= 0 @ 13.028
15.11/15.27	c bounds 1226 >= 0 @ 13.0402
15.11/15.28	c bounds 1208 >= 0 @ 13.0443
15.11/15.29	c bounds 1157 >= 0 @ 13.0513
15.41/15.58	c bounds 1140 >= 0 @ 13.3371
15.41/15.59	c bounds 1100 >= 0 @ 13.3424
15.61/15.72	c bounds 1089 >= 0 @ 13.4619
15.61/15.74	c bounds 1019 >= 0 @ 13.4756
15.61/15.76	c bounds 816 >= 0 @ 13.4957
15.61/15.78	c bounds 783 >= 0 @ 13.5052
16.11/16.22	c #Conflicts:       1000 | #Constraints:     658055
16.11/16.22	c bounds 782 >= 0 @ 13.937
16.20/16.34	c bounds 781 >= 0 @ 14.0448
16.61/16.75	c bounds 775 >= 0 @ 14.4476
16.61/16.77	c bounds 772 >= 0 @ 14.4631
17.00/17.10	c bounds 656 >= 0 @ 14.7784
17.40/17.50	c bounds 610 >= 0 @ 15.1523
17.40/17.56	c bounds 597 >= 0 @ 15.2116
17.50/17.60	c bounds 500 >= 0 @ 15.2387
18.80/18.97	c #Conflicts:       2000 | #Constraints:     659066
18.80/18.97	c INPROCESSING
18.80/18.97	c GARBAGE COLLECT
18.80/18.97	c bounds 499 >= 0 @ 16.5838
18.80/18.98	c bounds 491 >= 0 @ 16.5931
18.80/19.00	c bounds 490 >= 0 @ 16.6118
19.01/19.19	c bounds 486 >= 0 @ 16.7964
20.59/20.75	c bounds 421 >= 0 @ 18.3368
20.59/20.77	c bounds 418 >= 0 @ 18.35
20.59/20.78	c bounds 413 >= 0 @ 18.3665
20.69/20.80	c bounds 412 >= 0 @ 18.3761
21.19/21.37	c #Conflicts:       3000 | #Constraints:     658926
21.19/21.37	c bounds 407 >= 0 @ 18.9398
38.44/38.67	c #Conflicts:       4000 | #Constraints:     659928
38.44/38.67	c INPROCESSING
38.44/38.67	c GARBAGE COLLECT
38.44/38.67	c #Conflicts:       5000 | #Constraints:     659324
38.44/38.67	c #Conflicts:       6000 | #Constraints:     660324
38.44/38.67	c INPROCESSING
38.44/38.67	c GARBAGE COLLECT
38.44/38.67	c bounds 406 >= 0 @ 36.0219
47.93/48.13	c #Conflicts:       7000 | #Constraints:     659332
47.93/48.13	c #Conflicts:       8000 | #Constraints:     660332
47.93/48.13	c #Conflicts:       9000 | #Constraints:     661332
47.93/48.13	c INPROCESSING
47.93/48.13	c GARBAGE COLLECT
47.93/48.13	c rational objective 156.044
65.88/66.18	c #Conflicts:      10000 | #Constraints:     660038
65.88/66.18	c #Conflicts:      11000 | #Constraints:     661038
65.88/66.18	c #Conflicts:      12000 | #Constraints:     662038
65.88/66.18	c INPROCESSING
65.88/66.18	c GARBAGE COLLECT
65.88/66.18	c rational objective 156.754
78.64/78.90	c #Conflicts:      13000 | #Constraints:     660495
78.64/78.90	c #Conflicts:      14000 | #Constraints:     661495
78.64/78.90	c #Conflicts:      15000 | #Constraints:     662495
78.64/78.90	c INPROCESSING
78.64/78.90	c GARBAGE COLLECT
78.64/78.90	c bounds 405 >= 0 @ 75.8037
78.64/78.94	c bounds 404 >= 0 @ 75.8363
78.74/79.04	c bounds 403 >= 0 @ 75.9413
91.71/92.09	c #Conflicts:      16000 | #Constraints:     660725
91.71/92.09	c #Conflicts:      17000 | #Constraints:     661725
91.71/92.09	c #Conflicts:      18000 | #Constraints:     662725
91.71/92.09	c INPROCESSING
91.71/92.09	c GARBAGE COLLECT
91.71/92.09	c rational objective 157.602
95.40/95.72	c bounds 398 >= 0 @ 92.5126
108.77/109.15	c #Conflicts:      19000 | #Constraints:     660754
108.77/109.15	c #Conflicts:      20000 | #Constraints:     661768
108.77/109.15	c bounds 393 >= 0 @ 105.74
108.77/109.16	c bounds 393 >= 4 @ 105.75
108.77/109.18	c bounds 393 >= 8 @ 105.76
108.86/109.20	c bounds 393 >= 12 @ 105.771
108.86/109.25	c bounds 393 >= 16 @ 105.81
111.35/111.74	c bounds 393 >= 20 @ 108.269
117.94/118.35	c #Conflicts:      21000 | #Constraints:     662800
117.94/118.35	c INPROCESSING
117.94/118.35	c GARBAGE COLLECT
117.94/118.35	c rational objective 158.016
144.47/144.93	c #Conflicts:      22000 | #Constraints:     660587
144.47/144.93	c #Conflicts:      23000 | #Constraints:     661587
144.47/144.93	c #Conflicts:      24000 | #Constraints:     662587
144.47/144.93	c #Conflicts:      25000 | #Constraints:     663587
144.47/144.93	c INPROCESSING
144.47/144.93	c GARBAGE COLLECT
144.47/144.93	c rational objective 158.17
168.62/169.14	c #Conflicts:      26000 | #Constraints:     661183
168.62/169.14	c #Conflicts:      27000 | #Constraints:     662183
168.62/169.14	c #Conflicts:      28000 | #Constraints:     663183
168.62/169.14	c bounds 393 >= 24 @ 165.181
169.62/170.16	c bounds 392 >= 24 @ 166.182
169.81/170.31	c bounds 385 >= 24 @ 166.33
246.48/247.25	c #Conflicts:      29000 | #Constraints:     664209
246.48/247.25	c INPROCESSING
246.48/247.25	c GARBAGE COLLECT
246.48/247.25	c #Conflicts:      30000 | #Constraints:     661583
246.48/247.25	c bounds 383 >= 24 @ 242.89
267.54/268.31	c #Conflicts:      31000 | #Constraints:     662604
267.54/268.31	c #Conflicts:      32000 | #Constraints:     663623
267.54/268.31	c bounds 380 >= 24 @ 263.665
275.22/276.09	c #Conflicts:      33000 | #Constraints:     664626
275.22/276.09	c INPROCESSING
275.22/276.09	c GARBAGE COLLECT
275.22/276.09	c rational objective 158.541
303.05/304.00	c #Conflicts:      34000 | #Constraints:     661797
303.05/304.00	c #Conflicts:      35000 | #Constraints:     662797
303.05/304.00	c #Conflicts:      36000 | #Constraints:     663797
303.05/304.00	c #Conflicts:      37000 | #Constraints:     664797
303.05/304.00	c INPROCESSING
303.05/304.00	c GARBAGE COLLECT
303.05/304.00	c rational objective 158.575
390.91/392.05	c #Conflicts:      38000 | #Constraints:     661794
390.91/392.05	c #Conflicts:      39000 | #Constraints:     662796
390.91/392.05	c #Conflicts:      40000 | #Constraints:     663799
390.91/392.05	c #Conflicts:      41000 | #Constraints:     664802
390.91/392.05	c INPROCESSING
390.91/392.05	c GARBAGE COLLECT
390.91/392.05	c rational objective 158.651
458.84/460.10	c #Conflicts:      42000 | #Constraints:     661611
458.84/460.10	c #Conflicts:      43000 | #Constraints:     662923
458.84/460.10	c #Conflicts:      44000 | #Constraints:     664010
458.84/460.10	c bounds 379 >= 24 @ 454.575
459.23/460.57	c bounds 379 >= 27 @ 455.034
459.33/460.69	c bounds 379 >= 30 @ 455.149
474.80/476.11	c #Conflicts:      45000 | #Constraints:     665293
474.80/476.11	c #Conflicts:      46000 | #Constraints:     666294
474.80/476.11	c INPROCESSING
474.80/476.11	c GARBAGE COLLECT
474.80/476.11	c rational objective 158.656
588.20/589.85	c #Conflicts:      47000 | #Constraints:     662533
588.20/589.85	c #Conflicts:      48000 | #Constraints:     663533
588.20/589.85	c #Conflicts:      49000 | #Constraints:     664534
588.20/589.85	c #Conflicts:      50000 | #Constraints:     665539
588.20/589.85	c #Conflicts:      51000 | #Constraints:     666544
588.20/589.85	c INPROCESSING
588.20/589.85	c GARBAGE COLLECT
588.20/589.85	c #Conflicts:      52000 | #Constraints:     662770
588.20/589.85	c #Conflicts:      53000 | #Constraints:     663772
588.20/589.85	c #Conflicts:      54000 | #Constraints:     664773
588.20/589.85	c #Conflicts:      55000 | #Constraints:     665778
588.20/589.85	c #Conflicts:      56000 | #Constraints:     666778
588.20/589.85	c INPROCESSING
588.20/589.85	c GARBAGE COLLECT
588.20/589.85	c #Conflicts:      57000 | #Constraints:     662887
588.20/589.85	c #Conflicts:      58000 | #Constraints:     663889
588.20/589.85	c #Conflicts:      59000 | #Constraints:     664889
588.20/589.85	c #Conflicts:      60000 | #Constraints:     665891
588.20/589.85	c bounds 379 >= 33 @ 583.22
609.83/611.54	c #Conflicts:      61000 | #Constraints:     666906
609.83/611.54	c INPROCESSING
609.83/611.54	c GARBAGE COLLECT
609.83/611.54	c #Conflicts:      62000 | #Constraints:     662854
609.83/611.54	c bounds 377 >= 33 @ 604.773
609.83/611.57	c bounds 377 >= 35 @ 604.79
680.03/682.00	c #Conflicts:      63000 | #Constraints:     663866
680.03/682.00	c #Conflicts:      64000 | #Constraints:     664867
680.03/682.00	c #Conflicts:      65000 | #Constraints:     665875
680.03/682.00	c #Conflicts:      66000 | #Constraints:     666885
680.03/682.00	c INPROCESSING
680.03/682.00	c GARBAGE COLLECT
680.03/682.00	c rational objective 158.659
733.60/735.62	c #Conflicts:      67000 | #Constraints:     662630
733.60/735.62	c #Conflicts:      68000 | #Constraints:     663640
733.60/735.62	c #Conflicts:      69000 | #Constraints:     664655
733.60/735.62	c #Conflicts:      70000 | #Constraints:     665732
733.60/735.62	c #Conflicts:      71000 | #Constraints:     666784
733.60/735.62	c #Conflicts:      72000 | #Constraints:     667846
733.60/735.62	c INPROCESSING
733.60/735.62	c GARBAGE COLLECT
733.60/735.62	c bounds 376 >= 35 @ 728.022
733.60/735.64	c bounds 374 >= 35 @ 728.042
733.60/735.66	c bounds 369 >= 35 @ 728.054
733.69/735.73	c bounds 362 >= 35 @ 728.118
734.30/736.32	c bounds 356 >= 35 @ 728.667
742.67/744.71	c #Conflicts:      73000 | #Constraints:     663324
742.67/744.71	c bounds 355 >= 35 @ 736.986
742.67/744.77	c bounds 354 >= 35 @ 737.049
745.07/747.19	c bounds 353 >= 35 @ 739.45
745.66/747.75	c bounds 350 >= 35 @ 739.997
747.46/749.54	c bounds 349 >= 35 @ 741.766
747.46/749.57	c bounds 347 >= 35 @ 741.796
747.56/749.69	c bounds 346 >= 35 @ 741.92
747.66/749.71	c bounds 346 >= 36 @ 741.929
747.66/749.72	c bounds 346 >= 37 @ 741.94
747.66/749.74	c bounds 346 >= 38 @ 741.948
747.66/749.75	c bounds 346 >= 39 @ 741.958
747.66/749.77	c bounds 346 >= 40 @ 741.968
747.66/749.79	c bounds 346 >= 41 @ 741.978
747.76/749.81	c bounds 346 >= 42 @ 741.992
747.76/749.83	c bounds 346 >= 43 @ 742.001
747.76/749.84	c bounds 346 >= 44 @ 742.013
747.76/749.86	c bounds 346 >= 45 @ 742.025
747.76/749.89	c bounds 346 >= 46 @ 742.04
748.65/750.77	c #Conflicts:      74000 | #Constraints:     664409
748.65/750.77	c bounds 346 >= 47 @ 742.914
748.76/750.88	c bounds 346 >= 48 @ 743.017
748.86/750.93	c bounds 346 >= 49 @ 743.051
748.96/751.02	c bounds 346 >= 50 @ 743.143
749.07/751.18	c bounds 346 >= 51 @ 743.291
749.15/751.21	c bounds 345 >= 51 @ 743.314
749.15/751.27	c bounds 345 >= 52 @ 743.364
749.46/751.51	c bounds 342 >= 52 @ 743.592
749.46/751.57	c bounds 342 >= 53 @ 743.648
749.66/751.74	c bounds 342 >= 54 @ 743.815
750.15/752.25	c bounds 342 >= 55 @ 744.321
753.34/755.42	c bounds 342 >= 56 @ 747.456
754.25/756.34	c #Conflicts:      75000 | #Constraints:     665564
754.25/756.34	c bounds 342 >= 57 @ 748.362
756.94/759.01	c bounds 341 >= 57 @ 750.999
757.63/759.74	c bounds 341 >= 58 @ 751.708
760.32/762.42	c #Conflicts:      76000 | #Constraints:     666619
760.32/762.42	c bounds 341 >= 59 @ 754.349
763.81/766.00	c bounds 341 >= 60 @ 757.877
764.72/766.81	c #Conflicts:      77000 | #Constraints:     667679
764.72/766.81	c bounds 341 >= 61 @ 758.665
765.71/767.88	c bounds 341 >= 62 @ 759.706
771.39/773.58	c #Conflicts:      78000 | #Constraints:     668715
771.39/773.58	c INPROCESSING
771.39/773.58	c GARBAGE COLLECT
771.39/773.58	c rational objective 158.659
776.08/778.27	c bounds 341 >= 63 @ 770.045
792.53/794.72	c #Conflicts:      79000 | #Constraints:     663949
792.53/794.72	c bounds 341 >= 64 @ 786.403
795.73/797.99	c #Conflicts:      80000 | #Constraints:     664980
795.73/797.99	c bounds 341 >= 65 @ 789.639
797.73/799.99	c #Conflicts:      81000 | #Constraints:     666022
797.73/799.99	c bounds 341 >= 66 @ 791.618
808.99/811.22	c #Conflicts:      82000 | #Constraints:     667040
808.99/811.22	c #Conflicts:      83000 | #Constraints:     668041
808.99/811.22	c bounds 341 >= 67 @ 802.797
1010.33/1013.14	c #Conflicts:      84000 | #Constraints:     669065
1010.33/1013.14	c INPROCESSING
1010.33/1013.14	c GARBAGE COLLECT
1010.33/1013.14	c #Conflicts:      85000 | #Constraints:     664155
1010.33/1013.14	c #Conflicts:      86000 | #Constraints:     665155
1010.33/1013.14	c #Conflicts:      87000 | #Constraints:     666155
1010.33/1013.14	c bounds 341 >= 68 @ 1003.94
1111.05/1114.11	c #Conflicts:      88000 | #Constraints:     667200
1111.05/1114.11	c #Conflicts:      89000 | #Constraints:     668200
1111.05/1114.11	c #Conflicts:      90000 | #Constraints:     669200
1111.05/1114.11	c INPROCESSING
1111.05/1114.11	c GARBAGE COLLECT
1111.05/1114.11	c rational objective 158.659
1265.09/1268.63	c #Conflicts:      91000 | #Constraints:     664149
1265.09/1268.63	c #Conflicts:      92000 | #Constraints:     665149
1265.09/1268.63	c #Conflicts:      93000 | #Constraints:     666150
1265.09/1268.63	c #Conflicts:      94000 | #Constraints:     667163
1265.09/1268.63	c #Conflicts:      95000 | #Constraints:     668163
1265.09/1268.63	c #Conflicts:      96000 | #Constraints:     669163
1265.09/1268.63	c INPROCESSING
1265.09/1268.63	c GARBAGE COLLECT
1265.09/1268.63	c rational objective 158.659
1344.55/1348.38	c #Conflicts:      97000 | #Constraints:     663927
1344.55/1348.38	c #Conflicts:      98000 | #Constraints:     664941
1344.55/1348.38	c #Conflicts:      99000 | #Constraints:     665942
1344.55/1348.38	c #Conflicts:     100000 | #Constraints:     666944
1344.55/1348.38	c #Conflicts:     101000 | #Constraints:     667945
1344.55/1348.38	c #Conflicts:     102000 | #Constraints:     668949
1344.55/1348.38	c #Conflicts:     103000 | #Constraints:     669949
1344.55/1348.38	c bounds 337 >= 68 @ 1337.57
1348.45/1352.29	c INPROCESSING
1348.45/1352.29	c GARBAGE COLLECT
1348.45/1352.29	c #Conflicts:     104000 | #Constraints:     664508
1348.45/1352.29	c bounds 337 >= 69 @ 1341.41
1358.12/1361.92	c #Conflicts:     105000 | #Constraints:     665541
1358.12/1361.92	c #Conflicts:     106000 | #Constraints:     666541
1358.12/1361.92	c bounds 337 >= 70 @ 1350.95
1368.89/1372.77	c #Conflicts:     107000 | #Constraints:     667577
1368.89/1372.77	c #Conflicts:     108000 | #Constraints:     668577
1368.89/1372.77	c bounds 337 >= 71 @ 1361.66
1381.17/1385.08	c #Conflicts:     109000 | #Constraints:     669613
1381.17/1385.08	c #Conflicts:     110000 | #Constraints:     670613
1381.17/1385.08	c INPROCESSING
1381.17/1385.08	c GARBAGE COLLECT
1381.17/1385.08	c rational objective 158.659
1403.30/1407.27	c #Conflicts:     111000 | #Constraints:     664967
1403.30/1407.27	c #Conflicts:     112000 | #Constraints:     665967
1403.30/1407.27	c bounds 337 >= 72 @ 1395.93
1435.62/1439.64	c #Conflicts:     113000 | #Constraints:     667006
1435.62/1439.64	c #Conflicts:     114000 | #Constraints:     668006
1435.62/1439.64	c #Conflicts:     115000 | #Constraints:     669006
1435.62/1439.64	c #Conflicts:     116000 | #Constraints:     670006
1435.62/1439.64	c #Conflicts:     117000 | #Constraints:     671006
1435.62/1439.64	c INPROCESSING
1435.62/1439.64	c GARBAGE COLLECT
1435.62/1439.64	c rational objective 158.659
1572.53/1576.92	c #Conflicts:     118000 | #Constraints:     665169
1572.53/1576.92	c #Conflicts:     119000 | #Constraints:     666169
1572.53/1576.92	c #Conflicts:     120000 | #Constraints:     667170
1572.53/1576.92	c #Conflicts:     121000 | #Constraints:     668172
1572.53/1576.92	c #Conflicts:     122000 | #Constraints:     669172
1572.53/1576.92	c #Conflicts:     123000 | #Constraints:     670173
1572.53/1576.92	c #Conflicts:     124000 | #Constraints:     671174
1572.53/1576.92	c INPROCESSING
1572.53/1576.92	c GARBAGE COLLECT
1572.53/1576.92	c rational objective 158.659
1591.88/1596.37	c bounds 337 >= 73 @ 1583.95
1656.80/1661.40	c #Conflicts:     125000 | #Constraints:     665212
1656.80/1661.40	c #Conflicts:     126000 | #Constraints:     666212
1656.80/1661.40	c #Conflicts:     127000 | #Constraints:     667212
1656.80/1661.40	c #Conflicts:     128000 | #Constraints:     668212
1656.80/1661.40	c #Conflicts:     129000 | #Constraints:     669212
1656.80/1661.40	c #Conflicts:     130000 | #Constraints:     670212
1656.80/1661.40	c #Conflicts:     131000 | #Constraints:     671212
1656.80/1661.40	c INPROCESSING
1656.80/1661.40	c GARBAGE COLLECT
1656.80/1661.40	c rational objective 158.659
1698.99/1703.71	c #Conflicts:     132000 | #Constraints:     664991
1698.99/1703.71	c #Conflicts:     133000 | #Constraints:     665991
1698.99/1703.71	c #Conflicts:     134000 | #Constraints:     666991
1698.99/1703.71	c #Conflicts:     135000 | #Constraints:     667991
1698.99/1703.71	c #Conflicts:     136000 | #Constraints:     668992
1698.99/1703.71	c #Conflicts:     137000 | #Constraints:     669994
1698.99/1703.71	c #Conflicts:     138000 | #Constraints:     670994
1698.99/1703.71	c #Conflicts:     139000 | #Constraints:     671995
1698.99/1703.71	c INPROCESSING
1698.99/1703.71	c GARBAGE COLLECT
1698.99/1703.71	c rational objective 158.659
1773.59/1778.55	c #Conflicts:     140000 | #Constraints:     665588
1773.59/1778.55	c #Conflicts:     141000 | #Constraints:     666588
1773.59/1778.55	c #Conflicts:     142000 | #Constraints:     667589
1773.59/1778.55	c #Conflicts:     143000 | #Constraints:     668590
1773.59/1778.55	c #Conflicts:     144000 | #Constraints:     669592
1773.59/1778.55	c #Conflicts:     145000 | #Constraints:     670592
1773.59/1778.55	c #Conflicts:     146000 | #Constraints:     671593
1773.59/1778.55	c #Conflicts:     147000 | #Constraints:     672594
1773.59/1778.55	c INPROCESSING
1773.59/1778.55	c GARBAGE COLLECT
1773.59/1778.55	c rational objective 158.659
1787.66/1792.67	c #Conflicts:     148000 | #Constraints:     665987
1787.66/1792.67	c bounds 337 >= 74 @ 1778.96
1892.08/1897.38	c #Conflicts:     149000 | #Constraints:     667038
1892.08/1897.38	c #Conflicts:     150000 | #Constraints:     668038
1892.08/1897.38	c #Conflicts:     151000 | #Constraints:     669038
1892.08/1897.38	c #Conflicts:     152000 | #Constraints:     670038
1892.08/1897.38	c #Conflicts:     153000 | #Constraints:     671038
1892.08/1897.38	c #Conflicts:     154000 | #Constraints:     672038
1892.08/1897.38	c #Conflicts:     155000 | #Constraints:     673039
1892.08/1897.38	c INPROCESSING
1892.08/1897.38	c GARBAGE COLLECT
1892.08/1897.38	c #Conflicts:     156000 | #Constraints:     666219
1892.08/1897.38	c #Conflicts:     157000 | #Constraints:     667219
1892.08/1897.38	c #Conflicts:     158000 | #Constraints:     668219
1892.08/1897.38	c #Conflicts:     159000 | #Constraints:     669220
1892.08/1897.38	c #Conflicts:     160000 | #Constraints:     670221
1892.08/1897.38	c #Conflicts:     161000 | #Constraints:     671222
1892.08/1897.38	c #Conflicts:     162000 | #Constraints:     672222
1892.08/1897.38	c #Conflicts:     163000 | #Constraints:     673222
1892.08/1897.38	c INPROCESSING
1892.08/1897.38	c GARBAGE COLLECT
1892.08/1897.38	c rational objective 158.659
1896.57/1901.81	c bounds 336 >= 74 @ 1887.24
1896.67/1901.97	c bounds 335 >= 74 @ 1887.4
1897.46/1902.76	c bounds 334 >= 74 @ 1888.18
1904.05/1909.36	c #Conflicts:     164000 | #Constraints:     666218
1904.05/1909.36	c bounds 333 >= 74 @ 1894.74
1904.05/1909.38	c bounds 332 >= 74 @ 1894.76
1908.54/1913.85	c bounds 330 >= 74 @ 1899.22
1945.34/1950.73	c #Conflicts:     165000 | #Constraints:     667228
1945.34/1950.73	c #Conflicts:     166000 | #Constraints:     668228
1945.34/1950.73	c #Conflicts:     167000 | #Constraints:     669228
1945.34/1950.73	c #Conflicts:     168000 | #Constraints:     670228
1945.34/1950.73	c #Conflicts:     169000 | #Constraints:     671228
1945.34/1950.73	c #Conflicts:     170000 | #Constraints:     672228
1945.34/1950.73	c #Conflicts:     171000 | #Constraints:     673228
1945.34/1950.73	c INPROCESSING
1945.34/1950.73	c GARBAGE COLLECT
1945.34/1950.73	c rational objective 158.659
1949.73/1955.12	c bounds 327 >= 74 @ 1940.12
1949.73/1955.16	c bounds 325 >= 74 @ 1940.15
1955.41/1960.85	c #Conflicts:     172000 | #Constraints:     666016
1955.41/1960.85	c bounds 322 >= 74 @ 1945.78
1995.51/2001.01	c #Conflicts:     173000 | #Constraints:     667025
1995.51/2001.01	c #Conflicts:     174000 | #Constraints:     668025
1995.51/2001.01	c #Conflicts:     175000 | #Constraints:     669025
1995.51/2001.01	c #Conflicts:     176000 | #Constraints:     670025
1995.51/2001.01	c #Conflicts:     177000 | #Constraints:     671025
1995.51/2001.01	c #Conflicts:     178000 | #Constraints:     672025
1995.51/2001.01	c #Conflicts:     179000 | #Constraints:     673025
1995.51/2001.01	c #Conflicts:     180000 | #Constraints:     674025
1995.51/2001.01	c INPROCESSING
1995.51/2001.01	c GARBAGE COLLECT
1995.51/2001.01	c rational objective 158.659
1999.80/2005.32	c bounds 321 >= 74 @ 1989.85
2001.40/2006.98	c bounds 320 >= 74 @ 1991.5
2039.10/2044.70	c #Conflicts:     181000 | #Constraints:     666627
2039.10/2044.70	c #Conflicts:     182000 | #Constraints:     667695
2039.10/2044.70	c #Conflicts:     183000 | #Constraints:     668777
2039.10/2044.70	c bounds 319 >= 74 @ 2029.05
2234.02/2240.26	c #Conflicts:     184000 | #Constraints:     669801
2234.02/2240.26	c #Conflicts:     185000 | #Constraints:     670802
2234.02/2240.26	c #Conflicts:     186000 | #Constraints:     671802
2234.02/2240.26	c #Conflicts:     187000 | #Constraints:     672802
2234.02/2240.26	c #Conflicts:     188000 | #Constraints:     673802
2234.02/2240.26	c #Conflicts:     189000 | #Constraints:     674802
2234.02/2240.26	c INPROCESSING
2234.02/2240.26	c GARBAGE COLLECT
2234.02/2240.26	c rational objective 158.659
2287.39/2293.72	c #Conflicts:     190000 | #Constraints:     667106
2287.39/2293.72	c #Conflicts:     191000 | #Constraints:     668106
2287.39/2293.72	c #Conflicts:     192000 | #Constraints:     669106
2287.39/2293.72	c #Conflicts:     193000 | #Constraints:     670106
2287.39/2293.72	c #Conflicts:     194000 | #Constraints:     671107
2287.39/2293.72	c #Conflicts:     195000 | #Constraints:     672108
2287.39/2293.72	c #Conflicts:     196000 | #Constraints:     673109
2287.39/2293.72	c #Conflicts:     197000 | #Constraints:     674109
2287.39/2293.72	c bounds 319 >= 75 @ 2276.96
2378.02/2384.66	c #Conflicts:     198000 | #Constraints:     675175
2378.02/2384.66	c INPROCESSING
2378.02/2384.66	c GARBAGE COLLECT
2378.02/2384.66	c rational objective 158.659
2713.98/2721.57	c #Conflicts:     199000 | #Constraints:     667306
2713.98/2721.57	c #Conflicts:     200000 | #Constraints:     668306
2713.98/2721.57	c #Conflicts:     201000 | #Constraints:     669307
2713.98/2721.57	c #Conflicts:     202000 | #Constraints:     670307
2713.98/2721.57	c #Conflicts:     203000 | #Constraints:     671307
2713.98/2721.57	c #Conflicts:     204000 | #Constraints:     672307
2713.98/2721.57	c #Conflicts:     205000 | #Constraints:     673307
2713.98/2721.57	c #Conflicts:     206000 | #Constraints:     674307
2713.98/2721.57	c #Conflicts:     207000 | #Constraints:     675307
2713.98/2721.57	c INPROCESSING
2713.98/2721.57	c GARBAGE COLLECT
2713.98/2721.57	c rational objective 158.659
2779.60/2787.39	c #Conflicts:     208000 | #Constraints:     667270
2779.60/2787.39	c #Conflicts:     209000 | #Constraints:     668271
2779.60/2787.39	c #Conflicts:     210000 | #Constraints:     669271
2779.60/2787.39	c #Conflicts:     211000 | #Constraints:     670271
2779.60/2787.39	c #Conflicts:     212000 | #Constraints:     671271
2779.60/2787.39	c #Conflicts:     213000 | #Constraints:     672271
2779.60/2787.39	c #Conflicts:     214000 | #Constraints:     673272
2779.60/2787.39	c #Conflicts:     215000 | #Constraints:     674272
2779.60/2787.39	c #Conflicts:     216000 | #Constraints:     675272
2779.60/2787.39	c INPROCESSING
2779.60/2787.39	c GARBAGE COLLECT
2779.60/2787.39	c rational objective 158.659
2824.67/2832.53	c #Conflicts:     217000 | #Constraints:     667048
2824.67/2832.53	c #Conflicts:     218000 | #Constraints:     668049
2824.67/2832.53	c #Conflicts:     219000 | #Constraints:     669051
2824.67/2832.53	c #Conflicts:     220000 | #Constraints:     670051
2824.67/2832.53	c #Conflicts:     221000 | #Constraints:     671051
2824.67/2832.53	c #Conflicts:     222000 | #Constraints:     672053
2824.67/2832.53	c bounds 319 >= 76 @ 2813.39
2851.30/2859.27	c #Conflicts:     223000 | #Constraints:     673109
2851.30/2859.27	c #Conflicts:     224000 | #Constraints:     674109
2851.30/2859.27	c #Conflicts:     225000 | #Constraints:     675109
2851.30/2859.27	c #Conflicts:     226000 | #Constraints:     676109
2851.30/2859.27	c INPROCESSING
2851.30/2859.27	c GARBAGE COLLECT
2851.30/2859.27	c rational objective 158.659
2934.58/2942.76	c #Conflicts:     227000 | #Constraints:     667680
2934.58/2942.76	c #Conflicts:     228000 | #Constraints:     668680
2934.58/2942.76	c #Conflicts:     229000 | #Constraints:     669680
2934.58/2942.76	c #Conflicts:     230000 | #Constraints:     670680
2934.58/2942.76	c #Conflicts:     231000 | #Constraints:     671680
2934.58/2942.76	c #Conflicts:     232000 | #Constraints:     672681
2934.58/2942.76	c #Conflicts:     233000 | #Constraints:     673682
2934.58/2942.76	c #Conflicts:     234000 | #Constraints:     674683
2934.58/2942.76	c #Conflicts:     235000 | #Constraints:     675685
2934.58/2942.76	c #Conflicts:     236000 | #Constraints:     676685
2934.58/2942.76	c INPROCESSING
2934.58/2942.76	c GARBAGE COLLECT
2934.58/2942.76	c rational objective 158.659
2938.67/2946.89	c bounds 318 >= 76 @ 2926.99
2938.77/2946.96	c bounds 316 >= 76 @ 2927.06
2944.35/2952.54	c #Conflicts:     237000 | #Constraints:     668078
2944.35/2952.54	c bounds 314 >= 76 @ 2932.59
3008.67/3017.03	c #Conflicts:     238000 | #Constraints:     669079
3008.67/3017.03	c #Conflicts:     239000 | #Constraints:     670079
3008.67/3017.03	c #Conflicts:     240000 | #Constraints:     671079
3008.67/3017.03	c #Conflicts:     241000 | #Constraints:     672079
3008.67/3017.03	c #Conflicts:     242000 | #Constraints:     673081
3008.67/3017.03	c #Conflicts:     243000 | #Constraints:     674081
3008.67/3017.03	c #Conflicts:     244000 | #Constraints:     675081
3008.67/3017.03	c #Conflicts:     245000 | #Constraints:     676081
3008.67/3017.03	c #Conflicts:     246000 | #Constraints:     677081
3008.67/3017.03	c INPROCESSING
3008.67/3017.03	c GARBAGE COLLECT
3008.67/3017.03	c rational objective 158.659
3012.67/3021.04	c bounds 312 >= 76 @ 3000.55
3012.67/3021.07	c bounds 310 >= 76 @ 3000.58
3018.24/3026.64	c bounds 308 >= 76 @ 3006.09
3048.57/3057.10	c #Conflicts:     247000 | #Constraints:     668267
3048.57/3057.10	c #Conflicts:     248000 | #Constraints:     669282
3048.57/3057.10	c #Conflicts:     249000 | #Constraints:     670292
3048.57/3057.10	c #Conflicts:     250000 | #Constraints:     671298
3048.57/3057.10	c bounds 307 >= 76 @ 3036.4
3086.66/3095.23	c #Conflicts:     251000 | #Constraints:     672304
3086.66/3095.23	c #Conflicts:     252000 | #Constraints:     673304
3086.66/3095.23	c #Conflicts:     253000 | #Constraints:     674304
3086.66/3095.23	c #Conflicts:     254000 | #Constraints:     675304
3086.66/3095.23	c #Conflicts:     255000 | #Constraints:     676304
3086.66/3095.23	c #Conflicts:     256000 | #Constraints:     677304
3086.66/3095.23	c INPROCESSING
3086.66/3095.23	c GARBAGE COLLECT
3086.66/3095.23	c rational objective 158.659
3175.41/3184.21	c #Conflicts:     257000 | #Constraints:     668287
3175.41/3184.21	c #Conflicts:     258000 | #Constraints:     669289
3175.41/3184.21	c #Conflicts:     259000 | #Constraints:     670289
3175.41/3184.21	c #Conflicts:     260000 | #Constraints:     671289
3175.41/3184.21	c #Conflicts:     261000 | #Constraints:     672290
3175.41/3184.21	c #Conflicts:     262000 | #Constraints:     673290
3175.41/3184.21	c #Conflicts:     263000 | #Constraints:     674290
3175.41/3184.21	c #Conflicts:     264000 | #Constraints:     675290
3175.41/3184.21	c #Conflicts:     265000 | #Constraints:     676290
3175.41/3184.21	c #Conflicts:     266000 | #Constraints:     677290
3175.41/3184.21	c INPROCESSING
3175.41/3184.21	c GARBAGE COLLECT
3175.41/3184.21	c rational objective 158.659
3259.38/3268.43	c #Conflicts:     267000 | #Constraints:     668069
3259.38/3268.43	c #Conflicts:     268000 | #Constraints:     669071
3259.38/3268.43	c #Conflicts:     269000 | #Constraints:     670071
3259.38/3268.43	c #Conflicts:     270000 | #Constraints:     671071
3259.38/3268.43	c #Conflicts:     271000 | #Constraints:     672071
3259.38/3268.43	c #Conflicts:     272000 | #Constraints:     673071
3259.38/3268.43	c #Conflicts:     273000 | #Constraints:     674071
3259.38/3268.43	c #Conflicts:     274000 | #Constraints:     675071
3259.38/3268.43	c #Conflicts:     275000 | #Constraints:     676072
3259.38/3268.43	c #Conflicts:     276000 | #Constraints:     677073
3259.38/3268.43	c #Conflicts:     277000 | #Constraints:     678073
3259.38/3268.43	c INPROCESSING
3259.38/3268.43	c GARBAGE COLLECT
3259.38/3268.43	c rational objective 158.659
3346.24/3355.52	c #Conflicts:     278000 | #Constraints:     668666
3346.24/3355.52	c #Conflicts:     279000 | #Constraints:     669668
3346.24/3355.52	c #Conflicts:     280000 | #Constraints:     670669
3346.24/3355.52	c #Conflicts:     281000 | #Constraints:     671669
3346.24/3355.52	c #Conflicts:     282000 | #Constraints:     672670
3346.24/3355.52	c #Conflicts:     283000 | #Constraints:     673670
3346.24/3355.52	c #Conflicts:     284000 | #Constraints:     674670
3346.24/3355.52	c #Conflicts:     285000 | #Constraints:     675671
3346.24/3355.52	c #Conflicts:     286000 | #Constraints:     676672
3346.24/3355.52	c #Conflicts:     287000 | #Constraints:     677672
3346.24/3355.52	c #Conflicts:     288000 | #Constraints:     678673
3346.24/3355.52	c INPROCESSING
3346.24/3355.52	c GARBAGE COLLECT
3346.24/3355.52	c rational objective 158.659
3350.54/3359.88	c bounds 304 >= 76 @ 3336.99
3350.84/3360.18	c bounds 303 >= 76 @ 3337.29
3367.09/3376.41	c #Conflicts:     289000 | #Constraints:     669072
3367.09/3376.41	c #Conflicts:     290000 | #Constraints:     670072
3367.09/3376.41	c bounds 302 >= 76 @ 3353.39
3531.94/3541.70	c #Conflicts:     291000 | #Constraints:     671077
3531.94/3541.70	c #Conflicts:     292000 | #Constraints:     672077
3531.94/3541.70	c #Conflicts:     293000 | #Constraints:     673077
3531.94/3541.70	c #Conflicts:     294000 | #Constraints:     674077
3531.94/3541.70	c #Conflicts:     295000 | #Constraints:     675079
3531.94/3541.70	c #Conflicts:     296000 | #Constraints:     676080
3531.94/3541.70	c #Conflicts:     297000 | #Constraints:     677081
3531.94/3541.70	c #Conflicts:     298000 | #Constraints:     678081
3531.94/3541.70	c #Conflicts:     299000 | #Constraints:     679081
3531.94/3541.70	c INPROCESSING
3531.94/3541.70	c GARBAGE COLLECT
3531.94/3541.70	c rational objective 158.659
3591.49/3601.49	c #Conflicts:     300000 | #Constraints:     669270
3591.49/3601.49	c #Conflicts:     301000 | #Constraints:     670270
3591.49/3601.49	c #Conflicts:     302000 | #Constraints:     671270
3591.49/3601.49	c #Conflicts:     303000 | #Constraints:     672270
3591.49/3601.49	c #Conflicts:     304000 | #Constraints:     673270
3591.49/3601.49	c #Conflicts:     305000 | #Constraints:     674270
3591.49/3601.49	c #Conflicts:     306000 | #Constraints:     675271
3591.49/3601.49	c #Conflicts:     307000 | #Constraints:     676271
3591.49/3601.49	c #Conflicts:     308000 | #Constraints:     677271
3591.49/3601.49	c #Conflicts:     309000 | #Constraints:     678271
3591.49/3601.49	c #Conflicts:     310000 | #Constraints:     679271
3591.49/3601.49	c INPROCESSING
3591.49/3601.49	c GARBAGE COLLECT
3591.49/3601.49	c rational objective 158.659
3600.07/3610.01	c Disabling crashed LP
3600.07/3610.01	c cpu time 3585.5 s
3600.07/3610.01	c deterministic time 106126339526 1.06e+11
3600.07/3610.01	c optimization time 5.93029 s
3600.07/3610.01	c total solve time 3577.53 s
3600.07/3610.01	c core-guided solve time 3069.72 s
3600.07/3610.01	c propagation time 1395.07 s
3600.07/3610.01	c conflict analysis time 602.876 s
3600.07/3610.01	c propagations 110291664
3600.07/3610.01	c resolve steps 4813434
3600.07/3610.01	c decisions 10444614
3600.07/3610.01	c conflicts 310853
3600.07/3610.01	c restarts 762
3600.07/3610.01	c inprocessing phases 47
3600.07/3610.01	c garbage collections 47 ,( 100.00 )
3600.07/3610.01	c input clauses 657175 ,( 99.86 )
3600.07/3610.01	c input cardinalities 326 ,( 0.05 )
3600.07/3610.01	c input general constraints 588 ,( 0.09 )
3600.07/3610.01	c input average constraint length 6.95
3600.07/3610.01	c input average constraint degree 159.75
3600.07/3610.01	c learned clauses 215609 ,( 69.03 )
3600.07/3610.01	c learned cardinalities 13 ,( 0.00 )
3600.07/3610.01	c learned general constraints 96723 ,( 30.97 )
3600.07/3610.01	c learned average constraint length 1615.71
3600.07/3610.01	c learned average constraint degree 37558305447.88
3600.07/3610.01	c watched  CF 32, 64, 128, Arb: 5159 , 0 , 0 , 0
3600.07/3610.01	c counting CF 32, 64, 128, Arb: 92153 , 0 , 0 , 0
3600.07/3610.01	c watched   constraints 5159 ,( 5.30 ) 
3600.07/3610.01	c counting  constraints 92152 ,( 94.70 ) 
3600.07/3610.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 61833398 , 3441272 , 1104975892 ,( 44505607 , 1060470285 )
3600.07/3610.01	c gcd simplifications 13278
3600.07/3610.01	c detected cardinalities 0
3600.07/3610.01	c weakened non-implied lits 1074364715
3600.07/3610.01	c weakened non-implying lits 208807
3600.07/3610.01	c original variables 10000
3600.07/3610.01	c clausal propagations 15800856
3600.07/3610.01	c cardinality propagations 667703
3600.07/3610.01	c watched propagations 106092
3600.07/3610.01	c counting propagations 90946745
3600.07/3610.01	c watch lookups 6313060459
3600.07/3610.01	c watch backjump lookups 0
3600.07/3610.01	c watch checks 4958142976
3600.07/3610.01	c propagation checks 89276599011
3600.07/3610.01	c constraint additions 5336245900
3600.07/3610.01	c trail pops 121037843
3600.07/3610.01	c formula constraints 656900
3600.07/3610.01	c learned constraints 310616
3600.07/3610.01	c bound constraints 262
3600.07/3610.01	c core-guided constraints 927
3600.07/3610.01	c encountered formula constraints 1560982
3600.07/3610.01	c encountered learned constraints 2079558
3600.07/3610.01	c encountered bound constraints 8524
3600.07/3610.01	c encountered core-guided constraints 1445215
3600.07/3610.01	c LP total time 2487.95 s
3600.07/3610.01	c LP solve time 2309.09 s
3600.07/3610.01	c LP constraints added 656933
3600.07/3610.01	c LP constraints removed 14
3600.07/3610.01	c LP pivots internal 310851
3600.07/3610.01	c LP pivots root 206207
3600.07/3610.01	c LP calls 1808
3600.07/3610.01	c LP optimalities 286
3600.07/3610.01	c LP no pivot count 51
3600.07/3610.01	c LP infeasibilities 1478
3600.07/3610.01	c LP valid Farkas constraints 1472
3600.07/3610.01	c LP learned Farkas constraints 242
3600.07/3610.01	c LP basis resets 45
3600.07/3610.01	c LP cycling count 19
3600.07/3610.01	c LP singular count 8
3600.07/3610.01	c LP no primal count 0
3600.07/3610.01	c LP no farkas count 6
3600.07/3610.01	c LP other issue count 12
3600.07/3610.01	c LP Gomory cuts 15
3600.07/3610.01	c LP learned cuts 18
3600.07/3610.01	c LP deleted cuts 14
3600.07/3610.01	c LP encountered Gomory constraints 312
3600.07/3610.01	c LP encountered Farkas constraints 29038
3600.07/3610.01	c LP encountered learned Farkas constraints 416
3600.07/3610.01	c CG auxiliary variables introduced 326
3600.07/3610.01	c CG solutions found 210
3600.07/3610.01	c CG cores constructed 51
3600.07/3610.01	c CG core cardinality constraints returned 0
3600.07/3610.01	c CG unit cores 0
3600.07/3610.01	c CG single cores 50
3600.07/3610.01	c CG blocks removed during cardinality reduction 0
3600.07/3610.01	c CG first core best 0
3600.07/3610.01	c CG decision core best 0
3600.07/3610.01	c CG core reduction tie 1
3600.07/3610.01	c CG core degree average 1.00
3600.07/3610.01	c CG core slack average 866.43
3600.07/3610.01	c CG core upper bound improvements 54
3600.07/3610.01	c STR number of successful calls 0
3600.07/3610.01	c STR number of unsuccessful calls 0
3600.07/3610.01	c STR number of inconclusive calls 0
3600.07/3610.01	c STR number of successful attempts 0
3600.07/3610.01	c STR number of unsuccessful attempts 0
3600.07/3610.01	c STR number of inconclusive attempts 0
3600.07/3610.01	c STR average degree increase per successful call inf
3600.07/3610.01	c STR average degree increase per successful attempt inf
3600.07/3610.01	c STR total number of conflicts for successful attempts 0
3600.07/3610.01	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.01	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.01	c STR average number of conflicts per successful attempt inf
3600.07/3610.01	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.01	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.01	c AVG.sumWPerc 91.01 
3600.07/3610.01	c bigint constraints 0 
3600.07/3610.01	o 302
3600.07/3610.01	s SATISFIABLE
3600.07/3610.01	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/3610.01	c Program interrupted by user.

Verifier Data 

OK	302

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489508-1751357479/watcher-4489508-1751357479 -o /tmp/evaluation-result-4489508-1751357479/solver-4489508-1751357479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751350257-47263 --watchdog 3760 run-opt-ls.sh HOME/instance-4489508-1751357479.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

[startup+0.10006 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129500400/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48054] ppid=48051 vsize=163272 memory=146148 CPUtime=0.07 cores=4,6
/proc/48054/stat : 48054 (pbsuma) R 48051 48051 47252 0 -1 4194304 3893 0 0 0 4 3 0 0 20 0 1 0 51427836 167190528 36537 18446744073709551615 4210688 4653049 140724699623376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 36544512 140724699625827 140724699626034 140724699626034 140724699631599 0
/proc/48054/statm: 40818 36537 928 108 0 38226 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167464 KiB
Current children cumulated memory: 149092 KiB

[startup+0.205352 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129435808/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48054] ppid=48051 vsize=180656 memory=166312 CPUtime=0.18 cores=4,6
/proc/48054/stat : 48054 (pbsuma) R 48051 48051 47252 0 -1 4194304 8571 0 0 0 14 4 0 0 20 0 1 0 51427836 184991744 41578 18446744073709551615 4210688 4653049 140724699623376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 36544512 140724699625827 140724699626034 140724699626034 140724699631599 0
/proc/48054/statm: 45164 41578 928 108 0 42572 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 184848 KiB
Current children cumulated memory: 169256 KiB

[startup+0.305246 s]*
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129351256/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48054] ppid=48051 vsize=194520 memory=180512 CPUtime=0.28 cores=4,6
/proc/48054/stat : 48054 (pbsuma) R 48051 48051 47252 0 -1 4194304 11645 0 0 0 23 5 0 0 20 0 1 0 51427836 199188480 45128 18446744073709551615 4210688 4653049 140724699623376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 36544512 140724699625827 140724699626034 140724699626034 140724699631599 0
/proc/48054/statm: 48630 45128 928 108 0 46038 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198712 KiB
Current children cumulated memory: 183456 KiB

[startup+0.700201 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48065
/proc/meminfo: memFree=129039592/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48054] ppid=48051 vsize=309788 memory=260444 CPUtime=0.67 cores=4,6
/proc/48054/stat : 48054 (pbsuma) R 48051 48051 47252 0 -1 4194304 22416 0 0 0 60 7 0 0 20 0 1 0 51427836 317222912 65111 18446744073709551615 4210688 4653049 140724699623376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 36544512 140724699625827 140724699626034 140724699626034 140724699631599 0
/proc/48054/statm: 77447 65111 992 108 0 74855 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 313980 KiB
Current children cumulated memory: 263388 KiB

[startup+1.50015 s]
/proc/loadavg: 3.76 4.14 4.13 4/268 48068
/proc/meminfo: memFree=129527280/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=116516 memory=70536 CPUtime=0.51 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 15045 0 0 0 36 15 0 0 20 0 1 0 51427933 119312384 17634 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 29129 17634 1984 1147 0 16556 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 120708 KiB
Current children cumulated memory: 73480 KiB

[startup+3.10555 s]
/proc/loadavg: 3.76 4.14 4.13 5/268 48069
/proc/meminfo: memFree=128531772/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=696044 memory=471520 CPUtime=2.1 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 54685 0 0 0 153 57 0 0 20 0 1 0 51427933 712749056 117880 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 174011 117880 2240 1147 0 161438 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 700236 KiB
Current children cumulated memory: 474464 KiB

[startup+6.3002 s]
/proc/loadavg: 3.86 4.15 4.14 5/268 48069
/proc/meminfo: memFree=126439568/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=1039960 memory=781056 CPUtime=5.29 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 81924 0 0 0 452 77 0 0 20 0 1 0 51427933 1064919040 195264 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 259990 195264 2304 1147 0 247417 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1044152 KiB
Current children cumulated memory: 784000 KiB

[startup+12.7002 s]
/proc/loadavg: 3.87 4.15 4.14 6/268 48069
/proc/meminfo: memFree=126367724/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=1236132 memory=915692 CPUtime=11.67 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 92673 0 0 0 1068 99 0 0 20 0 1 0 51427933 1265799168 228923 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 309033 228923 2400 1147 0 296460 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1240324 KiB
Current children cumulated memory: 918636 KiB

[startup+25.5002 s]
/proc/loadavg: 3.90 4.14 4.13 5/268 48069
/proc/meminfo: memFree=125844552/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=1332276 memory=1019704 CPUtime=24.44 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 100891 0 0 0 2300 144 0 0 20 0 1 0 51427933 1364250624 254926 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 333069 254926 2400 1147 0 320496 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1336468 KiB
Current children cumulated memory: 1022648 KiB

[startup+51.1051 s]
/proc/loadavg: 4.02 4.15 4.13 5/268 48069
/proc/meminfo: memFree=125354768/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=1420600 memory=1074032 CPUtime=49.98 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 106841 0 0 0 4831 167 0 0 20 0 1 0 51427933 1454694400 268508 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 355150 268508 2400 1147 0 342577 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1424792 KiB
Current children cumulated memory: 1076976 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/269 48074
/proc/meminfo: memFree=124552540/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=1592180 memory=1261804 CPUtime=101.04 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 129661 0 0 0 9900 204 0 0 20 0 1 0 51427933 1630392320 315451 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 398045 315451 2400 1147 0 385472 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1596372 KiB
Current children cumulated memory: 1264748 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/269 48080
/proc/meminfo: memFree=123591684/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=2065964 memory=1591404 CPUtime=160.89 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 186933 0 0 0 15841 248 0 0 20 0 1 0 51427933 2115547136 397851 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 516491 397851 2400 1147 0 503918 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2070156 KiB
Current children cumulated memory: 1594348 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/269 48082
/proc/meminfo: memFree=123174448/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=2115176 memory=1685128 CPUtime=220.72 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 198179 0 0 0 21806 266 0 0 20 0 1 0 51427933 2165940224 421282 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 528794 421282 2400 1147 0 516221 0
Current children cumulated CPU time: 221.66 s

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

/proc/48067/statm: 774294 628900 2528 1147 0 761721 0
Current children cumulated CPU time: 3033.9 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2518544 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/266 48224
/proc/meminfo: memFree=116484940/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097176 memory=2515728 CPUtime=3092.8 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 379364 0 0 0 308121 1159 0 0 20 0 1 0 51427933 3171508224 628932 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774294 628932 2528 1147 0 761721 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2518672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/267 48231
/proc/meminfo: memFree=116085796/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097180 memory=2515780 CPUtime=3152.63 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 382119 0 0 0 314072 1191 0 0 20 0 1 0 51427933 3171512320 628945 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774295 628945 2528 1147 0 761722 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 3101372 KiB
Current children cumulated memory: 2518724 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/267 48233
/proc/meminfo: memFree=115932036/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097176 memory=2515776 CPUtime=3212.47 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 385131 0 0 0 320039 1208 0 0 20 0 1 0 51427933 3171508224 628944 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774294 628944 2528 1147 0 761721 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2518720 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/268 48236
/proc/meminfo: memFree=115930288/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097176 memory=2515776 CPUtime=3272.31 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 387888 0 0 0 325999 1232 0 0 20 0 1 0 51427933 3171508224 628944 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774294 628944 2528 1147 0 761721 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2518720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/268 48238
/proc/meminfo: memFree=115753328/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097176 memory=2515776 CPUtime=3332.15 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 387888 0 0 0 331950 1265 0 0 20 0 1 0 51427933 3171508224 628944 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774294 628944 2528 1147 0 761721 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2518720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/268 48240
/proc/meminfo: memFree=115787388/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097176 memory=2515776 CPUtime=3391.98 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 390925 0 0 0 337911 1287 0 0 20 0 1 0 51427933 3171508224 628944 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774294 628944 2528 1147 0 761721 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2518720 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/267 48242
/proc/meminfo: memFree=115720368/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097176 memory=2516288 CPUtime=3451.81 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 396459 0 0 0 343866 1315 0 0 20 0 1 0 51427933 3171508224 629072 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774294 629072 2528 1147 0 761721 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2519232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/267 48244
/proc/meminfo: memFree=115866324/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3097176 memory=2525920 CPUtime=3511.65 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 396799 0 0 0 349844 1321 0 0 20 0 1 0 51427933 3171508224 631480 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 774294 631480 2528 1147 0 761721 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 3101368 KiB
Current children cumulated memory: 2528864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/266 48246
/proc/meminfo: memFree=115757928/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3141104 memory=2578544 CPUtime=3571.49 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 399387 0 0 0 355797 1352 0 0 20 0 1 0 51427933 3216490496 644636 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 785276 644636 2528 1147 0 772703 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 3145296 KiB
Current children cumulated memory: 2581488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.09 4.09 4.09 5/266 48247
/proc/meminfo: memFree=115749060/131250000 swapFree=33010416/33010684
[pid=48051] ppid=48042 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/48051/stat : 48051 (run-opt-ls.sh) S 48042 48051 47252 0 -1 4194304 238 29597 0 0 0 0 84 10 20 0 1 0 51427835 4292608 736 18446744073709551615 94143639629824 94143640524357 140730204689120 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94143640763408 94143640811152 94143670956032 140730204694887 140730204695013 140730204695013 140730204700615 0
/proc/48051/statm: 1048 736 672 219 0 110 0
[pid=48067] ppid=48051 vsize=3141104 memory=2586608 CPUtime=3599.13 cores=4,6
/proc/48067/stat : 48067 (roundingsat) R 48051 48051 47252 0 -1 4194304 399474 0 0 0 358549 1364 0 0 20 0 1 0 51427933 3216490496 646652 18446744073709551615 4227072 8923433 140720618131776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42950656 140720618133830 140720618134056 140720618134056 140720618139626 0
/proc/48067/statm: 785276 646652 2528 1147 0 772703 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3145296 KiB
Current children cumulated memory: 2589552 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 2

Real time (s): 3610.1
CPU time (s): 3600.19
CPU user time (s): 3586.39
CPU system time (s): 13.7977
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 3215668
Max. memory (cumulated for all children) (KiB): 2636760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.39
system time used= 13.7977
maximum resident set size= 2633824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295
involuntary context switches= 2527


# summary of solver processes directly reported to runsolver:
#   pid: 48051,48067
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3586.39
#   total CPU system time (s): 13.7977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95692 second user time and 16.5134 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-01 10:11:19
IDJOB=4489508
IDBENCH=147555
IDSOLVER=3355
FILE ID=nodeC027/4489508-1751357479
RUNJOBID= nodeC027-1751350257-47263
SLURM_JOB_ID= 9598136
Free space on /tmp= 432996 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=872057313

nodeC027 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.855
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.29
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.680
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.29
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		: 3599.903
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.29
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		: 3605.134
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130048572 kB
MemAvailable:   129779504 kB
Buffers:            2488 kB
Cached:           533500 kB
SwapCached:           12 kB
Active:           374988 kB
Inactive:         233696 kB
Active(anon):      87960 kB
Inactive(anon):     2792 kB
Active(file):     287028 kB
Inactive(file):   230904 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             88524 kB
Writeback:             0 kB
AnonPages:         75840 kB
Mapped:           103128 kB
Shmem:             18056 kB
KReclaimable:     104076 kB
Slab:             191820 kB
SReclaimable:     104076 kB
SUnreclaim:        87744 kB
KernelStack:        4096 kB
PageTables:         2920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     337916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC027 at 2025-07-01 11:11:30