Trace number 4531823

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.22 3611.89

General information on the benchmark

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

Solver Data 

0.00/0.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-4531823-1752683038.opb'
0.29/0.33	c 	read 17.23MB  (324.46ms)
0.29/0.33	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.33	c output proof to '/tmp/proof-4531823-1752683038'
0.29/0.33	c 
0.29/0.33	c make graph and approximate orbits
0.68/0.73	c	 [group: #orbits ~= 0] (395.05ms)
0.68/0.73	c 
0.68/0.73	c detect special group actions
0.68/0.73	c 	probe for Johnson action (limit=64)
0.68/0.73	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.68/0.74	c 	probe for row symmetry (limit=64, splits=16.78M)
0.68/0.75	c 	 (27.19ms)
0.68/0.75	c 
0.68/0.75	c detect symmetries on remainder
0.68/0.76	c 	[graph: #vertices 706703 #edges 2766404]
0.68/0.76	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.78/0.81	c 	 [group: #symmetries 1.00*10^0 #generators 0] (51.25ms)
0.78/0.81	c 
0.78/0.81	c finalize break order and special generators
0.78/0.81	c 
0.78/0.81	c generation finished
0.78/0.81	c 	[sbp: #constraints 0 #add_vars 0]
0.78/0.81	c 
0.78/0.81	c write result to 'HOME/instance-4531823-1752683038.opb.pre'
0.78/0.84	c 	wrote 17.23MB (35.66ms)
0.78/0.84	c ------------------------------------------------------------------
0.78/0.84	c                 395.05ms 47.23% approx_orbits
0.78/0.84	c                 324.46ms 38.79% parse
0.78/0.84	c                  51.25ms  6.13% detect_generic
0.78/0.84	c                  35.66ms  4.26% output
0.78/0.84	c                  27.19ms  3.25% detect_special
0.78/0.84	c                   2.40ms  0.29% other
0.78/0.84	c                   0.39ms  0.05% finalize_order
0.78/0.84	c         ───────────────────────────────────────────────
0.78/0.84	c                 836.40ms   100% total
0.78/0.84	c ------------------------------------------------------------------
0.88/0.99	c RoundingSat 2
0.88/0.99	c branch pb25
0.88/0.99	c commit 0f876b3
4.55/4.62	c #variables 10000 #constraints 656900
4.55/4.62	c objective is ce32 
5.44/5.52	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.44/5.52	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.44/5.52	c bounds 5350 >= 0 @ 3.78652
7.44/7.59	c rational objective 165.75
11.32/11.41	c bounds 5304 >= 0 @ 9.53784
11.32/11.41	c bounds 5247 >= 0 @ 9.54509
11.32/11.42	c bounds 5243 >= 0 @ 9.55211
11.32/11.43	c bounds 5229 >= 0 @ 9.55691
11.32/11.44	c bounds 5199 >= 0 @ 9.56801
11.32/11.47	c bounds 5189 >= 0 @ 9.59001
11.32/11.48	c bounds 5129 >= 0 @ 9.60185
11.32/11.49	c bounds 5088 >= 0 @ 9.61318
11.43/11.51	c bounds 5055 >= 0 @ 9.62952
11.43/11.52	c bounds 4978 >= 0 @ 9.63608
11.43/11.53	c bounds 4925 >= 0 @ 9.64324
11.43/11.54	c bounds 4923 >= 0 @ 9.64936
11.43/11.55	c bounds 4768 >= 0 @ 9.65556
11.43/11.56	c bounds 4654 >= 0 @ 9.6625
11.43/11.57	c bounds 4648 >= 0 @ 9.67316
11.43/11.58	c bounds 4635 >= 0 @ 9.68589
11.52/11.61	c bounds 4634 >= 0 @ 9.70843
11.52/11.61	c bounds 4549 >= 0 @ 9.71419
11.52/11.62	c bounds 4496 >= 0 @ 9.71957
11.52/11.63	c bounds 4495 >= 0 @ 9.72858
11.52/11.64	c bounds 4446 >= 0 @ 9.73403
11.52/11.66	c bounds 4431 >= 0 @ 9.74649
11.63/11.76	c bounds 4424 >= 0 @ 9.84673
11.63/11.77	c bounds 4293 >= 0 @ 9.85222
11.63/11.78	c bounds 4291 >= 0 @ 9.86366
11.63/11.79	c bounds 4233 >= 0 @ 9.86939
11.73/11.81	c bounds 4221 >= 0 @ 9.89053
11.73/11.82	c bounds 4210 >= 0 @ 9.89581
11.73/11.83	c bounds 4145 >= 0 @ 9.89976
11.73/11.84	c bounds 4131 >= 0 @ 9.90687
11.73/11.85	c bounds 4059 >= 0 @ 9.91388
11.73/11.85	c bounds 4004 >= 0 @ 9.92022
11.73/11.86	c bounds 3945 >= 0 @ 9.92532
11.73/11.87	c bounds 3823 >= 0 @ 9.9306
11.73/11.88	c bounds 3818 >= 0 @ 9.94206
11.73/11.89	c bounds 3768 >= 0 @ 9.94663
11.82/11.90	c bounds 3731 >= 0 @ 9.95207
11.82/11.92	c bounds 3706 >= 0 @ 9.96285
11.82/11.93	c bounds 3693 >= 0 @ 9.97427
11.93/12.01	c bounds 3689 >= 0 @ 10.0528
11.93/12.02	c bounds 3664 >= 0 @ 10.0611
11.93/12.03	c bounds 3599 >= 0 @ 10.0668
11.93/12.04	c bounds 3561 >= 0 @ 10.0737
11.93/12.05	c bounds 3494 >= 0 @ 10.0788
11.93/12.06	c bounds 3365 >= 0 @ 10.0845
11.93/12.07	c bounds 3308 >= 0 @ 10.0905
12.03/12.15	c bounds 3154 >= 0 @ 10.1668
12.03/12.16	c bounds 3100 >= 0 @ 10.1737
12.03/12.17	c bounds 3059 >= 0 @ 10.1821
12.03/12.18	c bounds 2890 >= 0 @ 10.1904
12.03/12.19	c bounds 2797 >= 0 @ 10.1957
12.13/12.20	c bounds 2796 >= 0 @ 10.2031
12.13/12.21	c bounds 2778 >= 0 @ 10.2085
12.13/12.23	c bounds 2765 >= 0 @ 10.2288
12.13/12.24	c bounds 2703 >= 0 @ 10.2329
12.13/12.25	c bounds 2695 >= 0 @ 10.2377
12.13/12.26	c bounds 2671 >= 0 @ 10.2441
12.13/12.28	c bounds 2668 >= 0 @ 10.2623
12.23/12.31	c bounds 2638 >= 0 @ 10.2769
12.23/12.32	c bounds 2606 >= 0 @ 10.2831
12.23/12.34	c bounds 2605 >= 0 @ 10.3027
12.32/12.48	c bounds 2599 >= 0 @ 10.4274
12.52/12.64	c bounds 2587 >= 0 @ 10.5854
12.52/12.65	c bounds 2539 >= 0 @ 10.5934
12.52/12.67	c bounds 2465 >= 0 @ 10.6022
12.83/12.96	c bounds 2463 >= 0 @ 10.8843
12.93/13.06	c bounds 2459 >= 0 @ 10.9813
13.62/13.76	c bounds 2415 >= 0 @ 11.663
13.62/13.77	c bounds 2374 >= 0 @ 11.6693
13.62/13.78	c bounds 2362 >= 0 @ 11.6743
13.62/13.79	c bounds 2347 >= 0 @ 11.6841
13.72/13.80	c bounds 2300 >= 0 @ 11.6914
13.72/13.81	c bounds 2298 >= 0 @ 11.6988
13.72/13.82	c bounds 2258 >= 0 @ 11.7063
14.03/14.11	c bounds 2257 >= 0 @ 11.991
14.03/14.12	c bounds 2250 >= 0 @ 11.9977
14.03/14.13	c bounds 2248 >= 0 @ 12.005
14.03/14.14	c bounds 2161 >= 0 @ 12.0106
14.03/14.16	c bounds 2121 >= 0 @ 12.0253
14.03/14.17	c bounds 2106 >= 0 @ 12.0326
14.03/14.18	c bounds 1987 >= 0 @ 12.0395
14.03/14.19	c bounds 1874 >= 0 @ 12.0499
14.12/14.20	c bounds 1804 >= 0 @ 12.056
14.12/14.22	c bounds 1763 >= 0 @ 12.0645
14.12/14.23	c bounds 1695 >= 0 @ 12.0717
14.12/14.25	c bounds 1536 >= 0 @ 12.087
14.12/14.26	c bounds 1430 >= 0 @ 12.0927
14.12/14.27	c bounds 1429 >= 0 @ 12.1003
14.12/14.29	c bounds 1428 >= 0 @ 12.1073
14.22/14.30	c bounds 1382 >= 0 @ 12.1122
14.22/14.31	c bounds 1348 >= 0 @ 12.1191
14.22/14.32	c bounds 1328 >= 0 @ 12.1249
14.22/14.33	c bounds 1288 >= 0 @ 12.1311
14.22/14.35	c bounds 1176 >= 0 @ 12.138
14.22/14.36	c bounds 1132 >= 0 @ 12.1439
14.22/14.38	c bounds 1086 >= 0 @ 12.1611
14.32/14.49	c bounds 1071 >= 0 @ 12.2518
14.42/14.50	c bounds 1063 >= 0 @ 12.2611
14.82/14.92	c bounds 1060 >= 0 @ 12.6696
14.82/14.93	c bounds 1059 >= 0 @ 12.6772
15.62/15.78	c bounds 1045 >= 0 @ 13.499
15.72/15.81	c bounds 1032 >= 0 @ 13.525
15.82/15.95	c bounds 959 >= 0 @ 13.657
15.82/15.97	c bounds 867 >= 0 @ 13.6677
15.92/16.03	c bounds 857 >= 0 @ 13.7227
16.12/16.22	c #Conflicts:       1000 | #Constraints:     658011
16.12/16.22	c bounds 683 >= 0 @ 13.8996
16.71/16.83	c bounds 634 >= 0 @ 14.4889
16.81/16.90	c bounds 632 >= 0 @ 14.5484
20.60/20.73	c #Conflicts:       2000 | #Constraints:     659014
20.60/20.73	c INPROCESSING
20.60/20.73	c GARBAGE COLLECT
20.60/20.73	c bounds 536 >= 0 @ 18.3164
20.71/20.87	c bounds 445 >= 0 @ 18.4587
26.29/26.42	c #Conflicts:       3000 | #Constraints:     658911
26.29/26.42	c #Conflicts:       4000 | #Constraints:     659911
26.29/26.42	c INPROCESSING
26.29/26.42	c GARBAGE COLLECT
26.29/26.42	c rational objective 167
30.07/30.25	c bounds 439 >= 0 @ 27.725
30.18/30.32	c bounds 434 >= 0 @ 27.784
30.18/30.38	c bounds 433 >= 0 @ 27.8411
30.27/30.41	c bounds 426 >= 0 @ 27.8669
30.27/30.42	c bounds 419 >= 0 @ 27.8817
31.87/32.02	c bounds 417 >= 0 @ 29.4425
42.64/42.84	c #Conflicts:       5000 | #Constraints:     659334
42.64/42.84	c #Conflicts:       6000 | #Constraints:     660334
42.64/42.84	c INPROCESSING
42.64/42.84	c GARBAGE COLLECT
42.64/42.84	c rational objective 168.44
45.94/46.17	c bounds 412 >= 0 @ 43.4506
45.94/46.18	c bounds 407 >= 0 @ 43.4596
45.94/46.19	c bounds 403 >= 0 @ 43.4682
53.71/53.93	c #Conflicts:       7000 | #Constraints:     659343
53.71/53.93	c bounds 400 >= 0 @ 51.0332
61.69/61.95	c #Conflicts:       8000 | #Constraints:     660344
61.69/61.95	c #Conflicts:       9000 | #Constraints:     661344
61.69/61.95	c INPROCESSING
61.69/61.95	c GARBAGE COLLECT
61.69/61.95	c rational objective 170.808
75.95/76.22	c #Conflicts:      10000 | #Constraints:     660037
75.95/76.22	c #Conflicts:      11000 | #Constraints:     661037
75.95/76.22	c #Conflicts:      12000 | #Constraints:     662037
75.95/76.22	c INPROCESSING
75.95/76.22	c GARBAGE COLLECT
75.95/76.22	c rational objective 173.5
91.21/91.58	c #Conflicts:      13000 | #Constraints:     660494
91.21/91.58	c #Conflicts:      14000 | #Constraints:     661494
91.21/91.58	c #Conflicts:      15000 | #Constraints:     662494
91.21/91.58	c INPROCESSING
91.21/91.58	c GARBAGE COLLECT
91.21/91.58	c rational objective 175.621
127.79/128.24	c #Conflicts:      16000 | #Constraints:     660721
127.79/128.24	c #Conflicts:      17000 | #Constraints:     661721
127.79/128.24	c #Conflicts:      18000 | #Constraints:     662721
127.79/128.24	c INPROCESSING
127.79/128.24	c GARBAGE COLLECT
127.79/128.24	c #Conflicts:      19000 | #Constraints:     660750
127.79/128.24	c #Conflicts:      20000 | #Constraints:     661750
127.79/128.24	c #Conflicts:      21000 | #Constraints:     662750
127.79/128.24	c INPROCESSING
127.79/128.24	c GARBAGE COLLECT
127.79/128.24	c rational objective 175.621
146.43/146.94	c #Conflicts:      22000 | #Constraints:     660552
146.43/146.94	c #Conflicts:      23000 | #Constraints:     661552
146.43/146.94	c #Conflicts:      24000 | #Constraints:     662552
146.43/146.94	c #Conflicts:      25000 | #Constraints:     663552
146.43/146.94	c INPROCESSING
146.43/146.94	c GARBAGE COLLECT
146.43/146.94	c rational objective 175.704
164.77/165.38	c #Conflicts:      26000 | #Constraints:     661152
164.77/165.38	c #Conflicts:      27000 | #Constraints:     662152
164.77/165.38	c #Conflicts:      28000 | #Constraints:     663152
164.77/165.38	c #Conflicts:      29000 | #Constraints:     664152
164.77/165.38	c INPROCESSING
164.77/165.38	c GARBAGE COLLECT
164.77/165.38	c rational objective 175.811
199.65/200.32	c #Conflicts:      30000 | #Constraints:     661564
199.65/200.32	c #Conflicts:      31000 | #Constraints:     662597
199.65/200.32	c #Conflicts:      32000 | #Constraints:     663606
199.65/200.32	c #Conflicts:      33000 | #Constraints:     664616
199.65/200.32	c INPROCESSING
199.65/200.32	c GARBAGE COLLECT
199.65/200.32	c bounds 392 >= 0 @ 195.791
200.25/200.90	c bounds 391 >= 0 @ 196.356
200.25/200.93	c bounds 387 >= 0 @ 196.38
200.25/200.99	c bounds 385 >= 0 @ 196.434
200.35/201.04	c bounds 382 >= 0 @ 196.482
200.64/201.33	c bounds 375 >= 0 @ 196.769
200.94/201.64	c bounds 374 >= 0 @ 197.068
206.13/206.82	c bounds 373 >= 0 @ 202.148
206.73/207.43	c bounds 373 >= 5 @ 202.741
226.85/227.63	c #Conflicts:      34000 | #Constraints:     661809
226.85/227.63	c #Conflicts:      35000 | #Constraints:     662809
226.85/227.63	c #Conflicts:      36000 | #Constraints:     663809
226.85/227.63	c #Conflicts:      37000 | #Constraints:     664809
226.85/227.63	c INPROCESSING
226.85/227.63	c GARBAGE COLLECT
226.85/227.63	c rational objective 175.892
231.54/232.35	c bounds 372 >= 5 @ 227.427
231.54/232.38	c bounds 371 >= 5 @ 227.446
231.64/232.41	c bounds 369 >= 5 @ 227.47
231.64/232.44	c bounds 368 >= 5 @ 227.499
231.84/232.63	c bounds 367 >= 5 @ 227.681
231.84/232.67	c bounds 366 >= 5 @ 227.721
247.29/248.14	c #Conflicts:      38000 | #Constraints:     661806
247.29/248.14	c bounds 362 >= 5 @ 242.928
247.29/248.16	c bounds 362 >= 9 @ 242.942
308.58/309.68	c #Conflicts:      39000 | #Constraints:     662846
308.58/309.68	c #Conflicts:      40000 | #Constraints:     663867
308.58/309.68	c #Conflicts:      41000 | #Constraints:     664879
308.58/309.68	c INPROCESSING
308.58/309.68	c GARBAGE COLLECT
308.58/309.68	c #Conflicts:      42000 | #Constraints:     661621
308.58/309.68	c #Conflicts:      43000 | #Constraints:     662627
308.58/309.68	c #Conflicts:      44000 | #Constraints:     663630
308.58/309.68	c #Conflicts:      45000 | #Constraints:     664647
308.58/309.68	c #Conflicts:      46000 | #Constraints:     665658
308.58/309.68	c INPROCESSING
308.58/309.68	c GARBAGE COLLECT
308.58/309.68	c #Conflicts:      47000 | #Constraints:     662202
308.58/309.68	c #Conflicts:      48000 | #Constraints:     663203
308.58/309.68	c #Conflicts:      49000 | #Constraints:     664207
308.58/309.68	c #Conflicts:      50000 | #Constraints:     665209
308.58/309.68	c #Conflicts:      51000 | #Constraints:     666211
308.58/309.68	c INPROCESSING
308.58/309.68	c GARBAGE COLLECT
308.58/309.68	c rational objective 176.099
338.47/339.66	c #Conflicts:      52000 | #Constraints:     662575
338.47/339.66	c #Conflicts:      53000 | #Constraints:     663576
338.47/339.66	c #Conflicts:      54000 | #Constraints:     664577
338.47/339.66	c #Conflicts:      55000 | #Constraints:     665578
338.47/339.66	c #Conflicts:      56000 | #Constraints:     666578
338.47/339.66	c INPROCESSING
338.47/339.66	c GARBAGE COLLECT
338.47/339.66	c rational objective 176.736
414.21/415.63	c #Conflicts:      57000 | #Constraints:     662767
414.21/415.63	c #Conflicts:      58000 | #Constraints:     663771
414.21/415.63	c #Conflicts:      59000 | #Constraints:     664771
414.21/415.63	c #Conflicts:      60000 | #Constraints:     665771
414.21/415.63	c #Conflicts:      61000 | #Constraints:     666774
414.21/415.63	c INPROCESSING
414.21/415.63	c GARBAGE COLLECT
414.21/415.63	c #Conflicts:      62000 | #Constraints:     662763
414.21/415.63	c #Conflicts:      63000 | #Constraints:     663766
414.21/415.63	c #Conflicts:      64000 | #Constraints:     664771
414.21/415.63	c #Conflicts:      65000 | #Constraints:     665773
414.21/415.63	c #Conflicts:      66000 | #Constraints:     666774
414.21/415.63	c INPROCESSING
414.21/415.63	c GARBAGE COLLECT
414.21/415.63	c rational objective 177.209
459.06/460.66	c #Conflicts:      67000 | #Constraints:     662562
459.06/460.66	c #Conflicts:      68000 | #Constraints:     663565
459.06/460.66	c #Conflicts:      69000 | #Constraints:     664568
459.06/460.66	c #Conflicts:      70000 | #Constraints:     665571
459.06/460.66	c #Conflicts:      71000 | #Constraints:     666579
459.06/460.66	c #Conflicts:      72000 | #Constraints:     667586
459.06/460.66	c INPROCESSING
459.06/460.66	c GARBAGE COLLECT
459.06/460.66	c rational objective 177.578
464.64/466.24	c bounds 358 >= 9 @ 458.679
464.85/466.44	c bounds 357 >= 9 @ 458.873
493.05/494.75	c #Conflicts:      73000 | #Constraints:     663185
493.05/494.75	c #Conflicts:      74000 | #Constraints:     664203
493.05/494.75	c bounds 356 >= 9 @ 486.585
511.29/513.09	c #Conflicts:      75000 | #Constraints:     665217
511.29/513.09	c #Conflicts:      76000 | #Constraints:     666217
511.29/513.09	c #Conflicts:      77000 | #Constraints:     667217
511.29/513.09	c #Conflicts:      78000 | #Constraints:     668217
511.29/513.09	c INPROCESSING
511.29/513.09	c GARBAGE COLLECT
511.29/513.09	c rational objective 178.291
550.35/552.27	c #Conflicts:      79000 | #Constraints:     663580
550.35/552.27	c #Conflicts:      80000 | #Constraints:     664580
550.35/552.27	c #Conflicts:      81000 | #Constraints:     665581
550.35/552.27	c #Conflicts:      82000 | #Constraints:     666581
550.35/552.27	c #Conflicts:      83000 | #Constraints:     667581
550.35/552.27	c #Conflicts:      84000 | #Constraints:     668581
550.35/552.27	c INPROCESSING
550.35/552.27	c GARBAGE COLLECT
550.35/552.27	c rational objective 178.34
594.67/596.75	c #Conflicts:      85000 | #Constraints:     663772
594.67/596.75	c #Conflicts:      86000 | #Constraints:     664772
594.67/596.75	c #Conflicts:      87000 | #Constraints:     665772
594.67/596.75	c #Conflicts:      88000 | #Constraints:     666772
594.67/596.75	c #Conflicts:      89000 | #Constraints:     667772
594.67/596.75	c #Conflicts:      90000 | #Constraints:     668772
594.67/596.75	c INPROCESSING
594.67/596.75	c GARBAGE COLLECT
594.67/596.75	c rational objective 178.362
629.46/631.64	c #Conflicts:      91000 | #Constraints:     663767
629.46/631.64	c #Conflicts:      92000 | #Constraints:     664767
629.46/631.64	c #Conflicts:      93000 | #Constraints:     665767
629.46/631.64	c #Conflicts:      94000 | #Constraints:     666767
629.46/631.64	c #Conflicts:      95000 | #Constraints:     667767
629.46/631.64	c #Conflicts:      96000 | #Constraints:     668767
629.46/631.64	c INPROCESSING
629.46/631.64	c GARBAGE COLLECT
629.46/631.64	c rational objective 178.365
692.65/695.02	c #Conflicts:      97000 | #Constraints:     663570
692.65/695.02	c #Conflicts:      98000 | #Constraints:     664575
692.65/695.02	c #Conflicts:      99000 | #Constraints:     665587
692.65/695.02	c #Conflicts:     100000 | #Constraints:     666600
692.65/695.02	c #Conflicts:     101000 | #Constraints:     667614
692.65/695.02	c #Conflicts:     102000 | #Constraints:     668639
692.65/695.02	c #Conflicts:     103000 | #Constraints:     669648
692.65/695.02	c INPROCESSING
692.65/695.02	c GARBAGE COLLECT
692.65/695.02	c #Conflicts:     104000 | #Constraints:     664203
692.65/695.02	c #Conflicts:     105000 | #Constraints:     665206
692.65/695.02	c #Conflicts:     106000 | #Constraints:     666215
692.65/695.02	c #Conflicts:     107000 | #Constraints:     667220
692.65/695.02	c #Conflicts:     108000 | #Constraints:     668221
692.65/695.02	c #Conflicts:     109000 | #Constraints:     669221
692.65/695.02	c #Conflicts:     110000 | #Constraints:     670221
692.65/695.02	c INPROCESSING
692.65/695.02	c GARBAGE COLLECT
692.65/695.02	c rational objective 178.378
811.02/813.86	c #Conflicts:     111000 | #Constraints:     664595
811.02/813.86	c #Conflicts:     112000 | #Constraints:     665601
811.02/813.86	c #Conflicts:     113000 | #Constraints:     666610
811.02/813.86	c #Conflicts:     114000 | #Constraints:     667623
811.02/813.86	c #Conflicts:     115000 | #Constraints:     668628
811.02/813.86	c #Conflicts:     116000 | #Constraints:     669644
811.02/813.86	c #Conflicts:     117000 | #Constraints:     670662
811.02/813.86	c INPROCESSING
811.02/813.86	c GARBAGE COLLECT
811.02/813.86	c #Conflicts:     118000 | #Constraints:     664817
811.02/813.86	c #Conflicts:     119000 | #Constraints:     665835
811.02/813.86	c #Conflicts:     120000 | #Constraints:     666845
811.02/813.86	c #Conflicts:     121000 | #Constraints:     667855
811.02/813.86	c #Conflicts:     122000 | #Constraints:     668871
811.02/813.86	c #Conflicts:     123000 | #Constraints:     669878
811.02/813.86	c #Conflicts:     124000 | #Constraints:     670892
811.02/813.86	c INPROCESSING
811.02/813.86	c GARBAGE COLLECT
811.02/813.86	c #Conflicts:     125000 | #Constraints:     664846
811.02/813.86	c #Conflicts:     126000 | #Constraints:     665859
811.02/813.86	c #Conflicts:     127000 | #Constraints:     666871
811.02/813.86	c #Conflicts:     128000 | #Constraints:     667880
811.02/813.86	c #Conflicts:     129000 | #Constraints:     668891
811.02/813.86	c #Conflicts:     130000 | #Constraints:     669917
811.02/813.86	c #Conflicts:     131000 | #Constraints:     670952
811.02/813.86	c INPROCESSING
811.02/813.86	c GARBAGE COLLECT
811.02/813.86	c rational objective 178.378
891.87/894.94	c #Conflicts:     132000 | #Constraints:     664668
891.87/894.94	c #Conflicts:     133000 | #Constraints:     665675
891.87/894.94	c #Conflicts:     134000 | #Constraints:     666682
891.87/894.94	c #Conflicts:     135000 | #Constraints:     667709
891.87/894.94	c #Conflicts:     136000 | #Constraints:     668742
891.87/894.94	c #Conflicts:     137000 | #Constraints:     669772
891.87/894.94	c #Conflicts:     138000 | #Constraints:     670790
891.87/894.94	c #Conflicts:     139000 | #Constraints:     671795
891.87/894.94	c INPROCESSING
891.87/894.94	c GARBAGE COLLECT
891.87/894.94	c #Conflicts:     140000 | #Constraints:     665293
891.87/894.94	c #Conflicts:     141000 | #Constraints:     666305
891.87/894.94	c #Conflicts:     142000 | #Constraints:     667324
891.87/894.94	c #Conflicts:     143000 | #Constraints:     668342
891.87/894.94	c #Conflicts:     144000 | #Constraints:     669353
891.87/894.94	c #Conflicts:     145000 | #Constraints:     670386
891.87/894.94	c #Conflicts:     146000 | #Constraints:     671400
891.87/894.94	c #Conflicts:     147000 | #Constraints:     672406
891.87/894.94	c INPROCESSING
891.87/894.94	c GARBAGE COLLECT
891.87/894.94	c bounds 351 >= 9 @ 883.06
891.87/894.97	c bounds 351 >= 11 @ 883.075
891.87/894.98	c bounds 351 >= 13 @ 883.086
891.87/895.00	c bounds 351 >= 15 @ 883.095
891.96/895.02	c bounds 351 >= 17 @ 883.109
891.96/895.04	c bounds 351 >= 19 @ 883.125
893.26/896.36	c bounds 351 >= 21 @ 884.44
893.55/896.60	c bounds 351 >= 23 @ 884.661
894.26/897.39	c bounds 351 >= 25 @ 885.425
898.34/901.45	c #Conflicts:     148000 | #Constraints:     665761
898.34/901.45	c bounds 351 >= 27 @ 889.386
947.76/951.01	c #Conflicts:     149000 | #Constraints:     666779
947.76/951.01	c #Conflicts:     150000 | #Constraints:     667779
947.76/951.01	c #Conflicts:     151000 | #Constraints:     668779
947.76/951.01	c #Conflicts:     152000 | #Constraints:     669779
947.76/951.01	c #Conflicts:     153000 | #Constraints:     670779
947.76/951.01	c #Conflicts:     154000 | #Constraints:     671779
947.76/951.01	c #Conflicts:     155000 | #Constraints:     672779
947.76/951.01	c INPROCESSING
947.76/951.01	c GARBAGE COLLECT
947.76/951.01	c rational objective 178.378
958.53/961.86	c bounds 348 >= 27 @ 949.008
958.73/962.03	c bounds 342 >= 27 @ 949.169
958.73/962.06	c bounds 338 >= 27 @ 949.195
959.02/962.35	c bounds 336 >= 27 @ 949.473
971.98/975.32	c bounds 333 >= 27 @ 962.311
973.96/977.38	c bounds 332 >= 27 @ 964.337
974.27/977.64	c bounds 330 >= 27 @ 964.589
974.57/977.92	c bounds 324 >= 27 @ 964.866
1177.06/1181.15	c #Conflicts:     156000 | #Constraints:     665914
1177.06/1181.15	c #Conflicts:     157000 | #Constraints:     666914
1177.06/1181.15	c #Conflicts:     158000 | #Constraints:     667914
1177.06/1181.15	c #Conflicts:     159000 | #Constraints:     668914
1177.06/1181.15	c #Conflicts:     160000 | #Constraints:     669914
1177.06/1181.15	c #Conflicts:     161000 | #Constraints:     670914
1177.06/1181.15	c #Conflicts:     162000 | #Constraints:     671914
1177.06/1181.15	c #Conflicts:     163000 | #Constraints:     672962
1177.06/1181.15	c INPROCESSING
1177.06/1181.15	c GARBAGE COLLECT
1177.06/1181.15	c rational objective 178.378
1184.83/1188.98	c bounds 324 >= 28 @ 1173.73
1184.93/1189.00	c bounds 324 >= 29 @ 1173.75
1184.93/1189.02	c bounds 324 >= 30 @ 1173.76
1184.93/1189.04	c bounds 324 >= 31 @ 1173.76
1184.93/1189.05	c bounds 324 >= 32 @ 1173.77
1184.93/1189.07	c bounds 324 >= 33 @ 1173.78
1184.93/1189.09	c bounds 324 >= 34 @ 1173.79
1185.03/1189.12	c bounds 324 >= 35 @ 1173.81
1185.03/1189.14	c bounds 324 >= 36 @ 1173.83
1185.03/1189.17	c bounds 324 >= 37 @ 1173.85
1185.03/1189.19	c bounds 324 >= 38 @ 1173.87
1203.26/1207.47	c bounds 324 >= 39 @ 1192.04
1203.36/1207.50	c bounds 324 >= 40 @ 1192.08
1203.36/1207.55	c bounds 324 >= 41 @ 1192.11
1203.36/1207.58	c bounds 324 >= 42 @ 1192.13
1203.46/1207.61	c bounds 324 >= 43 @ 1192.16
1203.46/1207.64	c bounds 324 >= 44 @ 1192.18
1203.56/1207.72	c bounds 324 >= 45 @ 1192.25
1203.65/1207.84	c bounds 324 >= 46 @ 1192.36
1203.97/1208.12	c bounds 324 >= 47 @ 1192.63
1204.15/1208.35	c bounds 324 >= 48 @ 1192.84
1204.66/1208.81	c bounds 324 >= 49 @ 1193.28
1205.26/1209.46	c bounds 324 >= 50 @ 1193.92
1205.75/1209.96	c #Conflicts:     164000 | #Constraints:     666098
1205.75/1209.96	c bounds 324 >= 51 @ 1194.4
1206.65/1210.84	c bounds 324 >= 52 @ 1195.25
1208.04/1212.22	c bounds 324 >= 53 @ 1196.61
1208.74/1212.96	c bounds 324 >= 54 @ 1197.32
1209.54/1213.76	c #Conflicts:     165000 | #Constraints:     667215
1209.54/1213.76	c bounds 324 >= 55 @ 1198.1
1210.43/1214.60	c bounds 324 >= 56 @ 1198.91
1211.84/1216.08	c bounds 324 >= 57 @ 1200.36
1214.93/1219.14	c #Conflicts:     166000 | #Constraints:     668290
1214.93/1219.14	c bounds 324 >= 58 @ 1203.34
1226.29/1230.53	c #Conflicts:     167000 | #Constraints:     669314
1226.29/1230.53	c bounds 324 >= 59 @ 1214.53
1232.06/1236.34	c #Conflicts:     168000 | #Constraints:     670347
1232.06/1236.34	c #Conflicts:     169000 | #Constraints:     671347
1232.06/1236.34	c bounds 324 >= 60 @ 1220.17
1243.42/1247.77	c #Conflicts:     170000 | #Constraints:     672386
1243.42/1247.77	c bounds 324 >= 61 @ 1231.36
1317.05/1321.62	c #Conflicts:     171000 | #Constraints:     673419
1317.05/1321.62	c INPROCESSING
1317.05/1321.62	c GARBAGE COLLECT
1317.05/1321.62	c rational objective 178.378
1325.52/1330.14	c #Conflicts:     172000 | #Constraints:     666030
1325.52/1330.14	c bounds 324 >= 62 @ 1313.13
1333.10/1337.73	c #Conflicts:     173000 | #Constraints:     667061
1333.10/1337.73	c bounds 324 >= 63 @ 1320.58
1343.36/1348.04	c #Conflicts:     174000 | #Constraints:     668085
1343.36/1348.04	c #Conflicts:     175000 | #Constraints:     669085
1343.36/1348.04	c bounds 324 >= 64 @ 1330.72
1369.68/1374.47	c #Conflicts:     176000 | #Constraints:     670127
1369.68/1374.47	c #Conflicts:     177000 | #Constraints:     671127
1369.68/1374.47	c bounds 324 >= 65 @ 1356.76
1522.61/1527.96	c #Conflicts:     178000 | #Constraints:     672166
1522.61/1527.96	c #Conflicts:     179000 | #Constraints:     673166
1522.61/1527.96	c #Conflicts:     180000 | #Constraints:     674166
1522.61/1527.96	c INPROCESSING
1522.61/1527.96	c GARBAGE COLLECT
1522.61/1527.96	c bounds 324 >= 66 @ 1509.17
1540.55/1545.98	c #Conflicts:     181000 | #Constraints:     666698
1540.55/1545.98	c #Conflicts:     182000 | #Constraints:     667698
1540.55/1545.98	c #Conflicts:     183000 | #Constraints:     668698
1540.55/1545.98	c bounds 324 >= 67 @ 1526.86
1574.33/1579.84	c #Conflicts:     184000 | #Constraints:     669728
1574.33/1579.84	c #Conflicts:     185000 | #Constraints:     670728
1574.33/1579.84	c #Conflicts:     186000 | #Constraints:     671728
1574.33/1579.84	c #Conflicts:     187000 | #Constraints:     672728
1574.33/1579.84	c bounds 324 >= 68 @ 1560.23
1668.94/1674.73	c #Conflicts:     188000 | #Constraints:     673764
1668.94/1674.73	c #Conflicts:     189000 | #Constraints:     674764
1668.94/1674.73	c INPROCESSING
1668.94/1674.73	c GARBAGE COLLECT
1668.94/1674.73	c #Conflicts:     190000 | #Constraints:     667081
1668.94/1674.73	c #Conflicts:     191000 | #Constraints:     668081
1668.94/1674.73	c #Conflicts:     192000 | #Constraints:     669081
1668.94/1674.73	c bounds 324 >= 69 @ 1654.22
1851.19/1857.52	c #Conflicts:     193000 | #Constraints:     670136
1851.19/1857.52	c #Conflicts:     194000 | #Constraints:     671136
1851.19/1857.52	c #Conflicts:     195000 | #Constraints:     672136
1851.19/1857.52	c #Conflicts:     196000 | #Constraints:     673136
1851.19/1857.52	c #Conflicts:     197000 | #Constraints:     674136
1851.19/1857.52	c #Conflicts:     198000 | #Constraints:     675136
1851.19/1857.52	c INPROCESSING
1851.19/1857.52	c GARBAGE COLLECT
1851.19/1857.52	c rational objective 178.378
1859.86/1866.26	c bounds 324 >= 70 @ 1844.37
1965.14/1971.89	c #Conflicts:     199000 | #Constraints:     667340
1965.14/1971.89	c #Conflicts:     200000 | #Constraints:     668340
1965.14/1971.89	c #Conflicts:     201000 | #Constraints:     669340
1965.14/1971.89	c #Conflicts:     202000 | #Constraints:     670340
1965.14/1971.89	c #Conflicts:     203000 | #Constraints:     671341
1965.14/1971.89	c #Conflicts:     204000 | #Constraints:     672341
1965.14/1971.89	c #Conflicts:     205000 | #Constraints:     673342
1965.14/1971.89	c #Conflicts:     206000 | #Constraints:     674342
1965.14/1971.89	c #Conflicts:     207000 | #Constraints:     675342
1965.14/1971.89	c INPROCESSING
1965.14/1971.89	c GARBAGE COLLECT
1965.14/1971.89	c rational objective 178.378
1986.97/1993.78	c #Conflicts:     208000 | #Constraints:     667298
1986.97/1993.78	c #Conflicts:     209000 | #Constraints:     668298
1986.97/1993.78	c #Conflicts:     210000 | #Constraints:     669298
1986.97/1993.78	c bounds 324 >= 71 @ 1969.99
2036.51/2043.46	c #Conflicts:     211000 | #Constraints:     670355
2036.51/2043.46	c #Conflicts:     212000 | #Constraints:     671356
2036.51/2043.46	c #Conflicts:     213000 | #Constraints:     672356
2036.51/2043.46	c #Conflicts:     214000 | #Constraints:     673356
2036.51/2043.46	c #Conflicts:     215000 | #Constraints:     674356
2036.51/2043.46	c #Conflicts:     216000 | #Constraints:     675356
2036.51/2043.46	c INPROCESSING
2036.51/2043.46	c GARBAGE COLLECT
2036.51/2043.46	c rational objective 178.378
2193.45/2200.83	c #Conflicts:     217000 | #Constraints:     667127
2193.45/2200.83	c #Conflicts:     218000 | #Constraints:     668127
2193.45/2200.83	c #Conflicts:     219000 | #Constraints:     669127
2193.45/2200.83	c #Conflicts:     220000 | #Constraints:     670127
2193.45/2200.83	c #Conflicts:     221000 | #Constraints:     671127
2193.45/2200.83	c #Conflicts:     222000 | #Constraints:     672127
2193.45/2200.83	c #Conflicts:     223000 | #Constraints:     673127
2193.45/2200.83	c #Conflicts:     224000 | #Constraints:     674127
2193.45/2200.83	c #Conflicts:     225000 | #Constraints:     675127
2193.45/2200.83	c #Conflicts:     226000 | #Constraints:     676127
2193.45/2200.83	c INPROCESSING
2193.45/2200.83	c GARBAGE COLLECT
2193.45/2200.83	c rational objective 178.378
2200.13/2207.55	c bounds 324 >= 72 @ 2181.24
2440.77/2448.93	c #Conflicts:     227000 | #Constraints:     667766
2440.77/2448.93	c #Conflicts:     228000 | #Constraints:     668766
2440.77/2448.93	c #Conflicts:     229000 | #Constraints:     669766
2440.77/2448.93	c #Conflicts:     230000 | #Constraints:     670766
2440.77/2448.93	c #Conflicts:     231000 | #Constraints:     671766
2440.77/2448.93	c #Conflicts:     232000 | #Constraints:     672766
2440.77/2448.93	c #Conflicts:     233000 | #Constraints:     673766
2440.77/2448.93	c #Conflicts:     234000 | #Constraints:     674766
2440.77/2448.93	c #Conflicts:     235000 | #Constraints:     675766
2440.77/2448.93	c #Conflicts:     236000 | #Constraints:     676766
2440.77/2448.93	c INPROCESSING
2440.77/2448.93	c GARBAGE COLLECT
2440.77/2448.93	c #Conflicts:     237000 | #Constraints:     668144
2440.77/2448.93	c #Conflicts:     238000 | #Constraints:     669144
2440.77/2448.93	c #Conflicts:     239000 | #Constraints:     670144
2440.77/2448.93	c #Conflicts:     240000 | #Constraints:     671144
2440.77/2448.93	c #Conflicts:     241000 | #Constraints:     672144
2440.77/2448.93	c #Conflicts:     242000 | #Constraints:     673144
2440.77/2448.93	c #Conflicts:     243000 | #Constraints:     674144
2440.77/2448.93	c #Conflicts:     244000 | #Constraints:     675144
2440.77/2448.93	c #Conflicts:     245000 | #Constraints:     676144
2440.77/2448.93	c #Conflicts:     246000 | #Constraints:     677144
2440.77/2448.93	c INPROCESSING
2440.77/2448.93	c GARBAGE COLLECT
2440.77/2448.93	c rational objective 178.378
2494.61/2502.95	c #Conflicts:     247000 | #Constraints:     668336
2494.61/2502.95	c #Conflicts:     248000 | #Constraints:     669336
2494.61/2502.95	c #Conflicts:     249000 | #Constraints:     670336
2494.61/2502.95	c #Conflicts:     250000 | #Constraints:     671336
2494.61/2502.95	c bounds 324 >= 73 @ 2472.23
3038.24/3048.22	c #Conflicts:     251000 | #Constraints:     672393
3038.24/3048.22	c #Conflicts:     252000 | #Constraints:     673393
3038.24/3048.22	c #Conflicts:     253000 | #Constraints:     674393
3038.24/3048.22	c #Conflicts:     254000 | #Constraints:     675393
3038.24/3048.22	c #Conflicts:     255000 | #Constraints:     676393
3038.24/3048.22	c #Conflicts:     256000 | #Constraints:     677393
3038.24/3048.22	c INPROCESSING
3038.24/3048.22	c GARBAGE COLLECT
3038.24/3048.22	c #Conflicts:     257000 | #Constraints:     668369
3038.24/3048.22	c #Conflicts:     258000 | #Constraints:     669369
3038.24/3048.22	c #Conflicts:     259000 | #Constraints:     670369
3038.24/3048.22	c #Conflicts:     260000 | #Constraints:     671369
3038.24/3048.22	c #Conflicts:     261000 | #Constraints:     672369
3038.24/3048.22	c #Conflicts:     262000 | #Constraints:     673369
3038.24/3048.22	c #Conflicts:     263000 | #Constraints:     674369
3038.24/3048.22	c #Conflicts:     264000 | #Constraints:     675369
3038.24/3048.22	c #Conflicts:     265000 | #Constraints:     676369
3038.24/3048.22	c #Conflicts:     266000 | #Constraints:     677369
3038.24/3048.22	c INPROCESSING
3038.24/3048.22	c GARBAGE COLLECT
3038.24/3048.22	c rational objective 178.378
3127.38/3137.66	c #Conflicts:     267000 | #Constraints:     668156
3127.38/3137.66	c #Conflicts:     268000 | #Constraints:     669156
3127.38/3137.66	c #Conflicts:     269000 | #Constraints:     670156
3127.38/3137.66	c #Conflicts:     270000 | #Constraints:     671156
3127.38/3137.66	c #Conflicts:     271000 | #Constraints:     672156
3127.38/3137.66	c #Conflicts:     272000 | #Constraints:     673156
3127.38/3137.66	c #Conflicts:     273000 | #Constraints:     674156
3127.38/3137.66	c #Conflicts:     274000 | #Constraints:     675156
3127.38/3137.66	c bounds 324 >= 74 @ 3101.05
3297.87/3308.61	c #Conflicts:     275000 | #Constraints:     676222
3297.87/3308.61	c #Conflicts:     276000 | #Constraints:     677222
3297.87/3308.61	c #Conflicts:     277000 | #Constraints:     678222
3297.87/3308.61	c INPROCESSING
3297.87/3308.61	c GARBAGE COLLECT
3297.87/3308.61	c rational objective 178.378
3588.97/3600.60	c #Conflicts:     278000 | #Constraints:     668798
3588.97/3600.60	c #Conflicts:     279000 | #Constraints:     669799
3588.97/3600.60	c #Conflicts:     280000 | #Constraints:     670799
3588.97/3600.60	c #Conflicts:     281000 | #Constraints:     671799
3588.97/3600.60	c #Conflicts:     282000 | #Constraints:     672799
3588.97/3600.60	c #Conflicts:     283000 | #Constraints:     673799
3588.97/3600.60	c #Conflicts:     284000 | #Constraints:     674799
3588.97/3600.60	c #Conflicts:     285000 | #Constraints:     675799
3588.97/3600.60	c #Conflicts:     286000 | #Constraints:     676799
3588.97/3600.60	c #Conflicts:     287000 | #Constraints:     677799
3588.97/3600.60	c #Conflicts:     288000 | #Constraints:     678799
3588.97/3600.60	c INPROCESSING
3588.97/3600.60	c GARBAGE COLLECT
3588.97/3600.60	c rational objective 178.378
3600.05/3611.73	c cpu time 3571 s
3600.05/3611.73	c deterministic time 108467983695 1.08e+11
3600.05/3611.73	c optimization time 7.36383 s
3600.05/3611.73	c total solve time 3560.75 s
3600.05/3611.73	c core-guided solve time 3259.91 s
3600.05/3611.73	c propagation time 1091.33 s
3600.05/3611.73	c conflict analysis time 698.447 s
3600.05/3611.73	c propagations 80321151
3600.05/3611.73	c resolve steps 5612395
3600.05/3611.73	c decisions 10041677
3600.05/3611.73	c conflicts 288866
3600.05/3611.73	c restarts 696
3600.05/3611.73	c inprocessing phases 45
3600.05/3611.73	c garbage collections 45 ,( 100.00 )
3600.05/3611.73	c input clauses 657234 ,( 99.85 )
3600.05/3611.73	c input cardinalities 394 ,( 0.06 )
3600.05/3611.73	c input general constraints 596 ,( 0.09 )
3600.05/3611.73	c input average constraint length 6.37
3600.05/3611.73	c input average constraint degree 112.23
3600.05/3611.73	c learned clauses 238941 ,( 82.41 )
3600.05/3611.73	c learned cardinalities 37 ,( 0.01 )
3600.05/3611.73	c learned general constraints 50964 ,( 17.58 )
3600.05/3611.73	c learned average constraint length 2034.03
3600.05/3611.73	c learned average constraint degree 11022481213.36
3600.05/3611.73	c watched  CF 32, 64, 128, Arb: 2138 , 0 , 0 , 0
3600.05/3611.73	c counting CF 32, 64, 128, Arb: 49423 , 0 , 0 , 0
3600.05/3611.73	c watched   constraints 2138 ,( 4.15 ) 
3600.05/3611.73	c counting  constraints 49422 ,( 95.85 ) 
3600.05/3611.73	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 87622278 , 2815108 , 722923579 ,( 18706636 , 704216943 )
3600.05/3611.73	c gcd simplifications 7448
3600.05/3611.73	c detected cardinalities 3
3600.05/3611.73	c weakened non-implied lits 596190268
3600.05/3611.73	c weakened non-implying lits 170173
3600.05/3611.73	c original variables 10000
3600.05/3611.73	c clausal propagations 22029841
3600.05/3611.73	c cardinality propagations 253954
3600.05/3611.73	c watched propagations 20520
3600.05/3611.73	c counting propagations 56001390
3600.05/3611.73	c watch lookups 8228084160
3600.05/3611.73	c watch backjump lookups 0
3600.05/3611.73	c watch checks 5011674789
3600.05/3611.73	c propagation checks 91664680342
3600.05/3611.73	c constraint additions 3381978797
3600.05/3611.73	c trail pops 90642073
3600.05/3611.73	c formula constraints 656900
3600.05/3611.73	c learned constraints 288736
3600.05/3611.73	c bound constraints 206
3600.05/3611.73	c core-guided constraints 1118
3600.05/3611.73	c encountered formula constraints 3295572
3600.05/3611.73	c encountered learned constraints 1736658
3600.05/3611.73	c encountered bound constraints 8504
3600.05/3611.73	c encountered core-guided constraints 852125
3600.05/3611.73	c LP total time 2299.17 s
3600.05/3611.73	c LP solve time 2107.66 s
3600.05/3611.73	c LP constraints added 656993
3600.05/3611.73	c LP constraints removed 52
3600.05/3611.73	c LP pivots internal 290359
3600.05/3611.73	c LP pivots root 270346
3600.05/3611.73	c LP calls 1264
3600.05/3611.73	c LP optimalities 178
3600.05/3611.73	c LP no pivot count 4
3600.05/3611.73	c LP infeasibilities 1041
3600.05/3611.73	c LP valid Farkas constraints 1037
3600.05/3611.73	c LP learned Farkas constraints 133
3600.05/3611.73	c LP basis resets 44
3600.05/3611.73	c LP cycling count 17
3600.05/3611.73	c LP singular count 15
3600.05/3611.73	c LP no primal count 0
3600.05/3611.73	c LP no farkas count 4
3600.05/3611.73	c LP other issue count 8
3600.05/3611.73	c LP Gomory cuts 36
3600.05/3611.73	c LP learned cuts 57
3600.05/3611.73	c LP deleted cuts 52
3600.05/3611.73	c LP encountered Gomory constraints 0
3600.05/3611.73	c LP encountered Farkas constraints 8191
3600.05/3611.73	c LP encountered learned Farkas constraints 78
3600.05/3611.73	c CG auxiliary variables introduced 392
3600.05/3611.73	c CG solutions found 147
3600.05/3611.73	c CG cores constructed 58
3600.05/3611.73	c CG core cardinality constraints returned 0
3600.05/3611.73	c CG unit cores 0
3600.05/3611.73	c CG single cores 58
3600.05/3611.73	c CG blocks removed during cardinality reduction 0
3600.05/3611.73	c CG first core best 0
3600.05/3611.73	c CG decision core best 0
3600.05/3611.73	c CG core reduction tie 0
3600.05/3611.73	c CG core degree average 1.00
3600.05/3611.73	c CG core slack average 939.78
3600.05/3611.73	c CG core upper bound improvements 9
3600.05/3611.73	c STR number of successful calls 0
3600.05/3611.73	c STR number of unsuccessful calls 0
3600.05/3611.73	c STR number of inconclusive calls 0
3600.05/3611.73	c STR number of successful attempts 0
3600.05/3611.73	c STR number of unsuccessful attempts 0
3600.05/3611.73	c STR number of inconclusive attempts 0
3600.05/3611.73	c STR average degree increase per successful call inf
3600.05/3611.73	c STR average degree increase per successful attempt inf
3600.05/3611.73	c STR total number of conflicts for successful attempts 0
3600.05/3611.73	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.73	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.73	c STR average number of conflicts per successful attempt inf
3600.05/3611.73	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.73	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.73	c AVG.sumWPerc 92.23 
3600.05/3611.73	c bigint constraints 0 
3600.05/3611.73	o 324
3600.05/3611.73	s SATISFIABLE
3600.05/3611.73	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/3611.73	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: 63665 MiB (48693 MiB free)
  memory of node 1: 64507 MiB (50570 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=147305, runsolver pid=147297

[startup+0.100059 s]*
/proc/loadavg: 0.14 0.10 0.09 6/268 147313
/proc/meminfo: memFree=101209628/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147308] ppid=147305 vsize=165748 memory=150472 CPUtime=0.08 cores=0,2
/proc/147308/stat : 147308 (pbsuma) R 147305 147305 147232 0 -1 4194304 4662 0 0 0 5 3 0 0 20 0 1 0 183982714 169725952 37618 18446744073709551615 4210688 4653049 140731927257760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 37711872 140731927263495 140731927263792 140731927263792 140731927269359 0
/proc/147308/statm: 41437 37618 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153416 KiB

[startup+0.204673 s]*
/proc/loadavg: 0.14 0.10 0.09 6/268 147313
/proc/meminfo: memFree=101151792/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147308] ppid=147305 vsize=181712 memory=167748 CPUtime=0.19 cores=0,2
/proc/147308/stat : 147308 (pbsuma) R 147305 147305 147232 0 -1 4194304 8911 0 0 0 14 5 0 0 20 0 1 0 183982714 186073088 41937 18446744073709551615 4210688 4653049 140731927257760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 37711872 140731927263495 140731927263792 140731927263792 140731927269359 0
/proc/147308/statm: 45428 41937 960 108 0 42836 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185904 KiB
Current children cumulated memory: 170692 KiB

[startup+0.305863 s]*
/proc/loadavg: 0.14 0.10 0.09 6/268 147313
/proc/meminfo: memFree=101087652/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147308] ppid=147305 vsize=195708 memory=184292 CPUtime=0.29 cores=0,2
/proc/147308/stat : 147308 (pbsuma) R 147305 147305 147232 0 -1 4194304 12024 0 0 0 23 6 0 0 20 0 1 0 183982714 200404992 46073 18446744073709551615 4210688 4653049 140731927257760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 37711872 140731927263495 140731927263792 140731927263792 140731927269359 0
/proc/147308/statm: 48927 46073 960 108 0 46335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199900 KiB
Current children cumulated memory: 187236 KiB

[startup+0.700158 s]
/proc/loadavg: 0.14 0.10 0.09 6/268 147314
/proc/meminfo: memFree=100849568/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147308] ppid=147305 vsize=309824 memory=262512 CPUtime=0.68 cores=0,2
/proc/147308/stat : 147308 (pbsuma) R 147305 147305 147232 0 -1 4194304 21899 0 0 0 60 8 0 0 20 0 1 0 183982714 317259776 65628 18446744073709551615 4210688 4653049 140731927257760 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 37711872 140731927263495 140731927263792 140731927263792 140731927269359 0
/proc/147308/statm: 77456 65628 992 108 0 74864 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 314016 KiB
Current children cumulated memory: 265456 KiB

[startup+1.50011 s]
/proc/loadavg: 0.44 0.16 0.11 6/268 147317
/proc/meminfo: memFree=101216060/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=105484 memory=59164 CPUtime=0.49 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 12428 0 0 0 38 11 0 0 20 0 1 0 183982812 108015616 14791 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 26371 14791 2016 1147 0 13797 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 109676 KiB
Current children cumulated memory: 62108 KiB

[startup+3.10445 s]
/proc/loadavg: 0.44 0.16 0.11 6/268 147317
/proc/meminfo: memFree=100796856/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=264244 memory=206560 CPUtime=2.09 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 46302 0 0 0 161 48 0 0 20 0 1 0 183982812 270585856 51640 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 66061 51640 2016 1147 0 53487 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 268436 KiB
Current children cumulated memory: 209504 KiB

[startup+6.30011 s]
/proc/loadavg: 0.73 0.22 0.13 6/269 147318
/proc/meminfo: memFree=98734072/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=1064972 memory=805616 CPUtime=5.29 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 87418 0 0 0 448 81 0 0 20 0 1 0 183982812 1090531328 201404 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 266243 201404 2336 1147 0 253669 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1069164 KiB
Current children cumulated memory: 808560 KiB

[startup+12.7001 s]
/proc/loadavg: 1.07 0.30 0.16 6/269 147318
/proc/meminfo: memFree=98558488/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=1261904 memory=943224 CPUtime=11.66 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 94849 0 0 0 1062 104 0 0 20 0 1 0 183982812 1292189696 235806 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 315476 235806 2432 1147 0 302902 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1266096 KiB
Current children cumulated memory: 946168 KiB

[startup+25.5002 s]
/proc/loadavg: 1.52 0.43 0.20 6/269 147319
/proc/meminfo: memFree=97774892/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=1356088 memory=1034824 CPUtime=24.42 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 105491 0 0 0 2299 143 0 0 20 0 1 0 183982812 1388634112 258706 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 339022 258706 2432 1147 0 326448 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1360280 KiB
Current children cumulated memory: 1037768 KiB

[startup+51.1045 s]
/proc/loadavg: 2.71 0.82 0.34 6/269 147319
/proc/meminfo: memFree=96182328/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=1394980 memory=1092432 CPUtime=49.97 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 111236 0 0 0 4827 170 0 0 20 0 1 0 183982812 1428459520 273108 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 348745 273108 2432 1147 0 336171 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1399172 KiB
Current children cumulated memory: 1095376 KiB

[startup+102.3 s]
/proc/loadavg: 3.79 1.42 0.57 6/271 147323
/proc/meminfo: memFree=94325560/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=1536140 memory=1202452 CPUtime=101.02 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 121251 0 0 0 9884 218 0 0 20 0 1 0 183982812 1573007360 300613 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 384035 300613 2432 1147 0 371461 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1540332 KiB
Current children cumulated memory: 1205396 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 1.95 0.81 6/272 147326
/proc/meminfo: memFree=92498188/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=1546408 memory=1226008 CPUtime=160.82 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 122561 0 0 0 15815 267 0 0 20 0 1 0 183982812 1583521792 306502 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 386602 306502 2432 1147 0 374028 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1550600 KiB
Current children cumulated memory: 1228952 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 2.40 1.04 6/272 147328
/proc/meminfo: memFree=89410192/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=1757168 memory=1395912 CPUtime=220.62 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 130594 0 0 0 21744 318 0 0 20 0 1 0 183982812 1799340032 348978 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 439292 348978 2432 1147 0 426718 0
Current children cumulated CPU time: 221.58 s

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

[pid=147317] ppid=147305 vsize=4346960 memory=3524348 CPUtime=3091.22 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 646036 0 0 0 306642 2480 0 0 20 0 1 0 183982812 4451287040 881087 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1086740 881087 2528 1147 0 1074166 0
Current children cumulated CPU time: 3092.18 s
Current children cumulated vsize: 4351152 KiB
Current children cumulated memory: 3527292 KiB

[startup+3162.3 s]
/proc/loadavg: 4.47 4.39 4.29 6/272 147501
/proc/meminfo: memFree=1327616/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4346960 memory=3524348 CPUtime=3151.05 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 646040 0 0 0 312525 2580 0 0 20 0 1 0 183982812 4451287040 881087 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1086740 881087 2528 1147 0 1074166 0
Current children cumulated CPU time: 3152.01 s
Current children cumulated vsize: 4351152 KiB
Current children cumulated memory: 3527292 KiB

[startup+3222.3 s]
/proc/loadavg: 4.44 4.40 4.29 6/272 147503
/proc/meminfo: memFree=1281124/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4346960 memory=3524348 CPUtime=3210.86 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 646125 0 0 0 318500 2586 0 0 20 0 1 0 183982812 4451287040 881087 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1086740 881087 2528 1147 0 1074166 0
Current children cumulated CPU time: 3211.82 s
Current children cumulated vsize: 4351152 KiB
Current children cumulated memory: 3527292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.35 4.28 6/272 147505
/proc/meminfo: memFree=1415644/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4346960 memory=3524348 CPUtime=3270.69 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 646143 0 0 0 324480 2589 0 0 20 0 1 0 183982812 4451287040 881087 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1086740 881087 2528 1147 0 1074166 0
Current children cumulated CPU time: 3271.65 s
Current children cumulated vsize: 4351152 KiB
Current children cumulated memory: 3527292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.38 4.29 6/270 147507
/proc/meminfo: memFree=1412052/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4346960 memory=3524348 CPUtime=3330.5 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 647874 0 0 0 330430 2620 0 0 20 0 1 0 183982812 4451287040 881087 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1086740 881087 2528 1147 0 1074166 0
Current children cumulated CPU time: 3331.46 s
Current children cumulated vsize: 4351152 KiB
Current children cumulated memory: 3527292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.34 4.28 6/271 147510
/proc/meminfo: memFree=1211972/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4346960 memory=3524348 CPUtime=3390.32 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 649188 0 0 0 336325 2707 0 0 20 0 1 0 183982812 4451287040 881087 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1086740 881087 2528 1147 0 1074166 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 4351152 KiB
Current children cumulated memory: 3527292 KiB

[startup+3462.3 s]
/proc/loadavg: 4.50 4.39 4.30 6/271 147512
/proc/meminfo: memFree=1239808/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4349652 memory=3527076 CPUtime=3450.14 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 651225 0 0 0 342235 2779 0 0 20 0 1 0 183982812 4454043648 881769 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1087413 881769 2528 1147 0 1074839 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 4353844 KiB
Current children cumulated memory: 3530020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.53 4.42 4.32 6/270 147514
/proc/meminfo: memFree=1343856/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4349652 memory=3527076 CPUtime=3509.95 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 651292 0 0 0 348212 2783 0 0 20 0 1 0 183982812 4454043648 881769 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1087413 881769 2528 1147 0 1074839 0
Current children cumulated CPU time: 3510.91 s
Current children cumulated vsize: 4353844 KiB
Current children cumulated memory: 3530020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.42 4.32 6/270 147516
/proc/meminfo: memFree=1372824/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4349652 memory=3527076 CPUtime=3569.77 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 651302 0 0 0 354190 2787 0 0 20 0 1 0 183982812 4454043648 881769 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1087413 881769 2528 1147 0 1074839 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 4353844 KiB
Current children cumulated memory: 3530020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.41 4.40 4.32 4/261 147540
/proc/meminfo: memFree=8777596/131249988 swapFree=33010160/33010684
[pid=147305] ppid=147297 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/147305/stat : 147305 (run-opt-ls-log.) S 147297 147305 147232 0 -1 4194304 239 29110 0 0 0 0 84 12 20 0 1 0 183982713 4292608 736 18446744073709551615 94642119581696 94642120476229 140729516940368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94642120715280 94642120763024 94642121629696 140729516947775 140729516947935 140729516947935 140729516953539 0
/proc/147305/statm: 1048 736 672 219 0 110 0
[pid=147317] ppid=147305 vsize=4349652 memory=3527076 CPUtime=3599.09 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147305 147305 147232 0 -1 4194304 651618 0 0 0 357100 2809 0 0 20 0 1 0 183982812 4454043648 881769 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 1087413 881769 2528 1147 0 1074839 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4353844 KiB
Current children cumulated memory: 3530020 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.841812 s, system=0.127963 s

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

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

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

[startup+3611.8 s]*
/proc/loadavg: 4.38 4.40 4.32 2/257 147544
/proc/meminfo: memFree=12819144/131249988 swapFree=33010160/33010684
[pid=147317] ppid=147297 vsize=2694084 memory=2338388 CPUtime=3599.16 cores=0,2
/proc/147317/stat : 147317 (roundingsat) R 147297 147305 147232 0 -1 4194304 651628 0 2 0 357106 2810 0 0 20 0 1 0 183982812 2758742016 584597 18446744073709551615 4227072 8923577 140735837036944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26423296 140735837042970 140735837043238 140735837043238 140735837048810 0
/proc/147317/statm: 673521 584597 2560 1147 0 660947 0
Current cumulated CPU time of completed processes: 0.969775 s
Current children cumulated CPU time: 3599.16 s
Current children cumulated vsize: 2694084 KiB
Current children cumulated memory: 2338388 KiB

Child status: 2

Real time (s): 3611.89
CPU time (s): 3600.22
CPU user time (s): 3571.92
CPU system time (s): 28.306
CPU usage (%): 99.677
Max. virtual memory (cumulated for all children) (KiB): 4402408
Max. memory (cumulated for all children) (KiB): 3573724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.92
system time used= 28.306
maximum resident set size= 3570836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680992
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 49251632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242
involuntary context switches= 8143


# summary of solver processes directly reported to runsolver:
#   pid: 147305,147317
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3571.92
#   total CPU system time (s): 28.306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67945 second user time and 12.9083 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-16 18:23:59
IDJOB=4531823
IDBENCH=147563
IDSOLVER=3392
FILE ID=nodeC034/4531823-1752683038
RUNJOBID= nodeC034-1752683038-147249
SLURM_JOB_ID= 9686929
Free space on /tmp= 431804 MiB

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

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=210464024

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        101638352 kB
MemAvailable:   129612852 kB
Buffers:            2128 kB
Cached:         28714604 kB
SwapCached:           36 kB
Active:          1000488 kB
Inactive:       27853796 kB
Active(anon):     161656 kB
Inactive(anon):     2156 kB
Active(file):     838832 kB
Inactive(file): 27851640 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             79780 kB
Writeback:             0 kB
AnonPages:        141052 kB
Mapped:           108860 kB
Shmem:             26260 kB
KReclaimable:     246132 kB
Slab:             344384 kB
SReclaimable:     246132 kB
SUnreclaim:        98252 kB
KernelStack:        4128 kB
PageTables:         3068 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     444504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

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