Trace number 4531821

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)288 3600.14 3611.37

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUMfd0e2798224bd891f728fecfed3c6d1b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark236
Best CPU time to get the best result obtained on this benchmark12722.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 495618
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 495618
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-4531821-1752683038.opb'
0.29/0.33	c 	read 17.23MB  (324.15ms)
0.29/0.33	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.33	c output proof to '/tmp/proof-4531821-1752683038'
0.29/0.33	c 
0.29/0.33	c make graph and approximate orbits
0.58/0.69	c	 [group: #orbits ~= 0] (355.34ms)
0.58/0.69	c 
0.58/0.69	c detect special group actions
0.58/0.69	c 	probe for Johnson action (limit=64)
0.58/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.71	c 	 (21.56ms)
0.67/0.71	c 
0.67/0.71	c detect symmetries on remainder
0.67/0.71	c 	[graph: #vertices 706700 #edges 2766398]
0.67/0.71	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.75	c 	 [group: #symmetries 1.00*10^0 #generators 0] (47.79ms)
0.67/0.75	c 
0.67/0.75	c finalize break order and special generators
0.67/0.76	c 
0.67/0.76	c generation finished
0.67/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.76	c 
0.67/0.76	c write result to 'HOME/instance-4531821-1752683038.opb.pre'
0.67/0.79	c 	wrote 17.23MB (35.60ms)
0.67/0.79	c ------------------------------------------------------------------
0.67/0.79	c                 355.34ms 45.12% approx_orbits
0.67/0.79	c                 324.14ms 41.16% parse
0.67/0.79	c                  47.79ms  6.07% detect_generic
0.67/0.79	c                  35.60ms  4.52% output
0.67/0.79	c                  21.56ms  2.74% detect_special
0.67/0.79	c                   2.70ms  0.34% other
0.67/0.79	c                   0.39ms  0.05% finalize_order
0.67/0.79	c         ───────────────────────────────────────────────
0.67/0.79	c                 787.53ms   100% total
0.67/0.79	c ------------------------------------------------------------------
0.88/0.93	c RoundingSat 2
0.88/0.93	c branch pb25
0.88/0.93	c commit 0f876b3
4.56/4.60	c #variables 10000 #constraints 656900
4.56/4.60	c objective is ce32 
5.35/5.46	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.35/5.46	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.35/5.46	c bounds 5439 >= 0 @ 3.79655
7.05/7.19	c rational objective 177.855
10.54/10.66	c bounds 5438 >= 0 @ 8.88021
10.54/10.67	c bounds 5137 >= 0 @ 8.88584
10.54/10.68	c bounds 5132 >= 0 @ 8.89614
10.54/10.68	c bounds 5129 >= 0 @ 8.90132
10.64/10.70	c bounds 5111 >= 0 @ 8.91347
10.64/10.70	c bounds 5057 >= 0 @ 8.91789
10.64/10.72	c bounds 5026 >= 0 @ 8.92776
10.64/10.73	c bounds 5024 >= 0 @ 8.94324
10.64/10.74	c bounds 5016 >= 0 @ 8.95418
10.64/10.76	c bounds 5011 >= 0 @ 8.9698
10.64/10.77	c bounds 4879 >= 0 @ 8.9748
10.64/10.77	c bounds 4874 >= 0 @ 8.97931
10.64/10.78	c bounds 4794 >= 0 @ 8.98517
10.74/10.82	c bounds 4783 >= 0 @ 9.0181
10.74/10.83	c bounds 4777 >= 0 @ 9.02343
10.74/10.83	c bounds 4708 >= 0 @ 9.02838
10.74/10.84	c bounds 4571 >= 0 @ 9.03436
10.74/10.85	c bounds 4467 >= 0 @ 9.03939
10.74/10.85	c bounds 4373 >= 0 @ 9.04359
10.74/10.86	c bounds 4306 >= 0 @ 9.04767
10.74/10.87	c bounds 4292 >= 0 @ 9.05383
10.74/10.89	c bounds 4281 >= 0 @ 9.0692
10.84/10.90	c bounds 4174 >= 0 @ 9.07417
10.84/10.90	c bounds 4123 >= 0 @ 9.08057
10.84/10.92	c bounds 4105 >= 0 @ 9.09097
10.84/10.95	c bounds 4103 >= 0 @ 9.12327
10.84/10.97	c bounds 4075 >= 0 @ 9.13789
10.84/10.99	c bounds 4056 >= 0 @ 9.15994
10.94/11.00	c bounds 4055 >= 0 @ 9.16589
10.94/11.01	c bounds 4047 >= 0 @ 9.17164
10.94/11.02	c bounds 4040 >= 0 @ 9.18089
10.94/11.03	c bounds 3920 >= 0 @ 9.18579
10.94/11.04	c bounds 3914 >= 0 @ 9.19164
10.94/11.05	c bounds 3911 >= 0 @ 9.20747
10.94/11.06	c bounds 3846 >= 0 @ 9.21353
10.94/11.07	c bounds 3701 >= 0 @ 9.21951
10.94/11.09	c bounds 3700 >= 0 @ 9.23548
10.94/11.10	c bounds 3627 >= 0 @ 9.24264
11.04/11.11	c bounds 3586 >= 0 @ 9.24788
11.04/11.12	c bounds 3568 >= 0 @ 9.26156
11.04/11.14	c bounds 3561 >= 0 @ 9.27249
11.04/11.15	c bounds 3559 >= 0 @ 9.27803
11.04/11.16	c bounds 3551 >= 0 @ 9.2933
11.04/11.17	c bounds 3417 >= 0 @ 9.30088
11.04/11.18	c bounds 3357 >= 0 @ 9.30337
11.14/11.22	c bounds 3347 >= 0 @ 9.33691
11.14/11.23	c bounds 3340 >= 0 @ 9.35019
11.14/11.26	c bounds 3334 >= 0 @ 9.38018
11.14/11.29	c bounds 3307 >= 0 @ 9.40071
11.14/11.30	c bounds 3249 >= 0 @ 9.40656
11.23/11.30	c bounds 3185 >= 0 @ 9.41111
11.23/11.31	c bounds 3184 >= 0 @ 9.41819
11.23/11.32	c bounds 3137 >= 0 @ 9.42401
11.23/11.36	c bounds 3129 >= 0 @ 9.45638
11.23/11.37	c bounds 3112 >= 0 @ 9.46762
11.34/11.42	c bounds 3064 >= 0 @ 9.51577
11.73/11.81	c bounds 3063 >= 0 @ 9.88697
11.73/11.83	c bounds 3050 >= 0 @ 9.90825
11.73/11.84	c bounds 2992 >= 0 @ 9.91546
11.73/11.85	c bounds 2960 >= 0 @ 9.92321
11.73/11.86	c bounds 2885 >= 0 @ 9.93161
11.73/11.87	c bounds 2830 >= 0 @ 9.93763
11.73/11.88	c bounds 2829 >= 0 @ 9.9436
11.73/11.89	c bounds 2788 >= 0 @ 9.95286
11.84/11.90	c bounds 2785 >= 0 @ 9.95995
11.84/11.92	c bounds 2776 >= 0 @ 9.97393
11.84/11.93	c bounds 2760 >= 0 @ 9.98134
11.84/11.94	c bounds 2728 >= 0 @ 9.9848
11.84/11.95	c bounds 2727 >= 0 @ 9.99334
11.84/11.96	c bounds 2696 >= 0 @ 9.99887
11.84/11.97	c bounds 2596 >= 0 @ 10.0036
11.84/11.98	c bounds 2534 >= 0 @ 10.0098
11.94/12.08	c bounds 2511 >= 0 @ 10.1032
11.94/12.10	c bounds 2390 >= 0 @ 10.111
12.13/12.21	c bounds 2384 >= 0 @ 10.2259
12.23/12.35	c bounds 2382 >= 0 @ 10.3617
12.23/12.37	c bounds 2238 >= 0 @ 10.3679
12.23/12.38	c bounds 2236 >= 0 @ 10.3788
12.23/12.39	c bounds 1977 >= 0 @ 10.3875
12.34/12.40	c bounds 1957 >= 0 @ 10.3955
12.34/12.41	c bounds 1946 >= 0 @ 10.4001
12.34/12.42	c bounds 1920 >= 0 @ 10.4073
12.34/12.43	c bounds 1850 >= 0 @ 10.417
12.74/12.89	c bounds 1849 >= 0 @ 10.8655
12.83/12.91	c bounds 1839 >= 0 @ 10.8843
12.83/12.93	c bounds 1779 >= 0 @ 10.8924
12.83/12.94	c bounds 1775 >= 0 @ 10.8995
12.94/13.05	c bounds 1762 >= 0 @ 10.9997
12.94/13.07	c bounds 1750 >= 0 @ 11.0232
12.94/13.08	c bounds 1687 >= 0 @ 11.0318
12.94/13.10	c bounds 1677 >= 0 @ 11.0444
13.03/13.13	c bounds 1643 >= 0 @ 11.0778
13.03/13.15	c bounds 1514 >= 0 @ 11.0877
13.13/13.25	c bounds 1453 >= 0 @ 11.1805
13.13/13.26	c bounds 1445 >= 0 @ 11.1888
13.13/13.27	c bounds 1250 >= 0 @ 11.195
13.13/13.28	c bounds 1182 >= 0 @ 11.2019
13.13/13.29	c bounds 1090 >= 0 @ 11.2077
13.24/13.31	c bounds 1016 >= 0 @ 11.2169
14.23/14.35	c bounds 1015 >= 0 @ 12.2272
15.94/16.06	c bounds 1008 >= 0 @ 13.8916
16.62/16.71	c #Conflicts:       1000 | #Constraints:     658015
16.62/16.71	c bounds 1007 >= 0 @ 14.5281
16.62/16.73	c bounds 921 >= 0 @ 14.5374
16.62/16.74	c bounds 867 >= 0 @ 14.5494
16.82/16.91	c bounds 814 >= 0 @ 14.7112
17.32/17.41	c bounds 807 >= 0 @ 15.1912
17.62/17.76	c bounds 773 >= 0 @ 15.5234
17.62/17.78	c bounds 707 >= 0 @ 15.5371
19.42/19.56	c #Conflicts:       2000 | #Constraints:     659023
19.42/19.56	c INPROCESSING
19.42/19.56	c GARBAGE COLLECT
19.42/19.56	c bounds 706 >= 0 @ 17.2875
19.42/19.58	c bounds 698 >= 0 @ 17.296
19.42/19.59	c bounds 695 >= 0 @ 17.3021
19.52/19.60	c bounds 690 >= 0 @ 17.315
19.52/19.61	c bounds 688 >= 0 @ 17.3248
19.52/19.63	c bounds 687 >= 0 @ 17.3338
19.52/19.64	c bounds 681 >= 0 @ 17.3462
22.11/22.27	c bounds 679 >= 0 @ 19.9181
23.51/23.60	c #Conflicts:       3000 | #Constraints:     658928
23.51/23.60	c bounds 518 >= 0 @ 21.2222
24.31/24.42	c bounds 473 >= 0 @ 22.0162
27.30/27.44	c #Conflicts:       4000 | #Constraints:     659930
27.30/27.44	c INPROCESSING
27.30/27.44	c GARBAGE COLLECT
27.30/27.44	c bounds 466 >= 0 @ 24.9872
27.30/27.45	c bounds 464 >= 0 @ 24.9951
27.40/27.51	c bounds 461 >= 0 @ 25.0491
27.40/27.55	c bounds 460 >= 0 @ 25.0861
27.40/27.57	c bounds 457 >= 0 @ 25.1067
27.50/27.65	c bounds 454 >= 0 @ 25.1794
27.80/27.98	c bounds 448 >= 0 @ 25.4954
31.79/31.94	c #Conflicts:       5000 | #Constraints:     659331
31.79/31.94	c #Conflicts:       6000 | #Constraints:     660331
31.79/31.94	c bounds 351 >= 0 @ 29.377
31.79/31.95	c bounds 347 >= 0 @ 29.3865
31.79/31.96	c bounds 341 >= 0 @ 29.3929
35.08/35.22	c bounds 340 >= 0 @ 32.5628
38.97/39.11	c INPROCESSING
38.97/39.11	c GARBAGE COLLECT
38.97/39.11	c rational objective 179.482
53.93/54.16	c #Conflicts:       7000 | #Constraints:     659330
53.93/54.16	c #Conflicts:       8000 | #Constraints:     660330
53.93/54.16	c #Conflicts:       9000 | #Constraints:     661330
53.93/54.16	c INPROCESSING
53.93/54.16	c GARBAGE COLLECT
53.93/54.16	c rational objective 181.764
69.09/69.39	c #Conflicts:      10000 | #Constraints:     660038
69.09/69.39	c #Conflicts:      11000 | #Constraints:     661038
69.09/69.39	c #Conflicts:      12000 | #Constraints:     662038
69.09/69.39	c INPROCESSING
69.09/69.39	c GARBAGE COLLECT
69.09/69.39	c rational objective 182.244
85.25/85.58	c #Conflicts:      13000 | #Constraints:     660498
85.25/85.58	c bounds 336 >= 0 @ 82.3052
85.35/85.60	c bounds 336 >= 5 @ 82.3147
85.35/85.61	c bounds 336 >= 10 @ 82.3267
85.35/85.63	c bounds 336 >= 15 @ 82.3398
87.25/87.53	c bounds 336 >= 20 @ 84.2042
94.23/94.56	c #Conflicts:      14000 | #Constraints:     661521
94.23/94.56	c #Conflicts:      15000 | #Constraints:     662521
94.23/94.56	c INPROCESSING
94.23/94.56	c rational objective 183.208
118.17/118.55	c #Conflicts:      16000 | #Constraints:     660739
118.17/118.55	c #Conflicts:      17000 | #Constraints:     661739
118.17/118.55	c #Conflicts:      18000 | #Constraints:     662739
118.17/118.55	c INPROCESSING
118.17/118.55	c GARBAGE COLLECT
118.17/118.55	c rational objective 183.302
141.61/142.01	c #Conflicts:      19000 | #Constraints:     660766
141.61/142.01	c #Conflicts:      20000 | #Constraints:     661766
141.61/142.01	c #Conflicts:      21000 | #Constraints:     662766
141.61/142.01	c INPROCESSING
141.61/142.01	c GARBAGE COLLECT
141.61/142.01	c rational objective 183.445
166.44/166.93	c #Conflicts:      22000 | #Constraints:     660568
166.44/166.93	c #Conflicts:      23000 | #Constraints:     661568
166.44/166.93	c #Conflicts:      24000 | #Constraints:     662568
166.44/166.93	c #Conflicts:      25000 | #Constraints:     663568
166.44/166.93	c INPROCESSING
166.44/166.93	c GARBAGE COLLECT
166.44/166.93	c rational objective 183.473
194.77/195.30	c #Conflicts:      26000 | #Constraints:     661167
194.77/195.30	c #Conflicts:      27000 | #Constraints:     662167
194.77/195.30	c #Conflicts:      28000 | #Constraints:     663168
194.77/195.30	c #Conflicts:      29000 | #Constraints:     664172
194.77/195.30	c INPROCESSING
194.77/195.30	c GARBAGE COLLECT
194.77/195.30	c rational objective 183.684
201.36/201.97	c bounds 329 >= 20 @ 197.42
201.36/201.99	c bounds 327 >= 20 @ 197.435
201.46/202.01	c bounds 324 >= 20 @ 197.448
201.46/202.04	c bounds 323 >= 20 @ 197.473
218.22/218.86	c #Conflicts:      30000 | #Constraints:     661591
218.22/218.86	c bounds 322 >= 20 @ 214.01
218.22/218.87	c bounds 322 >= 24 @ 214.02
275.46/276.25	c #Conflicts:      31000 | #Constraints:     662601
275.46/276.25	c #Conflicts:      32000 | #Constraints:     663605
275.46/276.25	c #Conflicts:      33000 | #Constraints:     664607
275.46/276.25	c INPROCESSING
275.46/276.25	c GARBAGE COLLECT
275.46/276.25	c #Conflicts:      34000 | #Constraints:     661780
275.46/276.25	c #Conflicts:      35000 | #Constraints:     662785
275.46/276.25	c #Conflicts:      36000 | #Constraints:     663788
275.46/276.25	c #Conflicts:      37000 | #Constraints:     664793
275.46/276.25	c INPROCESSING
275.46/276.25	c GARBAGE COLLECT
275.46/276.25	c rational objective 183.515
309.95/310.85	c #Conflicts:      38000 | #Constraints:     661780
309.95/310.85	c #Conflicts:      39000 | #Constraints:     662821
309.95/310.85	c #Conflicts:      40000 | #Constraints:     663862
309.95/310.85	c #Conflicts:      41000 | #Constraints:     664923
309.95/310.85	c INPROCESSING
309.95/310.85	c GARBAGE COLLECT
309.95/310.85	c rational objective 183.674
337.07/338.07	c #Conflicts:      42000 | #Constraints:     661670
337.07/338.07	c #Conflicts:      43000 | #Constraints:     662680
337.07/338.07	c #Conflicts:      44000 | #Constraints:     663696
337.07/338.07	c #Conflicts:      45000 | #Constraints:     664712
337.07/338.07	c #Conflicts:      46000 | #Constraints:     665726
337.07/338.07	c INPROCESSING
337.07/338.07	c GARBAGE COLLECT
337.07/338.07	c rational objective 183.674
401.16/402.34	c #Conflicts:      47000 | #Constraints:     662257
401.16/402.34	c #Conflicts:      48000 | #Constraints:     663270
401.16/402.34	c #Conflicts:      49000 | #Constraints:     664282
401.16/402.34	c #Conflicts:      50000 | #Constraints:     665293
401.16/402.34	c #Conflicts:      51000 | #Constraints:     666305
401.16/402.34	c INPROCESSING
401.16/402.34	c GARBAGE COLLECT
401.16/402.34	c #Conflicts:      52000 | #Constraints:     662644
401.16/402.34	c #Conflicts:      53000 | #Constraints:     663651
401.16/402.34	c #Conflicts:      54000 | #Constraints:     664660
401.16/402.34	c #Conflicts:      55000 | #Constraints:     665663
401.16/402.34	c #Conflicts:      56000 | #Constraints:     666665
401.16/402.34	c INPROCESSING
401.16/402.34	c rational objective 183.659
407.95/409.19	c bounds 320 >= 24 @ 402.392
413.73/414.91	c bounds 319 >= 24 @ 408.015
413.73/414.92	c bounds 319 >= 27 @ 408.026
522.50/524.02	c #Conflicts:      57000 | #Constraints:     662823
522.50/524.02	c #Conflicts:      58000 | #Constraints:     663825
522.50/524.02	c #Conflicts:      59000 | #Constraints:     664827
522.50/524.02	c #Conflicts:      60000 | #Constraints:     665829
522.50/524.02	c #Conflicts:      61000 | #Constraints:     666835
522.50/524.02	c INPROCESSING
522.50/524.02	c GARBAGE COLLECT
522.50/524.02	c #Conflicts:      62000 | #Constraints:     662801
522.50/524.02	c #Conflicts:      63000 | #Constraints:     663805
522.50/524.02	c #Conflicts:      64000 | #Constraints:     664810
522.50/524.02	c #Conflicts:      65000 | #Constraints:     665812
522.50/524.02	c #Conflicts:      66000 | #Constraints:     666816
522.50/524.02	c INPROCESSING
522.50/524.02	c GARBAGE COLLECT
522.50/524.02	c rational objective 183.92
610.90/612.79	c #Conflicts:      67000 | #Constraints:     662591
610.90/612.79	c #Conflicts:      68000 | #Constraints:     663593
610.90/612.79	c #Conflicts:      69000 | #Constraints:     664595
610.90/612.79	c #Conflicts:      70000 | #Constraints:     665597
610.90/612.79	c #Conflicts:      71000 | #Constraints:     666601
610.90/612.79	c #Conflicts:      72000 | #Constraints:     667607
610.90/612.79	c INPROCESSING
610.90/612.79	c GARBAGE COLLECT
610.90/612.79	c rational objective 183.921
621.47/623.39	c bounds 318 >= 27 @ 614.836
621.56/623.41	c bounds 318 >= 29 @ 614.847
621.56/623.42	c bounds 318 >= 31 @ 614.858
621.56/623.44	c bounds 318 >= 33 @ 614.869
621.56/623.46	c bounds 318 >= 35 @ 614.885
621.67/623.50	c bounds 318 >= 37 @ 614.919
626.05/627.98	c bounds 318 >= 39 @ 619.35
627.05/628.94	c bounds 318 >= 41 @ 620.267
632.63/634.59	c #Conflicts:      73000 | #Constraints:     663240
632.63/634.59	c #Conflicts:      74000 | #Constraints:     664240
632.63/634.59	c bounds 318 >= 43 @ 625.793
723.62/725.89	c #Conflicts:      75000 | #Constraints:     665258
723.62/725.89	c #Conflicts:      76000 | #Constraints:     666259
723.62/725.89	c #Conflicts:      77000 | #Constraints:     667261
723.62/725.89	c #Conflicts:      78000 | #Constraints:     668263
723.62/725.89	c INPROCESSING
723.62/725.89	c GARBAGE COLLECT
723.62/725.89	c rational objective 183.924
802.56/805.06	c #Conflicts:      79000 | #Constraints:     663635
802.56/805.06	c #Conflicts:      80000 | #Constraints:     664638
802.56/805.06	c #Conflicts:      81000 | #Constraints:     665639
802.56/805.06	c #Conflicts:      82000 | #Constraints:     666640
802.56/805.06	c #Conflicts:      83000 | #Constraints:     667642
802.56/805.06	c #Conflicts:      84000 | #Constraints:     668644
802.56/805.06	c INPROCESSING
802.56/805.06	c GARBAGE COLLECT
802.56/805.06	c rational objective 183.951
1003.12/1006.27	c #Conflicts:      85000 | #Constraints:     663851
1003.12/1006.27	c #Conflicts:      86000 | #Constraints:     664962
1003.12/1006.27	c #Conflicts:      87000 | #Constraints:     666135
1003.12/1006.27	c #Conflicts:      88000 | #Constraints:     667274
1003.12/1006.27	c #Conflicts:      89000 | #Constraints:     668425
1003.12/1006.27	c #Conflicts:      90000 | #Constraints:     669504
1003.12/1006.27	c INPROCESSING
1003.12/1006.27	c GARBAGE COLLECT
1003.12/1006.27	c #Conflicts:      91000 | #Constraints:     664151
1003.12/1006.27	c #Conflicts:      92000 | #Constraints:     665152
1003.12/1006.27	c #Conflicts:      93000 | #Constraints:     666153
1003.12/1006.27	c #Conflicts:      94000 | #Constraints:     667155
1003.12/1006.27	c #Conflicts:      95000 | #Constraints:     668155
1003.12/1006.27	c #Conflicts:      96000 | #Constraints:     669157
1003.12/1006.27	c INPROCESSING
1003.12/1006.27	c GARBAGE COLLECT
1003.12/1006.27	c rational objective 183.951
1033.33/1036.52	c #Conflicts:      97000 | #Constraints:     663797
1033.33/1036.52	c #Conflicts:      98000 | #Constraints:     664801
1033.33/1036.52	c #Conflicts:      99000 | #Constraints:     665802
1033.33/1036.52	c bounds 318 >= 45 @ 1023.99
1312.70/1316.80	c #Conflicts:     100000 | #Constraints:     666826
1312.70/1316.80	c #Conflicts:     101000 | #Constraints:     667829
1312.70/1316.80	c #Conflicts:     102000 | #Constraints:     668831
1312.70/1316.80	c #Conflicts:     103000 | #Constraints:     669832
1312.70/1316.80	c INPROCESSING
1312.70/1316.80	c GARBAGE COLLECT
1312.70/1316.80	c #Conflicts:     104000 | #Constraints:     664346
1312.70/1316.80	c #Conflicts:     105000 | #Constraints:     665346
1312.70/1316.80	c #Conflicts:     106000 | #Constraints:     666348
1312.70/1316.80	c #Conflicts:     107000 | #Constraints:     667350
1312.70/1316.80	c #Conflicts:     108000 | #Constraints:     668353
1312.70/1316.80	c #Conflicts:     109000 | #Constraints:     669355
1312.70/1316.80	c #Conflicts:     110000 | #Constraints:     670358
1312.70/1316.80	c INPROCESSING
1312.70/1316.80	c GARBAGE COLLECT
1312.70/1316.80	c #Conflicts:     111000 | #Constraints:     664711
1312.70/1316.80	c #Conflicts:     112000 | #Constraints:     665712
1312.70/1316.80	c #Conflicts:     113000 | #Constraints:     666712
1312.70/1316.80	c #Conflicts:     114000 | #Constraints:     667712
1312.70/1316.80	c #Conflicts:     115000 | #Constraints:     668712
1312.70/1316.80	c #Conflicts:     116000 | #Constraints:     669714
1312.70/1316.80	c #Conflicts:     117000 | #Constraints:     670716
1312.70/1316.80	c INPROCESSING
1312.70/1316.80	c GARBAGE COLLECT
1312.70/1316.80	c #Conflicts:     118000 | #Constraints:     664886
1312.70/1316.80	c #Conflicts:     119000 | #Constraints:     665887
1312.70/1316.80	c #Conflicts:     120000 | #Constraints:     666887
1312.70/1316.80	c #Conflicts:     121000 | #Constraints:     667887
1312.70/1316.80	c #Conflicts:     122000 | #Constraints:     668887
1312.70/1316.80	c #Conflicts:     123000 | #Constraints:     669888
1312.70/1316.80	c #Conflicts:     124000 | #Constraints:     670888
1312.70/1316.80	c INPROCESSING
1312.70/1316.80	c GARBAGE COLLECT
1312.70/1316.80	c rational objective 183.942
1326.35/1330.52	c #Conflicts:     125000 | #Constraints:     664869
1326.35/1330.52	c bounds 316 >= 45 @ 1315.22
1342.40/1346.62	c #Conflicts:     126000 | #Constraints:     665893
1342.40/1346.62	c bounds 315 >= 45 @ 1331.03
1342.40/1346.64	c bounds 315 >= 46 @ 1331.05
1342.40/1346.66	c bounds 315 >= 47 @ 1331.07
1342.40/1346.68	c bounds 315 >= 48 @ 1331.08
1342.50/1346.70	c bounds 315 >= 49 @ 1331.09
1342.50/1346.72	c bounds 315 >= 50 @ 1331.1
1342.50/1346.75	c bounds 315 >= 51 @ 1331.12
1342.60/1346.81	c bounds 315 >= 52 @ 1331.18
1342.60/1346.83	c bounds 315 >= 53 @ 1331.2
1342.60/1346.87	c bounds 315 >= 54 @ 1331.22
1342.70/1346.92	c bounds 315 >= 55 @ 1331.27
1344.39/1348.68	c bounds 315 >= 56 @ 1333.01
1344.49/1348.72	c bounds 315 >= 57 @ 1333.05
1344.49/1348.79	c bounds 315 >= 58 @ 1333.1
1344.59/1348.87	c bounds 315 >= 59 @ 1333.18
1344.69/1348.92	c bounds 315 >= 60 @ 1333.22
1344.80/1349.05	c bounds 315 >= 61 @ 1333.33
1345.09/1349.30	c bounds 315 >= 62 @ 1333.57
1345.48/1349.70	c bounds 315 >= 63 @ 1333.96
1346.18/1350.42	c bounds 314 >= 63 @ 1334.65
1346.48/1350.79	c #Conflicts:     127000 | #Constraints:     667081
1346.48/1350.79	c bounds 314 >= 64 @ 1335.01
1346.68/1350.99	c bounds 314 >= 65 @ 1335.2
1377.99/1382.32	c #Conflicts:     128000 | #Constraints:     668119
1377.99/1382.32	c #Conflicts:     129000 | #Constraints:     669128
1377.99/1382.32	c bounds 313 >= 65 @ 1366.09
1382.48/1386.87	c bounds 313 >= 66 @ 1370.6
1383.97/1388.32	c bounds 313 >= 67 @ 1372
1386.57/1390.90	c #Conflicts:     130000 | #Constraints:     670195
1386.57/1390.90	c bounds 313 >= 68 @ 1374.5
1390.16/1394.52	c #Conflicts:     131000 | #Constraints:     671228
1390.16/1394.52	c bounds 313 >= 69 @ 1378.03
1394.54/1399.00	c INPROCESSING
1394.54/1399.00	c GARBAGE COLLECT
1394.54/1399.00	c rational objective 183.942
1403.13/1407.51	c #Conflicts:     132000 | #Constraints:     664909
1403.13/1407.51	c bounds 313 >= 70 @ 1390.87
1411.80/1416.29	c bounds 313 >= 71 @ 1399.56
1415.60/1420.07	c #Conflicts:     133000 | #Constraints:     665987
1415.60/1420.07	c #Conflicts:     134000 | #Constraints:     666987
1415.60/1420.07	c bounds 313 >= 72 @ 1403.23
1426.96/1431.44	c #Conflicts:     135000 | #Constraints:     668014
1426.96/1431.44	c bounds 313 >= 73 @ 1414.41
1440.53/1445.07	c #Conflicts:     136000 | #Constraints:     669053
1440.53/1445.07	c #Conflicts:     137000 | #Constraints:     670053
1440.53/1445.07	c bounds 313 >= 74 @ 1427.88
1549.02/1553.85	c #Conflicts:     138000 | #Constraints:     671074
1549.02/1553.85	c #Conflicts:     139000 | #Constraints:     672074
1549.02/1553.85	c INPROCESSING
1549.02/1553.85	c GARBAGE COLLECT
1549.02/1553.85	c rational objective 183.942
1557.60/1562.48	c bounds 313 >= 75 @ 1544.59
1584.83/1589.79	c #Conflicts:     140000 | #Constraints:     665616
1584.83/1589.79	c #Conflicts:     141000 | #Constraints:     666616
1584.83/1589.79	c #Conflicts:     142000 | #Constraints:     667616
1584.83/1589.79	c bounds 313 >= 76 @ 1571.63
1592.81/1597.77	c #Conflicts:     143000 | #Constraints:     668661
1592.81/1597.77	c #Conflicts:     144000 | #Constraints:     669661
1592.81/1597.77	c bounds 313 >= 77 @ 1579.43
1600.39/1605.33	c #Conflicts:     145000 | #Constraints:     670700
1600.39/1605.33	c #Conflicts:     146000 | #Constraints:     671700
1600.39/1605.33	c bounds 313 >= 78 @ 1586.82
1721.39/1726.72	c #Conflicts:     147000 | #Constraints:     672724
1721.39/1726.72	c INPROCESSING
1721.39/1726.72	c GARBAGE COLLECT
1721.39/1726.72	c #Conflicts:     148000 | #Constraints:     666041
1721.39/1726.72	c bounds 313 >= 79 @ 1707.48
1762.45/1767.92	c #Conflicts:     149000 | #Constraints:     667092
1762.45/1767.92	c #Conflicts:     150000 | #Constraints:     668092
1762.45/1767.92	c #Conflicts:     151000 | #Constraints:     669092
1762.45/1767.92	c bounds 313 >= 80 @ 1748.18
1775.22/1780.74	c #Conflicts:     152000 | #Constraints:     670125
1775.22/1780.74	c #Conflicts:     153000 | #Constraints:     671125
1775.22/1780.74	c #Conflicts:     154000 | #Constraints:     672125
1775.22/1780.74	c bounds 313 >= 81 @ 1760.69
1876.39/1882.28	c #Conflicts:     155000 | #Constraints:     673161
1876.39/1882.28	c INPROCESSING
1876.39/1882.28	c GARBAGE COLLECT
1876.39/1882.28	c rational objective 183.942
1904.41/1910.35	c #Conflicts:     156000 | #Constraints:     666285
1904.41/1910.35	c #Conflicts:     157000 | #Constraints:     667285
1904.41/1910.35	c #Conflicts:     158000 | #Constraints:     668285
1904.41/1910.35	c #Conflicts:     159000 | #Constraints:     669286
1904.41/1910.35	c bounds 313 >= 82 @ 1889.25
2065.27/2071.73	c #Conflicts:     160000 | #Constraints:     670325
2065.27/2071.73	c #Conflicts:     161000 | #Constraints:     671325
2065.27/2071.73	c #Conflicts:     162000 | #Constraints:     672325
2065.27/2071.73	c #Conflicts:     163000 | #Constraints:     673325
2065.27/2071.73	c INPROCESSING
2065.27/2071.73	c GARBAGE COLLECT
2065.27/2071.73	c rational objective 183.942
2082.02/2088.57	c #Conflicts:     164000 | #Constraints:     666294
2082.02/2088.57	c bounds 313 >= 83 @ 2066.15
2171.03/2177.83	c #Conflicts:     165000 | #Constraints:     667341
2171.03/2177.83	c #Conflicts:     166000 | #Constraints:     668341
2171.03/2177.83	c #Conflicts:     167000 | #Constraints:     669341
2171.03/2177.83	c #Conflicts:     168000 | #Constraints:     670341
2171.03/2177.83	c #Conflicts:     169000 | #Constraints:     671342
2171.03/2177.83	c #Conflicts:     170000 | #Constraints:     672342
2171.03/2177.83	c #Conflicts:     171000 | #Constraints:     673342
2171.03/2177.83	c INPROCESSING
2171.03/2177.83	c GARBAGE COLLECT
2171.03/2177.83	c #Conflicts:     172000 | #Constraints:     666115
2171.03/2177.83	c #Conflicts:     173000 | #Constraints:     667116
2171.03/2177.83	c #Conflicts:     174000 | #Constraints:     668116
2171.03/2177.83	c bounds 313 >= 84 @ 2154.02
2386.03/2393.57	c #Conflicts:     175000 | #Constraints:     669179
2386.03/2393.57	c #Conflicts:     176000 | #Constraints:     670179
2386.03/2393.57	c #Conflicts:     177000 | #Constraints:     671179
2386.03/2393.57	c #Conflicts:     178000 | #Constraints:     672179
2386.03/2393.57	c #Conflicts:     179000 | #Constraints:     673179
2386.03/2393.57	c #Conflicts:     180000 | #Constraints:     674179
2386.03/2393.57	c INPROCESSING
2386.03/2393.57	c GARBAGE COLLECT
2386.03/2393.57	c #Conflicts:     181000 | #Constraints:     666740
2386.03/2393.57	c #Conflicts:     182000 | #Constraints:     667740
2386.03/2393.57	c #Conflicts:     183000 | #Constraints:     668740
2386.03/2393.57	c #Conflicts:     184000 | #Constraints:     669740
2386.03/2393.57	c #Conflicts:     185000 | #Constraints:     670740
2386.03/2393.57	c #Conflicts:     186000 | #Constraints:     671740
2386.03/2393.57	c #Conflicts:     187000 | #Constraints:     672740
2386.03/2393.57	c #Conflicts:     188000 | #Constraints:     673740
2386.03/2393.57	c bounds 313 >= 85 @ 2367.19
2468.54/2476.39	c #Conflicts:     189000 | #Constraints:     674788
2468.54/2476.39	c INPROCESSING
2468.54/2476.39	c GARBAGE COLLECT
2468.54/2476.39	c #Conflicts:     190000 | #Constraints:     667159
2468.54/2476.39	c #Conflicts:     191000 | #Constraints:     668159
2468.54/2476.39	c #Conflicts:     192000 | #Constraints:     669159
2468.54/2476.39	c #Conflicts:     193000 | #Constraints:     670159
2468.54/2476.39	c #Conflicts:     194000 | #Constraints:     671159
2468.54/2476.39	c #Conflicts:     195000 | #Constraints:     672159
2468.54/2476.39	c #Conflicts:     196000 | #Constraints:     673159
2468.54/2476.39	c #Conflicts:     197000 | #Constraints:     674159
2468.54/2476.39	c #Conflicts:     198000 | #Constraints:     675159
2468.54/2476.39	c INPROCESSING
2468.54/2476.39	c GARBAGE COLLECT
2468.54/2476.39	c rational objective 183.942
2535.24/2543.21	c #Conflicts:     199000 | #Constraints:     667350
2535.24/2543.21	c #Conflicts:     200000 | #Constraints:     668363
2535.24/2543.21	c #Conflicts:     201000 | #Constraints:     669366
2535.24/2543.21	c #Conflicts:     202000 | #Constraints:     670369
2535.24/2543.21	c #Conflicts:     203000 | #Constraints:     671374
2535.24/2543.21	c #Conflicts:     204000 | #Constraints:     672377
2535.24/2543.21	c #Conflicts:     205000 | #Constraints:     673381
2535.24/2543.21	c bounds 311 >= 85 @ 2514.83
2538.43/2546.40	c bounds 309 >= 85 @ 2517.96
2538.62/2546.66	c bounds 304 >= 85 @ 2518.22
2539.03/2547.03	c bounds 299 >= 85 @ 2518.58
2539.52/2547.55	c bounds 298 >= 85 @ 2519.09
2539.52/2547.59	c bounds 297 >= 85 @ 2519.12
2546.49/2554.55	c #Conflicts:     206000 | #Constraints:     674394
2546.49/2554.55	c bounds 296 >= 85 @ 2525.97
2556.07/2564.18	c #Conflicts:     207000 | #Constraints:     675399
2556.07/2564.18	c INPROCESSING
2556.07/2564.18	c GARBAGE COLLECT
2556.07/2564.18	c rational objective 183.942
2610.40/2618.60	c #Conflicts:     208000 | #Constraints:     667358
2610.40/2618.60	c #Conflicts:     209000 | #Constraints:     668358
2610.40/2618.60	c #Conflicts:     210000 | #Constraints:     669358
2610.40/2618.60	c #Conflicts:     211000 | #Constraints:     670358
2610.40/2618.60	c #Conflicts:     212000 | #Constraints:     671358
2610.40/2618.60	c bounds 296 >= 86 @ 2588.99
2613.79/2622.02	c #Conflicts:     213000 | #Constraints:     672412
2613.79/2622.02	c bounds 295 >= 86 @ 2592.37
2613.79/2622.04	c bounds 294 >= 86 @ 2592.4
2629.53/2637.80	c #Conflicts:     214000 | #Constraints:     673414
2629.53/2637.80	c bounds 293 >= 86 @ 2607.97
2647.47/2655.81	c #Conflicts:     215000 | #Constraints:     674416
2647.47/2655.81	c #Conflicts:     216000 | #Constraints:     675416
2647.47/2655.81	c INPROCESSING
2647.47/2655.81	c GARBAGE COLLECT
2647.47/2655.81	c rational objective 183.942
2728.10/2736.79	c #Conflicts:     217000 | #Constraints:     667177
2728.10/2736.79	c #Conflicts:     218000 | #Constraints:     668179
2728.10/2736.79	c #Conflicts:     219000 | #Constraints:     669179
2728.10/2736.79	c #Conflicts:     220000 | #Constraints:     670179
2728.10/2736.79	c #Conflicts:     221000 | #Constraints:     671179
2728.10/2736.79	c #Conflicts:     222000 | #Constraints:     672179
2728.10/2736.79	c #Conflicts:     223000 | #Constraints:     673180
2728.10/2736.79	c bounds 293 >= 87 @ 2705.32
2966.90/2976.30	c #Conflicts:     224000 | #Constraints:     674225
2966.90/2976.30	c #Conflicts:     225000 | #Constraints:     675225
2966.90/2976.30	c #Conflicts:     226000 | #Constraints:     676225
2966.90/2976.30	c INPROCESSING
2966.90/2976.30	c GARBAGE COLLECT
2966.90/2976.30	c #Conflicts:     227000 | #Constraints:     667798
2966.90/2976.30	c #Conflicts:     228000 | #Constraints:     668798
2966.90/2976.30	c #Conflicts:     229000 | #Constraints:     669798
2966.90/2976.30	c #Conflicts:     230000 | #Constraints:     670798
2966.90/2976.30	c #Conflicts:     231000 | #Constraints:     671798
2966.90/2976.30	c #Conflicts:     232000 | #Constraints:     672798
2966.90/2976.30	c #Conflicts:     233000 | #Constraints:     673798
2966.90/2976.30	c #Conflicts:     234000 | #Constraints:     674798
2966.90/2976.30	c #Conflicts:     235000 | #Constraints:     675798
2966.90/2976.30	c bounds 293 >= 88 @ 2942.27
3100.60/3110.47	c #Conflicts:     236000 | #Constraints:     676864
3100.60/3110.47	c INPROCESSING
3100.60/3110.47	c GARBAGE COLLECT
3100.60/3110.47	c #Conflicts:     237000 | #Constraints:     668232
3100.60/3110.47	c #Conflicts:     238000 | #Constraints:     669232
3100.60/3110.47	c #Conflicts:     239000 | #Constraints:     670232
3100.60/3110.47	c #Conflicts:     240000 | #Constraints:     671232
3100.60/3110.47	c #Conflicts:     241000 | #Constraints:     672232
3100.60/3110.47	c #Conflicts:     242000 | #Constraints:     673232
3100.60/3110.47	c #Conflicts:     243000 | #Constraints:     674232
3100.60/3110.47	c #Conflicts:     244000 | #Constraints:     675232
3100.60/3110.47	c #Conflicts:     245000 | #Constraints:     676233
3100.60/3110.47	c #Conflicts:     246000 | #Constraints:     677233
3100.60/3110.47	c INPROCESSING
3100.60/3110.47	c GARBAGE COLLECT
3100.60/3110.47	c rational objective 183.942
3277.14/3287.48	c #Conflicts:     247000 | #Constraints:     668419
3277.14/3287.48	c #Conflicts:     248000 | #Constraints:     669419
3277.14/3287.48	c #Conflicts:     249000 | #Constraints:     670419
3277.14/3287.48	c #Conflicts:     250000 | #Constraints:     671419
3277.14/3287.48	c #Conflicts:     251000 | #Constraints:     672419
3277.14/3287.48	c #Conflicts:     252000 | #Constraints:     673421
3277.14/3287.48	c #Conflicts:     253000 | #Constraints:     674421
3277.14/3287.48	c #Conflicts:     254000 | #Constraints:     675421
3277.14/3287.48	c #Conflicts:     255000 | #Constraints:     676421
3277.14/3287.48	c #Conflicts:     256000 | #Constraints:     677421
3277.14/3287.48	c INPROCESSING
3277.14/3287.48	c GARBAGE COLLECT
3277.14/3287.48	c rational objective 183.942
3345.67/3356.19	c #Conflicts:     257000 | #Constraints:     668420
3345.67/3356.19	c #Conflicts:     258000 | #Constraints:     669420
3345.67/3356.19	c #Conflicts:     259000 | #Constraints:     670420
3345.67/3356.19	c #Conflicts:     260000 | #Constraints:     671421
3345.67/3356.19	c #Conflicts:     261000 | #Constraints:     672422
3345.67/3356.19	c #Conflicts:     262000 | #Constraints:     673422
3345.67/3356.19	c #Conflicts:     263000 | #Constraints:     674422
3345.67/3356.19	c bounds 293 >= 89 @ 3316.67
3347.75/3358.27	c bounds 291 >= 89 @ 3318.69
3355.04/3365.58	c #Conflicts:     264000 | #Constraints:     675483
3355.04/3365.58	c bounds 288 >= 89 @ 3325.89
3416.68/3427.36	c #Conflicts:     265000 | #Constraints:     676502
3416.68/3427.36	c #Conflicts:     266000 | #Constraints:     677513
3416.68/3427.36	c INPROCESSING
3416.68/3427.36	c GARBAGE COLLECT
3416.68/3427.36	c rational objective 183.942
3539.45/3550.43	c #Conflicts:     267000 | #Constraints:     668309
3539.45/3550.43	c #Conflicts:     268000 | #Constraints:     669309
3539.45/3550.43	c #Conflicts:     269000 | #Constraints:     670310
3539.45/3550.43	c #Conflicts:     270000 | #Constraints:     671311
3539.45/3550.43	c #Conflicts:     271000 | #Constraints:     672312
3539.45/3550.43	c #Conflicts:     272000 | #Constraints:     673312
3539.45/3550.43	c #Conflicts:     273000 | #Constraints:     674312
3539.45/3550.43	c #Conflicts:     274000 | #Constraints:     675312
3539.45/3550.43	c #Conflicts:     275000 | #Constraints:     676312
3539.45/3550.43	c #Conflicts:     276000 | #Constraints:     677312
3539.45/3550.43	c #Conflicts:     277000 | #Constraints:     678312
3539.45/3550.43	c INPROCESSING
3539.45/3550.43	c GARBAGE COLLECT
3539.45/3550.43	c rational objective 183.942
3600.01/3611.24	c #Conflicts:     278000 | #Constraints:     668869
3600.01/3611.24	c #Conflicts:     279000 | #Constraints:     669869
3600.01/3611.24	c #Conflicts:     280000 | #Constraints:     670869
3600.01/3611.24	c #Conflicts:     281000 | #Constraints:     671869
3600.01/3611.24	c #Conflicts:     282000 | #Constraints:     672869
3600.01/3611.24	c #Conflicts:     283000 | #Constraints:     673869
3600.01/3611.24	c cpu time 3567.84 s
3600.01/3611.24	c deterministic time 86721856569 8.67e+10
3600.01/3611.24	c optimization time 56.3358 s
3600.01/3611.24	c total solve time 3508.55 s
3600.01/3611.24	c core-guided solve time 3108.61 s
3600.01/3611.24	c propagation time 1146.51 s
3600.01/3611.24	c conflict analysis time 882.289 s
3600.01/3611.24	c propagations 87330823
3600.01/3611.24	c resolve steps 5089923
3600.01/3611.24	c decisions 9811642
3600.01/3611.24	c conflicts 283189
3600.01/3611.24	c restarts 668
3600.01/3611.24	c inprocessing phases 44
3600.01/3611.24	c garbage collections 42 ,( 95.45 )
3600.01/3611.24	c input clauses 657277 ,( 99.84 )
3600.01/3611.24	c input cardinalities 436 ,( 0.07 )
3600.01/3611.24	c input general constraints 650 ,( 0.10 )
3600.01/3611.24	c input average constraint length 6.62
3600.01/3611.24	c input average constraint degree 117.82
3600.01/3611.24	c learned clauses 199075 ,( 69.95 )
3600.01/3611.24	c learned cardinalities 12 ,( 0.00 )
3600.01/3611.24	c learned general constraints 85489 ,( 30.04 )
3600.01/3611.24	c learned average constraint length 1655.30
3600.01/3611.24	c learned average constraint degree 38370106730.19
3600.01/3611.24	c watched  CF 32, 64, 128, Arb: 6669 , 0 , 0 , 0
3600.01/3611.24	c counting CF 32, 64, 128, Arb: 79471 , 0 , 0 , 0
3600.01/3611.24	c watched   constraints 6669 ,( 7.74 ) 
3600.01/3611.24	c counting  constraints 79470 ,( 92.26 ) 
3600.01/3611.24	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 62649035 , 2875057 , 1163453058 ,( 70682912 , 1092770146 )
3600.01/3611.24	c gcd simplifications 11346
3600.01/3611.24	c detected cardinalities 1
3600.01/3611.24	c weakened non-implied lits 868435908
3600.01/3611.24	c weakened non-implying lits 223133
3600.01/3611.24	c original variables 10000
3600.01/3611.24	c clausal propagations 19306702
3600.01/3611.24	c cardinality propagations 411830
3600.01/3611.24	c watched propagations 60810
3600.01/3611.24	c counting propagations 65522791
3600.01/3611.24	c watch lookups 7643104253
3600.01/3611.24	c watch backjump lookups 0
3600.01/3611.24	c watch checks 5165609726
3600.01/3611.24	c propagation checks 69455757185
3600.01/3611.24	c constraint additions 4262298035
3600.01/3611.24	c trail pops 97415801
3600.01/3611.24	c formula constraints 656900
3600.01/3611.24	c learned constraints 282931
3600.01/3611.24	c bound constraints 214
3600.01/3611.24	c core-guided constraints 1249
3600.01/3611.24	c encountered formula constraints 2450311
3600.01/3611.24	c encountered learned constraints 1806091
3600.01/3611.24	c encountered bound constraints 7491
3600.01/3611.24	c encountered core-guided constraints 1085250
3600.01/3611.24	c LP total time 2096.89 s
3600.01/3611.24	c LP solve time 1910.3 s
3600.01/3611.24	c LP constraints added 656958
3600.01/3611.24	c LP constraints removed 36
3600.01/3611.24	c LP pivots internal 285625
3600.01/3611.24	c LP pivots root 243478
3600.01/3611.24	c LP calls 1576
3600.01/3611.24	c LP optimalities 151
3600.01/3611.24	c LP no pivot count 21
3600.01/3611.24	c LP infeasibilities 1373
3600.01/3611.24	c LP valid Farkas constraints 1367
3600.01/3611.24	c LP learned Farkas constraints 260
3600.01/3611.24	c LP basis resets 53
3600.01/3611.24	c LP cycling count 9
3600.01/3611.24	c LP singular count 20
3600.01/3611.24	c LP no primal count 0
3600.01/3611.24	c LP no farkas count 6
3600.01/3611.24	c LP other issue count 18
3600.01/3611.24	c LP Gomory cuts 18
3600.01/3611.24	c LP learned cuts 40
3600.01/3611.24	c LP deleted cuts 36
3600.01/3611.24	c LP encountered Gomory constraints 205
3600.01/3611.24	c LP encountered Farkas constraints 23345
3600.01/3611.24	c LP encountered learned Farkas constraints 159
3600.01/3611.24	c CG auxiliary variables introduced 436
3600.01/3611.24	c CG solutions found 154
3600.01/3611.24	c CG cores constructed 59
3600.01/3611.24	c CG core cardinality constraints returned 0
3600.01/3611.24	c CG unit cores 0
3600.01/3611.24	c CG single cores 59
3600.01/3611.24	c CG blocks removed during cardinality reduction 0
3600.01/3611.24	c CG first core best 0
3600.01/3611.24	c CG decision core best 0
3600.01/3611.24	c CG core reduction tie 0
3600.01/3611.24	c CG core degree average 1.00
3600.01/3611.24	c CG core slack average 952.68
3600.01/3611.24	c CG core upper bound improvements 60
3600.01/3611.24	c STR number of successful calls 0
3600.01/3611.24	c STR number of unsuccessful calls 0
3600.01/3611.24	c STR number of inconclusive calls 0
3600.01/3611.24	c STR number of successful attempts 0
3600.01/3611.24	c STR number of unsuccessful attempts 0
3600.01/3611.24	c STR number of inconclusive attempts 0
3600.01/3611.24	c STR average degree increase per successful call inf
3600.01/3611.24	c STR average degree increase per successful attempt inf
3600.01/3611.24	c STR total number of conflicts for successful attempts 0
3600.01/3611.24	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.24	c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.24	c STR average number of conflicts per successful attempt inf
3600.01/3611.24	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.24	c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.24	c AVG.sumWPerc 88.07 
3600.01/3611.24	c bigint constraints 0 
3600.01/3611.24	o 288
3600.01/3611.24	s SATISFIABLE
3600.01/3611.24	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.01/3611.24	c Program interrupted by user.

Verifier Data 

OK	288

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=141551, runsolver pid=141548

[startup+0.100061 s]*
/proc/loadavg: 0.12 0.10 0.09 5/268 141553
/proc/meminfo: memFree=95021416/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981705 4292608 736 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 736 672 219 0 110 0
[pid=141553] ppid=141551 vsize=165880 memory=150652 CPUtime=0.08 cores=4,6
/proc/141553/stat : 141553 (pbsuma) R 141551 141551 141471 0 -1 4194304 4726 0 0 0 5 3 0 0 20 0 1 0 183981706 169861120 37663 18446744073709551615 4210688 4653049 140725028660480 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20848640 140725028669703 140725028670000 140725028670000 140725028675567 0
/proc/141553/statm: 41470 37663 960 108 0 38878 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 170072 KiB
Current children cumulated memory: 153596 KiB

[startup+0.205201 s]*
/proc/loadavg: 0.12 0.10 0.09 5/268 141553
/proc/meminfo: memFree=95007560/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981705 4292608 736 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 736 672 219 0 110 0
[pid=141553] ppid=141551 vsize=181844 memory=167796 CPUtime=0.19 cores=4,6
/proc/141553/stat : 141553 (pbsuma) R 141551 141551 141471 0 -1 4194304 8948 0 0 0 15 4 0 0 20 0 1 0 183981706 186208256 41949 18446744073709551615 4210688 4653049 140725028660480 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20848640 140725028669703 140725028670000 140725028670000 140725028675567 0
/proc/141553/statm: 45461 41949 960 108 0 42869 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 186036 KiB
Current children cumulated memory: 170740 KiB

[startup+0.305214 s]*
/proc/loadavg: 0.12 0.10 0.09 5/268 141553
/proc/meminfo: memFree=94979460/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981705 4292608 736 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 736 672 219 0 110 0
[pid=141553] ppid=141551 vsize=195972 memory=184468 CPUtime=0.29 cores=4,6
/proc/141553/stat : 141553 (pbsuma) R 141551 141551 141471 0 -1 4194304 12088 0 0 0 24 5 0 0 20 0 1 0 183981706 200675328 46117 18446744073709551615 4210688 4653049 140725028660480 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20848640 140725028669703 140725028670000 140725028670000 140725028675567 0
/proc/141553/statm: 48993 46117 960 108 0 46401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 200164 KiB
Current children cumulated memory: 187412 KiB

[startup+0.700196 s]
/proc/loadavg: 0.12 0.10 0.09 5/268 141554
/proc/meminfo: memFree=94902052/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183981705 4292608 736 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 736 672 219 0 110 0
[pid=141553] ppid=141551 vsize=319216 memory=266372 CPUtime=0.67 cores=4,6
/proc/141553/stat : 141553 (pbsuma) R 141551 141551 141471 0 -1 4194304 25948 0 0 0 59 8 0 0 20 0 1 0 183981706 326877184 66593 18446744073709551615 4210688 4653049 140725028660480 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20848640 140725028669703 140725028670000 140725028670000 140725028675567 0
/proc/141553/statm: 79804 66593 992 108 0 77212 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 323408 KiB
Current children cumulated memory: 269316 KiB

[startup+1.50015 s]
/proc/loadavg: 0.59 0.20 0.12 5/268 141555
/proc/meminfo: memFree=95024724/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=108784 memory=63228 CPUtime=0.56 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 12901 0 0 0 43 13 0 0 20 0 1 0 183981797 111394816 15807 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 27196 15807 2016 1147 0 14622 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 112976 KiB
Current children cumulated memory: 66300 KiB

[startup+3.10527 s]
/proc/loadavg: 0.59 0.20 0.12 5/268 141555
/proc/meminfo: memFree=94784628/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=264904 memory=205592 CPUtime=2.16 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 44854 0 0 0 169 47 0 0 20 0 1 0 183981797 271261696 51398 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 66226 51398 2016 1147 0 53652 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 269096 KiB
Current children cumulated memory: 208664 KiB

[startup+6.30017 s]
/proc/loadavg: 1.03 0.30 0.15 5/268 141555
/proc/meminfo: memFree=93972776/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=1067540 memory=808532 CPUtime=5.35 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 86982 0 0 0 455 80 0 0 20 0 1 0 183981797 1093160960 202133 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 266885 202133 2336 1147 0 254311 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1071732 KiB
Current children cumulated memory: 811604 KiB

[startup+12.7001 s]
/proc/loadavg: 1.42 0.39 0.19 5/268 141555
/proc/meminfo: memFree=93721960/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=1263704 memory=952232 CPUtime=11.73 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 100773 0 0 0 1067 106 0 0 20 0 1 0 183981797 1294032896 238058 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 315926 238058 2400 1147 0 303352 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1267896 KiB
Current children cumulated memory: 955304 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 0.58 0.25 5/268 141556
/proc/meminfo: memFree=92977684/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=1365232 memory=1054764 CPUtime=24.5 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 108642 0 0 0 2305 145 0 0 20 0 1 0 183981797 1397997568 263691 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 341308 263691 2400 1147 0 328734 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1369424 KiB
Current children cumulated memory: 1057836 KiB

[startup+51.1054 s]
/proc/loadavg: 3.12 0.97 0.39 5/268 141556
/proc/meminfo: memFree=91876672/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=1509748 memory=1177188 CPUtime=50.04 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 126035 0 0 0 4829 175 0 0 20 0 1 0 183981797 1545981952 294297 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 377437 294297 2400 1147 0 364863 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1513940 KiB
Current children cumulated memory: 1180260 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 1.52 0.61 6/272 141562
/proc/meminfo: memFree=88397480/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=1866268 memory=1481004 CPUtime=101.11 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 173507 0 0 0 9882 229 0 0 20 0 1 0 183981797 1911058432 370251 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 466567 370251 2432 1147 0 453993 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1870460 KiB
Current children cumulated memory: 1484076 KiB

[startup+162.3 s]
/proc/loadavg: 4.38 2.08 0.86 5/272 141565
/proc/meminfo: memFree=84703620/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=1870244 memory=1507784 CPUtime=160.96 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 173573 0 0 0 15820 276 0 0 20 0 1 0 183981797 1915129856 376946 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 467561 376946 2432 1147 0 454987 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1874436 KiB
Current children cumulated memory: 1510856 KiB

[startup+222.3 s]
/proc/loadavg: 4.60 2.56 1.10 5/272 141567
/proc/meminfo: memFree=79861668/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=2115968 memory=1652372 CPUtime=220.81 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 205481 0 0 0 21737 344 0 0 20 0 1 0 183981797 2166751232 413093 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 528992 413093 2496 1147 0 516418 0

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

/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3408340 memory=2946624 CPUtime=3151.46 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 526137 0 0 0 312535 2611 0 0 20 0 1 0 183981797 3490140160 736656 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 852085 736656 2528 1147 0 839511 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 3412532 KiB
Current children cumulated memory: 2949696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.94 4.91 4.72 5/273 141757
/proc/meminfo: memFree=1105284/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3408340 memory=2948544 CPUtime=3211.3 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 530929 0 0 0 318442 2688 0 0 20 0 1 0 183981797 3490140160 737136 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 852085 737136 2528 1147 0 839511 0
Current children cumulated CPU time: 3212.2 s
Current children cumulated vsize: 3412532 KiB
Current children cumulated memory: 2951616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.65 4.85 4.71 5/274 141760
/proc/meminfo: memFree=1281384/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3408340 memory=2957376 CPUtime=3271.15 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 531006 0 0 0 324423 2692 0 0 20 0 1 0 183981797 3490140160 739344 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 852085 739344 2528 1147 0 839511 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 3412532 KiB
Current children cumulated memory: 2960448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.88 4.88 4.73 5/274 141763
/proc/meminfo: memFree=1192560/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3408340 memory=2958656 CPUtime=3330.99 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 531341 0 0 0 330305 2794 0 0 20 0 1 0 183981797 3490140160 739664 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 852085 739664 2528 1147 0 839511 0
Current children cumulated CPU time: 3331.89 s
Current children cumulated vsize: 3412532 KiB
Current children cumulated memory: 2961728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.92 4.89 4.75 5/273 141768
/proc/meminfo: memFree=1321600/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3408340 memory=2958660 CPUtime=3390.84 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 536250 0 0 0 336215 2869 0 0 20 0 1 0 183981797 3490140160 739665 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 852085 739665 2528 1147 0 839511 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 3412532 KiB
Current children cumulated memory: 2961732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.91 4.89 4.76 5/273 141770
/proc/meminfo: memFree=1109376/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3408340 memory=2958680 CPUtime=3450.68 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 538309 0 0 0 342147 2921 0 0 20 0 1 0 183981797 3490140160 739670 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 852085 739670 2528 1147 0 839511 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 3412532 KiB
Current children cumulated memory: 2961752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.97 4.91 4.77 5/273 141772
/proc/meminfo: memFree=1242540/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3408340 memory=2958680 CPUtime=3510.52 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 538360 0 0 0 348051 3001 0 0 20 0 1 0 183981797 3490140160 739670 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 852085 739670 2528 1147 0 839511 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 3412532 KiB
Current children cumulated memory: 2961752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.88 4.90 4.78 5/276 141777
/proc/meminfo: memFree=1289392/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3469192 memory=3019356 CPUtime=3570.37 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 569079 0 0 0 353943 3094 0 0 20 0 1 0 183981797 3552452608 754839 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 867298 754839 2528 1147 0 854724 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 3473384 KiB
Current children cumulated memory: 3022428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.92 4.91 4.79 3/267 141801
/proc/meminfo: memFree=4150060/131250000 swapFree=33010416/33010684
[pid=141551] ppid=141548 vsize=4192 memory=3072 CPUtime=0.9 cores=4,6
/proc/141551/stat : 141551 (run-opt-ls-log.) S 141548 141551 141471 0 -1 4194304 237 29805 0 0 0 0 79 11 20 0 1 0 183981705 4292608 768 18446744073709551615 94173016485888 94173017380421 140723787995888 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94173017619472 94173017667216 94173020225536 140723787999551 140723787999711 140723787999711 140723788005315 0
/proc/141551/statm: 1048 768 704 219 0 110 0
[pid=141555] ppid=141551 vsize=3469192 memory=3019356 CPUtime=3599.1 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141551 141551 141471 0 -1 4194304 569239 0 0 0 356783 3127 0 0 20 0 1 0 183981797 3552452608 754839 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 867298 754839 2528 1147 0 854724 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3473384 KiB
Current children cumulated memory: 3022428 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.790413 s, system=0.116521 s

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

# cumulated CPU time of all completed processes:  user=3568.7 s, system=31.4433 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.2 s]*
/proc/loadavg: 4.92 4.91 4.79 1/265 141801
/proc/meminfo: memFree=4141240/131250000 swapFree=33010416/33010684
[pid=141555] ppid=141548 vsize=3469192 memory=3019356 CPUtime=3599.1 cores=4,6
/proc/141555/stat : 141555 (roundingsat) D 141548 141551 141471 0 -1 4194304 569239 0 0 0 356783 3127 0 0 20 0 1 0 183981797 3552452608 754839 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 867298 754839 2528 1147 0 854724 0
Current cumulated CPU time of completed processes: 0.906934 s
Current children cumulated CPU time: 3599.1 s
Current children cumulated vsize: 3469192 KiB
Current children cumulated memory: 3019356 KiB

[startup+3611.3 s]
/proc/loadavg: 4.92 4.91 4.79 1/265 141801
/proc/meminfo: memFree=4141240/131250000 swapFree=33010416/33010684
[pid=141555] ppid=141548 vsize=2209568 memory=2024896 CPUtime=3599.16 cores=4,6
/proc/141555/stat : 141555 (roundingsat) R 141548 141551 141471 0 -1 4194304 569272 0 2 0 356788 3128 0 0 20 0 1 0 183981797 2262597632 506224 18446744073709551615 4227072 8923577 140733554363776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 12759040 140733554370842 140733554371110 140733554371110 140733554376682 0
/proc/141555/statm: 552392 506224 2560 1147 0 539818 0
Current cumulated CPU time of completed processes: 0.906934 s
Current children cumulated CPU time: 3599.16 s
Current children cumulated vsize: 2209568 KiB
Current children cumulated memory: 2024896 KiB

Child status: 2

Real time (s): 3611.37
CPU time (s): 3600.14
CPU user time (s): 3568.7
CPU system time (s): 31.4433
CPU usage (%): 99.6892
Max. virtual memory (cumulated for all children) (KiB): 3501504
Max. memory (cumulated for all children) (KiB): 3037420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.7
system time used= 31.4433
maximum resident set size= 3051352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599329
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 68119704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254
involuntary context switches= 4136


# summary of solver processes directly reported to runsolver:
#   pid: 141551,141555
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3568.7
#   total CPU system time (s): 31.4433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19445 second user time and 16.3607 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-16 18:23:59
IDJOB=4531821
IDBENCH=147557
IDSOLVER=3392
FILE ID=nodeC018/4531821-1752683038
RUNJOBID= nodeC018-1752683038-141489
SLURM_JOB_ID= 9686913
Free space on /tmp= 432676 MiB

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

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=210464024

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        95228120 kB
MemAvailable:   129658128 kB
Buffers:            2128 kB
Cached:         35182032 kB
SwapCached:           32 kB
Active:           693916 kB
Inactive:       34583764 kB
Active(anon):     119516 kB
Inactive(anon):      288 kB
Active(file):     574400 kB
Inactive(file): 34583476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             54904 kB
Writeback:             0 kB
AnonPages:         96420 kB
Mapped:           112364 kB
Shmem:             26236 kB
KReclaimable:     222340 kB
Slab:             320096 kB
SReclaimable:     222340 kB
SUnreclaim:        97756 kB
KernelStack:        4128 kB
PageTables:         3032 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     442136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 167848 MiB
End job on nodeC018 at 2025-07-16 19:24:10