Trace number 4532381

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3SAT (TO)363 3600.24 3612.04

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM502d6e212fd4e38a31cb5eb2ff64d408
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 benchmark242
Best CPU time to get the best result obtained on this benchmark3584.86
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 491651
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 491651
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-4532381-1752683038.opb'
0.27/0.34	c 	read 17.23MB  (321.17ms)
0.27/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.34	c output proof to '/tmp/proof-4532381-1752683038'
0.27/0.34	c 
0.27/0.34	c make graph and approximate orbits
0.57/0.66	c	 [group: #orbits ~= 0] (320.98ms)
0.57/0.66	c 
0.57/0.66	c detect special group actions
0.57/0.66	c 	probe for Johnson action (limit=64)
0.57/0.67	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.57/0.68	c 	probe for row symmetry (limit=64, splits=16.78M)
0.57/0.69	c 	 (21.71ms)
0.57/0.69	c 
0.57/0.69	c detect symmetries on remainder
0.57/0.69	c 	[graph: #vertices 706697 #edges 2766392]
0.57/0.69	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.74	c 	 [group: #symmetries 1.00*10^0 #generators 0] (50.17ms)
0.66/0.74	c 
0.66/0.74	c finalize break order and special generators
0.66/0.74	c 
0.66/0.74	c generation finished
0.66/0.74	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.74	c 
0.66/0.74	c write result to 'HOME/instance-4532381-1752683038.opb.pre'
0.66/0.78	c 	wrote 17.23MB (35.53ms)
0.66/0.78	c ------------------------------------------------------------------
0.66/0.78	c                 321.17ms 42.66% parse
0.66/0.78	c                 320.98ms 42.63% approx_orbits
0.66/0.78	c                  50.17ms  6.66% detect_generic
0.66/0.78	c                  35.53ms  4.72% output
0.66/0.78	c                  21.71ms  2.88% detect_special
0.66/0.78	c                   2.93ms  0.39% other
0.66/0.78	c                   0.38ms  0.05% finalize_order
0.66/0.78	c         ───────────────────────────────────────────────
0.66/0.78	c                 752.88ms   100% total
0.66/0.78	c ------------------------------------------------------------------
0.76/0.90	c RoundingSat 2
0.76/0.90	c branch pb25
0.76/0.90	c commit 0f876b3
4.23/4.38	c #variables 10000 #constraints 656900
4.23/4.38	c objective is ce32 
4.23/4.38	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.23/4.38	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.23/4.38	c bounds - >= 0 @ 2.85355
5.83/5.92	c rational objective 172.243
9.53/9.69	c bounds 6869 >= 0 @ 8.04606
9.63/9.70	c bounds 6517 >= 0 @ 8.05056
9.63/9.71	c bounds 6463 >= 0 @ 8.05433
9.63/9.72	c bounds 6202 >= 0 @ 8.06129
9.63/9.73	c bounds 5864 >= 0 @ 8.0671
9.63/9.74	c bounds 5827 >= 0 @ 8.07631
9.63/9.78	c bounds 5798 >= 0 @ 8.11889
9.63/9.79	c bounds 5653 >= 0 @ 8.12473
9.73/9.80	c bounds 5474 >= 0 @ 8.13016
9.73/9.82	c bounds 5432 >= 0 @ 8.14752
9.73/9.82	c bounds 5264 >= 0 @ 8.15161
9.73/9.84	c bounds 5243 >= 0 @ 8.16559
9.73/9.85	c bounds 5207 >= 0 @ 8.17147
9.73/9.87	c bounds 5188 >= 0 @ 8.19651
9.73/9.88	c bounds 5120 >= 0 @ 8.20146
9.73/9.89	c bounds 4896 >= 0 @ 8.20547
9.73/9.89	c bounds 4781 >= 0 @ 8.21042
9.82/9.91	c bounds 4765 >= 0 @ 8.2238
9.82/9.92	c bounds 4685 >= 0 @ 8.22902
9.82/9.92	c bounds 4647 >= 0 @ 8.23415
9.82/9.93	c bounds 4612 >= 0 @ 8.23836
9.82/9.94	c bounds 4472 >= 0 @ 8.24357
9.82/9.95	c bounds 4447 >= 0 @ 8.24893
9.82/9.95	c bounds 4405 >= 0 @ 8.25543
9.82/9.96	c bounds 4351 >= 0 @ 8.26082
9.82/9.97	c bounds 4219 >= 0 @ 8.26656
9.82/9.98	c bounds 4178 >= 0 @ 8.27548
10.22/10.35	c bounds 4160 >= 0 @ 8.6348
10.22/10.36	c bounds 4154 >= 0 @ 8.64415
10.42/10.51	c bounds 4100 >= 0 @ 8.78834
10.52/10.61	c bounds 4098 >= 0 @ 8.8858
10.52/10.62	c bounds 4086 >= 0 @ 8.89204
10.62/10.72	c bounds 4028 >= 0 @ 8.99499
10.72/10.84	c bounds 4005 >= 0 @ 9.1069
10.72/10.86	c bounds 4003 >= 0 @ 9.13345
10.82/10.94	c bounds 3998 >= 0 @ 9.20511
11.72/11.81	c bounds 3983 >= 0 @ 10.0718
11.72/11.82	c bounds 3954 >= 0 @ 10.0792
11.72/11.88	c bounds 3916 >= 0 @ 10.1426
11.72/11.90	c bounds 3873 >= 0 @ 10.152
11.82/11.99	c bounds 3868 >= 0 @ 10.2415
11.92/12.00	c bounds 3838 >= 0 @ 10.255
11.92/12.01	c bounds 3827 >= 0 @ 10.2603
11.92/12.02	c bounds 3723 >= 0 @ 10.2694
11.92/12.03	c bounds 3668 >= 0 @ 10.2758
11.92/12.04	c bounds 3663 >= 0 @ 10.2812
11.92/12.08	c bounds 3662 >= 0 @ 10.3181
11.92/12.10	c bounds 3624 >= 0 @ 10.3342
12.03/12.10	c bounds 3618 >= 0 @ 10.339
12.03/12.11	c bounds 3585 >= 0 @ 10.3427
12.03/12.14	c bounds 3573 >= 0 @ 10.3698
12.12/12.27	c bounds 3571 >= 0 @ 10.4941
12.12/12.28	c bounds 3567 >= 0 @ 10.4986
12.12/12.29	c bounds 3516 >= 0 @ 10.5155
12.22/12.35	c bounds 3491 >= 0 @ 10.5704
12.22/12.36	c bounds 3483 >= 0 @ 10.577
12.22/12.37	c bounds 3471 >= 0 @ 10.5885
12.22/12.38	c bounds 3377 >= 0 @ 10.5946
12.22/12.39	c bounds 3334 >= 0 @ 10.6021
12.72/12.82	c bounds 3325 >= 0 @ 11.0227
12.72/12.83	c bounds 3267 >= 0 @ 11.0312
12.72/12.86	c bounds 3257 >= 0 @ 11.0588
12.72/12.87	c bounds 3183 >= 0 @ 11.0656
12.72/12.88	c bounds 3133 >= 0 @ 11.0711
12.72/12.89	c bounds 3076 >= 0 @ 11.0759
12.82/12.90	c bounds 2991 >= 0 @ 11.0816
12.82/12.94	c bounds 2955 >= 0 @ 11.1203
12.82/12.95	c bounds 2943 >= 0 @ 11.1296
12.82/12.96	c bounds 2881 >= 0 @ 11.1365
12.82/12.99	c bounds 2874 >= 0 @ 11.1612
12.92/13.01	c bounds 2714 >= 0 @ 11.1743
12.92/13.02	c bounds 2643 >= 0 @ 11.1831
12.92/13.03	c bounds 2578 >= 0 @ 11.1888
13.02/13.14	c bounds 2575 >= 0 @ 11.297
13.02/13.16	c bounds 2573 >= 0 @ 11.3032
13.02/13.17	c bounds 2487 >= 0 @ 11.311
13.02/13.18	c bounds 2458 >= 0 @ 11.3179
13.02/13.19	c bounds 2431 >= 0 @ 11.3259
13.11/13.20	c bounds 2407 >= 0 @ 11.3361
13.11/13.21	c bounds 2353 >= 0 @ 11.3454
13.11/13.22	c bounds 2199 >= 0 @ 11.3528
13.11/13.23	c bounds 2171 >= 0 @ 11.3602
13.11/13.25	c bounds 2122 >= 0 @ 11.3667
13.11/13.26	c bounds 2108 >= 0 @ 11.3733
13.11/13.27	c bounds 2001 >= 0 @ 11.3809
13.11/13.28	c bounds 1971 >= 0 @ 11.3889
13.11/13.29	c bounds 1958 >= 0 @ 11.3974
13.21/13.31	c bounds 1796 >= 0 @ 11.4138
13.21/13.32	c bounds 1777 >= 0 @ 11.4207
13.51/13.62	c bounds 1776 >= 0 @ 11.715
13.51/13.63	c bounds 1715 >= 0 @ 11.7195
13.51/13.65	c bounds 1680 >= 0 @ 11.7279
13.51/13.66	c bounds 1649 >= 0 @ 11.7352
13.51/13.68	c bounds 1568 >= 0 @ 11.7548
13.51/13.69	c bounds 1556 >= 0 @ 11.762
13.61/13.75	c #Conflicts:       1000 | #Constraints:     657996
13.61/13.75	c bounds 1465 >= 0 @ 11.8155
13.61/13.77	c bounds 1391 >= 0 @ 11.8276
13.61/13.78	c bounds 1355 >= 0 @ 11.8374
13.61/13.79	c bounds 1241 >= 0 @ 11.8462
13.71/13.81	c bounds 1089 >= 0 @ 11.8587
14.31/14.45	c bounds 1087 >= 0 @ 12.4714
16.71/16.83	c bounds 1085 >= 0 @ 14.7895
17.21/17.35	c bounds 1072 >= 0 @ 15.2914
17.21/17.37	c bounds 1063 >= 0 @ 15.3014
17.21/17.38	c bounds 1039 >= 0 @ 15.3105
17.60/17.76	c bounds 1031 >= 0 @ 15.6742
20.40/20.52	c #Conflicts:       2000 | #Constraints:     659012
20.40/20.52	c INPROCESSING
20.40/20.52	c GARBAGE COLLECT
20.40/20.52	c bounds 915 >= 0 @ 18.41
20.49/20.65	c bounds 893 >= 0 @ 18.5205
20.49/20.66	c bounds 755 >= 0 @ 18.5287
20.49/20.68	c bounds 663 >= 0 @ 18.5383
20.79/20.91	c bounds 659 >= 0 @ 18.7601
21.90/22.09	c #Conflicts:       3000 | #Constraints:     658913
21.90/22.09	c bounds 611 >= 0 @ 19.9316
22.79/22.99	c bounds 482 >= 0 @ 20.8002
22.89/23.01	c bounds 482 >= 8 @ 20.8107
26.68/26.84	c #Conflicts:       4000 | #Constraints:     659918
26.68/26.84	c INPROCESSING
26.68/26.84	c GARBAGE COLLECT
26.68/26.84	c rational objective 172.792
38.75/38.90	c #Conflicts:       5000 | #Constraints:     659326
38.75/38.90	c #Conflicts:       6000 | #Constraints:     660326
38.75/38.90	c INPROCESSING
38.75/38.90	c GARBAGE COLLECT
38.75/38.90	c bounds 481 >= 8 @ 36.5242
38.75/38.92	c bounds 480 >= 8 @ 36.5335
38.75/38.97	c bounds 479 >= 8 @ 36.5839
38.75/38.99	c bounds 475 >= 8 @ 36.5933
38.75/39.00	c bounds 472 >= 8 @ 36.6044
38.85/39.03	c bounds 471 >= 8 @ 36.6324
38.85/39.05	c bounds 470 >= 8 @ 36.6458
38.85/39.07	c bounds 467 >= 8 @ 36.6646
40.55/40.78	c bounds 464 >= 8 @ 38.3421
85.03/85.32	c #Conflicts:       7000 | #Constraints:     659337
85.03/85.32	c #Conflicts:       8000 | #Constraints:     660337
85.03/85.32	c #Conflicts:       9000 | #Constraints:     661337
85.03/85.32	c INPROCESSING
85.03/85.32	c GARBAGE COLLECT
85.03/85.32	c #Conflicts:      10000 | #Constraints:     660039
85.03/85.32	c #Conflicts:      11000 | #Constraints:     661049
85.03/85.32	c #Conflicts:      12000 | #Constraints:     662058
85.03/85.32	c INPROCESSING
85.03/85.32	c GARBAGE COLLECT
85.03/85.32	c rational objective 173.805
110.77/111.19	c #Conflicts:      13000 | #Constraints:     660497
110.77/111.19	c #Conflicts:      14000 | #Constraints:     661497
110.77/111.19	c #Conflicts:      15000 | #Constraints:     662497
110.77/111.19	c INPROCESSING
110.77/111.19	c GARBAGE COLLECT
110.77/111.19	c #Conflicts:      16000 | #Constraints:     660720
110.77/111.19	c #Conflicts:      17000 | #Constraints:     661720
110.77/111.19	c #Conflicts:      18000 | #Constraints:     662720
110.77/111.19	c INPROCESSING
110.77/111.19	c GARBAGE COLLECT
110.77/111.19	c rational objective 175.434
129.01/129.42	c #Conflicts:      19000 | #Constraints:     660733
129.01/129.42	c #Conflicts:      20000 | #Constraints:     661733
129.01/129.42	c #Conflicts:      21000 | #Constraints:     662733
129.01/129.42	c INPROCESSING
129.01/129.42	c GARBAGE COLLECT
129.01/129.42	c rational objective 176.746
161.73/162.25	c #Conflicts:      22000 | #Constraints:     660539
161.73/162.25	c #Conflicts:      23000 | #Constraints:     661539
161.73/162.25	c #Conflicts:      24000 | #Constraints:     662539
161.73/162.25	c #Conflicts:      25000 | #Constraints:     663539
161.73/162.25	c INPROCESSING
161.73/162.25	c GARBAGE COLLECT
161.73/162.25	c #Conflicts:      26000 | #Constraints:     661144
161.73/162.25	c #Conflicts:      27000 | #Constraints:     662144
161.73/162.25	c #Conflicts:      28000 | #Constraints:     663144
161.73/162.25	c #Conflicts:      29000 | #Constraints:     664144
161.73/162.25	c INPROCESSING
161.73/162.25	c GARBAGE COLLECT
161.73/162.25	c rational objective 176.881
201.61/202.29	c #Conflicts:      30000 | #Constraints:     661545
201.61/202.29	c #Conflicts:      31000 | #Constraints:     662548
201.61/202.29	c #Conflicts:      32000 | #Constraints:     663561
201.61/202.29	c #Conflicts:      33000 | #Constraints:     664580
201.61/202.29	c INPROCESSING
201.61/202.29	c GARBAGE COLLECT
201.61/202.29	c #Conflicts:      34000 | #Constraints:     661771
201.61/202.29	c #Conflicts:      35000 | #Constraints:     662786
201.61/202.29	c #Conflicts:      36000 | #Constraints:     663801
201.61/202.29	c #Conflicts:      37000 | #Constraints:     664830
201.61/202.29	c INPROCESSING
201.61/202.29	c GARBAGE COLLECT
201.61/202.29	c rational objective 176.925
223.14/223.82	c #Conflicts:      38000 | #Constraints:     661808
223.14/223.82	c #Conflicts:      39000 | #Constraints:     662811
223.14/223.82	c #Conflicts:      40000 | #Constraints:     663848
223.14/223.82	c #Conflicts:      41000 | #Constraints:     664874
223.14/223.82	c bounds 392 >= 8 @ 219.2
230.82/231.59	c INPROCESSING
230.82/231.59	c GARBAGE COLLECT
230.82/231.59	c rational objective 177.036
307.27/308.24	c #Conflicts:      42000 | #Constraints:     661621
307.27/308.24	c #Conflicts:      43000 | #Constraints:     662631
307.27/308.24	c #Conflicts:      44000 | #Constraints:     663642
307.27/308.24	c #Conflicts:      45000 | #Constraints:     664654
307.27/308.24	c #Conflicts:      46000 | #Constraints:     665656
307.27/308.24	c INPROCESSING
307.27/308.24	c GARBAGE COLLECT
307.27/308.24	c #Conflicts:      47000 | #Constraints:     662212
307.27/308.24	c #Conflicts:      48000 | #Constraints:     663217
307.27/308.24	c #Conflicts:      49000 | #Constraints:     664221
307.27/308.24	c #Conflicts:      50000 | #Constraints:     665225
307.27/308.24	c #Conflicts:      51000 | #Constraints:     666231
307.27/308.24	c INPROCESSING
307.27/308.24	c GARBAGE COLLECT
307.27/308.24	c rational objective 177.258
336.19/337.27	c #Conflicts:      52000 | #Constraints:     662608
336.19/337.27	c #Conflicts:      53000 | #Constraints:     663615
336.19/337.27	c #Conflicts:      54000 | #Constraints:     664623
336.19/337.27	c #Conflicts:      55000 | #Constraints:     665627
336.19/337.27	c #Conflicts:      56000 | #Constraints:     666632
336.19/337.27	c INPROCESSING
336.19/337.27	c GARBAGE COLLECT
336.19/337.27	c rational objective 177.441
512.62/514.29	c #Conflicts:      57000 | #Constraints:     662813
512.62/514.29	c #Conflicts:      58000 | #Constraints:     663815
512.62/514.29	c #Conflicts:      59000 | #Constraints:     664820
512.62/514.29	c #Conflicts:      60000 | #Constraints:     665826
512.62/514.29	c #Conflicts:      61000 | #Constraints:     666829
512.62/514.29	c INPROCESSING
512.62/514.29	c GARBAGE COLLECT
512.62/514.29	c #Conflicts:      62000 | #Constraints:     662807
512.62/514.29	c #Conflicts:      63000 | #Constraints:     663807
512.62/514.29	c #Conflicts:      64000 | #Constraints:     664807
512.62/514.29	c #Conflicts:      65000 | #Constraints:     665808
512.62/514.29	c #Conflicts:      66000 | #Constraints:     666811
512.62/514.29	c INPROCESSING
512.62/514.29	c GARBAGE COLLECT
512.62/514.29	c #Conflicts:      67000 | #Constraints:     662602
512.62/514.29	c #Conflicts:      68000 | #Constraints:     663603
512.62/514.29	c #Conflicts:      69000 | #Constraints:     664606
512.62/514.29	c #Conflicts:      70000 | #Constraints:     665608
512.62/514.29	c #Conflicts:      71000 | #Constraints:     666614
512.62/514.29	c #Conflicts:      72000 | #Constraints:     667619
512.62/514.29	c INPROCESSING
512.62/514.29	c GARBAGE COLLECT
512.62/514.29	c #Conflicts:      73000 | #Constraints:     663193
512.62/514.29	c #Conflicts:      74000 | #Constraints:     664197
512.62/514.29	c #Conflicts:      75000 | #Constraints:     665201
512.62/514.29	c #Conflicts:      76000 | #Constraints:     666205
512.62/514.29	c #Conflicts:      77000 | #Constraints:     667210
512.62/514.29	c #Conflicts:      78000 | #Constraints:     668213
512.62/514.29	c INPROCESSING
512.62/514.29	c GARBAGE COLLECT
512.62/514.29	c rational objective 177.539
601.64/603.57	c #Conflicts:      79000 | #Constraints:     663599
601.64/603.57	c #Conflicts:      80000 | #Constraints:     664607
601.64/603.57	c #Conflicts:      81000 | #Constraints:     665613
601.64/603.57	c #Conflicts:      82000 | #Constraints:     666621
601.64/603.57	c #Conflicts:      83000 | #Constraints:     667624
601.64/603.57	c #Conflicts:      84000 | #Constraints:     668632
601.64/603.57	c INPROCESSING
601.64/603.57	c GARBAGE COLLECT
601.64/603.57	c #Conflicts:      85000 | #Constraints:     663804
601.64/603.57	c #Conflicts:      86000 | #Constraints:     664806
601.64/603.57	c #Conflicts:      87000 | #Constraints:     665809
601.64/603.57	c #Conflicts:      88000 | #Constraints:     666812
601.64/603.57	c #Conflicts:      89000 | #Constraints:     667818
601.64/603.57	c #Conflicts:      90000 | #Constraints:     668824
601.64/603.57	c INPROCESSING
601.64/603.57	c GARBAGE COLLECT
601.64/603.57	c #Conflicts:      91000 | #Constraints:     663807
601.64/603.57	c #Conflicts:      92000 | #Constraints:     664817
601.64/603.57	c #Conflicts:      93000 | #Constraints:     665826
601.64/603.57	c #Conflicts:      94000 | #Constraints:     666829
601.64/603.57	c #Conflicts:      95000 | #Constraints:     667835
601.64/603.57	c #Conflicts:      96000 | #Constraints:     668840
601.64/603.57	c INPROCESSING
601.64/603.57	c GARBAGE COLLECT
601.64/603.57	c rational objective 178.084
608.52/610.49	c bounds 389 >= 8 @ 602.92
608.62/610.57	c bounds 387 >= 8 @ 602.992
610.52/612.40	c #Conflicts:      97000 | #Constraints:     663617
610.52/612.40	c bounds 381 >= 8 @ 604.794
611.41/613.38	c bounds 379 >= 8 @ 605.75
611.41/613.39	c bounds 379 >= 13 @ 605.757
611.52/613.46	c bounds 379 >= 18 @ 605.82
621.78/623.75	c #Conflicts:      98000 | #Constraints:     664628
621.78/623.75	c bounds 379 >= 23 @ 616.009
623.68/625.68	c #Conflicts:      99000 | #Constraints:     665638
623.68/625.68	c bounds 375 >= 23 @ 617.903
649.50/651.59	c #Conflicts:     100000 | #Constraints:     666639
649.50/651.59	c #Conflicts:     101000 | #Constraints:     667642
649.50/651.59	c #Conflicts:     102000 | #Constraints:     668642
649.50/651.59	c #Conflicts:     103000 | #Constraints:     669644
649.50/651.59	c INPROCESSING
649.50/651.59	c GARBAGE COLLECT
649.50/651.59	c rational objective 217.627
656.67/658.79	c bounds 373 >= 23 @ 650.716
656.78/658.81	c bounds 371 >= 23 @ 650.737
656.88/658.98	c bounds 370 >= 23 @ 650.899
860.62/863.32	c #Conflicts:     104000 | #Constraints:     664220
860.62/863.32	c #Conflicts:     105000 | #Constraints:     665285
860.62/863.32	c #Conflicts:     106000 | #Constraints:     666335
860.62/863.32	c #Conflicts:     107000 | #Constraints:     667372
860.62/863.32	c #Conflicts:     108000 | #Constraints:     668385
860.62/863.32	c #Conflicts:     109000 | #Constraints:     669513
860.62/863.32	c #Conflicts:     110000 | #Constraints:     670575
860.62/863.32	c INPROCESSING
860.62/863.32	c GARBAGE COLLECT
860.62/863.32	c bounds 370 >= 27 @ 853.044
1024.62/1027.86	c #Conflicts:     111000 | #Constraints:     664781
1024.62/1027.86	c #Conflicts:     112000 | #Constraints:     665784
1024.62/1027.86	c #Conflicts:     113000 | #Constraints:     666791
1024.62/1027.86	c #Conflicts:     114000 | #Constraints:     667802
1024.62/1027.86	c #Conflicts:     115000 | #Constraints:     668812
1024.62/1027.86	c #Conflicts:     116000 | #Constraints:     669820
1024.62/1027.86	c #Conflicts:     117000 | #Constraints:     670830
1024.62/1027.86	c INPROCESSING
1024.62/1027.86	c #Conflicts:     118000 | #Constraints:     664893
1024.62/1027.86	c #Conflicts:     119000 | #Constraints:     665903
1024.62/1027.86	c #Conflicts:     120000 | #Constraints:     666933
1024.62/1027.86	c #Conflicts:     121000 | #Constraints:     667952
1024.62/1027.86	c #Conflicts:     122000 | #Constraints:     668968
1024.62/1027.86	c #Conflicts:     123000 | #Constraints:     669973
1024.62/1027.86	c #Conflicts:     124000 | #Constraints:     670986
1024.62/1027.86	c INPROCESSING
1024.62/1027.86	c GARBAGE COLLECT
1024.62/1027.86	c #Conflicts:     125000 | #Constraints:     664876
1024.62/1027.86	c #Conflicts:     126000 | #Constraints:     665880
1024.62/1027.86	c #Conflicts:     127000 | #Constraints:     666886
1024.62/1027.86	c #Conflicts:     128000 | #Constraints:     667899
1024.62/1027.86	c #Conflicts:     129000 | #Constraints:     668913
1024.62/1027.86	c #Conflicts:     130000 | #Constraints:     669932
1024.62/1027.86	c #Conflicts:     131000 | #Constraints:     670939
1024.62/1027.86	c INPROCESSING
1024.62/1027.86	c #Conflicts:     132000 | #Constraints:     664648
1024.62/1027.86	c #Conflicts:     133000 | #Constraints:     665651
1024.62/1027.86	c #Conflicts:     134000 | #Constraints:     666652
1024.62/1027.86	c #Conflicts:     135000 | #Constraints:     667652
1024.62/1027.86	c #Conflicts:     136000 | #Constraints:     668653
1024.62/1027.86	c #Conflicts:     137000 | #Constraints:     669653
1024.62/1027.86	c #Conflicts:     138000 | #Constraints:     670655
1024.62/1027.86	c #Conflicts:     139000 | #Constraints:     671659
1024.62/1027.86	c INPROCESSING
1024.62/1027.86	c GARBAGE COLLECT
1024.62/1027.86	c rational objective 177.548
1066.70/1070.01	c #Conflicts:     140000 | #Constraints:     665222
1066.70/1070.01	c #Conflicts:     141000 | #Constraints:     666222
1066.70/1070.01	c #Conflicts:     142000 | #Constraints:     667222
1066.70/1070.01	c #Conflicts:     143000 | #Constraints:     668222
1066.70/1070.01	c #Conflicts:     144000 | #Constraints:     669222
1066.70/1070.01	c #Conflicts:     145000 | #Constraints:     670222
1066.70/1070.01	c #Conflicts:     146000 | #Constraints:     671222
1066.70/1070.01	c #Conflicts:     147000 | #Constraints:     672222
1066.70/1070.01	c INPROCESSING
1066.70/1070.01	c GARBAGE COLLECT
1066.70/1070.01	c rational objective 177.63
1106.16/1109.62	c #Conflicts:     148000 | #Constraints:     665613
1106.16/1109.62	c #Conflicts:     149000 | #Constraints:     666614
1106.16/1109.62	c #Conflicts:     150000 | #Constraints:     667614
1106.16/1109.62	c #Conflicts:     151000 | #Constraints:     668615
1106.16/1109.62	c #Conflicts:     152000 | #Constraints:     669615
1106.16/1109.62	c #Conflicts:     153000 | #Constraints:     670615
1106.16/1109.62	c #Conflicts:     154000 | #Constraints:     671615
1106.16/1109.62	c #Conflicts:     155000 | #Constraints:     672615
1106.16/1109.62	c INPROCESSING
1106.16/1109.62	c rational objective 177.855
1147.83/1151.48	c #Conflicts:     156000 | #Constraints:     665800
1147.83/1151.48	c #Conflicts:     157000 | #Constraints:     666800
1147.83/1151.48	c #Conflicts:     158000 | #Constraints:     667800
1147.83/1151.48	c #Conflicts:     159000 | #Constraints:     668800
1147.83/1151.48	c #Conflicts:     160000 | #Constraints:     669800
1147.83/1151.48	c #Conflicts:     161000 | #Constraints:     670800
1147.83/1151.48	c #Conflicts:     162000 | #Constraints:     671801
1147.83/1151.48	c #Conflicts:     163000 | #Constraints:     672801
1147.83/1151.48	c INPROCESSING
1147.83/1151.48	c GARBAGE COLLECT
1147.83/1151.48	c rational objective 177.867
1202.76/1206.52	c #Conflicts:     164000 | #Constraints:     665812
1202.76/1206.52	c #Conflicts:     165000 | #Constraints:     666839
1202.76/1206.52	c #Conflicts:     166000 | #Constraints:     667871
1202.76/1206.52	c #Conflicts:     167000 | #Constraints:     668893
1202.76/1206.52	c #Conflicts:     168000 | #Constraints:     669914
1202.76/1206.52	c #Conflicts:     169000 | #Constraints:     670931
1202.76/1206.52	c #Conflicts:     170000 | #Constraints:     671949
1202.76/1206.52	c #Conflicts:     171000 | #Constraints:     672983
1202.76/1206.52	c INPROCESSING
1202.76/1206.52	c GARBAGE COLLECT
1202.76/1206.52	c rational objective 177.867
1292.37/1296.43	c #Conflicts:     172000 | #Constraints:     665688
1292.37/1296.43	c #Conflicts:     173000 | #Constraints:     666704
1292.37/1296.43	c #Conflicts:     174000 | #Constraints:     667714
1292.37/1296.43	c #Conflicts:     175000 | #Constraints:     668739
1292.37/1296.43	c #Conflicts:     176000 | #Constraints:     669766
1292.37/1296.43	c #Conflicts:     177000 | #Constraints:     670780
1292.37/1296.43	c #Conflicts:     178000 | #Constraints:     671805
1292.37/1296.43	c #Conflicts:     179000 | #Constraints:     672821
1292.37/1296.43	c #Conflicts:     180000 | #Constraints:     673837
1292.37/1296.43	c INPROCESSING
1292.37/1296.43	c GARBAGE COLLECT
1292.37/1296.43	c #Conflicts:     181000 | #Constraints:     666318
1292.37/1296.43	c #Conflicts:     182000 | #Constraints:     667328
1292.37/1296.43	c #Conflicts:     183000 | #Constraints:     668350
1292.37/1296.43	c #Conflicts:     184000 | #Constraints:     669371
1292.37/1296.43	c #Conflicts:     185000 | #Constraints:     670386
1292.37/1296.43	c #Conflicts:     186000 | #Constraints:     671410
1292.37/1296.43	c #Conflicts:     187000 | #Constraints:     672439
1292.37/1296.43	c #Conflicts:     188000 | #Constraints:     673456
1292.37/1296.43	c #Conflicts:     189000 | #Constraints:     674483
1292.37/1296.43	c INPROCESSING
1292.37/1296.43	c GARBAGE COLLECT
1292.37/1296.43	c rational objective 177.867
1393.15/1397.54	c #Conflicts:     190000 | #Constraints:     666756
1393.15/1397.54	c #Conflicts:     191000 | #Constraints:     667780
1393.15/1397.54	c #Conflicts:     192000 | #Constraints:     668800
1393.15/1397.54	c #Conflicts:     193000 | #Constraints:     669824
1393.15/1397.54	c #Conflicts:     194000 | #Constraints:     670853
1393.15/1397.54	c #Conflicts:     195000 | #Constraints:     671873
1393.15/1397.54	c #Conflicts:     196000 | #Constraints:     672891
1393.15/1397.54	c #Conflicts:     197000 | #Constraints:     673922
1393.15/1397.54	c #Conflicts:     198000 | #Constraints:     674948
1393.15/1397.54	c INPROCESSING
1393.15/1397.54	c GARBAGE COLLECT
1393.15/1397.54	c #Conflicts:     199000 | #Constraints:     666980
1393.15/1397.54	c #Conflicts:     200000 | #Constraints:     667980
1393.15/1397.54	c #Conflicts:     201000 | #Constraints:     668980
1393.15/1397.54	c #Conflicts:     202000 | #Constraints:     669980
1393.15/1397.54	c #Conflicts:     203000 | #Constraints:     670980
1393.15/1397.54	c #Conflicts:     204000 | #Constraints:     671981
1393.15/1397.54	c #Conflicts:     205000 | #Constraints:     672981
1393.15/1397.54	c #Conflicts:     206000 | #Constraints:     673982
1393.15/1397.54	c #Conflicts:     207000 | #Constraints:     674982
1393.15/1397.54	c INPROCESSING
1393.15/1397.54	c GARBAGE COLLECT
1393.15/1397.54	c rational objective 177.867
1544.20/1549.07	c #Conflicts:     208000 | #Constraints:     666904
1544.20/1549.07	c #Conflicts:     209000 | #Constraints:     667911
1544.20/1549.07	c #Conflicts:     210000 | #Constraints:     668928
1544.20/1549.07	c #Conflicts:     211000 | #Constraints:     669951
1544.20/1549.07	c #Conflicts:     212000 | #Constraints:     670967
1544.20/1549.07	c #Conflicts:     213000 | #Constraints:     671984
1544.20/1549.07	c #Conflicts:     214000 | #Constraints:     673000
1544.20/1549.07	c #Conflicts:     215000 | #Constraints:     674023
1544.20/1549.07	c #Conflicts:     216000 | #Constraints:     675045
1544.20/1549.07	c INPROCESSING
1544.20/1549.07	c GARBAGE COLLECT
1544.20/1549.07	c #Conflicts:     217000 | #Constraints:     666756
1544.20/1549.07	c #Conflicts:     218000 | #Constraints:     667770
1544.20/1549.07	c #Conflicts:     219000 | #Constraints:     668815
1544.20/1549.07	c #Conflicts:     220000 | #Constraints:     669862
1544.20/1549.07	c #Conflicts:     221000 | #Constraints:     670905
1544.20/1549.07	c #Conflicts:     222000 | #Constraints:     671933
1544.20/1549.07	c #Conflicts:     223000 | #Constraints:     672973
1544.20/1549.07	c #Conflicts:     224000 | #Constraints:     674014
1544.20/1549.07	c #Conflicts:     225000 | #Constraints:     675048
1544.20/1549.07	c #Conflicts:     226000 | #Constraints:     676071
1544.20/1549.07	c INPROCESSING
1544.20/1549.07	c GARBAGE COLLECT
1544.20/1549.07	c #Conflicts:     227000 | #Constraints:     667463
1544.20/1549.07	c #Conflicts:     228000 | #Constraints:     668482
1544.20/1549.07	c #Conflicts:     229000 | #Constraints:     669515
1544.20/1549.07	c #Conflicts:     230000 | #Constraints:     670553
1544.20/1549.07	c #Conflicts:     231000 | #Constraints:     671582
1544.20/1549.07	c #Conflicts:     232000 | #Constraints:     672613
1544.20/1549.07	c #Conflicts:     233000 | #Constraints:     673622
1544.20/1549.07	c #Conflicts:     234000 | #Constraints:     674646
1544.20/1549.07	c #Conflicts:     235000 | #Constraints:     675667
1544.20/1549.07	c #Conflicts:     236000 | #Constraints:     676688
1544.20/1549.07	c INPROCESSING
1544.20/1549.07	c GARBAGE COLLECT
1544.20/1549.07	c rational objective 177.867
1645.28/1650.43	c #Conflicts:     237000 | #Constraints:     667850
1645.28/1650.43	c #Conflicts:     238000 | #Constraints:     668869
1645.28/1650.43	c #Conflicts:     239000 | #Constraints:     669894
1645.28/1650.43	c #Conflicts:     240000 | #Constraints:     670917
1645.28/1650.43	c #Conflicts:     241000 | #Constraints:     671930
1645.28/1650.43	c #Conflicts:     242000 | #Constraints:     672967
1645.28/1650.43	c #Conflicts:     243000 | #Constraints:     673981
1645.28/1650.43	c #Conflicts:     244000 | #Constraints:     674994
1645.28/1650.43	c #Conflicts:     245000 | #Constraints:     676015
1645.28/1650.43	c #Conflicts:     246000 | #Constraints:     677045
1645.28/1650.43	c INPROCESSING
1645.28/1650.43	c GARBAGE COLLECT
1645.28/1650.43	c #Conflicts:     247000 | #Constraints:     668024
1645.28/1650.43	c #Conflicts:     248000 | #Constraints:     669039
1645.28/1650.43	c #Conflicts:     249000 | #Constraints:     670064
1645.28/1650.43	c #Conflicts:     250000 | #Constraints:     671080
1645.28/1650.43	c #Conflicts:     251000 | #Constraints:     672097
1645.28/1650.43	c #Conflicts:     252000 | #Constraints:     673113
1645.28/1650.43	c #Conflicts:     253000 | #Constraints:     674140
1645.28/1650.43	c #Conflicts:     254000 | #Constraints:     675168
1645.28/1650.43	c #Conflicts:     255000 | #Constraints:     676174
1645.28/1650.43	c #Conflicts:     256000 | #Constraints:     677174
1645.28/1650.43	c INPROCESSING
1645.28/1650.43	c GARBAGE COLLECT
1645.28/1650.43	c rational objective 177.867
1698.41/1703.78	c #Conflicts:     257000 | #Constraints:     667985
1698.41/1703.78	c #Conflicts:     258000 | #Constraints:     668985
1698.41/1703.78	c #Conflicts:     259000 | #Constraints:     669985
1698.41/1703.78	c #Conflicts:     260000 | #Constraints:     670985
1698.41/1703.78	c #Conflicts:     261000 | #Constraints:     671985
1698.41/1703.78	c #Conflicts:     262000 | #Constraints:     672985
1698.41/1703.78	c #Conflicts:     263000 | #Constraints:     673985
1698.41/1703.78	c #Conflicts:     264000 | #Constraints:     674985
1698.41/1703.78	c #Conflicts:     265000 | #Constraints:     675985
1698.41/1703.78	c #Conflicts:     266000 | #Constraints:     676985
1698.41/1703.78	c INPROCESSING
1698.41/1703.78	c GARBAGE COLLECT
1698.41/1703.78	c rational objective 177.963
1753.14/1758.67	c #Conflicts:     267000 | #Constraints:     667696
1753.14/1758.67	c #Conflicts:     268000 | #Constraints:     668696
1753.14/1758.67	c #Conflicts:     269000 | #Constraints:     669696
1753.14/1758.67	c #Conflicts:     270000 | #Constraints:     670697
1753.14/1758.67	c #Conflicts:     271000 | #Constraints:     671698
1753.14/1758.67	c #Conflicts:     272000 | #Constraints:     672698
1753.14/1758.67	c #Conflicts:     273000 | #Constraints:     673699
1753.14/1758.67	c #Conflicts:     274000 | #Constraints:     674699
1753.14/1758.67	c #Conflicts:     275000 | #Constraints:     675699
1753.14/1758.67	c #Conflicts:     276000 | #Constraints:     676700
1753.14/1758.67	c #Conflicts:     277000 | #Constraints:     677701
1753.14/1758.67	c INPROCESSING
1753.14/1758.67	c GARBAGE COLLECT
1753.14/1758.67	c rational objective 177.964
1916.43/1922.41	c #Conflicts:     278000 | #Constraints:     668251
1916.43/1922.41	c #Conflicts:     279000 | #Constraints:     669260
1916.43/1922.41	c #Conflicts:     280000 | #Constraints:     670268
1916.43/1922.41	c #Conflicts:     281000 | #Constraints:     671279
1916.43/1922.41	c #Conflicts:     282000 | #Constraints:     672302
1916.43/1922.41	c #Conflicts:     283000 | #Constraints:     673339
1916.43/1922.41	c #Conflicts:     284000 | #Constraints:     674358
1916.43/1922.41	c #Conflicts:     285000 | #Constraints:     675377
1916.43/1922.41	c #Conflicts:     286000 | #Constraints:     676410
1916.43/1922.41	c #Conflicts:     287000 | #Constraints:     677419
1916.43/1922.41	c #Conflicts:     288000 | #Constraints:     678433
1916.43/1922.41	c INPROCESSING
1916.43/1922.41	c GARBAGE COLLECT
1916.43/1922.41	c #Conflicts:     289000 | #Constraints:     668710
1916.43/1922.41	c #Conflicts:     290000 | #Constraints:     669721
1916.43/1922.41	c #Conflicts:     291000 | #Constraints:     670748
1916.43/1922.41	c #Conflicts:     292000 | #Constraints:     671773
1916.43/1922.41	c #Conflicts:     293000 | #Constraints:     672797
1916.43/1922.41	c #Conflicts:     294000 | #Constraints:     673811
1916.43/1922.41	c #Conflicts:     295000 | #Constraints:     674839
1916.43/1922.41	c #Conflicts:     296000 | #Constraints:     675860
1916.43/1922.41	c #Conflicts:     297000 | #Constraints:     676868
1916.43/1922.41	c #Conflicts:     298000 | #Constraints:     677882
1916.43/1922.41	c #Conflicts:     299000 | #Constraints:     678898
1916.43/1922.41	c INPROCESSING
1916.43/1922.41	c GARBAGE COLLECT
1916.43/1922.41	c rational objective 177.964
1992.09/1998.39	c #Conflicts:     300000 | #Constraints:     668954
1992.09/1998.39	c #Conflicts:     301000 | #Constraints:     669973
1992.09/1998.39	c #Conflicts:     302000 | #Constraints:     670997
1992.09/1998.39	c #Conflicts:     303000 | #Constraints:     672026
1992.09/1998.39	c #Conflicts:     304000 | #Constraints:     673050
1992.09/1998.39	c #Conflicts:     305000 | #Constraints:     674058
1992.09/1998.39	c #Conflicts:     306000 | #Constraints:     675068
1992.09/1998.39	c #Conflicts:     307000 | #Constraints:     676077
1992.09/1998.39	c #Conflicts:     308000 | #Constraints:     677089
1992.09/1998.39	c #Conflicts:     309000 | #Constraints:     678117
1992.09/1998.39	c #Conflicts:     310000 | #Constraints:     679153
1992.09/1998.39	c INPROCESSING
1992.09/1998.39	c GARBAGE COLLECT
1992.09/1998.39	c rational objective 177.972
2083.31/2089.86	c #Conflicts:     311000 | #Constraints:     669001
2083.31/2089.86	c #Conflicts:     312000 | #Constraints:     670023
2083.31/2089.86	c #Conflicts:     313000 | #Constraints:     671034
2083.31/2089.86	c #Conflicts:     314000 | #Constraints:     672049
2083.31/2089.86	c #Conflicts:     315000 | #Constraints:     673073
2083.31/2089.86	c #Conflicts:     316000 | #Constraints:     674091
2083.31/2089.86	c #Conflicts:     317000 | #Constraints:     675108
2083.31/2089.86	c #Conflicts:     318000 | #Constraints:     676132
2083.31/2089.86	c #Conflicts:     319000 | #Constraints:     677150
2083.31/2089.86	c #Conflicts:     320000 | #Constraints:     678182
2083.31/2089.86	c #Conflicts:     321000 | #Constraints:     679199
2083.31/2089.86	c INPROCESSING
2083.31/2089.86	c GARBAGE COLLECT
2083.31/2089.86	c rational objective 177.981
2182.20/2189.07	c #Conflicts:     322000 | #Constraints:     668829
2182.20/2189.07	c #Conflicts:     323000 | #Constraints:     669835
2182.20/2189.07	c #Conflicts:     324000 | #Constraints:     670853
2182.20/2189.07	c #Conflicts:     325000 | #Constraints:     671863
2182.20/2189.07	c #Conflicts:     326000 | #Constraints:     672881
2182.20/2189.07	c #Conflicts:     327000 | #Constraints:     673912
2182.20/2189.07	c #Conflicts:     328000 | #Constraints:     674933
2182.20/2189.07	c #Conflicts:     329000 | #Constraints:     675953
2182.20/2189.07	c #Conflicts:     330000 | #Constraints:     676958
2182.20/2189.07	c #Conflicts:     331000 | #Constraints:     677967
2182.20/2189.07	c #Conflicts:     332000 | #Constraints:     678974
2182.20/2189.07	c #Conflicts:     333000 | #Constraints:     679990
2182.20/2189.07	c INPROCESSING
2182.20/2189.07	c GARBAGE COLLECT
2182.20/2189.07	c rational objective 177.981
2244.91/2252.00	c #Conflicts:     334000 | #Constraints:     669418
2244.91/2252.00	c #Conflicts:     335000 | #Constraints:     670431
2244.91/2252.00	c #Conflicts:     336000 | #Constraints:     671439
2244.91/2252.00	c #Conflicts:     337000 | #Constraints:     672457
2244.91/2252.00	c #Conflicts:     338000 | #Constraints:     673461
2244.91/2252.00	c #Conflicts:     339000 | #Constraints:     674470
2244.91/2252.00	c #Conflicts:     340000 | #Constraints:     675497
2244.91/2252.00	c #Conflicts:     341000 | #Constraints:     676517
2244.91/2252.00	c #Conflicts:     342000 | #Constraints:     677541
2244.91/2252.00	c #Conflicts:     343000 | #Constraints:     678551
2244.91/2252.00	c #Conflicts:     344000 | #Constraints:     679574
2244.91/2252.00	c #Conflicts:     345000 | #Constraints:     680583
2244.91/2252.00	c INPROCESSING
2244.91/2252.00	c GARBAGE COLLECT
2244.91/2252.00	c rational objective 177.981
2387.07/2394.54	c #Conflicts:     346000 | #Constraints:     669798
2387.07/2394.54	c #Conflicts:     347000 | #Constraints:     670802
2387.07/2394.54	c #Conflicts:     348000 | #Constraints:     671810
2387.07/2394.54	c #Conflicts:     349000 | #Constraints:     672810
2387.07/2394.54	c #Conflicts:     350000 | #Constraints:     673812
2387.07/2394.54	c #Conflicts:     351000 | #Constraints:     674823
2387.07/2394.54	c #Conflicts:     352000 | #Constraints:     675835
2387.07/2394.54	c #Conflicts:     353000 | #Constraints:     676853
2387.07/2394.54	c #Conflicts:     354000 | #Constraints:     677868
2387.07/2394.54	c #Conflicts:     355000 | #Constraints:     678879
2387.07/2394.54	c #Conflicts:     356000 | #Constraints:     679886
2387.07/2394.54	c #Conflicts:     357000 | #Constraints:     680895
2387.07/2394.54	c INPROCESSING
2387.07/2394.54	c GARBAGE COLLECT
2387.07/2394.54	c #Conflicts:     358000 | #Constraints:     669944
2387.07/2394.54	c #Conflicts:     359000 | #Constraints:     670958
2387.07/2394.54	c #Conflicts:     360000 | #Constraints:     671986
2387.07/2394.54	c #Conflicts:     361000 | #Constraints:     672999
2387.07/2394.54	c #Conflicts:     362000 | #Constraints:     674009
2387.07/2394.54	c #Conflicts:     363000 | #Constraints:     675028
2387.07/2394.54	c #Conflicts:     364000 | #Constraints:     676044
2387.07/2394.54	c #Conflicts:     365000 | #Constraints:     677053
2387.07/2394.54	c #Conflicts:     366000 | #Constraints:     678056
2387.07/2394.54	c #Conflicts:     367000 | #Constraints:     679074
2387.07/2394.54	c #Conflicts:     368000 | #Constraints:     680097
2387.07/2394.54	c #Conflicts:     369000 | #Constraints:     681118
2387.07/2394.54	c INPROCESSING
2387.07/2394.54	c GARBAGE COLLECT
2387.07/2394.54	c rational objective 177.981
2513.26/2521.16	c #Conflicts:     370000 | #Constraints:     669975
2513.26/2521.16	c #Conflicts:     371000 | #Constraints:     670993
2513.26/2521.16	c #Conflicts:     372000 | #Constraints:     672010
2513.26/2521.16	c #Conflicts:     373000 | #Constraints:     673036
2513.26/2521.16	c #Conflicts:     374000 | #Constraints:     674039
2513.26/2521.16	c #Conflicts:     375000 | #Constraints:     675051
2513.26/2521.16	c #Conflicts:     376000 | #Constraints:     676065
2513.26/2521.16	c #Conflicts:     377000 | #Constraints:     677077
2513.26/2521.16	c #Conflicts:     378000 | #Constraints:     678095
2513.26/2521.16	c #Conflicts:     379000 | #Constraints:     679108
2513.26/2521.16	c #Conflicts:     380000 | #Constraints:     680115
2513.26/2521.16	c #Conflicts:     381000 | #Constraints:     681133
2513.26/2521.16	c INPROCESSING
2513.26/2521.16	c GARBAGE COLLECT
2513.26/2521.16	c #Conflicts:     382000 | #Constraints:     669772
2513.26/2521.16	c #Conflicts:     383000 | #Constraints:     670772
2513.26/2521.16	c #Conflicts:     384000 | #Constraints:     671772
2513.26/2521.16	c #Conflicts:     385000 | #Constraints:     672772
2513.26/2521.16	c #Conflicts:     386000 | #Constraints:     673772
2513.26/2521.16	c #Conflicts:     387000 | #Constraints:     674773
2513.26/2521.16	c #Conflicts:     388000 | #Constraints:     675773
2513.26/2521.16	c #Conflicts:     389000 | #Constraints:     676773
2513.26/2521.16	c #Conflicts:     390000 | #Constraints:     677773
2513.26/2521.16	c #Conflicts:     391000 | #Constraints:     678774
2513.26/2521.16	c #Conflicts:     392000 | #Constraints:     679774
2513.26/2521.16	c #Conflicts:     393000 | #Constraints:     680774
2513.26/2521.16	c #Conflicts:     394000 | #Constraints:     681774
2513.26/2521.16	c INPROCESSING
2513.26/2521.16	c GARBAGE COLLECT
2513.26/2521.16	c rational objective 177.981
2587.72/2595.86	c #Conflicts:     395000 | #Constraints:     670311
2587.72/2595.86	c #Conflicts:     396000 | #Constraints:     671354
2587.72/2595.86	c #Conflicts:     397000 | #Constraints:     672402
2587.72/2595.86	c #Conflicts:     398000 | #Constraints:     673428
2587.72/2595.86	c #Conflicts:     399000 | #Constraints:     674435
2587.72/2595.86	c #Conflicts:     400000 | #Constraints:     675442
2587.72/2595.86	c #Conflicts:     401000 | #Constraints:     676458
2587.72/2595.86	c #Conflicts:     402000 | #Constraints:     677472
2587.72/2595.86	c #Conflicts:     403000 | #Constraints:     678482
2587.72/2595.86	c #Conflicts:     404000 | #Constraints:     679492
2587.72/2595.86	c #Conflicts:     405000 | #Constraints:     680520
2587.72/2595.86	c #Conflicts:     406000 | #Constraints:     681541
2587.72/2595.86	c #Conflicts:     407000 | #Constraints:     682550
2587.72/2595.86	c INPROCESSING
2587.72/2595.86	c GARBAGE COLLECT
2587.72/2595.86	c rational objective 177.992
2674.85/2683.27	c #Conflicts:     408000 | #Constraints:     670773
2674.85/2683.27	c #Conflicts:     409000 | #Constraints:     671776
2674.85/2683.27	c #Conflicts:     410000 | #Constraints:     672789
2674.85/2683.27	c #Conflicts:     411000 | #Constraints:     673792
2674.85/2683.27	c #Conflicts:     412000 | #Constraints:     674809
2674.85/2683.27	c #Conflicts:     413000 | #Constraints:     675834
2674.85/2683.27	c #Conflicts:     414000 | #Constraints:     676850
2674.85/2683.27	c #Conflicts:     415000 | #Constraints:     677871
2674.85/2683.27	c #Conflicts:     416000 | #Constraints:     678887
2674.85/2683.27	c #Conflicts:     417000 | #Constraints:     679913
2674.85/2683.27	c #Conflicts:     418000 | #Constraints:     680932
2674.85/2683.27	c #Conflicts:     419000 | #Constraints:     681952
2674.85/2683.27	c #Conflicts:     420000 | #Constraints:     682964
2674.85/2683.27	c INPROCESSING
2674.85/2683.27	c GARBAGE COLLECT
2674.85/2683.27	c rational objective 177.992
2744.55/2753.19	c #Conflicts:     421000 | #Constraints:     670989
2744.55/2753.19	c #Conflicts:     422000 | #Constraints:     671999
2744.55/2753.19	c #Conflicts:     423000 | #Constraints:     673014
2744.55/2753.19	c #Conflicts:     424000 | #Constraints:     674029
2744.55/2753.19	c #Conflicts:     425000 | #Constraints:     675040
2744.55/2753.19	c #Conflicts:     426000 | #Constraints:     676056
2744.55/2753.19	c #Conflicts:     427000 | #Constraints:     677074
2744.55/2753.19	c #Conflicts:     428000 | #Constraints:     678092
2744.55/2753.19	c #Conflicts:     429000 | #Constraints:     679104
2744.55/2753.19	c #Conflicts:     430000 | #Constraints:     680124
2744.55/2753.19	c #Conflicts:     431000 | #Constraints:     681148
2744.55/2753.19	c #Conflicts:     432000 | #Constraints:     682170
2744.55/2753.19	c #Conflicts:     433000 | #Constraints:     683180
2744.55/2753.19	c INPROCESSING
2744.55/2753.19	c GARBAGE COLLECT
2744.55/2753.19	c bounds 368 >= 27 @ 2727.12
2779.64/2788.37	c #Conflicts:     434000 | #Constraints:     671028
2779.64/2788.37	c #Conflicts:     435000 | #Constraints:     672039
2779.64/2788.37	c bounds 366 >= 27 @ 2761.67
2782.02/2790.71	c #Conflicts:     436000 | #Constraints:     673047
2782.02/2790.71	c bounds 366 >= 30 @ 2763.99
2850.31/2859.26	c #Conflicts:     437000 | #Constraints:     674050
2850.31/2859.26	c #Conflicts:     438000 | #Constraints:     675050
2850.31/2859.26	c #Conflicts:     439000 | #Constraints:     676050
2850.31/2859.26	c #Conflicts:     440000 | #Constraints:     677050
2850.31/2859.26	c #Conflicts:     441000 | #Constraints:     678050
2850.31/2859.26	c #Conflicts:     442000 | #Constraints:     679050
2850.31/2859.26	c #Conflicts:     443000 | #Constraints:     680050
2850.31/2859.26	c #Conflicts:     444000 | #Constraints:     681050
2850.31/2859.26	c #Conflicts:     445000 | #Constraints:     682050
2850.31/2859.26	c #Conflicts:     446000 | #Constraints:     683050
2850.31/2859.26	c INPROCESSING
2850.31/2859.26	c GARBAGE COLLECT
2850.31/2859.26	c rational objective 178.218
2941.71/2950.93	c #Conflicts:     447000 | #Constraints:     670738
2941.71/2950.93	c #Conflicts:     448000 | #Constraints:     671738
2941.71/2950.93	c #Conflicts:     449000 | #Constraints:     672738
2941.71/2950.93	c #Conflicts:     450000 | #Constraints:     673738
2941.71/2950.93	c #Conflicts:     451000 | #Constraints:     674738
2941.71/2950.93	c #Conflicts:     452000 | #Constraints:     675738
2941.71/2950.93	c #Conflicts:     453000 | #Constraints:     676738
2941.71/2950.93	c #Conflicts:     454000 | #Constraints:     677738
2941.71/2950.93	c #Conflicts:     455000 | #Constraints:     678738
2941.71/2950.93	c #Conflicts:     456000 | #Constraints:     679738
2941.71/2950.93	c #Conflicts:     457000 | #Constraints:     680739
2941.71/2950.93	c #Conflicts:     458000 | #Constraints:     681741
2941.71/2950.93	c #Conflicts:     459000 | #Constraints:     682745
2941.71/2950.93	c #Conflicts:     460000 | #Constraints:     683746
2941.71/2950.93	c INPROCESSING
2941.71/2950.93	c GARBAGE COLLECT
2941.71/2950.93	c rational objective 178.296
3044.97/3054.53	c #Conflicts:     461000 | #Constraints:     671298
3044.97/3054.53	c #Conflicts:     462000 | #Constraints:     672370
3044.97/3054.53	c #Conflicts:     463000 | #Constraints:     673604
3044.97/3054.53	c #Conflicts:     464000 | #Constraints:     674820
3044.97/3054.53	c bounds 364 >= 30 @ 3025.49
3044.97/3054.57	c bounds 364 >= 32 @ 3025.52
3201.08/3211.12	c #Conflicts:     465000 | #Constraints:     675855
3201.08/3211.12	c #Conflicts:     466000 | #Constraints:     676911
3201.08/3211.12	c #Conflicts:     467000 | #Constraints:     677974
3201.08/3211.12	c #Conflicts:     468000 | #Constraints:     679002
3201.08/3211.12	c #Conflicts:     469000 | #Constraints:     680101
3201.08/3211.12	c #Conflicts:     470000 | #Constraints:     681273
3201.08/3211.12	c #Conflicts:     471000 | #Constraints:     682328
3201.08/3211.12	c #Conflicts:     472000 | #Constraints:     683377
3201.08/3211.12	c #Conflicts:     473000 | #Constraints:     684467
3201.08/3211.12	c #Conflicts:     474000 | #Constraints:     685543
3201.08/3211.12	c INPROCESSING
3201.08/3211.12	c GARBAGE COLLECT
3201.08/3211.12	c rational objective 178.296
3571.50/3582.75	c #Conflicts:     475000 | #Constraints:     672273
3571.50/3582.75	c #Conflicts:     476000 | #Constraints:     673313
3571.50/3582.75	c #Conflicts:     477000 | #Constraints:     674338
3571.50/3582.75	c #Conflicts:     478000 | #Constraints:     675381
3571.50/3582.75	c #Conflicts:     479000 | #Constraints:     676424
3571.50/3582.75	c #Conflicts:     480000 | #Constraints:     677479
3571.50/3582.75	c #Conflicts:     481000 | #Constraints:     678494
3571.50/3582.75	c #Conflicts:     482000 | #Constraints:     679513
3571.50/3582.75	c #Conflicts:     483000 | #Constraints:     680549
3571.50/3582.75	c #Conflicts:     484000 | #Constraints:     681575
3571.50/3582.75	c #Conflicts:     485000 | #Constraints:     682614
3571.50/3582.75	c #Conflicts:     486000 | #Constraints:     683662
3571.50/3582.75	c #Conflicts:     487000 | #Constraints:     684700
3571.50/3582.75	c #Conflicts:     488000 | #Constraints:     685769
3571.50/3582.75	c INPROCESSING
3571.50/3582.75	c GARBAGE COLLECT
3571.50/3582.75	c #Conflicts:     489000 | #Constraints:     672388
3571.50/3582.75	c #Conflicts:     490000 | #Constraints:     673397
3571.50/3582.75	c #Conflicts:     491000 | #Constraints:     674405
3571.50/3582.75	c #Conflicts:     492000 | #Constraints:     675413
3571.50/3582.75	c #Conflicts:     493000 | #Constraints:     676420
3571.50/3582.75	c #Conflicts:     494000 | #Constraints:     677428
3571.50/3582.75	c #Conflicts:     495000 | #Constraints:     678435
3571.50/3582.75	c #Conflicts:     496000 | #Constraints:     679444
3571.50/3582.75	c #Conflicts:     497000 | #Constraints:     680451
3571.50/3582.75	c #Conflicts:     498000 | #Constraints:     681458
3571.50/3582.75	c #Conflicts:     499000 | #Constraints:     682464
3571.50/3582.75	c #Conflicts:     500000 | #Constraints:     683469
3571.50/3582.75	c #Conflicts:     501000 | #Constraints:     684477
3571.50/3582.75	c #Conflicts:     502000 | #Constraints:     685484
3571.50/3582.75	c INPROCESSING
3571.50/3582.75	c GARBAGE COLLECT
3571.50/3582.75	c rational objective 178.296
3582.78/3594.08	c bounds 363 >= 32 @ 3558.3
3600.03/3611.83	c #Conflicts:     503000 | #Constraints:     672144
3600.03/3611.83	c cpu time 3575.21 s
3600.03/3611.83	c deterministic time 196230704815 1.96e+11
3600.03/3611.83	c optimization time 17.3295 s
3600.03/3611.83	c total solve time 3555.03 s
3600.03/3611.83	c core-guided solve time 3167.18 s
3600.03/3611.83	c propagation time 1654.36 s
3600.03/3611.83	c conflict analysis time 848.888 s
3600.03/3611.83	c propagations 59037604
3600.03/3611.83	c resolve steps 12460162
3600.03/3611.83	c decisions 11388465
3600.03/3611.83	c conflicts 503872
3600.03/3611.83	c restarts 1022
3600.03/3611.83	c inprocessing phases 62
3600.03/3611.83	c garbage collections 59 ,( 95.16 )
3600.03/3611.83	c input clauses 656902 ,( 99.98 )
3600.03/3611.83	c input cardinalities 9 ,( 0.00 )
3600.03/3611.83	c input general constraints 151 ,( 0.02 )
3600.03/3611.83	c input average constraint length 4.26
3600.03/3611.83	c input average constraint degree 101.48
3600.03/3611.83	c learned clauses 467821 ,( 91.55 )
3600.03/3611.83	c learned cardinalities 12 ,( 0.00 )
3600.03/3611.83	c learned general constraints 43190 ,( 8.45 )
3600.03/3611.83	c learned average constraint length 3254.21
3600.03/3611.83	c learned average constraint degree 35934463976.89
3600.03/3611.83	c watched  CF 32, 64, 128, Arb: 6217 , 0 , 0 , 0
3600.03/3611.83	c counting CF 32, 64, 128, Arb: 37125 , 0 , 0 , 0
3600.03/3611.83	c watched   constraints 6217 ,( 14.34 ) 
3600.03/3611.83	c counting  constraints 37124 ,( 85.66 ) 
3600.03/3611.83	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 271346484 , 798126 , 687132804 ,( 59840215 , 627292589 )
3600.03/3611.83	c gcd simplifications 1421
3600.03/3611.83	c detected cardinalities 0
3600.03/3611.83	c weakened non-implied lits 255998647
3600.03/3611.83	c weakened non-implying lits 59618
3600.03/3611.83	c original variables 10000
3600.03/3611.83	c clausal propagations 52645168
3600.03/3611.83	c cardinality propagations 59602
3600.03/3611.83	c watched propagations 74838
3600.03/3611.83	c counting propagations 5499094
3600.03/3611.83	c watch lookups 38024045967
3600.03/3611.83	c watch backjump lookups 0
3600.03/3611.83	c watch checks 15490910425
3600.03/3611.83	c propagation checks 138907353755
3600.03/3611.83	c constraint additions 3666314319
3600.03/3611.83	c trail pops 70919944
3600.03/3611.83	c formula constraints 656900
3600.03/3611.83	c learned constraints 503613
3600.03/3611.83	c bound constraints 142
3600.03/3611.83	c core-guided constraints 20
3600.03/3611.83	c encountered formula constraints 9513314
3600.03/3611.83	c encountered learned constraints 3370743
3600.03/3611.83	c encountered bound constraints 2668
3600.03/3611.83	c encountered core-guided constraints 31590
3600.03/3611.83	c LP total time 1786.71 s
3600.03/3611.83	c LP solve time 1378.36 s
3600.03/3611.83	c LP constraints added 656986
3600.03/3611.83	c LP constraints removed 55
3600.03/3611.83	c LP pivots internal 503887
3600.03/3611.83	c LP pivots root 230448
3600.03/3611.83	c LP calls 7482
3600.03/3611.83	c LP optimalities 299
3600.03/3611.83	c LP no pivot count 1
3600.03/3611.83	c LP infeasibilities 7139
3600.03/3611.83	c LP valid Farkas constraints 7132
3600.03/3611.83	c LP learned Farkas constraints 258
3600.03/3611.83	c LP basis resets 47
3600.03/3611.83	c LP cycling count 23
3600.03/3611.83	c LP singular count 12
3600.03/3611.83	c LP no primal count 0
3600.03/3611.83	c LP no farkas count 7
3600.03/3611.83	c LP other issue count 5
3600.03/3611.83	c LP Gomory cuts 20
3600.03/3611.83	c LP learned cuts 66
3600.03/3611.83	c LP deleted cuts 55
3600.03/3611.83	c LP encountered Gomory constraints 119
3600.03/3611.83	c LP encountered Farkas constraints 44271
3600.03/3611.83	c LP encountered learned Farkas constraints 1071
3600.03/3611.83	c CG auxiliary variables introduced 9
3600.03/3611.83	c CG solutions found 135
3600.03/3611.83	c CG cores constructed 7
3600.03/3611.83	c CG core cardinality constraints returned 0
3600.03/3611.83	c CG unit cores 0
3600.03/3611.83	c CG single cores 7
3600.03/3611.83	c CG blocks removed during cardinality reduction 0
3600.03/3611.83	c CG first core best 0
3600.03/3611.83	c CG decision core best 0
3600.03/3611.83	c CG core reduction tie 0
3600.03/3611.83	c CG core degree average 1.00
3600.03/3611.83	c CG core slack average 2297.71
3600.03/3611.83	c CG core upper bound improvements 0
3600.03/3611.83	c STR number of successful calls 0
3600.03/3611.83	c STR number of unsuccessful calls 0
3600.03/3611.83	c STR number of inconclusive calls 0
3600.03/3611.83	c STR number of successful attempts 0
3600.03/3611.83	c STR number of unsuccessful attempts 0
3600.03/3611.83	c STR number of inconclusive attempts 0
3600.03/3611.83	c STR average degree increase per successful call inf
3600.03/3611.83	c STR average degree increase per successful attempt inf
3600.03/3611.83	c STR total number of conflicts for successful attempts 0
3600.03/3611.83	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.83	c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.83	c STR average number of conflicts per successful attempt inf
3600.03/3611.83	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.83	c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.83	c AVG.sumWPerc 84.43 
3600.03/3611.83	c bigint constraints 0 
3600.03/3611.83	o 363
3600.03/3611.83	s SATISFIABLE
3600.03/3611.83	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.03/3611.83	c Program interrupted by user.

Verifier Data 

OK	363

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100063 s]*
/proc/loadavg: 0.04 0.07 0.08 5/270 143531
/proc/meminfo: memFree=101383644/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143529] ppid=143523 vsize=162876 memory=145680 CPUtime=0.07 cores=1,3
/proc/143529/stat : 143529 (pbsuma) R 143523 143523 143451 0 -1 4194304 3768 0 0 0 4 3 0 0 20 0 1 0 183980423 166785024 36420 18446744073709551615 4210688 4653049 140736479718752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 11177984 140736479721735 140736479722032 140736479722032 140736479727599 0
/proc/143529/statm: 40719 36420 960 108 0 38127 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167068 KiB
Current children cumulated memory: 148624 KiB

[startup+0.205815 s]*
/proc/loadavg: 0.04 0.07 0.08 5/270 143531
/proc/meminfo: memFree=101323300/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143529] ppid=143523 vsize=180524 memory=166328 CPUtime=0.17 cores=1,3
/proc/143529/stat : 143529 (pbsuma) R 143523 143523 143451 0 -1 4194304 8576 0 0 0 13 4 0 0 20 0 1 0 183980423 184856576 41582 18446744073709551615 4210688 4653049 140736479718752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 11177984 140736479721735 140736479722032 140736479722032 140736479727599 0
/proc/143529/statm: 45131 41582 960 108 0 42539 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 184716 KiB
Current children cumulated memory: 169272 KiB

[startup+0.305747 s]*
/proc/loadavg: 0.04 0.07 0.08 5/270 143532
/proc/meminfo: memFree=101319584/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143529] ppid=143523 vsize=194652 memory=180640 CPUtime=0.27 cores=1,3
/proc/143529/stat : 143529 (pbsuma) R 143523 143523 143451 0 -1 4194304 11662 0 0 0 22 5 0 0 20 0 1 0 183980423 199323648 45160 18446744073709551615 4210688 4653049 140736479718752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 11177984 140736479721735 140736479722032 140736479722032 140736479727599 0
/proc/143529/statm: 48663 45160 960 108 0 46071 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198844 KiB
Current children cumulated memory: 183584 KiB

[startup+0.700193 s]
/proc/loadavg: 0.04 0.07 0.08 5/270 143532
/proc/meminfo: memFree=101228852/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143529] ppid=143523 vsize=324504 memory=277136 CPUtime=0.66 cores=1,3
/proc/143529/stat : 143529 (pbsuma) R 143523 143523 143451 0 -1 4194304 26612 0 0 0 56 10 0 0 20 0 1 0 183980423 332292096 69284 18446744073709551615 4210688 4653049 140736479718752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 11177984 140736479721735 140736479722032 140736479722032 140736479727599 0
/proc/143529/statm: 81126 69284 1024 108 0 78534 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 328696 KiB
Current children cumulated memory: 280080 KiB

[startup+1.50018 s]
/proc/loadavg: 0.04 0.07 0.08 5/270 143533
/proc/meminfo: memFree=101357000/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=79716 memory=36040 CPUtime=0.59 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 7263 0 0 0 48 11 0 0 20 0 1 0 183980511 81629184 9010 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 19929 9010 1920 1147 0 7355 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 83908 KiB
Current children cumulated memory: 38984 KiB

[startup+3.10552 s]
/proc/loadavg: 0.04 0.07 0.08 5/270 143533
/proc/meminfo: memFree=101206064/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=151100 memory=99712 CPUtime=2.19 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 20736 0 0 0 177 42 0 0 20 0 1 0 183980511 154726400 24928 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 37775 24928 1920 1147 0 25201 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 155292 KiB
Current children cumulated memory: 102656 KiB

[startup+6.30017 s]
/proc/loadavg: 0.44 0.15 0.11 5/270 143533
/proc/meminfo: memFree=100455732/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=935392 memory=675136 CPUtime=5.38 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 54504 0 0 0 469 69 0 0 20 0 1 0 183980511 957841408 168784 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 233848 168784 2304 1147 0 221274 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 939584 KiB
Current children cumulated memory: 678080 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.22 0.13 5/270 143533
/proc/meminfo: memFree=100073540/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=1085036 memory=771952 CPUtime=11.77 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 59225 0 0 0 1090 87 0 0 20 0 1 0 183980511 1111076864 192988 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 271259 192988 2368 1147 0 258685 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1089228 KiB
Current children cumulated memory: 774896 KiB

[startup+25.5002 s]
/proc/loadavg: 1.60 0.44 0.21 5/271 143534
/proc/meminfo: memFree=98708428/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=1196500 memory=888288 CPUtime=24.53 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 73783 0 0 0 2326 127 0 0 20 0 1 0 183980511 1225216000 222072 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 299125 222072 2368 1147 0 286551 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1200692 KiB
Current children cumulated memory: 891232 KiB

[startup+51.1057 s]
/proc/loadavg: 2.76 0.81 0.33 5/274 143588
/proc/meminfo: memFree=96974000/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=1333552 memory=981568 CPUtime=50.07 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 86909 0 0 0 4843 164 0 0 20 0 1 0 183980511 1365557248 245392 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 333388 245392 2368 1147 0 320814 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1337744 KiB
Current children cumulated memory: 984512 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 1.44 0.58 5/274 143590
/proc/meminfo: memFree=90863828/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=1792904 memory=1441452 CPUtime=101.13 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 157028 0 0 0 9883 230 0 0 20 0 1 0 183980511 1835933696 360363 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 448226 360363 2368 1147 0 435652 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1797096 KiB
Current children cumulated memory: 1444396 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 2.02 0.83 5/274 143592
/proc/meminfo: memFree=85830852/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=1834344 memory=1493040 CPUtime=160.98 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 162252 0 0 0 15821 277 0 0 20 0 1 0 183980511 1878368256 373260 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 458586 373260 2368 1147 0 446012 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1838536 KiB
Current children cumulated memory: 1495984 KiB

[startup+222.3 s]
/proc/loadavg: 4.41 2.45 1.06 5/273 143593
/proc/meminfo: memFree=82341364/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=1952292 memory=1611056 CPUtime=220.8 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 168532 0 0 0 21768 312 0 0 20 0 1 0 183980511 1999147008 402764 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 488073 402764 2368 1147 0 475499 0
Current children cumulated CPU time: 221.65 s

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

/proc/loadavg: 4.73 4.63 4.48 5/273 143764
/proc/meminfo: memFree=1267168/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=4987368 memory=4104984 CPUtime=3151.59 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 715998 0 0 0 313195 1964 0 0 20 0 1 0 183980511 5107064832 1026246 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1246842 1026246 2496 1147 0 1234268 0
Current children cumulated CPU time: 3152.44 s
Current children cumulated vsize: 4991560 KiB
Current children cumulated memory: 4107928 KiB

[startup+3222.3 s]
/proc/loadavg: 4.56 4.61 4.48 5/273 143767
/proc/meminfo: memFree=1351712/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=5016080 memory=4162088 CPUtime=3211.39 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 841940 0 0 0 319143 1996 0 0 20 0 1 0 183980511 5136465920 1040522 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1254020 1040522 2496 1147 0 1241446 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 5020272 KiB
Current children cumulated memory: 4165032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.55 4.60 4.49 5/273 143769
/proc/meminfo: memFree=1248008/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=5016080 memory=4162216 CPUtime=3271.22 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 859677 0 0 0 325109 2013 0 0 20 0 1 0 183980511 5136465920 1040554 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1254020 1040554 2496 1147 0 1241446 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 5020272 KiB
Current children cumulated memory: 4165160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.58 4.60 4.49 5/273 143771
/proc/meminfo: memFree=1272328/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=5001972 memory=4158556 CPUtime=3331.03 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 1009830 0 0 0 331032 2071 0 0 20 0 1 0 183980511 5122019328 1039639 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1250493 1039639 2496 1147 0 1237919 0
Current children cumulated CPU time: 3331.88 s
Current children cumulated vsize: 5006164 KiB
Current children cumulated memory: 4161500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.89 4.68 4.53 4/275 143777
/proc/meminfo: memFree=1330864/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=5061080 memory=4223484 CPUtime=3390.83 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 1074940 0 0 0 336939 2144 0 0 20 0 1 0 183980511 5182545920 1055871 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1265270 1055871 2496 1147 0 1252696 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 5065272 KiB
Current children cumulated memory: 4226428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.68 4.67 4.54 5/275 143832
/proc/meminfo: memFree=73968728/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=6386200 memory=5131980 CPUtime=3450.63 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 1312235 0 0 0 342823 2240 0 0 20 0 1 0 183980511 6539468800 1282995 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1596550 1282995 2496 1147 0 1583976 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 6390392 KiB
Current children cumulated memory: 5134924 KiB

[startup+3522.3 s]
/proc/loadavg: 4.52 4.64 4.54 5/273 143835
/proc/meminfo: memFree=70112592/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=6900264 memory=5657204 CPUtime=3510.45 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 1451298 0 0 0 348727 2318 0 0 20 0 1 0 183980511 7065870336 1414301 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1725066 1414301 2496 1147 0 1712492 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 6904456 KiB
Current children cumulated memory: 5660148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.63 4.67 4.55 5/273 143840
/proc/meminfo: memFree=66894856/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=7061716 memory=5868984 CPUtime=3570.25 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 1542654 0 0 0 354658 2367 0 0 20 0 1 0 183980511 7231197184 1467246 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1765429 1467246 2496 1147 0 1752855 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 7065908 KiB
Current children cumulated memory: 5871928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.60 4.65 4.55 4/272 143856
/proc/meminfo: memFree=72515644/131250000 swapFree=33008356/33010684
[pid=143523] ppid=143519 vsize=4192 memory=2944 CPUtime=0.85 cores=1,3
/proc/143523/stat : 143523 (run-opt-break-l) S 143519 143523 143451 0 -1 4194304 237 30105 0 0 0 0 73 12 20 0 1 0 183980422 4292608 736 18446744073709551615 94207946174464 94207947068997 140730910842752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94207947308048 94207947355792 94207966642176 140730910849337 140730910849500 140730910849500 140730910855104 0
/proc/143523/statm: 1048 736 672 219 0 110 0
[pid=143533] ppid=143523 vsize=7052344 memory=5859740 CPUtime=3599.17 cores=1,3
/proc/143533/stat : 143533 (roundingsat) R 143523 143523 143451 0 -1 4194304 1551510 0 0 0 357521 2396 0 0 20 0 1 0 183980511 7221600256 1464935 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1763086 1464935 2496 1147 0 1750512 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 7056536 KiB
Current children cumulated memory: 5862684 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0.735611 s, system=0.126519 s

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

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

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

[startup+3611.6 s]
/proc/loadavg: 4.60 4.65 4.55 2/267 143859
/proc/meminfo: memFree=72666272/131250000 swapFree=33008356/33010684
[pid=143533] ppid=143519 vsize=7052344 memory=5859740 CPUtime=3599.17 cores=1,3
/proc/143533/stat : 143533 (roundingsat) D 143519 143523 143451 0 -1 4194304 1551510 0 0 0 357521 2396 0 0 20 0 1 0 183980511 7221600256 1464935 18446744073709551615 4227072 8923577 140722968087840 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 29630464 140722968095032 140722968095270 140722968095270 140722968100842 0
/proc/143533/statm: 1763086 1464935 2496 1147 0 1750512 0
Current cumulated CPU time of completed processes: 0.86213 s
Current children cumulated CPU time: 3599.17 s
Current children cumulated vsize: 7052344 KiB
Current children cumulated memory: 5859740 KiB

[startup+3612 s]*
/proc/loadavg: 4.60 4.65 4.55 3/265 143861
/proc/meminfo: memFree=77557436/131250000 swapFree=33008356/33010684
Current cumulated CPU time of completed processes: 0.86213 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3612.04
CPU time (s): 3600.24
CPU user time (s): 3575.97
CPU system time (s): 24.2701
CPU usage (%): 99.6735
Max. virtual memory (cumulated for all children) (KiB): 7174544
Max. memory (cumulated for all children) (KiB): 5980464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.97
system time used= 24.2701
maximum resident set size= 5980100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1581875
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 24844824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217
involuntary context switches= 7575


# summary of solver processes directly reported to runsolver:
#   pid: 143523,143533
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3575.97
#   total CPU system time (s): 24.2701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4815 second user time and 16.9162 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-16 18:23:58
IDJOB=4532381
IDBENCH=147562
IDSOLVER=3393
FILE ID=nodeC014/4532381-1752683038
RUNJOBID= nodeC014-1752683038-143468
SLURM_JOB_ID= 9686909
Free space on /tmp= 432980 MiB

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=210464024

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        101608780 kB
MemAvailable:   129670896 kB
Buffers:             696 kB
Cached:         28809452 kB
SwapCached:         1624 kB
Active:           635236 kB
Inactive:       28257480 kB
Active(anon):      81396 kB
Inactive(anon):    25772 kB
Active(file):     553840 kB
Inactive(file): 28231708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50220 kB
Writeback:             0 kB
AnonPages:         84432 kB
Mapped:           108100 kB
Shmem:             24600 kB
KReclaimable:     231616 kB
Slab:             327776 kB
SReclaimable:     231616 kB
SUnreclaim:        96160 kB
KernelStack:        4040 kB
PageTables:         2760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     410312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 321212 MiB
End job on nodeC014 at 2025-07-16 19:24:11