Trace number 4489509

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 63f22adSAT (TO)307 3600.88 3621.95

General information on the benchmark

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

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489509-1751357679.opb'
0.28/0.36	c 	read 17.23MB  (342.91ms)
0.28/0.36	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.37	c output proof to 'PROOFDIR/proof-4489509-1751357679'
0.28/0.37	c 
0.28/0.37	c make graph and approximate orbits
0.66/0.75	c	 [group: #orbits ~= 0] (384.31ms)
0.66/0.75	c 
0.66/0.75	c detect special group actions
0.66/0.75	c 	probe for Johnson action (limit=64)
0.66/0.76	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.77	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.77	c 	 (19.89ms)
0.66/0.77	c 
0.66/0.77	c detect symmetries on remainder
0.66/0.78	c 	[graph: #vertices 706674 #edges 2766346]
0.66/0.78	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.75/0.83	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.91ms)
0.75/0.83	c 
0.75/0.83	c finalize break order and special generators
0.75/0.83	c 
0.75/0.83	c generation finished
0.75/0.83	c 	[sbp: #constraints 0 #add_vars 0]
0.75/0.83	c 
0.75/0.83	c write result to 'HOME/instance-4489509-1751357679.opb.pre'
0.75/0.87	c 	wrote 17.23MB (35.79ms)
0.75/0.87	c ------------------------------------------------------------------
0.75/0.87	c                 384.31ms 45.23% approx_orbits
0.75/0.87	c                 342.91ms 40.36% parse
0.75/0.87	c                  53.91ms  6.34% detect_generic
0.75/0.87	c                  35.79ms  4.21% output
0.75/0.87	c                  19.89ms  2.34% detect_special
0.75/0.87	c                  12.54ms  1.48% other
0.75/0.87	c                   0.38ms  0.04% finalize_order
0.75/0.87	c         ───────────────────────────────────────────────
0.75/0.87	c                 849.72ms   100% total
0.75/0.87	c ------------------------------------------------------------------
0.95/1.05	c RoundingSat 2
0.95/1.05	c branch pb25
0.95/1.05	c commit 63f22ad
4.70/4.83	c #variables 10000 #constraints 656900
4.70/4.83	c objective is ce32 
5.58/5.76	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.58/5.76	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.58/5.76	c bounds 5640 >= 0 @ 3.9358
7.38/7.55	c rational objective 154.151
11.37/11.52	c bounds 5607 >= 0 @ 9.55229
11.57/11.70	c bounds 5601 >= 0 @ 9.72725
11.57/11.75	c bounds 5596 >= 0 @ 9.77176
11.57/11.76	c bounds 5594 >= 0 @ 9.77918
11.66/11.80	c bounds 5589 >= 0 @ 9.81684
11.66/11.81	c bounds 5495 >= 0 @ 9.82755
11.66/11.82	c bounds 5455 >= 0 @ 9.83733
11.66/11.84	c bounds 5441 >= 0 @ 9.858
11.66/11.85	c bounds 5405 >= 0 @ 9.86851
11.66/11.86	c bounds 5353 >= 0 @ 9.87417
11.66/11.87	c bounds 5320 >= 0 @ 9.88124
11.66/11.88	c bounds 5142 >= 0 @ 9.88605
11.66/11.88	c bounds 5138 >= 0 @ 9.89176
11.76/11.91	c bounds 5129 >= 0 @ 9.91297
11.76/11.91	c bounds 5111 >= 0 @ 9.91808
11.76/11.92	c bounds 5034 >= 0 @ 9.92311
11.76/11.95	c bounds 5032 >= 0 @ 9.95671
11.76/11.97	c bounds 5024 >= 0 @ 9.97024
11.76/11.99	c bounds 5009 >= 0 @ 9.98026
11.76/11.99	c bounds 5008 >= 0 @ 9.98664
11.87/12.03	c bounds 5007 >= 0 @ 10.0197
11.87/12.04	c bounds 4856 >= 0 @ 10.0253
11.97/12.15	c bounds 4844 >= 0 @ 10.1277
11.97/12.16	c bounds 4814 >= 0 @ 10.1406
11.97/12.18	c bounds 4803 >= 0 @ 10.1539
11.97/12.19	c bounds 4719 >= 0 @ 10.1669
12.07/12.20	c bounds 4708 >= 0 @ 10.1738
12.07/12.21	c bounds 4693 >= 0 @ 10.1867
12.07/12.23	c bounds 4638 >= 0 @ 10.2041
12.07/12.25	c bounds 4625 >= 0 @ 10.2193
12.07/12.26	c bounds 4561 >= 0 @ 10.2252
12.07/12.27	c bounds 4374 >= 0 @ 10.231
12.07/12.28	c bounds 4372 >= 0 @ 10.2384
12.07/12.29	c bounds 4336 >= 0 @ 10.2441
12.07/12.29	c bounds 4292 >= 0 @ 10.249
12.16/12.30	c bounds 4255 >= 0 @ 10.2547
12.16/12.31	c bounds 3995 >= 0 @ 10.2616
12.16/12.35	c bounds 3980 >= 0 @ 10.2969
12.16/12.36	c bounds 3928 >= 0 @ 10.3028
12.16/12.36	c bounds 3904 >= 0 @ 10.3099
12.16/12.38	c bounds 3898 >= 0 @ 10.3183
12.26/12.44	c bounds 3886 >= 0 @ 10.3784
12.26/12.46	c bounds 3872 >= 0 @ 10.3919
12.26/12.46	c bounds 3866 >= 0 @ 10.3963
12.36/12.56	c bounds 3838 >= 0 @ 10.4867
12.36/12.57	c bounds 3801 >= 0 @ 10.5011
12.36/12.59	c bounds 3780 >= 0 @ 10.5122
12.47/12.61	c bounds 3727 >= 0 @ 10.5312
12.47/12.63	c bounds 3717 >= 0 @ 10.5508
12.47/12.64	c bounds 3592 >= 0 @ 10.5566
12.47/12.65	c bounds 3558 >= 0 @ 10.5677
12.47/12.67	c bounds 3552 >= 0 @ 10.5811
12.47/12.68	c bounds 3540 >= 0 @ 10.5861
12.47/12.69	c bounds 3466 >= 0 @ 10.5921
12.57/12.70	c bounds 3465 >= 0 @ 10.5999
12.57/12.70	c bounds 3456 >= 0 @ 10.6049
12.57/12.71	c bounds 3450 >= 0 @ 10.6094
12.57/12.73	c bounds 3437 >= 0 @ 10.6237
12.57/12.74	c bounds 3436 >= 0 @ 10.6311
12.57/12.75	c bounds 3371 >= 0 @ 10.6372
12.57/12.75	c bounds 3368 >= 0 @ 10.6436
12.57/12.76	c bounds 3293 >= 0 @ 10.6497
12.57/12.77	c bounds 3273 >= 0 @ 10.6558
12.87/13.09	c bounds 3272 >= 0 @ 10.9622
12.87/13.10	c bounds 3231 >= 0 @ 10.9676
13.06/13.23	c bounds 3228 >= 0 @ 11.0945
13.06/13.24	c bounds 3203 >= 0 @ 11.1001
13.06/13.26	c bounds 3163 >= 0 @ 11.1167
13.06/13.27	c bounds 3147 >= 0 @ 11.1237
13.06/13.28	c bounds 3088 >= 0 @ 11.1302
13.16/13.36	c bounds 3076 >= 0 @ 11.2084
13.26/13.47	c bounds 3054 >= 0 @ 11.3168
13.36/13.50	c bounds 3051 >= 0 @ 11.3405
13.36/13.51	c bounds 3031 >= 0 @ 11.3509
13.36/13.52	c bounds 3006 >= 0 @ 11.3571
13.46/13.66	c bounds 3001 >= 0 @ 11.4909
13.46/13.67	c bounds 2978 >= 0 @ 11.4982
14.15/14.37	c bounds 2968 >= 0 @ 12.1731
14.15/14.37	c bounds 2967 >= 0 @ 12.1803
14.15/14.38	c bounds 2951 >= 0 @ 12.1898
14.26/14.41	c bounds 2928 >= 0 @ 12.2143
14.35/14.54	c bounds 2908 >= 0 @ 12.3354
14.35/14.55	c bounds 2864 >= 0 @ 12.3432
14.56/14.71	c bounds 2863 >= 0 @ 12.503
14.56/14.72	c bounds 2862 >= 0 @ 12.5086
14.56/14.73	c bounds 2851 >= 0 @ 12.5193
14.56/14.75	c bounds 2845 >= 0 @ 12.5355
14.66/14.86	c bounds 2829 >= 0 @ 12.6434
14.66/14.87	c bounds 2796 >= 0 @ 12.6513
14.66/14.88	c bounds 2754 >= 0 @ 12.6579
14.76/14.99	c bounds 2741 >= 0 @ 12.7637
14.86/15.00	c bounds 2651 >= 0 @ 12.772
14.86/15.01	c bounds 2643 >= 0 @ 12.779
14.96/15.11	c bounds 2635 >= 0 @ 12.8696
14.96/15.12	c bounds 2621 >= 0 @ 12.8788
15.05/15.21	c bounds 2594 >= 0 @ 12.967
15.15/15.32	c bounds 2589 >= 0 @ 13.0792
15.15/15.34	c bounds 2396 >= 0 @ 13.0898
15.15/15.35	c bounds 2375 >= 0 @ 13.0974
15.25/15.45	c bounds 2372 >= 0 @ 13.1966
15.25/15.46	c bounds 2367 >= 0 @ 13.2042
15.35/15.57	c bounds 2363 >= 0 @ 13.3086
15.35/15.58	c bounds 2359 >= 0 @ 13.3182
15.45/15.60	c bounds 2348 >= 0 @ 13.3263
15.75/15.90	c bounds 2331 >= 0 @ 13.6201
15.96/16.16	c bounds 2330 >= 0 @ 13.8662
15.96/16.18	c bounds 2326 >= 0 @ 13.8838
16.05/16.20	c bounds 2325 >= 0 @ 13.8925
16.05/16.21	c bounds 2304 >= 0 @ 13.9056
16.15/16.36	c bounds 2082 >= 0 @ 14.0448
16.15/16.38	c bounds 2056 >= 0 @ 14.0562
16.15/16.39	c bounds 2037 >= 0 @ 14.0674
16.25/16.40	c bounds 2023 >= 0 @ 14.0739
16.25/16.41	c bounds 2004 >= 0 @ 14.0815
16.25/16.43	c bounds 1988 >= 0 @ 14.0907
16.35/16.59	c bounds 1984 >= 0 @ 14.2526
16.45/16.61	c bounds 1965 >= 0 @ 14.2619
16.45/16.62	c bounds 1834 >= 0 @ 14.2711
16.45/16.64	c bounds 1788 >= 0 @ 14.2814
16.45/16.65	c bounds 1777 >= 0 @ 14.2913
16.45/16.67	c bounds 1762 >= 0 @ 14.3011
16.45/16.69	c bounds 1729 >= 0 @ 14.3193
16.55/16.70	c bounds 1717 >= 0 @ 14.3297
16.55/16.72	c bounds 1567 >= 0 @ 14.34
16.55/16.74	c bounds 1558 >= 0 @ 14.357
16.55/16.75	c bounds 1393 >= 0 @ 14.3695
16.55/16.76	c bounds 1391 >= 0 @ 14.378
16.55/16.78	c bounds 1348 >= 0 @ 14.3882
16.55/16.79	c bounds 1344 >= 0 @ 14.3967
16.65/16.81	c bounds 1340 >= 0 @ 14.4103
16.65/16.82	c bounds 1323 >= 0 @ 14.4216
16.75/16.96	c bounds 1249 >= 0 @ 14.5486
16.75/16.97	c bounds 1248 >= 0 @ 14.5562
16.75/16.99	c bounds 1227 >= 0 @ 14.5775
16.85/17.01	c bounds 1226 >= 0 @ 14.5915
16.85/17.02	c bounds 1208 >= 0 @ 14.5998
16.85/17.03	c bounds 1157 >= 0 @ 14.6072
17.25/17.45	c bounds 1140 >= 0 @ 15.0112
17.25/17.47	c bounds 1100 >= 0 @ 15.0178
17.45/17.60	c bounds 1089 >= 0 @ 15.1434
17.45/17.62	c bounds 1019 >= 0 @ 15.1574
17.45/17.64	c bounds 816 >= 0 @ 15.1809
17.45/17.66	c bounds 783 >= 0 @ 15.1853
18.05/18.22	c #Conflicts:       1000 | #Constraints:     658055
18.05/18.22	c bounds 782 >= 0 @ 15.7277
18.14/18.33	c bounds 781 >= 0 @ 15.8405
18.65/18.81	c bounds 775 >= 0 @ 16.3011
18.65/18.83	c bounds 772 >= 0 @ 16.319
18.95/19.17	c bounds 656 >= 0 @ 16.6376
19.34/19.59	c bounds 610 >= 0 @ 17.0361
19.44/19.67	c bounds 597 >= 0 @ 17.105
19.54/19.71	c bounds 500 >= 0 @ 17.1332
20.94/21.12	c #Conflicts:       2000 | #Constraints:     659066
20.94/21.12	c INPROCESSING
20.94/21.12	c GARBAGE COLLECT
20.94/21.12	c bounds 499 >= 0 @ 18.5162
20.94/21.13	c bounds 491 >= 0 @ 18.5219
20.94/21.15	c bounds 490 >= 0 @ 18.546
21.23/21.42	c bounds 486 >= 0 @ 18.8042
22.94/23.15	c bounds 421 >= 0 @ 20.5061
22.94/23.16	c bounds 418 >= 0 @ 20.5183
22.94/23.18	c bounds 413 >= 0 @ 20.5354
23.03/23.20	c bounds 412 >= 0 @ 20.548
23.83/24.08	c #Conflicts:       3000 | #Constraints:     658926
23.83/24.08	c bounds 407 >= 0 @ 21.4103
41.77/42.05	c #Conflicts:       4000 | #Constraints:     659928
41.77/42.05	c INPROCESSING
41.77/42.05	c GARBAGE COLLECT
41.77/42.05	c #Conflicts:       5000 | #Constraints:     659324
41.77/42.05	c #Conflicts:       6000 | #Constraints:     660324
41.77/42.05	c INPROCESSING
41.77/42.05	c GARBAGE COLLECT
41.77/42.05	c bounds 406 >= 0 @ 39.1029
52.63/52.95	c #Conflicts:       7000 | #Constraints:     659332
52.63/52.95	c #Conflicts:       8000 | #Constraints:     660332
52.63/52.95	c #Conflicts:       9000 | #Constraints:     661332
52.63/52.95	c INPROCESSING
52.63/52.95	c GARBAGE COLLECT
52.63/52.95	c rational objective 156.044
70.77/71.10	c #Conflicts:      10000 | #Constraints:     660038
70.77/71.10	c #Conflicts:      11000 | #Constraints:     661038
70.77/71.10	c #Conflicts:      12000 | #Constraints:     662038
70.77/71.10	c INPROCESSING
70.77/71.10	c GARBAGE COLLECT
70.77/71.10	c rational objective 156.754
83.33/83.76	c #Conflicts:      13000 | #Constraints:     660495
83.33/83.76	c #Conflicts:      14000 | #Constraints:     661495
83.33/83.76	c #Conflicts:      15000 | #Constraints:     662495
83.33/83.76	c INPROCESSING
83.33/83.76	c GARBAGE COLLECT
83.33/83.76	c bounds 405 >= 0 @ 80.3188
83.42/83.81	c bounds 404 >= 0 @ 80.3577
83.53/83.96	c bounds 403 >= 0 @ 80.5087
97.98/98.47	c #Conflicts:      16000 | #Constraints:     660725
97.98/98.47	c #Conflicts:      17000 | #Constraints:     661725
97.98/98.47	c #Conflicts:      18000 | #Constraints:     662725
97.98/98.47	c INPROCESSING
97.98/98.47	c GARBAGE COLLECT
97.98/98.47	c rational objective 157.602
101.67/102.19	c bounds 398 >= 0 @ 98.6241
120.91/121.44	c #Conflicts:      19000 | #Constraints:     660754
120.91/121.44	c #Conflicts:      20000 | #Constraints:     661768
120.91/121.44	c bounds 393 >= 0 @ 117.412
120.91/121.46	c bounds 393 >= 4 @ 117.424
120.91/121.48	c bounds 393 >= 8 @ 117.438
121.01/121.51	c bounds 393 >= 12 @ 117.457
121.01/121.56	c bounds 393 >= 16 @ 117.497
123.10/123.60	c bounds 393 >= 20 @ 119.502
130.68/131.22	c #Conflicts:      21000 | #Constraints:     662800
130.68/131.22	c INPROCESSING
130.68/131.22	c GARBAGE COLLECT
130.68/131.22	c rational objective 158.016
160.08/160.79	c #Conflicts:      22000 | #Constraints:     660587
160.08/160.79	c #Conflicts:      23000 | #Constraints:     661587
160.08/160.79	c #Conflicts:      24000 | #Constraints:     662587
160.08/160.79	c #Conflicts:      25000 | #Constraints:     663587
160.08/160.79	c INPROCESSING
160.08/160.79	c GARBAGE COLLECT
160.08/160.79	c rational objective 158.17
187.00/187.76	c #Conflicts:      26000 | #Constraints:     661183
187.00/187.76	c #Conflicts:      27000 | #Constraints:     662183
187.00/187.76	c #Conflicts:      28000 | #Constraints:     663183
187.00/187.76	c bounds 393 >= 24 @ 182.788
188.79/189.59	c bounds 392 >= 24 @ 184.566
188.99/189.77	c bounds 385 >= 24 @ 184.729
268.43/269.46	c #Conflicts:      29000 | #Constraints:     664209
268.43/269.46	c INPROCESSING
268.43/269.46	c GARBAGE COLLECT
268.43/269.46	c #Conflicts:      30000 | #Constraints:     661583
268.43/269.46	c bounds 383 >= 24 @ 263.792
297.06/298.13	c #Conflicts:      31000 | #Constraints:     662604
297.06/298.13	c #Conflicts:      32000 | #Constraints:     663623
297.06/298.13	c bounds 380 >= 24 @ 291.811
305.04/306.18	c #Conflicts:      33000 | #Constraints:     664626
305.04/306.18	c INPROCESSING
305.04/306.18	c GARBAGE COLLECT
305.04/306.18	c rational objective 158.541
337.23/338.46	c #Conflicts:      34000 | #Constraints:     661797
337.23/338.46	c #Conflicts:      35000 | #Constraints:     662797
337.23/338.46	c #Conflicts:      36000 | #Constraints:     663797
337.23/338.46	c #Conflicts:      37000 | #Constraints:     664797
337.23/338.46	c INPROCESSING
337.23/338.46	c GARBAGE COLLECT
337.23/338.46	c rational objective 158.575
431.73/433.25	c #Conflicts:      38000 | #Constraints:     661794
431.73/433.25	c #Conflicts:      39000 | #Constraints:     662796
431.73/433.25	c #Conflicts:      40000 | #Constraints:     663799
431.73/433.25	c #Conflicts:      41000 | #Constraints:     664802
431.73/433.25	c INPROCESSING
431.73/433.25	c GARBAGE COLLECT
431.73/433.25	c rational objective 158.651
510.09/511.82	c #Conflicts:      42000 | #Constraints:     661611
510.09/511.82	c #Conflicts:      43000 | #Constraints:     662923
510.09/511.82	c #Conflicts:      44000 | #Constraints:     664010
510.09/511.82	c bounds 379 >= 24 @ 503.734
510.50/512.25	c bounds 379 >= 27 @ 504.157
510.70/512.40	c bounds 379 >= 30 @ 504.299
527.55/529.35	c #Conflicts:      45000 | #Constraints:     665293
527.55/529.35	c #Conflicts:      46000 | #Constraints:     666294
527.55/529.35	c INPROCESSING
527.55/529.35	c GARBAGE COLLECT
527.55/529.35	c rational objective 158.656
659.89/662.15	c #Conflicts:      47000 | #Constraints:     662533
659.89/662.15	c #Conflicts:      48000 | #Constraints:     663533
659.89/662.15	c #Conflicts:      49000 | #Constraints:     664534
659.89/662.15	c #Conflicts:      50000 | #Constraints:     665539
659.89/662.15	c #Conflicts:      51000 | #Constraints:     666544
659.89/662.15	c INPROCESSING
659.89/662.15	c GARBAGE COLLECT
659.89/662.15	c #Conflicts:      52000 | #Constraints:     662770
659.89/662.15	c #Conflicts:      53000 | #Constraints:     663772
659.89/662.15	c #Conflicts:      54000 | #Constraints:     664773
659.89/662.15	c #Conflicts:      55000 | #Constraints:     665778
659.89/662.15	c #Conflicts:      56000 | #Constraints:     666778
659.89/662.15	c INPROCESSING
659.89/662.15	c GARBAGE COLLECT
659.89/662.15	c #Conflicts:      57000 | #Constraints:     662887
659.89/662.15	c #Conflicts:      58000 | #Constraints:     663889
659.89/662.15	c #Conflicts:      59000 | #Constraints:     664889
659.89/662.15	c #Conflicts:      60000 | #Constraints:     665891
659.89/662.15	c bounds 379 >= 33 @ 652.31
684.41/686.75	c #Conflicts:      61000 | #Constraints:     666906
684.41/686.75	c INPROCESSING
684.41/686.75	c GARBAGE COLLECT
684.41/686.75	c #Conflicts:      62000 | #Constraints:     662854
684.41/686.75	c bounds 377 >= 33 @ 676.526
684.41/686.78	c bounds 377 >= 35 @ 676.556
750.50/753.08	c #Conflicts:      63000 | #Constraints:     663866
750.50/753.08	c #Conflicts:      64000 | #Constraints:     664867
750.50/753.08	c #Conflicts:      65000 | #Constraints:     665875
750.50/753.08	c #Conflicts:      66000 | #Constraints:     666885
750.50/753.08	c INPROCESSING
750.50/753.08	c GARBAGE COLLECT
750.50/753.08	c rational objective 158.659
818.39/821.41	c #Conflicts:      67000 | #Constraints:     662630
818.39/821.41	c #Conflicts:      68000 | #Constraints:     663640
818.39/821.41	c #Conflicts:      69000 | #Constraints:     664655
818.39/821.41	c #Conflicts:      70000 | #Constraints:     665732
818.39/821.41	c #Conflicts:      71000 | #Constraints:     666784
818.39/821.41	c #Conflicts:      72000 | #Constraints:     667846
818.39/821.41	c INPROCESSING
818.39/821.41	c GARBAGE COLLECT
818.39/821.41	c bounds 376 >= 35 @ 809.162
818.39/821.44	c bounds 374 >= 35 @ 809.186
818.39/821.46	c bounds 369 >= 35 @ 809.201
818.50/821.54	c bounds 362 >= 35 @ 809.274
819.36/822.71	c bounds 356 >= 35 @ 810.044
831.32/834.75	c #Conflicts:      73000 | #Constraints:     663324
831.32/834.75	c bounds 355 >= 35 @ 821.838
831.42/834.83	c bounds 354 >= 35 @ 821.911
834.61/838.05	c bounds 353 >= 35 @ 825.068
835.41/838.84	c bounds 350 >= 35 @ 825.836
837.90/841.31	c bounds 349 >= 35 @ 828.262
837.90/841.35	c bounds 347 >= 35 @ 828.289
838.09/841.50	c bounds 346 >= 35 @ 828.439
838.09/841.51	c bounds 346 >= 36 @ 828.45
838.09/841.53	c bounds 346 >= 37 @ 828.459
838.09/841.55	c bounds 346 >= 38 @ 828.471
838.09/841.57	c bounds 346 >= 39 @ 828.49
838.09/841.59	c bounds 346 >= 40 @ 828.503
838.19/841.61	c bounds 346 >= 41 @ 828.518
838.19/841.64	c bounds 346 >= 42 @ 828.532
838.19/841.66	c bounds 346 >= 43 @ 828.545
838.19/841.68	c bounds 346 >= 44 @ 828.558
838.30/841.70	c bounds 346 >= 45 @ 828.577
838.30/841.74	c bounds 346 >= 46 @ 828.607
839.19/842.65	c #Conflicts:      74000 | #Constraints:     664409
839.19/842.65	c bounds 346 >= 47 @ 829.508
839.39/842.80	c bounds 346 >= 48 @ 829.646
839.39/842.85	c bounds 346 >= 49 @ 829.688
839.49/842.98	c bounds 346 >= 50 @ 829.81
839.70/843.19	c bounds 346 >= 51 @ 830.009
839.79/843.22	c bounds 345 >= 51 @ 830.037
839.79/843.29	c bounds 345 >= 52 @ 830.097
840.09/843.57	c bounds 342 >= 52 @ 830.365
840.19/843.65	c bounds 342 >= 53 @ 830.436
840.40/843.89	c bounds 342 >= 54 @ 830.668
841.19/844.62	c bounds 342 >= 55 @ 831.377
844.69/848.15	c bounds 342 >= 56 @ 834.868
846.07/849.50	c #Conflicts:      75000 | #Constraints:     665564
846.07/849.50	c bounds 342 >= 57 @ 836.184
849.07/852.56	c bounds 341 >= 57 @ 839.198
850.16/853.63	c bounds 341 >= 58 @ 840.241
853.45/856.98	c #Conflicts:      76000 | #Constraints:     666619
853.45/856.98	c bounds 341 >= 59 @ 843.523
857.75/861.23	c bounds 341 >= 60 @ 847.689
859.04/862.55	c #Conflicts:      77000 | #Constraints:     667679
859.04/862.55	c bounds 341 >= 61 @ 848.974
860.74/864.27	c bounds 341 >= 62 @ 850.641
867.31/870.85	c #Conflicts:      78000 | #Constraints:     668715
867.31/870.85	c INPROCESSING
867.31/870.85	c GARBAGE COLLECT
867.31/870.85	c rational objective 158.659
873.40/876.93	c bounds 341 >= 63 @ 863.165
887.86/891.42	c #Conflicts:      79000 | #Constraints:     663949
887.86/891.42	c bounds 341 >= 64 @ 877.522
893.24/896.81	c #Conflicts:      80000 | #Constraints:     664980
893.24/896.81	c bounds 341 >= 65 @ 882.809
896.45/900.00	c #Conflicts:      81000 | #Constraints:     666022
896.45/900.00	c bounds 341 >= 66 @ 885.931
910.70/914.39	c #Conflicts:      82000 | #Constraints:     667040
910.70/914.39	c #Conflicts:      83000 | #Constraints:     668041
910.70/914.39	c bounds 341 >= 67 @ 900.113
1120.77/1125.15	c #Conflicts:      84000 | #Constraints:     669065
1120.77/1125.15	c INPROCESSING
1120.77/1125.15	c GARBAGE COLLECT
1120.77/1125.15	c #Conflicts:      85000 | #Constraints:     664155
1120.77/1125.15	c #Conflicts:      86000 | #Constraints:     665155
1120.77/1125.15	c #Conflicts:      87000 | #Constraints:     666155
1120.77/1125.15	c bounds 341 >= 68 @ 1109.59
1223.83/1228.89	c #Conflicts:      88000 | #Constraints:     667200
1223.83/1228.89	c #Conflicts:      89000 | #Constraints:     668200
1223.83/1228.89	c #Conflicts:      90000 | #Constraints:     669200
1223.83/1228.89	c INPROCESSING
1223.83/1228.89	c GARBAGE COLLECT
1223.83/1228.89	c rational objective 158.659
1387.99/1393.50	c #Conflicts:      91000 | #Constraints:     664149
1387.99/1393.50	c #Conflicts:      92000 | #Constraints:     665149
1387.99/1393.50	c #Conflicts:      93000 | #Constraints:     666150
1387.99/1393.50	c #Conflicts:      94000 | #Constraints:     667163
1387.99/1393.50	c #Conflicts:      95000 | #Constraints:     668163
1387.99/1393.50	c #Conflicts:      96000 | #Constraints:     669163
1387.99/1393.50	c INPROCESSING
1387.99/1393.50	c GARBAGE COLLECT
1387.99/1393.50	c rational objective 158.659
1468.64/1474.46	c #Conflicts:      97000 | #Constraints:     663927
1468.64/1474.46	c #Conflicts:      98000 | #Constraints:     664941
1468.64/1474.46	c #Conflicts:      99000 | #Constraints:     665942
1468.64/1474.46	c #Conflicts:     100000 | #Constraints:     666944
1468.64/1474.46	c #Conflicts:     101000 | #Constraints:     667945
1468.64/1474.46	c #Conflicts:     102000 | #Constraints:     668949
1468.64/1474.46	c #Conflicts:     103000 | #Constraints:     669949
1468.64/1474.46	c bounds 337 >= 68 @ 1455.46
1474.72/1480.57	c INPROCESSING
1474.72/1480.57	c GARBAGE COLLECT
1474.72/1480.57	c #Conflicts:     104000 | #Constraints:     664508
1474.72/1480.57	c bounds 337 >= 69 @ 1461.4
1487.48/1493.33	c #Conflicts:     105000 | #Constraints:     665541
1487.48/1493.33	c #Conflicts:     106000 | #Constraints:     666541
1487.48/1493.33	c bounds 337 >= 70 @ 1473.95
1502.73/1508.60	c #Conflicts:     107000 | #Constraints:     667577
1502.73/1508.60	c #Conflicts:     108000 | #Constraints:     668577
1502.73/1508.60	c bounds 337 >= 71 @ 1488.91
1520.87/1526.84	c #Conflicts:     109000 | #Constraints:     669613
1520.87/1526.84	c #Conflicts:     110000 | #Constraints:     670613
1520.87/1526.84	c INPROCESSING
1520.87/1526.84	c GARBAGE COLLECT
1520.87/1526.84	c rational objective 158.659
1553.74/1559.85	c #Conflicts:     111000 | #Constraints:     664967
1553.74/1559.85	c #Conflicts:     112000 | #Constraints:     665967
1553.74/1559.85	c bounds 337 >= 72 @ 1539.42
1600.37/1606.63	c #Conflicts:     113000 | #Constraints:     667006
1600.37/1606.63	c #Conflicts:     114000 | #Constraints:     668006
1600.37/1606.63	c #Conflicts:     115000 | #Constraints:     669006
1600.37/1606.63	c #Conflicts:     116000 | #Constraints:     670006
1600.37/1606.63	c #Conflicts:     117000 | #Constraints:     671006
1600.37/1606.63	c INPROCESSING
1600.37/1606.63	c GARBAGE COLLECT
1600.37/1606.63	c rational objective 158.659
1742.50/1749.21	c #Conflicts:     118000 | #Constraints:     665169
1742.50/1749.21	c #Conflicts:     119000 | #Constraints:     666169
1742.50/1749.21	c #Conflicts:     120000 | #Constraints:     667170
1742.50/1749.21	c #Conflicts:     121000 | #Constraints:     668172
1742.50/1749.21	c #Conflicts:     122000 | #Constraints:     669172
1742.50/1749.21	c #Conflicts:     123000 | #Constraints:     670173
1742.50/1749.21	c #Conflicts:     124000 | #Constraints:     671174
1742.50/1749.21	c INPROCESSING
1742.50/1749.21	c GARBAGE COLLECT
1742.50/1749.21	c rational objective 158.659
1765.42/1772.20	c bounds 337 >= 73 @ 1749.29
1837.59/1844.67	c #Conflicts:     125000 | #Constraints:     665212
1837.59/1844.67	c #Conflicts:     126000 | #Constraints:     666212
1837.59/1844.67	c #Conflicts:     127000 | #Constraints:     667212
1837.59/1844.67	c #Conflicts:     128000 | #Constraints:     668212
1837.59/1844.67	c #Conflicts:     129000 | #Constraints:     669212
1837.59/1844.67	c #Conflicts:     130000 | #Constraints:     670212
1837.59/1844.67	c #Conflicts:     131000 | #Constraints:     671212
1837.59/1844.67	c INPROCESSING
1837.59/1844.67	c GARBAGE COLLECT
1837.59/1844.67	c rational objective 158.659
1908.03/1915.31	c #Conflicts:     132000 | #Constraints:     664991
1908.03/1915.31	c #Conflicts:     133000 | #Constraints:     665991
1908.03/1915.31	c #Conflicts:     134000 | #Constraints:     666991
1908.03/1915.31	c #Conflicts:     135000 | #Constraints:     667991
1908.03/1915.31	c #Conflicts:     136000 | #Constraints:     668992
1908.03/1915.31	c #Conflicts:     137000 | #Constraints:     669994
1908.03/1915.31	c #Conflicts:     138000 | #Constraints:     670994
1908.03/1915.31	c #Conflicts:     139000 | #Constraints:     671995
1908.03/1915.31	c INPROCESSING
1908.03/1915.31	c GARBAGE COLLECT
1908.03/1915.31	c rational objective 158.659
2008.52/2016.15	c #Conflicts:     140000 | #Constraints:     665588
2008.52/2016.15	c #Conflicts:     141000 | #Constraints:     666588
2008.52/2016.15	c #Conflicts:     142000 | #Constraints:     667589
2008.52/2016.15	c #Conflicts:     143000 | #Constraints:     668590
2008.52/2016.15	c #Conflicts:     144000 | #Constraints:     669592
2008.52/2016.15	c #Conflicts:     145000 | #Constraints:     670592
2008.52/2016.15	c #Conflicts:     146000 | #Constraints:     671593
2008.52/2016.15	c #Conflicts:     147000 | #Constraints:     672594
2008.52/2016.15	c INPROCESSING
2008.52/2016.15	c GARBAGE COLLECT
2008.52/2016.15	c rational objective 158.659
2028.90/2036.60	c #Conflicts:     148000 | #Constraints:     665987
2028.90/2036.60	c bounds 337 >= 74 @ 2009.41
2166.63/2174.87	c #Conflicts:     149000 | #Constraints:     667038
2166.63/2174.87	c #Conflicts:     150000 | #Constraints:     668038
2166.63/2174.87	c #Conflicts:     151000 | #Constraints:     669038
2166.63/2174.87	c #Conflicts:     152000 | #Constraints:     670038
2166.63/2174.87	c #Conflicts:     153000 | #Constraints:     671038
2166.63/2174.87	c #Conflicts:     154000 | #Constraints:     672038
2166.63/2174.87	c #Conflicts:     155000 | #Constraints:     673039
2166.63/2174.87	c INPROCESSING
2166.63/2174.87	c GARBAGE COLLECT
2166.63/2174.87	c #Conflicts:     156000 | #Constraints:     666219
2166.63/2174.87	c #Conflicts:     157000 | #Constraints:     667219
2166.63/2174.87	c #Conflicts:     158000 | #Constraints:     668219
2166.63/2174.87	c #Conflicts:     159000 | #Constraints:     669220
2166.63/2174.87	c #Conflicts:     160000 | #Constraints:     670221
2166.63/2174.87	c #Conflicts:     161000 | #Constraints:     671222
2166.63/2174.87	c #Conflicts:     162000 | #Constraints:     672222
2166.63/2174.87	c #Conflicts:     163000 | #Constraints:     673222
2166.63/2174.87	c INPROCESSING
2166.63/2174.87	c GARBAGE COLLECT
2166.63/2174.87	c rational objective 158.659
2172.22/2180.47	c bounds 336 >= 74 @ 2150.78
2172.42/2180.67	c bounds 335 >= 74 @ 2150.97
2173.52/2181.74	c bounds 334 >= 74 @ 2152.02
2182.59/2190.83	c #Conflicts:     164000 | #Constraints:     666218
2182.59/2190.83	c bounds 333 >= 74 @ 2160.93
2182.59/2190.85	c bounds 332 >= 74 @ 2160.95
2188.28/2196.55	c bounds 330 >= 74 @ 2166.58
2239.21/2247.67	c #Conflicts:     165000 | #Constraints:     667228
2239.21/2247.67	c #Conflicts:     166000 | #Constraints:     668228
2239.21/2247.67	c #Conflicts:     167000 | #Constraints:     669228
2239.21/2247.67	c #Conflicts:     168000 | #Constraints:     670228
2239.21/2247.67	c #Conflicts:     169000 | #Constraints:     671228
2239.21/2247.67	c #Conflicts:     170000 | #Constraints:     672228
2239.21/2247.67	c #Conflicts:     171000 | #Constraints:     673228
2239.21/2247.67	c INPROCESSING
2239.21/2247.67	c GARBAGE COLLECT
2239.21/2247.67	c rational objective 158.659
2245.10/2253.57	c bounds 327 >= 74 @ 2222.44
2245.19/2253.61	c bounds 325 >= 74 @ 2222.47
2253.06/2261.58	c #Conflicts:     172000 | #Constraints:     666016
2253.06/2261.58	c bounds 322 >= 74 @ 2230.26
2320.03/2328.74	c #Conflicts:     173000 | #Constraints:     667025
2320.03/2328.74	c #Conflicts:     174000 | #Constraints:     668025
2320.03/2328.74	c #Conflicts:     175000 | #Constraints:     669025
2320.03/2328.74	c #Conflicts:     176000 | #Constraints:     670025
2320.03/2328.74	c #Conflicts:     177000 | #Constraints:     671025
2320.03/2328.74	c #Conflicts:     178000 | #Constraints:     672025
2320.03/2328.74	c #Conflicts:     179000 | #Constraints:     673025
2320.03/2328.74	c #Conflicts:     180000 | #Constraints:     674025
2320.03/2328.74	c INPROCESSING
2320.03/2328.74	c GARBAGE COLLECT
2320.03/2328.74	c rational objective 158.659
2326.01/2334.73	c bounds 321 >= 74 @ 2301.89
2328.50/2337.20	c bounds 320 >= 74 @ 2304.28
2376.14/2385.08	c #Conflicts:     181000 | #Constraints:     666627
2376.14/2385.08	c #Conflicts:     182000 | #Constraints:     667695
2376.14/2385.08	c #Conflicts:     183000 | #Constraints:     668777
2376.14/2385.08	c bounds 319 >= 74 @ 2351.44
2579.80/2589.47	c #Conflicts:     184000 | #Constraints:     669801
2579.80/2589.47	c #Conflicts:     185000 | #Constraints:     670802
2579.80/2589.47	c #Conflicts:     186000 | #Constraints:     671802
2579.80/2589.47	c #Conflicts:     187000 | #Constraints:     672802
2579.80/2589.47	c #Conflicts:     188000 | #Constraints:     673802
2579.80/2589.47	c #Conflicts:     189000 | #Constraints:     674802
2579.80/2589.47	c INPROCESSING
2579.80/2589.47	c GARBAGE COLLECT
2579.80/2589.47	c rational objective 158.659
2655.43/2665.39	c #Conflicts:     190000 | #Constraints:     667106
2655.43/2665.39	c #Conflicts:     191000 | #Constraints:     668106
2655.43/2665.39	c #Conflicts:     192000 | #Constraints:     669106
2655.43/2665.39	c #Conflicts:     193000 | #Constraints:     670106
2655.43/2665.39	c #Conflicts:     194000 | #Constraints:     671107
2655.43/2665.39	c #Conflicts:     195000 | #Constraints:     672108
2655.43/2665.39	c #Conflicts:     196000 | #Constraints:     673109
2655.43/2665.39	c #Conflicts:     197000 | #Constraints:     674109
2655.43/2665.39	c bounds 319 >= 75 @ 2628.74
2738.04/2748.26	c #Conflicts:     198000 | #Constraints:     675175
2738.04/2748.26	c INPROCESSING
2738.04/2748.26	c GARBAGE COLLECT
2738.04/2748.26	c rational objective 158.659
3108.32/3119.81	c #Conflicts:     199000 | #Constraints:     667306
3108.32/3119.81	c #Conflicts:     200000 | #Constraints:     668306
3108.32/3119.81	c #Conflicts:     201000 | #Constraints:     669307
3108.32/3119.81	c #Conflicts:     202000 | #Constraints:     670307
3108.32/3119.81	c #Conflicts:     203000 | #Constraints:     671307
3108.32/3119.81	c #Conflicts:     204000 | #Constraints:     672307
3108.32/3119.81	c #Conflicts:     205000 | #Constraints:     673307
3108.32/3119.81	c #Conflicts:     206000 | #Constraints:     674307
3108.32/3119.81	c #Conflicts:     207000 | #Constraints:     675307
3108.32/3119.81	c INPROCESSING
3108.32/3119.81	c GARBAGE COLLECT
3108.32/3119.81	c rational objective 158.659
3195.21/3207.02	c #Conflicts:     208000 | #Constraints:     667270
3195.21/3207.02	c #Conflicts:     209000 | #Constraints:     668271
3195.21/3207.02	c #Conflicts:     210000 | #Constraints:     669271
3195.21/3207.02	c #Conflicts:     211000 | #Constraints:     670271
3195.21/3207.02	c #Conflicts:     212000 | #Constraints:     671271
3195.21/3207.02	c #Conflicts:     213000 | #Constraints:     672271
3195.21/3207.02	c #Conflicts:     214000 | #Constraints:     673272
3195.21/3207.02	c #Conflicts:     215000 | #Constraints:     674272
3195.21/3207.02	c #Conflicts:     216000 | #Constraints:     675272
3195.21/3207.02	c INPROCESSING
3195.21/3207.02	c GARBAGE COLLECT
3195.21/3207.02	c rational objective 158.659
3253.71/3265.71	c #Conflicts:     217000 | #Constraints:     667048
3253.71/3265.71	c #Conflicts:     218000 | #Constraints:     668049
3253.71/3265.71	c #Conflicts:     219000 | #Constraints:     669051
3253.71/3265.71	c #Conflicts:     220000 | #Constraints:     670051
3253.71/3265.71	c #Conflicts:     221000 | #Constraints:     671051
3253.71/3265.71	c #Conflicts:     222000 | #Constraints:     672053
3253.71/3265.71	c bounds 319 >= 76 @ 3223.41
3290.41/3302.51	c #Conflicts:     223000 | #Constraints:     673109
3290.41/3302.51	c #Conflicts:     224000 | #Constraints:     674109
3290.41/3302.51	c #Conflicts:     225000 | #Constraints:     675109
3290.41/3302.51	c #Conflicts:     226000 | #Constraints:     676109
3290.41/3302.51	c INPROCESSING
3290.41/3302.51	c GARBAGE COLLECT
3290.41/3302.51	c rational objective 158.659
3405.84/3418.30	c #Conflicts:     227000 | #Constraints:     667680
3405.84/3418.30	c #Conflicts:     228000 | #Constraints:     668680
3405.84/3418.30	c #Conflicts:     229000 | #Constraints:     669680
3405.84/3418.30	c #Conflicts:     230000 | #Constraints:     670680
3405.84/3418.30	c #Conflicts:     231000 | #Constraints:     671680
3405.84/3418.30	c #Conflicts:     232000 | #Constraints:     672681
3405.84/3418.30	c #Conflicts:     233000 | #Constraints:     673682
3405.84/3418.30	c #Conflicts:     234000 | #Constraints:     674683
3405.84/3418.30	c #Conflicts:     235000 | #Constraints:     675685
3405.84/3418.30	c #Conflicts:     236000 | #Constraints:     676685
3405.84/3418.30	c INPROCESSING
3405.84/3418.30	c GARBAGE COLLECT
3405.84/3418.30	c rational objective 158.659
3410.92/3423.47	c bounds 318 >= 76 @ 3378.52
3411.02/3423.54	c bounds 316 >= 76 @ 3378.59
3418.88/3431.49	c #Conflicts:     237000 | #Constraints:     668078
3418.88/3431.49	c bounds 314 >= 76 @ 3386.37
3504.11/3517.04	c #Conflicts:     238000 | #Constraints:     669079
3504.11/3517.04	c #Conflicts:     239000 | #Constraints:     670079
3504.11/3517.04	c #Conflicts:     240000 | #Constraints:     671079
3504.11/3517.04	c #Conflicts:     241000 | #Constraints:     672079
3504.11/3517.04	c #Conflicts:     242000 | #Constraints:     673081
3504.11/3517.04	c #Conflicts:     243000 | #Constraints:     674081
3504.11/3517.04	c #Conflicts:     244000 | #Constraints:     675081
3504.11/3517.04	c #Conflicts:     245000 | #Constraints:     676081
3504.11/3517.04	c #Conflicts:     246000 | #Constraints:     677081
3504.11/3517.04	c INPROCESSING
3504.11/3517.04	c GARBAGE COLLECT
3504.11/3517.04	c rational objective 158.659
3509.59/3522.50	c bounds 312 >= 76 @ 3475.52
3509.59/3522.54	c bounds 310 >= 76 @ 3475.55
3517.17/3530.18	c bounds 308 >= 76 @ 3483.06
3559.04/3572.12	c #Conflicts:     247000 | #Constraints:     668267
3559.04/3572.12	c #Conflicts:     248000 | #Constraints:     669282
3559.04/3572.12	c #Conflicts:     249000 | #Constraints:     670292
3559.04/3572.12	c #Conflicts:     250000 | #Constraints:     671298
3559.04/3572.12	c bounds 307 >= 76 @ 3524.23
3600.09/3613.32	c #Conflicts:     251000 | #Constraints:     672304
3600.09/3613.32	c #Conflicts:     252000 | #Constraints:     673304
3600.09/3613.32	c #Conflicts:     253000 | #Constraints:     674304
3600.09/3613.32	c #Conflicts:     254000 | #Constraints:     675304
3600.09/3613.32	c #Conflicts:     255000 | #Constraints:     676304
3600.09/3613.32	c cpu time 3564.54 s
3600.09/3613.32	c deterministic time 91827993527 9.18e+10
3600.09/3613.32	c optimization time 42.1882 s
3600.09/3613.32	c total solve time 3519.33 s
3600.09/3613.32	c core-guided solve time 2957.9 s
3600.09/3613.32	c propagation time 1214.19 s
3600.09/3613.32	c conflict analysis time 853.806 s
3600.09/3613.32	c propagations 86665095
3600.09/3613.32	c resolve steps 4011219
3600.09/3613.32	c decisions 8691073
3600.09/3613.32	c conflicts 255447
3600.09/3613.32	c restarts 602
3600.09/3613.32	c inprocessing phases 41
3600.09/3613.32	c garbage collections 41 ,( 100.00 )
3600.09/3613.32	c input clauses 657175 ,( 99.86 )
3600.09/3613.32	c input cardinalities 326 ,( 0.05 )
3600.09/3613.32	c input general constraints 585 ,( 0.09 )
3600.09/3613.32	c input average constraint length 6.90
3600.09/3613.32	c input average constraint degree 157.49
3600.09/3613.32	c learned clauses 171946 ,( 66.93 )
3600.09/3613.32	c learned cardinalities 13 ,( 0.01 )
3600.09/3613.32	c learned general constraints 84954 ,( 33.07 )
3600.09/3613.32	c learned average constraint length 1817.36
3600.09/3613.32	c learned average constraint degree 45484551696.71
3600.09/3613.32	c watched  CF 32, 64, 128, Arb: 4874 , 0 , 0 , 0
3600.09/3613.32	c counting CF 32, 64, 128, Arb: 80666 , 0 , 0 , 0
3600.09/3613.32	c watched   constraints 4874 ,( 5.70 ) 
3600.09/3613.32	c counting  constraints 80665 ,( 94.30 ) 
3600.09/3613.32	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 48884705 , 2694103 , 936671591 ,( 43609966 , 893061625 )
3600.09/3613.32	c gcd simplifications 10964
3600.09/3613.32	c detected cardinalities 0
3600.09/3613.32	c weakened non-implied lits 839421314
3600.09/3613.32	c weakened non-implying lits 175982
3600.09/3613.32	c original variables 10000
3600.09/3613.32	c clausal propagations 13711369
3600.09/3613.32	c cardinality propagations 470896
3600.09/3613.32	c watched propagations 90218
3600.09/3613.32	c counting propagations 70034813
3600.09/3613.32	c watch lookups 5526374077
3600.09/3613.32	c watch backjump lookups 0
3600.09/3613.32	c watch checks 4629873038
3600.09/3613.32	c propagation checks 77270255131
3600.09/3613.32	c constraint additions 4210090072
3600.09/3613.32	c trail pops 95601685
3600.09/3613.32	c formula constraints 656900
3600.09/3613.32	c learned constraints 255212
3600.09/3613.32	c bound constraints 259
3600.09/3613.32	c core-guided constraints 927
3600.09/3613.32	c encountered formula constraints 1508281
3600.09/3613.32	c encountered learned constraints 1615600
3600.09/3613.32	c encountered bound constraints 8448
3600.09/3613.32	c encountered core-guided constraints 1104378
3600.09/3613.32	c LP total time 2144.69 s
3600.09/3613.32	c LP solve time 1957.38 s
3600.09/3613.32	c LP constraints added 656933
3600.09/3613.32	c LP constraints removed 14
3600.09/3613.32	c LP pivots internal 256105
3600.09/3613.32	c LP pivots root 187250
3600.09/3613.32	c LP calls 1706
3600.09/3613.32	c LP optimalities 216
3600.09/3613.32	c LP no pivot count 20
3600.09/3613.32	c LP infeasibilities 1453
3600.09/3613.32	c LP valid Farkas constraints 1447
3600.09/3613.32	c LP learned Farkas constraints 239
3600.09/3613.32	c LP basis resets 38
3600.09/3613.32	c LP cycling count 17
3600.09/3613.32	c LP singular count 4
3600.09/3613.32	c LP no primal count 0
3600.09/3613.32	c LP no farkas count 6
3600.09/3613.32	c LP other issue count 11
3600.09/3613.32	c LP Gomory cuts 15
3600.09/3613.32	c LP learned cuts 18
3600.09/3613.32	c LP deleted cuts 14
3600.09/3613.32	c LP encountered Gomory constraints 312
3600.09/3613.32	c LP encountered Farkas constraints 28992
3600.09/3613.32	c LP encountered learned Farkas constraints 416
3600.09/3613.32	c CG auxiliary variables introduced 326
3600.09/3613.32	c CG solutions found 207
3600.09/3613.32	c CG cores constructed 51
3600.09/3613.32	c CG core cardinality constraints returned 0
3600.09/3613.32	c CG unit cores 0
3600.09/3613.32	c CG single cores 50
3600.09/3613.32	c CG blocks removed during cardinality reduction 0
3600.09/3613.32	c CG first core best 0
3600.09/3613.32	c CG decision core best 0
3600.09/3613.32	c CG core reduction tie 1
3600.09/3613.32	c CG core degree average 1.00
3600.09/3613.32	c CG core slack average 866.43
3600.09/3613.32	c CG core upper bound improvements 54
3600.09/3613.32	c STR number of successful calls 0
3600.09/3613.32	c STR number of unsuccessful calls 0
3600.09/3613.32	c STR number of inconclusive calls 0
3600.09/3613.32	c STR number of successful attempts 0
3600.09/3613.32	c STR number of unsuccessful attempts 0
3600.09/3613.32	c STR number of inconclusive attempts 0
3600.09/3613.32	c STR average degree increase per successful call inf
3600.09/3613.32	c STR average degree increase per successful attempt inf
3600.09/3613.32	c STR total number of conflicts for successful attempts 0
3600.09/3613.32	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3613.32	c STR total number of conflicts for inconclusive attempts 0
3600.09/3613.32	c STR average number of conflicts per successful attempt inf
3600.09/3613.32	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3613.32	c STR average number of conflicts per inconclusive attempt inf
3600.09/3613.32	c AVG.sumWPerc 90.67 
3600.09/3613.32	c bigint constraints 0 
3600.09/3613.32	o 307
3600.09/3613.32	s SATISFIABLE
3600.09/3613.32	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.09/3613.32	c Program interrupted by user.

Verifier Data 

OK	307

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489509-1751357679/watcher-4489509-1751357679 -o /tmp/evaluation-result-4489509-1751357679/solver-4489509-1751357679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48857 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489509-1751357679.opb PROOFDIR/proof-4489509-1751357679 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100065 s]*
/proc/loadavg: 4.16 4.16 4.13 4/268 49592
/proc/meminfo: memFree=63807296/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49592] ppid=49590 vsize=163404 memory=146524 CPUtime=0.08 cores=4,6
/proc/49592/stat : 49592 (pbsuma) R 49590 49590 48846 0 -1 4194304 3971 0 0 0 5 3 0 0 20 0 1 0 51446395 167325696 36631 18446744073709551615 4210688 4653049 140733068179408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15773696 140733068187875 140733068188210 140733068188210 140733068193775 0
/proc/49592/statm: 40851 36631 928 108 0 38259 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 167596 KiB
Current children cumulated memory: 149596 KiB

[startup+0.206153 s]*
/proc/loadavg: 4.16 4.16 4.13 4/268 49592
/proc/meminfo: memFree=63789120/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49592] ppid=49590 vsize=180392 memory=165500 CPUtime=0.19 cores=4,6
/proc/49592/stat : 49592 (pbsuma) R 49590 49590 48846 0 -1 4194304 8918 0 0 0 15 4 0 0 20 0 1 0 51446395 184721408 41375 18446744073709551615 4210688 4653049 140733068179408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15773696 140733068187875 140733068188210 140733068188210 140733068193775 0
/proc/49592/statm: 45098 41375 928 108 0 42506 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 184584 KiB
Current children cumulated memory: 168572 KiB

[startup+0.306465 s]*
/proc/loadavg: 4.16 4.16 4.13 6/268 49592
/proc/meminfo: memFree=63765816/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49592] ppid=49590 vsize=193596 memory=182056 CPUtime=0.28 cores=4,6
/proc/49592/stat : 49592 (pbsuma) R 49590 49590 48846 0 -1 4194304 12520 0 0 0 24 4 0 0 20 0 1 0 51446395 198242304 45514 18446744073709551615 4210688 4653049 140733068179408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15773696 140733068187875 140733068188210 140733068188210 140733068193775 0
/proc/49592/statm: 48399 45514 928 108 0 45807 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 197788 KiB
Current children cumulated memory: 185128 KiB

[startup+0.700516 s]
/proc/loadavg: 4.16 4.16 4.13 4/271 49599
/proc/meminfo: memFree=63690704/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49592] ppid=49590 vsize=309828 memory=261672 CPUtime=0.66 cores=4,6
/proc/49592/stat : 49592 (pbsuma) R 49590 49590 48846 0 -1 4194304 22752 0 0 0 59 7 0 0 20 0 1 0 51446395 317263872 65418 18446744073709551615 4210688 4653049 140733068179408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15773696 140733068187875 140733068188210 140733068188210 140733068193775 0
/proc/49592/statm: 77457 65418 960 108 0 74865 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 314020 KiB
Current children cumulated memory: 264744 KiB

[startup+1.50022 s]
/proc/loadavg: 4.16 4.16 4.13 4/268 49611
/proc/meminfo: memFree=68693008/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3.10571 s]
/proc/loadavg: 4.16 4.16 4.13 6/274 49633
/proc/meminfo: memFree=71989452/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=253284 memory=188696 CPUtime=2.02 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 41707 0 0 0 158 44 0 0 20 0 1 0 51446497 259362816 47174 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 63321 47174 1984 1147 0 50748 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 257476 KiB
Current children cumulated memory: 191768 KiB

[startup+6.3002 s]
/proc/loadavg: 4.31 4.19 4.14 5/275 49649
/proc/meminfo: memFree=76282024/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=1064968 memory=804012 CPUtime=5.21 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 88439 0 0 0 439 82 0 0 20 0 1 0 51446497 1090527232 201003 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 266242 201003 2304 1147 0 253669 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1069160 KiB
Current children cumulated memory: 807084 KiB

[startup+12.7002 s]
/proc/loadavg: 4.36 4.20 4.14 5/277 49729
/proc/meminfo: memFree=127519876/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=1229944 memory=909764 CPUtime=11.59 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 98085 0 0 0 1060 99 0 0 20 0 1 0 51446497 1259462656 227441 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 307486 227441 2368 1147 0 294913 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 1234136 KiB
Current children cumulated memory: 912836 KiB

[startup+25.5002 s]
/proc/loadavg: 4.50 4.24 4.16 5/277 49729
/proc/meminfo: memFree=125209196/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=1360496 memory=1040980 CPUtime=24.34 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 109532 0 0 0 2278 156 0 0 20 0 1 0 51446497 1393147904 260245 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 340124 260245 2368 1147 0 327551 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 1364688 KiB
Current children cumulated memory: 1044052 KiB

[startup+51.1058 s]
/proc/loadavg: 4.80 4.34 4.19 5/277 49729
/proc/meminfo: memFree=124527768/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=1448640 memory=1099056 CPUtime=49.86 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 115383 0 0 0 4803 183 0 0 20 0 1 0 51446497 1483407360 274764 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 362160 274764 2368 1147 0 349587 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1452832 KiB
Current children cumulated memory: 1102128 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.30 4.18 5/276 49731
/proc/meminfo: memFree=123246640/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=1476964 memory=1138532 CPUtime=100.89 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 117534 0 0 0 9872 217 0 0 20 0 1 0 51446497 1512411136 284633 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 369241 284633 2368 1147 0 356668 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1481156 KiB
Current children cumulated memory: 1141604 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.26 4.18 5/276 49733
/proc/meminfo: memFree=120731184/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=2122620 memory=1642600 CPUtime=160.7 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 186691 0 0 0 15765 305 0 0 20 0 1 0 51446497 2173562880 410650 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 530655 410650 2400 1147 0 518082 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 2126812 KiB
Current children cumulated memory: 1645672 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.22 4.17 5/275 49735
/proc/meminfo: memFree=119438268/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=2146872 memory=1718272 CPUtime=220.52 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 195119 0 0 0 21701 351 0 0 20 0 1 0 51446497 2198396928 429568 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 536718 429568 2400 1147 0 524145 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 2151064 KiB
Current children cumulated memory: 1721344 KiB

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

Current children cumulated memory: 2659080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/273 49905
/proc/meminfo: memFree=5889688/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=3117816 memory=2653956 CPUtime=3329.09 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 381456 0 0 0 329881 3028 0 0 20 0 1 0 51446497 3192643584 663489 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663489 2496 1147 0 766881 0
Current children cumulated CPU time: 3330.07 s
Current children cumulated vsize: 3122008 KiB
Current children cumulated memory: 2657028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.15 4.12 5/275 49915
/proc/meminfo: memFree=3716760/131249996 swapFree=33010684/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=3117816 memory=2653956 CPUtime=3388.93 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 381524 0 0 0 335763 3130 0 0 20 0 1 0 51446497 3192643584 663489 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663489 2496 1147 0 766881 0
Current children cumulated CPU time: 3389.91 s
Current children cumulated vsize: 3122008 KiB
Current children cumulated memory: 2657028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/276 49918
/proc/meminfo: memFree=712000/131249996 swapFree=33010160/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=3117816 memory=2653956 CPUtime=3448.65 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 381541 0 0 0 341634 3231 0 0 20 0 1 0 51446497 3192643584 663489 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663489 2496 1147 0 766881 0
Current children cumulated CPU time: 3449.63 s
Current children cumulated vsize: 3122008 KiB
Current children cumulated memory: 2657028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/276 49920
/proc/meminfo: memFree=757964/131249996 swapFree=33010160/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=3117816 memory=2653956 CPUtime=3508.41 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 382303 0 0 0 347532 3309 0 0 20 0 1 0 51446497 3192643584 663489 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663489 2496 1147 0 766881 0
Current children cumulated CPU time: 3509.39 s
Current children cumulated vsize: 3122008 KiB
Current children cumulated memory: 2657028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/275 49922
/proc/meminfo: memFree=839796/131249996 swapFree=33010160/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=3117816 memory=2653956 CPUtime=3568.22 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 388526 0 0 0 353418 3404 0 0 20 0 1 0 51446497 3192643584 663489 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663489 2496 1147 0 766881 0
Current children cumulated CPU time: 3569.2 s
Current children cumulated vsize: 3122008 KiB
Current children cumulated memory: 2657028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/275 49922
/proc/meminfo: memFree=636236/131249996 swapFree=33010160/33010684
[pid=49590] ppid=49587 vsize=4192 memory=3072 CPUtime=0.98 cores=4,6
/proc/49590/stat : 49590 (run-opt-ls-log.) S 49587 49590 48846 0 -1 4194304 241 30012 0 0 0 0 88 10 20 0 1 0 51446394 4292608 768 18446744073709551615 94760839659520 94760840554053 140732232962240 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94760840793104 94760840840848 94760866529280 140732232964379 140732232964577 140732232964577 140732232970179 0
/proc/49590/statm: 1048 768 704 219 0 110 0
[pid=49612] ppid=49590 vsize=3117816 memory=2653956 CPUtime=3599.11 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49590 49590 48846 0 -1 4194304 388533 0 0 0 356453 3458 0 0 20 0 1 0 51446497 3192643584 663489 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663489 2496 1147 0 766881 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3122008 KiB
Current children cumulated memory: 2657028 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.880615 s, system=0.112525 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.14 4.13 4.11 3/273 49922
/proc/meminfo: memFree=754052/131249996 swapFree=33010160/33010684
[pid=49612] ppid=49587 vsize=3117816 memory=2654212 CPUtime=3599.64 cores=4,6
/proc/49612/stat : 49612 (roundingsat) R 49587 49590 48846 0 -1 4194304 388534 0 2 0 356454 3510 0 0 20 0 1 0 51446497 3192643584 663553 18446744073709551615 4227072 8923433 140725824011728 0 0 256 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 9
/proc/49612/statm: 779454 663553 2560 1147 0 766881 0
??? kill 49612 sig 9
??? end of watcher thread

[startup+3621.95 s]
# the end of solver process 49612 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3614.4 s]
/proc/loadavg: 4.15 4.13 4.11 4/273 49922
/proc/meminfo: memFree=747948/131249996 swapFree=33010160/33010684
[pid=49612] ppid=49587 vsize=3117816 memory=2654212 CPUtime=3599.63 cores=4,6
/proc/49612/stat : 49612 (roundingsat) D 49587 49590 48846 0 -1 4194304 388534 0 2 0 356454 3509 0 0 20 0 1 0 51446497 3192643584 663553 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663553 2560 1147 0 766881 0
Current cumulated CPU time of completed processes: 0.99314 s
Current children cumulated CPU time: 3599.63 s
Current children cumulated vsize: 3117816 KiB
Current children cumulated memory: 2654212 KiB

[startup+3614.8 s]
/proc/loadavg: 4.15 4.13 4.11 4/273 49922
/proc/meminfo: memFree=747948/131249996 swapFree=33010160/33010684
[pid=49612] ppid=49587 vsize=3117816 memory=2654212 CPUtime=3599.63 cores=4,6
/proc/49612/stat : 49612 (roundingsat) D 49587 49590 48846 0 -1 4194304 388534 0 2 0 356454 3509 0 0 20 0 1 0 51446497 3192643584 663553 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663553 2560 1147 0 766881 0
Current cumulated CPU time of completed processes: 0.99314 s
Current children cumulated CPU time: 3599.63 s
Current children cumulated vsize: 3117816 KiB
Current children cumulated memory: 2654212 KiB

[startup+3615.2 s]
/proc/loadavg: 4.14 4.13 4.11 3/273 49922
/proc/meminfo: memFree=752180/131249996 swapFree=33010160/33010684
[pid=49612] ppid=49587 vsize=3117816 memory=2654212 CPUtime=3599.63 cores=4,6
/proc/49612/stat : 49612 (roundingsat) D 49587 49590 48846 0 -1 4194304 388534 0 2 0 356454 3509 0 0 20 0 1 0 51446497 3192643584 663553 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663553 2560 1147 0 766881 0
Current cumulated CPU time of completed processes: 0.99314 s
Current children cumulated CPU time: 3599.63 s
Current children cumulated vsize: 3117816 KiB
Current children cumulated memory: 2654212 KiB

[startup+3615.3 s]
/proc/loadavg: 4.14 4.13 4.11 3/273 49922
/proc/meminfo: memFree=752180/131249996 swapFree=33010160/33010684
[pid=49612] ppid=49587 vsize=3117816 memory=2654212 CPUtime=3599.64 cores=4,6
/proc/49612/stat : 49612 (roundingsat) D 49587 49590 48846 0 -1 4194304 388534 0 2 0 356454 3510 0 0 20 0 1 0 51446497 3192643584 663553 18446744073709551615 4227072 8923433 140725824011728 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 38834176 140725824014582 140725824014888 140725824014888 140725824020458 0
/proc/49612/statm: 779454 663553 2560 1147 0 766881 0
Current cumulated CPU time of completed processes: 0.99314 s
Current children cumulated CPU time: 3599.64 s
Current children cumulated vsize: 3117816 KiB
Current children cumulated memory: 2654212 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3621.95
CPU time (s): 3600.88
CPU user time (s): 3565.46
CPU system time (s): 35.4201
CPU usage (%): 99.4181
Max. virtual memory (cumulated for all children) (KiB): 3234012
Max. memory (cumulated for all children) (KiB): 2768808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.46
system time used= 35.4201
maximum resident set size= 2765776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418787
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 70082576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157838
involuntary context switches= 6541


# summary of solver processes directly reported to runsolver:
#   pid: 49590,49612
#   total CPU time (s): 3600.88
#   total CPU user time (s): 3565.46
#   total CPU system time (s): 35.4201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53513 second user time and 17.2274 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 10:14:40
IDJOB=4489509
IDBENCH=147555
IDSOLVER=3356
FILE ID=nodeC029/4489509-1751357679
RUNJOBID= nodeC029-1751350437-48857
SLURM_JOB_ID= 9598138
Free space on /tmp= 432988 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489509-1751357679/watcher-4489509-1751357679 -o /tmp/evaluation-result-4489509-1751357679/solver-4489509-1751357679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751350437-48857 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489509-1751357679.opb PROOFDIR/proof-4489509-1751357679

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1450135855

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        63943092 kB
MemAvailable:   123728304 kB
Buffers:            3280 kB
Cached:         60524800 kB
SwapCached:            0 kB
Active:          5995500 kB
Inactive:       60267476 kB
Active(anon):    5753000 kB
Inactive(anon):        0 kB
Active(file):     242500 kB
Inactive(file): 60267476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             74732 kB
Writeback:       6941524 kB
AnonPages:       5735780 kB
Mapped:           114052 kB
Shmem:             18060 kB
KReclaimable:     228952 kB
Slab:             588848 kB
SReclaimable:     228952 kB
SUnreclaim:       359896 kB
KernelStack:        4368 kB
PageTables:        15820 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7168716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4546560 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC029 at 2025-07-01 11:15:02