Trace number 4531820

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 0f876b3SAT (TO)324 3600.18 3610.63

General information on the benchmark

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

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4531820-1752683038.opb'
0.28/0.34	c 	read 17.23MB  (336.93ms)
0.28/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.34	c output proof to '/tmp/proof-4531820-1752683038'
0.28/0.34	c 
0.28/0.34	c make graph and approximate orbits
0.58/0.69	c	 [group: #orbits ~= 0] (350.76ms)
0.58/0.69	c 
0.58/0.69	c detect special group actions
0.58/0.69	c 	probe for Johnson action (limit=64)
0.66/0.70	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.71	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.71	c 	 (20.11ms)
0.66/0.71	c 
0.66/0.71	c detect symmetries on remainder
0.66/0.72	c 	[graph: #vertices 706685 #edges 2766368]
0.66/0.72	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (48.12ms)
0.66/0.76	c 
0.66/0.76	c finalize break order and special generators
0.66/0.76	c 
0.66/0.76	c generation finished
0.66/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.76	c 
0.66/0.76	c write result to 'HOME/instance-4531820-1752683038.opb.pre'
0.77/0.80	c 	wrote 17.23MB (35.55ms)
0.77/0.80	c ------------------------------------------------------------------
0.77/0.80	c                 350.76ms 44.17% approx_orbits
0.77/0.80	c                 336.93ms 42.43% parse
0.77/0.80	c                  48.12ms  6.06% detect_generic
0.77/0.80	c                  35.55ms  4.48% output
0.77/0.80	c                  20.11ms  2.53% detect_special
0.77/0.80	c                   2.30ms  0.29% other
0.77/0.80	c                   0.38ms  0.05% finalize_order
0.77/0.80	c         ───────────────────────────────────────────────
0.77/0.80	c                 794.15ms   100% total
0.77/0.80	c ------------------------------------------------------------------
0.87/0.93	c RoundingSat 2
0.87/0.93	c branch pb25
0.87/0.93	c commit 0f876b3
4.54/4.67	c #variables 10000 #constraints 656900
4.54/4.67	c objective is ce32 
5.44/5.50	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.44/5.50	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.44/5.50	c bounds 5722 >= 0 @ 3.85363
6.95/7.06	c rational objective 165.925
11.04/11.11	c bounds 5653 >= 0 @ 9.32393
11.04/11.12	c bounds 5387 >= 0 @ 9.32992
11.04/11.15	c bounds 5386 >= 0 @ 9.36205
11.04/11.17	c bounds 5379 >= 0 @ 9.38133
11.04/11.19	c bounds 5337 >= 0 @ 9.39468
11.13/11.23	c bounds 5310 >= 0 @ 9.4305
11.13/11.24	c bounds 5305 >= 0 @ 9.44114
11.13/11.25	c bounds 5272 >= 0 @ 9.45288
11.13/11.26	c bounds 5190 >= 0 @ 9.4646
11.13/11.27	c bounds 5187 >= 0 @ 9.47139
11.13/11.29	c bounds 5142 >= 0 @ 9.49534
11.33/11.42	c bounds 5133 >= 0 @ 9.61591
11.33/11.43	c bounds 5084 >= 0 @ 9.62257
11.33/11.43	c bounds 5072 >= 0 @ 9.62787
11.33/11.44	c bounds 4989 >= 0 @ 9.6342
11.33/11.48	c bounds 4976 >= 0 @ 9.67348
11.33/11.49	c bounds 4921 >= 0 @ 9.68168
11.43/11.50	c bounds 4860 >= 0 @ 9.68783
11.43/11.52	c bounds 4850 >= 0 @ 9.70555
11.43/11.53	c bounds 4849 >= 0 @ 9.71356
11.43/11.54	c bounds 4838 >= 0 @ 9.72166
11.43/11.54	c bounds 4764 >= 0 @ 9.72885
11.43/11.55	c bounds 4754 >= 0 @ 9.73507
11.53/11.63	c bounds 4691 >= 0 @ 9.80475
11.53/11.66	c bounds 4665 >= 0 @ 9.84105
11.53/11.67	c bounds 4588 >= 0 @ 9.84779
11.53/11.69	c bounds 4573 >= 0 @ 9.85851
11.53/11.69	c bounds 4559 >= 0 @ 9.86552
11.63/11.75	c bounds 4557 >= 0 @ 9.91817
11.63/11.76	c bounds 4525 >= 0 @ 9.926
11.63/11.77	c bounds 4472 >= 0 @ 9.93282
11.63/11.78	c bounds 4396 >= 0 @ 9.94073
11.63/11.78	c bounds 4279 >= 0 @ 9.94727
11.63/11.79	c bounds 4277 >= 0 @ 9.95502
11.73/11.80	c bounds 4254 >= 0 @ 9.96119
11.82/11.90	c bounds 4251 >= 0 @ 10.0524
11.82/11.91	c bounds 4233 >= 0 @ 10.0628
11.82/11.94	c bounds 4220 >= 0 @ 10.086
11.82/11.94	c bounds 4217 >= 0 @ 10.0919
11.82/11.96	c bounds 4200 >= 0 @ 10.1068
11.93/12.03	c bounds 4184 >= 0 @ 10.1762
11.93/12.04	c bounds 4135 >= 0 @ 10.1823
12.03/12.15	c bounds 4056 >= 0 @ 10.2849
12.03/12.17	c bounds 4003 >= 0 @ 10.2987
12.03/12.18	c bounds 3971 >= 0 @ 10.3079
12.23/12.30	c bounds 3959 >= 0 @ 10.4262
12.23/12.31	c bounds 3838 >= 0 @ 10.4344
12.32/12.41	c bounds 3835 >= 0 @ 10.534
12.32/12.45	c bounds 3827 >= 0 @ 10.5639
12.32/12.45	c bounds 3801 >= 0 @ 10.5708
12.32/12.49	c bounds 3759 >= 0 @ 10.6016
12.43/12.57	c bounds 3706 >= 0 @ 10.6871
12.43/12.58	c bounds 3648 >= 0 @ 10.6943
12.52/12.60	c bounds 3635 >= 0 @ 10.706
12.52/12.69	c bounds 3589 >= 0 @ 10.7955
12.62/12.80	c bounds 3583 >= 0 @ 10.8972
12.82/12.93	c bounds 3556 >= 0 @ 11.0308
12.92/13.04	c bounds 3501 >= 0 @ 11.1394
12.92/13.05	c bounds 3429 >= 0 @ 11.147
12.92/13.08	c bounds 3422 >= 0 @ 11.1725
13.03/13.19	c bounds 3405 >= 0 @ 11.2848
13.12/13.20	c bounds 3401 >= 0 @ 11.2932
13.12/13.21	c bounds 3328 >= 0 @ 11.3019
13.23/13.30	c bounds 3298 >= 0 @ 11.3907
14.32/14.44	c bounds 3264 >= 0 @ 12.5189
14.32/14.48	c bounds 3240 >= 0 @ 12.5525
14.42/14.59	c bounds 3239 >= 0 @ 12.6578
14.52/14.60	c bounds 3232 >= 0 @ 12.6678
14.52/14.61	c bounds 3221 >= 0 @ 12.6772
14.52/14.62	c bounds 3175 >= 0 @ 12.6864
14.52/14.63	c bounds 3120 >= 0 @ 12.6955
14.52/14.64	c bounds 3114 >= 0 @ 12.7036
14.52/14.65	c bounds 3080 >= 0 @ 12.7129
14.52/14.67	c bounds 3040 >= 0 @ 12.7283
14.52/14.68	c bounds 3021 >= 0 @ 12.7376
14.62/14.70	c bounds 3012 >= 0 @ 12.7484
14.62/14.71	c bounds 2963 >= 0 @ 12.7568
14.62/14.74	c bounds 2952 >= 0 @ 12.7904
14.62/14.76	c bounds 2877 >= 0 @ 12.7989
14.62/14.78	c bounds 2874 >= 0 @ 12.8165
14.62/14.79	c bounds 2827 >= 0 @ 12.8241
14.72/14.80	c bounds 2826 >= 0 @ 12.8308
14.72/14.81	c bounds 2824 >= 0 @ 12.8432
14.72/14.82	c bounds 2791 >= 0 @ 12.8519
14.72/14.84	c bounds 2790 >= 0 @ 12.861
14.72/14.86	c bounds 2778 >= 0 @ 12.8852
14.72/14.88	c bounds 2773 >= 0 @ 12.9015
14.72/14.89	c bounds 2771 >= 0 @ 12.908
14.82/14.90	c bounds 2687 >= 0 @ 12.9181
14.82/14.92	c bounds 2673 >= 0 @ 12.9359
14.82/14.93	c bounds 2632 >= 0 @ 12.9441
14.82/14.95	c bounds 2597 >= 0 @ 12.9505
14.92/15.01	c bounds 2582 >= 0 @ 13.0115
14.92/15.03	c bounds 2578 >= 0 @ 13.0263
14.92/15.04	c bounds 2526 >= 0 @ 13.0338
14.92/15.06	c bounds 2482 >= 0 @ 13.0453
14.92/15.08	c bounds 2471 >= 0 @ 13.0665
14.92/15.09	c bounds 2468 >= 0 @ 13.0727
14.92/15.10	c bounds 2360 >= 0 @ 13.0815
15.03/15.12	c bounds 2359 >= 0 @ 13.0977
15.03/15.13	c bounds 2303 >= 0 @ 13.1051
15.03/15.14	c bounds 2300 >= 0 @ 13.1151
15.03/15.15	c bounds 2286 >= 0 @ 13.1223
15.03/15.18	c bounds 2255 >= 0 @ 13.142
15.11/15.25	c bounds 2236 >= 0 @ 13.2118
15.11/15.26	c bounds 2206 >= 0 @ 13.2181
15.11/15.28	c bounds 2048 >= 0 @ 13.2319
15.11/15.29	c bounds 1865 >= 0 @ 13.2391
15.22/15.30	c bounds 1688 >= 0 @ 13.2457
15.22/15.32	c bounds 1627 >= 0 @ 13.2552
15.22/15.33	c bounds 1609 >= 0 @ 13.2659
15.22/15.35	c bounds 1473 >= 0 @ 13.2812
15.22/15.36	c bounds 1467 >= 0 @ 13.2876
15.22/15.38	c bounds 1445 >= 0 @ 13.3054
15.32/15.40	c bounds 1327 >= 0 @ 13.3157
15.32/15.41	c bounds 1318 >= 0 @ 13.3258
15.32/15.42	c bounds 1244 >= 0 @ 13.334
15.32/15.43	c bounds 1180 >= 0 @ 13.3445
15.32/15.46	c bounds 1176 >= 0 @ 13.3694
15.32/15.47	c bounds 1112 >= 0 @ 13.3769
15.32/15.49	c bounds 1076 >= 0 @ 13.3855
15.42/15.50	c bounds 1075 >= 0 @ 13.3928
15.42/15.52	c bounds 1020 >= 0 @ 13.4039
15.42/15.52	c bounds 1016 >= 0 @ 13.4109
15.42/15.54	c bounds 1002 >= 0 @ 13.4275
15.61/15.74	c bounds 921 >= 0 @ 13.6092
15.61/15.75	c bounds 906 >= 0 @ 13.6187
15.72/15.88	c bounds 897 >= 0 @ 13.7377
15.72/15.89	c bounds 886 >= 0 @ 13.7501
17.31/17.45	c #Conflicts:       1000 | #Constraints:     658035
17.31/17.45	c bounds 878 >= 0 @ 15.2661
17.31/17.47	c bounds 873 >= 0 @ 15.2792
17.31/17.49	c bounds 867 >= 0 @ 15.2986
17.41/17.52	c bounds 853 >= 0 @ 15.322
17.41/17.54	c bounds 782 >= 0 @ 15.3341
17.41/17.56	c bounds 734 >= 0 @ 15.3501
17.41/17.58	c bounds 668 >= 0 @ 15.3649
17.71/17.84	c bounds 665 >= 0 @ 15.6098
17.81/17.97	c bounds 644 >= 0 @ 15.7318
18.81/18.90	c bounds 573 >= 0 @ 16.626
34.46/34.63	c #Conflicts:       2000 | #Constraints:     659045
34.46/34.63	c INPROCESSING
34.46/34.63	c GARBAGE COLLECT
34.46/34.63	c #Conflicts:       3000 | #Constraints:     658909
34.46/34.63	c #Conflicts:       4000 | #Constraints:     659909
34.46/34.63	c INPROCESSING
34.46/34.63	c GARBAGE COLLECT
34.46/34.63	c #Conflicts:       5000 | #Constraints:     659315
34.46/34.63	c #Conflicts:       6000 | #Constraints:     660315
34.46/34.63	c INPROCESSING
34.46/34.63	c GARBAGE COLLECT
34.46/34.63	c bounds 569 >= 0 @ 32.0823
45.63/45.88	c #Conflicts:       7000 | #Constraints:     659321
45.63/45.88	c #Conflicts:       8000 | #Constraints:     660321
45.63/45.88	c #Conflicts:       9000 | #Constraints:     661321
45.63/45.88	c INPROCESSING
45.63/45.88	c GARBAGE COLLECT
45.63/45.88	c rational objective 167.467
49.93/50.18	c bounds 441 >= 0 @ 47.4784
55.31/55.55	c #Conflicts:      10000 | #Constraints:     660023
55.31/55.55	c #Conflicts:      11000 | #Constraints:     661023
55.31/55.55	c #Conflicts:      12000 | #Constraints:     662023
55.31/55.55	c INPROCESSING
55.31/55.55	c GARBAGE COLLECT
55.31/55.55	c bounds 435 >= 0 @ 52.7204
55.51/55.73	c bounds 434 >= 0 @ 52.8967
55.51/55.75	c bounds 432 >= 0 @ 52.9072
55.51/55.79	c bounds 426 >= 0 @ 52.9431
57.01/57.23	c bounds 423 >= 0 @ 54.3629
57.01/57.25	c bounds 423 >= 6 @ 54.3717
68.07/68.31	c #Conflicts:      13000 | #Constraints:     660485
68.07/68.31	c #Conflicts:      14000 | #Constraints:     661485
68.07/68.31	c #Conflicts:      15000 | #Constraints:     662485
68.07/68.31	c INPROCESSING
68.07/68.31	c GARBAGE COLLECT
68.07/68.31	c rational objective 169.5
71.57/71.86	c bounds 421 >= 6 @ 68.856
71.57/71.88	c bounds 421 >= 11 @ 68.8634
71.67/71.91	c bounds 421 >= 16 @ 68.8887
74.66/74.95	c #Conflicts:      16000 | #Constraints:     660727
74.66/74.95	c bounds 421 >= 21 @ 71.8838
75.45/75.74	c bounds 420 >= 21 @ 72.6615
114.86/115.24	c #Conflicts:      17000 | #Constraints:     661744
114.86/115.24	c #Conflicts:      18000 | #Constraints:     662755
114.86/115.24	c INPROCESSING
114.86/115.24	c rational objective 171
158.43/158.90	c #Conflicts:      19000 | #Constraints:     660751
158.43/158.90	c #Conflicts:      20000 | #Constraints:     661751
158.43/158.90	c #Conflicts:      21000 | #Constraints:     662751
158.43/158.90	c INPROCESSING
158.43/158.90	c GARBAGE COLLECT
158.43/158.90	c #Conflicts:      22000 | #Constraints:     660551
158.43/158.90	c #Conflicts:      23000 | #Constraints:     661551
158.43/158.90	c #Conflicts:      24000 | #Constraints:     662551
158.43/158.90	c #Conflicts:      25000 | #Constraints:     663551
158.43/158.90	c INPROCESSING
158.43/158.90	c GARBAGE COLLECT
158.43/158.90	c rational objective 171.9
185.46/186.08	c #Conflicts:      26000 | #Constraints:     661163
185.46/186.08	c #Conflicts:      27000 | #Constraints:     662163
185.46/186.08	c #Conflicts:      28000 | #Constraints:     663163
185.46/186.08	c #Conflicts:      29000 | #Constraints:     664163
185.46/186.08	c INPROCESSING
185.46/186.08	c GARBAGE COLLECT
185.46/186.08	c rational objective 172.045
213.09/213.75	c #Conflicts:      30000 | #Constraints:     661570
213.09/213.75	c #Conflicts:      31000 | #Constraints:     662570
213.09/213.75	c #Conflicts:      32000 | #Constraints:     663570
213.09/213.75	c #Conflicts:      33000 | #Constraints:     664570
213.09/213.75	c INPROCESSING
213.09/213.75	c GARBAGE COLLECT
213.09/213.75	c rational objective 172.928
243.10/243.88	c #Conflicts:      34000 | #Constraints:     661779
243.10/243.88	c #Conflicts:      35000 | #Constraints:     662779
243.10/243.88	c #Conflicts:      36000 | #Constraints:     663779
243.10/243.88	c #Conflicts:      37000 | #Constraints:     664779
243.10/243.88	c INPROCESSING
243.10/243.88	c GARBAGE COLLECT
243.10/243.88	c rational objective 173.23
247.49/248.26	c bounds 419 >= 21 @ 243.198
256.27/257.01	c #Conflicts:      38000 | #Constraints:     661791
256.27/257.01	c bounds 412 >= 21 @ 251.805
256.27/257.03	c bounds 412 >= 25 @ 251.823
275.51/276.37	c #Conflicts:      39000 | #Constraints:     662800
275.51/276.37	c #Conflicts:      40000 | #Constraints:     663800
275.51/276.37	c #Conflicts:      41000 | #Constraints:     664800
275.51/276.37	c INPROCESSING
275.51/276.37	c GARBAGE COLLECT
275.51/276.37	c rational objective 174
300.85/301.71	c #Conflicts:      42000 | #Constraints:     661580
300.85/301.71	c #Conflicts:      43000 | #Constraints:     662580
300.85/301.71	c #Conflicts:      44000 | #Constraints:     663580
300.85/301.71	c #Conflicts:      45000 | #Constraints:     664580
300.85/301.71	c #Conflicts:      46000 | #Constraints:     665580
300.85/301.71	c INPROCESSING
300.85/301.71	c GARBAGE COLLECT
300.85/301.71	c rational objective 175
327.77/328.74	c #Conflicts:      47000 | #Constraints:     662167
327.77/328.74	c #Conflicts:      48000 | #Constraints:     663167
327.77/328.74	c #Conflicts:      49000 | #Constraints:     664167
327.77/328.74	c #Conflicts:      50000 | #Constraints:     665167
327.77/328.74	c #Conflicts:      51000 | #Constraints:     666167
327.77/328.74	c INPROCESSING
327.77/328.74	c rational objective 175.5
331.67/332.69	c bounds 403 >= 25 @ 326.75
331.77/332.72	c bounds 396 >= 25 @ 326.775
332.57/333.58	c bounds 393 >= 25 @ 327.624
332.66/333.60	c bounds 393 >= 28 @ 327.637
352.51/353.57	c #Conflicts:      52000 | #Constraints:     662574
352.51/353.57	c #Conflicts:      53000 | #Constraints:     663576
352.51/353.57	c #Conflicts:      54000 | #Constraints:     664577
352.51/353.57	c #Conflicts:      55000 | #Constraints:     665578
352.51/353.57	c #Conflicts:      56000 | #Constraints:     666578
352.51/353.57	c INPROCESSING
352.51/353.57	c GARBAGE COLLECT
352.51/353.57	c rational objective 175.5
357.20/358.28	c bounds 392 >= 28 @ 352.046
357.80/358.82	c bounds 391 >= 28 @ 352.567
358.29/359.32	c bounds 387 >= 28 @ 353.049
359.00/360.07	c bounds 386 >= 28 @ 353.784
359.49/360.57	c bounds 385 >= 28 @ 354.271
359.60/360.61	c bounds 381 >= 28 @ 354.304
359.69/360.71	c bounds 380 >= 28 @ 354.4
360.00/361.05	c bounds 373 >= 28 @ 354.735
361.49/362.58	c bounds 370 >= 28 @ 356.222
361.49/362.59	c bounds 370 >= 30 @ 356.232
361.59/362.61	c bounds 370 >= 32 @ 356.243
361.59/362.63	c bounds 370 >= 34 @ 356.26
362.49/363.53	c bounds 370 >= 36 @ 357.136
381.23/382.37	c #Conflicts:      57000 | #Constraints:     662816
381.23/382.37	c #Conflicts:      58000 | #Constraints:     663816
381.23/382.37	c #Conflicts:      59000 | #Constraints:     664816
381.23/382.37	c #Conflicts:      60000 | #Constraints:     665816
381.23/382.37	c bounds 370 >= 38 @ 375.742
385.22/386.31	c bounds 369 >= 38 @ 379.58
391.11/392.24	c #Conflicts:      61000 | #Constraints:     666832
391.11/392.24	c INPROCESSING
391.11/392.24	c GARBAGE COLLECT
391.11/392.24	c rational objective 175.5
397.19/398.30	c bounds 366 >= 38 @ 391.476
430.60/431.86	c #Conflicts:      62000 | #Constraints:     662798
430.60/431.86	c #Conflicts:      63000 | #Constraints:     663798
430.60/431.86	c #Conflicts:      64000 | #Constraints:     664798
430.60/431.86	c #Conflicts:      65000 | #Constraints:     665798
430.60/431.86	c #Conflicts:      66000 | #Constraints:     666798
430.60/431.86	c INPROCESSING
430.60/431.86	c GARBAGE COLLECT
430.60/431.86	c rational objective 176.203
438.08/439.35	c #Conflicts:      67000 | #Constraints:     662599
438.08/439.35	c bounds 365 >= 38 @ 432.072
438.17/439.49	c bounds 363 >= 38 @ 432.209
441.36/442.65	c bounds 361 >= 38 @ 435.32
441.36/442.67	c bounds 360 >= 38 @ 435.339
446.15/447.42	c bounds 359 >= 38 @ 439.999
446.15/447.44	c bounds 359 >= 39 @ 440.012
446.15/447.45	c bounds 359 >= 40 @ 440.019
446.15/447.47	c bounds 359 >= 41 @ 440.035
446.15/447.49	c bounds 359 >= 42 @ 440.049
446.26/447.51	c bounds 359 >= 43 @ 440.059
446.26/447.53	c bounds 359 >= 44 @ 440.074
446.26/447.55	c bounds 359 >= 45 @ 440.085
446.26/447.57	c bounds 359 >= 46 @ 440.099
446.26/447.59	c bounds 359 >= 47 @ 440.115
446.35/447.61	c bounds 359 >= 48 @ 440.129
446.35/447.64	c bounds 359 >= 49 @ 440.146
446.35/447.66	c bounds 359 >= 50 @ 440.17
446.35/447.69	c bounds 359 >= 51 @ 440.186
446.45/447.72	c bounds 359 >= 52 @ 440.209
449.44/450.75	c bounds 359 >= 53 @ 443.2
449.44/450.78	c bounds 359 >= 54 @ 443.226
449.54/450.85	c bounds 359 >= 55 @ 443.286
449.54/450.90	c bounds 359 >= 56 @ 443.328
449.74/451.04	c bounds 359 >= 57 @ 443.467
449.85/451.10	c bounds 359 >= 58 @ 443.522
450.05/451.30	c #Conflicts:      68000 | #Constraints:     663767
450.05/451.30	c bounds 359 >= 59 @ 443.718
450.54/451.88	c bounds 359 >= 60 @ 444.277
451.34/452.60	c bounds 359 >= 61 @ 444.978
452.43/453.73	c bounds 359 >= 62 @ 446.065
452.54/453.86	c bounds 359 >= 63 @ 446.189
453.23/454.57	c bounds 359 >= 64 @ 446.885
454.53/455.88	c #Conflicts:      69000 | #Constraints:     664908
454.53/455.88	c bounds 359 >= 65 @ 448.149
455.92/457.29	c bounds 359 >= 66 @ 449.52
470.89/472.24	c #Conflicts:      70000 | #Constraints:     665953
470.89/472.24	c #Conflicts:      71000 | #Constraints:     666957
470.89/472.24	c #Conflicts:      72000 | #Constraints:     667960
470.89/472.24	c bounds 357 >= 66 @ 464.207
476.97/478.31	c INPROCESSING
476.97/478.31	c GARBAGE COLLECT
476.97/478.31	c rational objective 176.46
480.86/482.21	c bounds 357 >= 67 @ 474.093
481.26/482.61	c bounds 357 >= 68 @ 474.479
482.26/483.60	c bounds 357 >= 69 @ 475.44
484.35/485.71	c #Conflicts:      73000 | #Constraints:     663510
484.35/485.71	c bounds 357 >= 70 @ 477.504
487.34/488.75	c #Conflicts:      74000 | #Constraints:     664561
487.34/488.75	c bounds 357 >= 71 @ 480.455
490.04/491.47	c #Conflicts:      75000 | #Constraints:     665594
490.04/491.47	c bounds 357 >= 72 @ 483.099
504.50/505.97	c #Conflicts:      76000 | #Constraints:     666615
504.50/505.97	c bounds 357 >= 73 @ 497.421
509.78/511.23	c #Conflicts:      77000 | #Constraints:     667651
509.78/511.23	c bounds 357 >= 74 @ 502.53
582.48/584.19	c #Conflicts:      78000 | #Constraints:     668684
582.48/584.19	c INPROCESSING
582.48/584.19	c GARBAGE COLLECT
582.48/584.19	c #Conflicts:      79000 | #Constraints:     663969
582.48/584.19	c #Conflicts:      80000 | #Constraints:     664969
582.48/584.19	c bounds 357 >= 75 @ 574.956
596.74/598.49	c #Conflicts:      81000 | #Constraints:     666014
596.74/598.49	c #Conflicts:      82000 | #Constraints:     667014
596.74/598.49	c #Conflicts:      83000 | #Constraints:     668014
596.74/598.49	c bounds 357 >= 76 @ 588.95
732.85/734.96	c #Conflicts:      84000 | #Constraints:     669053
732.85/734.96	c INPROCESSING
732.85/734.96	c GARBAGE COLLECT
732.85/734.96	c rational objective 176.708
735.96/738.05	c bounds 356 >= 76 @ 727.978
764.87/767.06	c #Conflicts:      85000 | #Constraints:     664201
764.87/767.06	c #Conflicts:      86000 | #Constraints:     665201
764.87/767.06	c #Conflicts:      87000 | #Constraints:     666201
764.87/767.06	c bounds 355 >= 76 @ 756.609
782.92/785.13	c #Conflicts:      88000 | #Constraints:     667203
782.92/785.13	c #Conflicts:      89000 | #Constraints:     668203
782.92/785.13	c #Conflicts:      90000 | #Constraints:     669203
782.92/785.13	c INPROCESSING
782.92/785.13	c GARBAGE COLLECT
782.92/785.13	c rational objective 177.406
801.57/803.89	c #Conflicts:      91000 | #Constraints:     664166
801.57/803.89	c #Conflicts:      92000 | #Constraints:     665166
801.57/803.89	c bounds 355 >= 77 @ 792.915
827.49/829.80	c #Conflicts:      93000 | #Constraints:     666229
827.49/829.80	c #Conflicts:      94000 | #Constraints:     667229
827.49/829.80	c #Conflicts:      95000 | #Constraints:     668229
827.49/829.80	c #Conflicts:      96000 | #Constraints:     669229
827.49/829.80	c bounds 355 >= 78 @ 818.478
832.38/834.70	c INPROCESSING
832.38/834.70	c GARBAGE COLLECT
832.38/834.70	c rational objective 177.535
938.91/941.53	c #Conflicts:      97000 | #Constraints:     664014
938.91/941.53	c #Conflicts:      98000 | #Constraints:     665015
938.91/941.53	c #Conflicts:      99000 | #Constraints:     666015
938.91/941.53	c #Conflicts:     100000 | #Constraints:     667015
938.91/941.53	c #Conflicts:     101000 | #Constraints:     668015
938.91/941.53	c #Conflicts:     102000 | #Constraints:     669015
938.91/941.53	c #Conflicts:     103000 | #Constraints:     670015
938.91/941.53	c INPROCESSING
938.91/941.53	c GARBAGE COLLECT
938.91/941.53	c rational objective 177.766
982.10/984.88	c #Conflicts:     104000 | #Constraints:     664594
982.10/984.88	c #Conflicts:     105000 | #Constraints:     665594
982.10/984.88	c #Conflicts:     106000 | #Constraints:     666595
982.10/984.88	c #Conflicts:     107000 | #Constraints:     667596
982.10/984.88	c #Conflicts:     108000 | #Constraints:     668597
982.10/984.88	c bounds 355 >= 79 @ 971.892
1020.11/1022.97	c #Conflicts:     109000 | #Constraints:     669651
1020.11/1022.97	c #Conflicts:     110000 | #Constraints:     670651
1020.11/1022.97	c INPROCESSING
1020.11/1022.97	c GARBAGE COLLECT
1020.11/1022.97	c rational objective 178.501
1074.47/1077.49	c #Conflicts:     111000 | #Constraints:     665012
1074.47/1077.49	c #Conflicts:     112000 | #Constraints:     666014
1074.47/1077.49	c #Conflicts:     113000 | #Constraints:     667014
1074.47/1077.49	c #Conflicts:     114000 | #Constraints:     668015
1074.47/1077.49	c #Conflicts:     115000 | #Constraints:     669015
1074.47/1077.49	c bounds 355 >= 80 @ 1063.52
1089.82/1092.84	c #Conflicts:     116000 | #Constraints:     670063
1089.82/1092.84	c #Conflicts:     117000 | #Constraints:     671064
1089.82/1092.84	c INPROCESSING
1089.82/1092.84	c GARBAGE COLLECT
1089.82/1092.84	c rational objective 178.527
1144.58/1147.70	c #Conflicts:     118000 | #Constraints:     665248
1144.58/1147.70	c #Conflicts:     119000 | #Constraints:     666249
1144.58/1147.70	c #Conflicts:     120000 | #Constraints:     667250
1144.58/1147.70	c #Conflicts:     121000 | #Constraints:     668251
1144.58/1147.70	c #Conflicts:     122000 | #Constraints:     669251
1144.58/1147.70	c #Conflicts:     123000 | #Constraints:     670252
1144.58/1147.70	c bounds 355 >= 81 @ 1132.71
1360.22/1363.98	c #Conflicts:     124000 | #Constraints:     671303
1360.22/1363.98	c INPROCESSING
1360.22/1363.98	c GARBAGE COLLECT
1360.22/1363.98	c #Conflicts:     125000 | #Constraints:     665260
1360.22/1363.98	c #Conflicts:     126000 | #Constraints:     666262
1360.22/1363.98	c #Conflicts:     127000 | #Constraints:     667263
1360.22/1363.98	c #Conflicts:     128000 | #Constraints:     668263
1360.22/1363.98	c #Conflicts:     129000 | #Constraints:     669263
1360.22/1363.98	c #Conflicts:     130000 | #Constraints:     670264
1360.22/1363.98	c #Conflicts:     131000 | #Constraints:     671264
1360.22/1363.98	c INPROCESSING
1360.22/1363.98	c GARBAGE COLLECT
1360.22/1363.98	c rational objective 178.532
1424.25/1428.13	c #Conflicts:     132000 | #Constraints:     665049
1424.25/1428.13	c #Conflicts:     133000 | #Constraints:     666051
1424.25/1428.13	c #Conflicts:     134000 | #Constraints:     667052
1424.25/1428.13	c #Conflicts:     135000 | #Constraints:     668052
1424.25/1428.13	c #Conflicts:     136000 | #Constraints:     669052
1424.25/1428.13	c #Conflicts:     137000 | #Constraints:     670052
1424.25/1428.13	c #Conflicts:     138000 | #Constraints:     671052
1424.25/1428.13	c bounds 355 >= 82 @ 1410.63
1512.11/1516.24	c #Conflicts:     139000 | #Constraints:     672133
1512.11/1516.24	c INPROCESSING
1512.11/1516.24	c GARBAGE COLLECT
1512.11/1516.24	c rational objective 178.533
1595.09/1599.43	c #Conflicts:     140000 | #Constraints:     665693
1595.09/1599.43	c #Conflicts:     141000 | #Constraints:     666696
1595.09/1599.43	c #Conflicts:     142000 | #Constraints:     667737
1595.09/1599.43	c #Conflicts:     143000 | #Constraints:     668737
1595.09/1599.43	c #Conflicts:     144000 | #Constraints:     669737
1595.09/1599.43	c #Conflicts:     145000 | #Constraints:     670738
1595.09/1599.43	c #Conflicts:     146000 | #Constraints:     671738
1595.09/1599.43	c #Conflicts:     147000 | #Constraints:     672794
1595.09/1599.43	c INPROCESSING
1595.09/1599.43	c GARBAGE COLLECT
1595.09/1599.43	c rational objective 179.692
1602.56/1606.96	c bounds 355 >= 83 @ 1588.11
1683.74/1688.31	c #Conflicts:     148000 | #Constraints:     666234
1683.74/1688.31	c #Conflicts:     149000 | #Constraints:     667234
1683.74/1688.31	c #Conflicts:     150000 | #Constraints:     668234
1683.74/1688.31	c #Conflicts:     151000 | #Constraints:     669234
1683.74/1688.31	c #Conflicts:     152000 | #Constraints:     670234
1683.74/1688.31	c #Conflicts:     153000 | #Constraints:     671234
1683.74/1688.31	c #Conflicts:     154000 | #Constraints:     672234
1683.74/1688.31	c #Conflicts:     155000 | #Constraints:     673235
1683.74/1688.31	c INPROCESSING
1683.74/1688.31	c GARBAGE COLLECT
1683.74/1688.31	c rational objective 179.692
1778.30/1783.13	c #Conflicts:     156000 | #Constraints:     666388
1778.30/1783.13	c #Conflicts:     157000 | #Constraints:     667388
1778.30/1783.13	c #Conflicts:     158000 | #Constraints:     668388
1778.30/1783.13	c #Conflicts:     159000 | #Constraints:     669390
1778.30/1783.13	c #Conflicts:     160000 | #Constraints:     670392
1778.30/1783.13	c #Conflicts:     161000 | #Constraints:     671393
1778.30/1783.13	c #Conflicts:     162000 | #Constraints:     672400
1778.30/1783.13	c #Conflicts:     163000 | #Constraints:     673401
1778.30/1783.13	c INPROCESSING
1778.30/1783.13	c GARBAGE COLLECT
1778.30/1783.13	c rational objective 181.306
1977.97/1983.38	c #Conflicts:     164000 | #Constraints:     666361
1977.97/1983.38	c #Conflicts:     165000 | #Constraints:     667361
1977.97/1983.38	c #Conflicts:     166000 | #Constraints:     668361
1977.97/1983.38	c #Conflicts:     167000 | #Constraints:     669361
1977.97/1983.38	c #Conflicts:     168000 | #Constraints:     670363
1977.97/1983.38	c #Conflicts:     169000 | #Constraints:     671363
1977.97/1983.38	c #Conflicts:     170000 | #Constraints:     672366
1977.97/1983.38	c #Conflicts:     171000 | #Constraints:     673367
1977.97/1983.38	c INPROCESSING
1977.97/1983.38	c GARBAGE COLLECT
1977.97/1983.38	c rational objective 181.306
1984.56/1989.98	c bounds 353 >= 83 @ 1966.98
1985.56/1990.91	c bounds 352 >= 83 @ 1967.88
1988.76/1994.12	c #Conflicts:     172000 | #Constraints:     666140
1988.76/1994.12	c bounds 350 >= 83 @ 1971.04
2004.31/2009.76	c #Conflicts:     173000 | #Constraints:     667178
2004.31/2009.76	c bounds 349 >= 83 @ 1986.48
2101.45/2107.14	c #Conflicts:     174000 | #Constraints:     668216
2101.45/2107.14	c #Conflicts:     175000 | #Constraints:     669217
2101.45/2107.14	c #Conflicts:     176000 | #Constraints:     670218
2101.45/2107.14	c #Conflicts:     177000 | #Constraints:     671218
2101.45/2107.14	c #Conflicts:     178000 | #Constraints:     672222
2101.45/2107.14	c #Conflicts:     179000 | #Constraints:     673222
2101.45/2107.14	c #Conflicts:     180000 | #Constraints:     674223
2101.45/2107.14	c INPROCESSING
2101.45/2107.14	c GARBAGE COLLECT
2101.45/2107.14	c rational objective 181.306
2107.44/2113.19	c bounds 348 >= 83 @ 2088.72
2107.54/2113.21	c bounds 347 >= 83 @ 2088.74
2107.54/2113.23	c bounds 343 >= 83 @ 2088.75
2107.54/2113.25	c bounds 340 >= 83 @ 2088.76
2107.54/2113.27	c bounds 339 >= 83 @ 2088.77
2108.14/2113.81	c bounds 332 >= 83 @ 2089.31
2108.23/2113.94	c bounds 330 >= 83 @ 2089.42
2112.72/2118.42	c #Conflicts:     181000 | #Constraints:     666779
2112.72/2118.42	c bounds 329 >= 83 @ 2093.82
2302.03/2308.24	c #Conflicts:     182000 | #Constraints:     667780
2302.03/2308.24	c #Conflicts:     183000 | #Constraints:     668780
2302.03/2308.24	c #Conflicts:     184000 | #Constraints:     669780
2302.03/2308.24	c #Conflicts:     185000 | #Constraints:     670781
2302.03/2308.24	c #Conflicts:     186000 | #Constraints:     671781
2302.03/2308.24	c #Conflicts:     187000 | #Constraints:     672781
2302.03/2308.24	c #Conflicts:     188000 | #Constraints:     673781
2302.03/2308.24	c #Conflicts:     189000 | #Constraints:     674792
2302.03/2308.24	c INPROCESSING
2302.03/2308.24	c GARBAGE COLLECT
2302.03/2308.24	c rational objective 181.306
2356.69/2363.03	c #Conflicts:     190000 | #Constraints:     667159
2356.69/2363.03	c #Conflicts:     191000 | #Constraints:     668200
2356.69/2363.03	c #Conflicts:     192000 | #Constraints:     669274
2356.69/2363.03	c #Conflicts:     193000 | #Constraints:     670280
2356.69/2363.03	c bounds 328 >= 83 @ 2336.54
2393.67/2400.11	c #Conflicts:     194000 | #Constraints:     671286
2393.67/2400.11	c #Conflicts:     195000 | #Constraints:     672286
2393.67/2400.11	c #Conflicts:     196000 | #Constraints:     673286
2393.67/2400.11	c #Conflicts:     197000 | #Constraints:     674286
2393.67/2400.11	c #Conflicts:     198000 | #Constraints:     675286
2393.67/2400.11	c INPROCESSING
2393.67/2400.11	c GARBAGE COLLECT
2393.67/2400.11	c rational objective 177.508
2432.95/2439.56	c #Conflicts:     199000 | #Constraints:     667401
2432.95/2439.56	c #Conflicts:     200000 | #Constraints:     668401
2432.95/2439.56	c #Conflicts:     201000 | #Constraints:     669401
2432.95/2439.56	c #Conflicts:     202000 | #Constraints:     670401
2432.95/2439.56	c bounds 328 >= 84 @ 2411.85
2462.26/2468.97	c #Conflicts:     203000 | #Constraints:     671494
2462.26/2468.97	c #Conflicts:     204000 | #Constraints:     672494
2462.26/2468.97	c #Conflicts:     205000 | #Constraints:     673494
2462.26/2468.97	c #Conflicts:     206000 | #Constraints:     674494
2462.26/2468.97	c #Conflicts:     207000 | #Constraints:     675494
2462.26/2468.97	c INPROCESSING
2462.26/2468.97	c GARBAGE COLLECT
2462.26/2468.97	c rational objective 178.379
2618.27/2625.43	c #Conflicts:     208000 | #Constraints:     667422
2618.27/2625.43	c #Conflicts:     209000 | #Constraints:     668422
2618.27/2625.43	c #Conflicts:     210000 | #Constraints:     669422
2618.27/2625.43	c #Conflicts:     211000 | #Constraints:     670422
2618.27/2625.43	c #Conflicts:     212000 | #Constraints:     671422
2618.27/2625.43	c #Conflicts:     213000 | #Constraints:     672423
2618.27/2625.43	c #Conflicts:     214000 | #Constraints:     673423
2618.27/2625.43	c #Conflicts:     215000 | #Constraints:     674423
2618.27/2625.43	c #Conflicts:     216000 | #Constraints:     675425
2618.27/2625.43	c INPROCESSING
2618.27/2625.43	c GARBAGE COLLECT
2618.27/2625.43	c rational objective 178.417
2658.85/2666.16	c #Conflicts:     217000 | #Constraints:     667184
2658.85/2666.16	c #Conflicts:     218000 | #Constraints:     668186
2658.85/2666.16	c bounds 328 >= 85 @ 2636.08
2721.05/2728.55	c #Conflicts:     219000 | #Constraints:     669246
2721.05/2728.55	c #Conflicts:     220000 | #Constraints:     670246
2721.05/2728.55	c #Conflicts:     221000 | #Constraints:     671246
2721.05/2728.55	c #Conflicts:     222000 | #Constraints:     672246
2721.05/2728.55	c #Conflicts:     223000 | #Constraints:     673246
2721.05/2728.55	c #Conflicts:     224000 | #Constraints:     674246
2721.05/2728.55	c #Conflicts:     225000 | #Constraints:     675247
2721.05/2728.55	c #Conflicts:     226000 | #Constraints:     676248
2721.05/2728.55	c INPROCESSING
2721.05/2728.55	c GARBAGE COLLECT
2721.05/2728.55	c rational objective 178.418
2818.75/2826.58	c #Conflicts:     227000 | #Constraints:     667816
2818.75/2826.58	c #Conflicts:     228000 | #Constraints:     668817
2818.75/2826.58	c #Conflicts:     229000 | #Constraints:     669817
2818.75/2826.58	c #Conflicts:     230000 | #Constraints:     670818
2818.75/2826.58	c #Conflicts:     231000 | #Constraints:     671818
2818.75/2826.58	c #Conflicts:     232000 | #Constraints:     672818
2818.75/2826.58	c #Conflicts:     233000 | #Constraints:     673818
2818.75/2826.58	c #Conflicts:     234000 | #Constraints:     674819
2818.75/2826.58	c #Conflicts:     235000 | #Constraints:     675819
2818.75/2826.58	c #Conflicts:     236000 | #Constraints:     676819
2818.75/2826.58	c INPROCESSING
2818.75/2826.58	c GARBAGE COLLECT
2818.75/2826.58	c rational objective 178.472
2850.06/2857.90	c #Conflicts:     237000 | #Constraints:     668198
2850.06/2857.90	c #Conflicts:     238000 | #Constraints:     669198
2850.06/2857.90	c bounds 326 >= 85 @ 2825.01
2918.06/2926.17	c #Conflicts:     239000 | #Constraints:     670204
2918.06/2926.17	c #Conflicts:     240000 | #Constraints:     671204
2918.06/2926.17	c #Conflicts:     241000 | #Constraints:     672204
2918.06/2926.17	c #Conflicts:     242000 | #Constraints:     673204
2918.06/2926.17	c #Conflicts:     243000 | #Constraints:     674204
2918.06/2926.17	c #Conflicts:     244000 | #Constraints:     675204
2918.06/2926.17	c #Conflicts:     245000 | #Constraints:     676204
2918.06/2926.17	c #Conflicts:     246000 | #Constraints:     677205
2918.06/2926.17	c INPROCESSING
2918.06/2926.17	c GARBAGE COLLECT
2918.06/2926.17	c rational objective 178.472
3042.48/3050.92	c #Conflicts:     247000 | #Constraints:     668403
3042.48/3050.92	c #Conflicts:     248000 | #Constraints:     669404
3042.48/3050.92	c #Conflicts:     249000 | #Constraints:     670404
3042.48/3050.92	c #Conflicts:     250000 | #Constraints:     671405
3042.48/3050.92	c #Conflicts:     251000 | #Constraints:     672406
3042.48/3050.92	c #Conflicts:     252000 | #Constraints:     673406
3042.48/3050.92	c #Conflicts:     253000 | #Constraints:     674406
3042.48/3050.92	c #Conflicts:     254000 | #Constraints:     675406
3042.48/3050.92	c #Conflicts:     255000 | #Constraints:     676407
3042.48/3050.92	c #Conflicts:     256000 | #Constraints:     677408
3042.48/3050.92	c bounds 326 >= 86 @ 3015.03
3187.73/3196.62	c INPROCESSING
3187.73/3196.62	c GARBAGE COLLECT
3187.73/3196.62	c rational objective 178.472
3295.79/3305.01	c #Conflicts:     257000 | #Constraints:     668444
3295.79/3305.01	c #Conflicts:     258000 | #Constraints:     669444
3295.79/3305.01	c #Conflicts:     259000 | #Constraints:     670444
3295.79/3305.01	c #Conflicts:     260000 | #Constraints:     671445
3295.79/3305.01	c #Conflicts:     261000 | #Constraints:     672445
3295.79/3305.01	c #Conflicts:     262000 | #Constraints:     673446
3295.79/3305.01	c #Conflicts:     263000 | #Constraints:     674446
3295.79/3305.01	c #Conflicts:     264000 | #Constraints:     675446
3295.79/3305.01	c #Conflicts:     265000 | #Constraints:     676446
3295.79/3305.01	c #Conflicts:     266000 | #Constraints:     677447
3295.79/3305.01	c INPROCESSING
3295.79/3305.01	c GARBAGE COLLECT
3295.79/3305.01	c rational objective 178.472
3399.66/3409.26	c #Conflicts:     267000 | #Constraints:     668242
3399.66/3409.26	c #Conflicts:     268000 | #Constraints:     669242
3399.66/3409.26	c #Conflicts:     269000 | #Constraints:     670242
3399.66/3409.26	c #Conflicts:     270000 | #Constraints:     671242
3399.66/3409.26	c #Conflicts:     271000 | #Constraints:     672243
3399.66/3409.26	c #Conflicts:     272000 | #Constraints:     673244
3399.66/3409.26	c #Conflicts:     273000 | #Constraints:     674246
3399.66/3409.26	c #Conflicts:     274000 | #Constraints:     675246
3399.66/3409.26	c #Conflicts:     275000 | #Constraints:     676246
3399.66/3409.26	c #Conflicts:     276000 | #Constraints:     677246
3399.66/3409.26	c #Conflicts:     277000 | #Constraints:     678246
3399.66/3409.26	c INPROCESSING
3399.66/3409.26	c GARBAGE COLLECT
3399.66/3409.26	c rational objective 178.479
3554.97/3565.08	c #Conflicts:     278000 | #Constraints:     668825
3554.97/3565.08	c #Conflicts:     279000 | #Constraints:     669845
3554.97/3565.08	c #Conflicts:     280000 | #Constraints:     670855
3554.97/3565.08	c #Conflicts:     281000 | #Constraints:     671867
3554.97/3565.08	c #Conflicts:     282000 | #Constraints:     672975
3554.97/3565.08	c #Conflicts:     283000 | #Constraints:     673998
3554.97/3565.08	c #Conflicts:     284000 | #Constraints:     675010
3554.97/3565.08	c #Conflicts:     285000 | #Constraints:     676018
3554.97/3565.08	c #Conflicts:     286000 | #Constraints:     677030
3554.97/3565.08	c bounds 324 >= 86 @ 3523.25
3572.03/3582.13	c #Conflicts:     287000 | #Constraints:     678038
3572.03/3582.13	c #Conflicts:     288000 | #Constraints:     679038
3572.03/3582.13	c INPROCESSING
3572.03/3582.13	c GARBAGE COLLECT
3572.03/3582.13	c rational objective 178.432
3600.05/3610.52	c #Conflicts:     289000 | #Constraints:     669327
3600.05/3610.52	c #Conflicts:     290000 | #Constraints:     670328
3600.05/3610.52	c Disabling crashed LP
3600.05/3610.52	c cpu time 3567.67 s
3600.05/3610.52	c deterministic time 111592917946 1.12e+11
3600.05/3610.52	c optimization time 24.1254 s
3600.05/3610.52	c total solve time 3540.51 s
3600.05/3610.52	c core-guided solve time 3014.44 s
3600.05/3610.52	c propagation time 1255.46 s
3600.05/3610.52	c conflict analysis time 893.722 s
3600.05/3610.52	c propagations 100387039
3600.05/3610.52	c resolve steps 4703951
3600.05/3610.52	c decisions 10454468
3600.05/3610.52	c conflicts 290028
3600.05/3610.52	c restarts 698
3600.05/3610.52	c inprocessing phases 45
3600.05/3610.52	c garbage collections 43 ,( 95.56 )
3600.05/3610.52	c input clauses 657287 ,( 99.83 )
3600.05/3610.52	c input cardinalities 448 ,( 0.07 )
3600.05/3610.52	c input general constraints 691 ,( 0.10 )
3600.05/3610.52	c input average constraint length 6.92
3600.05/3610.52	c input average constraint degree 141.59
3600.05/3610.52	c learned clauses 200678 ,( 69.01 )
3600.05/3610.52	c learned cardinalities 44 ,( 0.02 )
3600.05/3610.52	c learned general constraints 90074 ,( 30.97 )
3600.05/3610.52	c learned average constraint length 1599.66
3600.05/3610.52	c learned average constraint degree 22257329261.53
3600.05/3610.52	c watched  CF 32, 64, 128, Arb: 2921 , 0 , 0 , 0
3600.05/3610.52	c counting CF 32, 64, 128, Arb: 87845 , 0 , 0 , 0
3600.05/3610.52	c watched   constraints 2921 ,( 3.22 ) 
3600.05/3610.52	c counting  constraints 87844 ,( 96.78 ) 
3600.05/3610.52	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 57913248 , 3266257 , 1118898054 ,( 20272461 , 1098625593 )
3600.05/3610.52	c gcd simplifications 10251
3600.05/3610.52	c detected cardinalities 1
3600.05/3610.52	c weakened non-implied lits 966859426
3600.05/3610.52	c weakened non-implying lits 171495
3600.05/3610.52	c original variables 10000
3600.05/3610.52	c clausal propagations 17357128
3600.05/3610.52	c cardinality propagations 907944
3600.05/3610.52	c watched propagations 59914
3600.05/3610.52	c counting propagations 79146732
3600.05/3610.52	c watch lookups 6350360705
3600.05/3610.52	c watch backjump lookups 0
3600.05/3610.52	c watch checks 3314311782
3600.05/3610.52	c propagation checks 97084200321
3600.05/3610.52	c constraint additions 4621590038
3600.05/3610.52	c trail pops 111122080
3600.05/3610.52	c formula constraints 656900
3600.05/3610.52	c learned constraints 289857
3600.05/3610.52	c bound constraints 247
3600.05/3610.52	c core-guided constraints 1279
3600.05/3610.52	c encountered formula constraints 1753562
3600.05/3610.52	c encountered learned constraints 1874010
3600.05/3610.52	c encountered bound constraints 7577
3600.05/3610.52	c encountered core-guided constraints 1342020
3600.05/3610.52	c LP total time 2054.7 s
3600.05/3610.52	c LP solve time 1859.28 s
3600.05/3610.52	c LP constraints added 656987
3600.05/3610.52	c LP constraints removed 52
3600.05/3610.52	c LP pivots internal 290024
3600.05/3610.52	c LP pivots root 201488
3600.05/3610.52	c LP calls 1001
3600.05/3610.52	c LP optimalities 267
3600.05/3610.52	c LP no pivot count 40
3600.05/3610.52	c LP infeasibilities 714
3600.05/3610.52	c LP valid Farkas constraints 709
3600.05/3610.52	c LP learned Farkas constraints 176
3600.05/3610.52	c LP basis resets 20
3600.05/3610.52	c LP cycling count 9
3600.05/3610.52	c LP singular count 4
3600.05/3610.52	c LP no primal count 0
3600.05/3610.52	c LP no farkas count 5
3600.05/3610.52	c LP other issue count 2
3600.05/3610.52	c LP Gomory cuts 54
3600.05/3610.52	c LP learned cuts 33
3600.05/3610.52	c LP deleted cuts 52
3600.05/3610.52	c LP encountered Gomory constraints 156
3600.05/3610.52	c LP encountered Farkas constraints 16141
3600.05/3610.52	c LP encountered learned Farkas constraints 337
3600.05/3610.52	c CG auxiliary variables introduced 446
3600.05/3610.52	c CG solutions found 187
3600.05/3610.52	c CG cores constructed 59
3600.05/3610.52	c CG core cardinality constraints returned 0
3600.05/3610.52	c CG unit cores 0
3600.05/3610.52	c CG single cores 59
3600.05/3610.52	c CG blocks removed during cardinality reduction 0
3600.05/3610.52	c CG first core best 0
3600.05/3610.52	c CG decision core best 0
3600.05/3610.52	c CG core reduction tie 0
3600.05/3610.52	c CG core degree average 1.00
3600.05/3610.52	c CG core slack average 867.39
3600.05/3610.52	c CG core upper bound improvements 72
3600.05/3610.52	c STR number of successful calls 0
3600.05/3610.52	c STR number of unsuccessful calls 0
3600.05/3610.52	c STR number of inconclusive calls 0
3600.05/3610.52	c STR number of successful attempts 0
3600.05/3610.52	c STR number of unsuccessful attempts 0
3600.05/3610.52	c STR number of inconclusive attempts 0
3600.05/3610.52	c STR average degree increase per successful call inf
3600.05/3610.52	c STR average degree increase per successful attempt inf
3600.05/3610.52	c STR total number of conflicts for successful attempts 0
3600.05/3610.52	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.52	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.52	c STR average number of conflicts per successful attempt inf
3600.05/3610.52	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.52	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.52	c AVG.sumWPerc 93.50 
3600.05/3610.52	c bigint constraints 0 
3600.05/3610.52	o 324
3600.05/3610.52	s SATISFIABLE
3600.05/3610.52	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.05/3610.52	c Program interrupted by user.

Verifier Data 

OK	324

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 (50259 MiB free)
  memory of node 1: 64465 MiB (50050 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=137776, runsolver pid=137773
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 0.11 0.09 0.09 5/264 137778
/proc/meminfo: memFree=102434016/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137778] ppid=137776 vsize=165616 memory=150416 CPUtime=0.08 cores=4,6
/proc/137778/stat : 137778 (pbsuma) R 137776 137776 137709 0 -1 4194304 4633 0 0 0 5 3 0 0 20 0 1 0 183926379 169590784 37604 18446744073709551615 4210688 4653049 140726397490480 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 17326080 140726397495559 140726397495856 140726397495856 140726397501423 0
/proc/137778/statm: 41404 37604 992 108 0 38812 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169808 KiB
Current children cumulated memory: 153360 KiB

[startup+0.205845 s]*
/proc/loadavg: 0.11 0.09 0.09 4/263 137780
/proc/meminfo: memFree=102450236/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137778] ppid=137776 vsize=181580 memory=167164 CPUtime=0.19 cores=4,6
/proc/137778/stat : 137778 (pbsuma) R 137776 137776 137709 0 -1 4194304 9248 0 0 0 15 4 0 0 20 0 1 0 183926379 185937920 41791 18446744073709551615 4210688 4653049 140726397490480 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 17326080 140726397495559 140726397495856 140726397495856 140726397501423 0
/proc/137778/statm: 45395 41791 992 108 0 42803 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185772 KiB
Current children cumulated memory: 170108 KiB

[startup+0.306038 s]*
/proc/loadavg: 0.11 0.09 0.09 5/268 137790
/proc/meminfo: memFree=102425984/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137778] ppid=137776 vsize=194916 memory=185924 CPUtime=0.28 cores=4,6
/proc/137778/stat : 137778 (pbsuma) R 137776 137776 137709 0 -1 4194304 12919 0 0 0 24 4 0 0 20 0 1 0 183926379 199593984 46481 18446744073709551615 4210688 4653049 140726397490480 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 17326080 140726397495559 140726397495856 140726397495856 140726397501423 0
/proc/137778/statm: 48729 46481 992 108 0 46137 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 199108 KiB
Current children cumulated memory: 188868 KiB

[startup+0.700212 s]
/proc/loadavg: 0.11 0.09 0.09 5/268 137790
/proc/meminfo: memFree=102079856/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137778] ppid=137776 vsize=319208 memory=273364 CPUtime=0.66 cores=4,6
/proc/137778/stat : 137778 (pbsuma) R 137776 137776 137709 0 -1 4194304 27481 0 0 0 59 7 0 0 20 0 1 0 183926379 326868992 68341 18446744073709551615 4210688 4653049 140726397490480 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 17326080 140726397495559 140726397495856 140726397495856 140726397501423 0
/proc/137778/statm: 79802 68341 1024 108 0 77210 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 323400 KiB
Current children cumulated memory: 276308 KiB

[startup+1.50017 s]
/proc/loadavg: 0.11 0.09 0.09 5/268 137792
/proc/meminfo: memFree=102142472/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=107728 memory=62204 CPUtime=0.56 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 12643 0 0 0 44 12 0 0 20 0 1 0 183926471 110313472 15551 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 26932 15551 2016 1147 0 14358 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 111920 KiB
Current children cumulated memory: 65148 KiB

[startup+3.10562 s]
/proc/loadavg: 0.11 0.09 0.09 5/268 137793
/proc/meminfo: memFree=102087244/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=260020 memory=199436 CPUtime=2.16 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 43830 0 0 0 172 44 0 0 20 0 1 0 183926471 266260480 49859 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 65005 49859 2016 1147 0 52431 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 264212 KiB
Current children cumulated memory: 202380 KiB

[startup+6.30021 s]
/proc/loadavg: 0.42 0.15 0.11 5/268 137793
/proc/meminfo: memFree=101288924/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=1064972 memory=805968 CPUtime=5.34 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 90434 0 0 0 455 79 0 0 20 0 1 0 183926471 1090531328 201492 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 266243 201492 2336 1147 0 253669 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1069164 KiB
Current children cumulated memory: 808912 KiB

[startup+12.7002 s]
/proc/loadavg: 0.71 0.22 0.13 5/268 137793
/proc/meminfo: memFree=101162912/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=1263088 memory=943164 CPUtime=11.72 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 101884 0 0 0 1079 93 0 0 20 0 1 0 183926471 1293402112 235791 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 315772 235791 2400 1147 0 303198 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1267280 KiB
Current children cumulated memory: 946108 KiB

[startup+25.5002 s]
/proc/loadavg: 1.44 0.40 0.20 5/264 137821
/proc/meminfo: memFree=101266348/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=1354020 memory=1036292 CPUtime=24.49 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 113958 0 0 0 2310 139 0 0 20 0 1 0 183926471 1386516480 259073 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 338505 259073 2400 1147 0 325931 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1358212 KiB
Current children cumulated memory: 1039236 KiB

[startup+51.1059 s]
/proc/loadavg: 2.44 0.73 0.31 5/269 137894
/proc/meminfo: memFree=101031436/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=1374552 memory=1060604 CPUtime=50.02 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 115414 0 0 0 4835 167 0 0 20 0 1 0 183926471 1407541248 265151 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 343638 265151 2400 1147 0 331064 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1378744 KiB
Current children cumulated memory: 1063548 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.28 0.52 5/269 137896
/proc/meminfo: memFree=97788656/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=1850816 memory=1492088 CPUtime=101.08 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 179207 0 0 0 9869 239 0 0 20 0 1 0 183926471 1895235584 373022 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 462704 373022 2432 1147 0 450130 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1855008 KiB
Current children cumulated memory: 1495032 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 1.83 0.76 5/269 137898
/proc/meminfo: memFree=94203416/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2010072 memory=1550808 CPUtime=160.92 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 182238 0 0 0 15803 289 0 0 20 0 1 0 183926471 2058313728 387702 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 502518 387702 2432 1147 0 489944 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2014264 KiB
Current children cumulated memory: 1553752 KiB

[startup+222.3 s]
/proc/loadavg: 4.36 2.33 1.00 5/272 137903
/proc/meminfo: memFree=90588556/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2032832 memory=1573704 CPUtime=220.76 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 184188 0 0 0 21741 335 0 0 20 0 1 0 183926471 2081619968 393426 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 508208 393426 2432 1147 0 495634 0
Current children cumulated CPU time: 221.66 s

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

/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2526348 memory=2172716 CPUtime=3152.62 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 258590 0 0 0 312595 2667 0 0 20 0 1 0 183926471 2586980352 543179 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 631587 543179 2528 1147 0 619013 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 2530540 KiB
Current children cumulated memory: 2175660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.46 4.51 4.40 5/269 138079
/proc/meminfo: memFree=535132/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2526348 memory=2172716 CPUtime=3212.45 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 258855 0 0 0 318529 2716 0 0 20 0 1 0 183926471 2586980352 543179 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 631587 543179 2528 1147 0 619013 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 2530540 KiB
Current children cumulated memory: 2175660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.63 4.55 4.43 5/271 138083
/proc/meminfo: memFree=660212/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2526348 memory=2172772 CPUtime=3272.25 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 262168 0 0 0 324439 2786 0 0 20 0 1 0 183926471 2586980352 543193 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 631587 543193 2528 1147 0 619013 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 2530540 KiB
Current children cumulated memory: 2175716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.51 4.54 4.43 5/271 138085
/proc/meminfo: memFree=522856/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2526348 memory=2172772 CPUtime=3332.06 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 262279 0 0 0 330345 2861 0 0 20 0 1 0 183926471 2586980352 543193 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 631587 543193 2528 1147 0 619013 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 2530540 KiB
Current children cumulated memory: 2175716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.75 4.62 4.47 5/272 138089
/proc/meminfo: memFree=721076/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2526348 memory=2172772 CPUtime=3391.88 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 262279 0 0 0 336258 2930 0 0 20 0 1 0 183926471 2586980352 543193 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 631587 543193 2528 1147 0 619013 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 2530540 KiB
Current children cumulated memory: 2175716 KiB

[startup+3462.3 s]
/proc/loadavg: 4.55 4.60 4.47 5/272 138091
/proc/meminfo: memFree=546884/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=2526348 memory=2172772 CPUtime=3451.7 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 262527 0 0 0 342200 2970 0 0 20 0 1 0 183926471 2586980352 543193 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 631587 543193 2528 1147 0 619013 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 2530540 KiB
Current children cumulated memory: 2175716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.65 4.61 4.48 5/272 138093
/proc/meminfo: memFree=632764/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=3015352 memory=2568152 CPUtime=3511.51 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 298220 0 0 0 348120 3031 0 0 20 0 1 0 183926471 3087720448 642038 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 753838 642038 2528 1147 0 741264 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 3019544 KiB
Current children cumulated memory: 2571096 KiB

[startup+3582.3 s]
/proc/loadavg: 4.97 4.73 4.53 5/271 138095
/proc/meminfo: memFree=688368/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=4117432 memory=3202992 CPUtime=3571.32 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 410988 0 0 0 354012 3120 0 0 20 0 1 0 183926471 4216250368 800748 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 1029358 800748 2528 1147 0 1016784 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 4121624 KiB
Current children cumulated memory: 3205936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.74 4.69 4.52 3/267 138103
/proc/meminfo: memFree=12738824/131250000 swapFree=33010416/33010684
[pid=137776] ppid=137773 vsize=4192 memory=2944 CPUtime=0.9 cores=4,6
/proc/137776/stat : 137776 (run-opt-ls-log.) S 137773 137776 137709 0 -1 4194304 236 32710 0 0 0 0 80 10 20 0 1 0 183926378 4292608 736 18446744073709551615 94024905674752 94024906569285 140722587286048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024906808336 94024906856080 94024933036032 140722587289919 140722587290079 140722587290079 140722587295683 0
/proc/137776/statm: 1048 736 672 219 0 110 0
[pid=137792] ppid=137776 vsize=4117748 memory=3202992 CPUtime=3599.13 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137776 137776 137709 0 -1 4194304 410993 0 0 0 356765 3148 0 0 20 0 1 0 183926471 4216573952 800748 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 1029437 800748 2528 1147 0 1016863 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4121940 KiB
Current children cumulated memory: 3205936 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3568.54 s, system=31.6346 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+3610.41 s]
/proc/loadavg: 4.74 4.69 4.52 2/266 138103
/proc/meminfo: memFree=12738824/131250000 swapFree=33010416/33010684
[pid=137792] ppid=137773 vsize=4117748 memory=3202992 CPUtime=3599.14 cores=4,6
/proc/137792/stat : 137792 (roundingsat) D 137773 137776 137709 0 -1 4194304 410993 0 0 0 356766 3148 0 0 20 0 1 0 183926471 4216573952 800748 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 1029437 800748 2528 1147 0 1016863 0
Current cumulated CPU time of completed processes: 0.907579 s
Current children cumulated CPU time: 3599.14 s
Current children cumulated vsize: 4117748 KiB
Current children cumulated memory: 3202992 KiB

[startup+3610.6 s]
/proc/loadavg: 4.74 4.69 4.52 2/266 138103
/proc/meminfo: memFree=12738824/131250000 swapFree=33010416/33010684
[pid=137792] ppid=137773 vsize=1542268 memory=1471596 CPUtime=3599.23 cores=4,6
/proc/137792/stat : 137792 (roundingsat) R 137773 137776 137709 0 -1 4194304 411009 0 2 0 356771 3152 0 0 20 0 1 0 183926471 1579282432 367899 18446744073709551615 4227072 8923577 140721611605872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20373504 140721611610394 140721611610662 140721611610662 140721611616234 0
/proc/137792/statm: 385567 367899 2592 1147 0 372993 0
Current cumulated CPU time of completed processes: 0.907579 s
Current children cumulated CPU time: 3599.23 s
Current children cumulated vsize: 1542268 KiB
Current children cumulated memory: 1471596 KiB

Child status: 2

Real time (s): 3610.63
CPU time (s): 3600.18
CPU user time (s): 3568.54
CPU system time (s): 31.6346
CPU usage (%): 99.7105
Max. virtual memory (cumulated for all children) (KiB): 4121940
Max. memory (cumulated for all children) (KiB): 3205936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.54
system time used= 31.6346
maximum resident set size= 3203120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443970
page faults= 2
swaps= 0
block input operations= 3176
block output operations= 72946144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251
involuntary context switches= 4364


# summary of solver processes directly reported to runsolver:
#   pid: 137776,137792
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3568.54
#   total CPU system time (s): 31.6346

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57136 second user time and 16.6985 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-16 18:23:59
IDJOB=4531820
IDBENCH=147559
IDSOLVER=3392
FILE ID=nodeC028/4531820-1752683038
RUNJOBID= nodeC028-1752683038-137727
SLURM_JOB_ID= 9686923
Free space on /tmp= 431588 MiB

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

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=210464024

nodeC028 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.056
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.16
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.090
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        102746520 kB
MemAvailable:   129555188 kB
Buffers:            2500 kB
Cached:         27584608 kB
SwapCached:            8 kB
Active:           968708 kB
Inactive:       26852748 kB
Active(anon):     252332 kB
Inactive(anon):     8268 kB
Active(file):     716376 kB
Inactive(file): 26844480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             57944 kB
Writeback:             0 kB
AnonPages:        237800 kB
Mapped:           109364 kB
Shmem:             26252 kB
KReclaimable:     174100 kB
Slab:             270300 kB
SReclaimable:     174100 kB
SUnreclaim:        96200 kB
KernelStack:        4272 kB
PageTables:         3208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     599812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 254552 MiB
End job on nodeC028 at 2025-07-16 19:24:09