Trace number 4489738

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 63f22adSAT (TO)315 3600.27 3611.46

General information on the benchmark

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

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4489738-1751363764.opb'
0.29/0.34	c 	read 17.23MB  (325.47ms)
0.29/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.34	c 
0.29/0.34	c make graph and approximate orbits
0.68/0.72	c	 [group: #orbits ~= 0] (382.84ms)
0.68/0.72	c 
0.68/0.72	c detect special group actions
0.68/0.72	c 	probe for Johnson action (limit=64)
0.68/0.72	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.68/0.73	c 	probe for row symmetry (limit=64, splits=16.78M)
0.68/0.74	c 	 (19.22ms)
0.68/0.74	c 
0.68/0.74	c detect symmetries on remainder
0.68/0.74	c 	[graph: #vertices 706697 #edges 2766392]
0.68/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.68/0.79	c 	 [group: #symmetries 1.00*10^0 #generators 0] (52.93ms)
0.68/0.79	c 
0.68/0.79	c finalize break order and special generators
0.68/0.79	c 
0.68/0.79	c generation finished
0.68/0.79	c 	[sbp: #constraints 0 #add_vars 0]
0.68/0.79	c 
0.68/0.79	c write result to 'HOME/instance-4489738-1751363764.opb.pre'
0.77/0.83	c 	wrote 17.23MB (35.49ms)
0.77/0.83	c ------------------------------------------------------------------
0.77/0.83	c                 382.84ms 46.77% approx_orbits
0.77/0.83	c                 325.47ms 39.76% parse
0.77/0.83	c                  52.93ms  6.47% detect_generic
0.77/0.83	c                  35.49ms  4.34% output
0.77/0.83	c                  19.22ms  2.35% detect_special
0.77/0.83	c                   2.16ms  0.26% other
0.77/0.83	c                   0.39ms  0.05% finalize_order
0.77/0.83	c         ───────────────────────────────────────────────
0.77/0.83	c                 818.50ms   100% total
0.77/0.83	c ------------------------------------------------------------------
0.88/0.98	c RoundingSat 2
0.88/0.98	c branch pb25
0.88/0.98	c commit 63f22ad
3.55/3.60	c #variables 10000 #constraints 656900
3.55/3.60	c objective is ce32 
4.35/4.47	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.35/4.47	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.35/4.47	c bounds 5476 >= 0 @ 2.80025
6.54/6.68	c rational objective 172.243
9.94/10.08	c bounds 5461 >= 0 @ 8.27007
9.94/10.10	c bounds 5456 >= 0 @ 8.28173
10.03/10.11	c bounds 5454 >= 0 @ 8.29602
10.03/10.12	c bounds 5303 >= 0 @ 8.3021
10.03/10.13	c bounds 5259 >= 0 @ 8.30944
10.03/10.14	c bounds 5256 >= 0 @ 8.31601
10.03/10.14	c bounds 5158 >= 0 @ 8.32023
10.12/10.25	c bounds 5154 >= 0 @ 8.41835
10.12/10.26	c bounds 5133 >= 0 @ 8.4332
10.12/10.27	c bounds 5131 >= 0 @ 8.44315
10.23/10.35	c bounds 5074 >= 0 @ 8.51953
10.33/10.42	c bounds 5067 >= 0 @ 8.58892
11.12/11.25	c bounds 5052 >= 0 @ 9.41511
11.12/11.28	c bounds 4994 >= 0 @ 9.44368
11.12/11.29	c bounds 4990 >= 0 @ 9.44944
11.23/11.31	c bounds 4986 >= 0 @ 9.46233
11.23/11.35	c bounds 4976 >= 0 @ 9.49775
11.23/11.36	c bounds 4906 >= 0 @ 9.50541
11.23/11.36	c bounds 4681 >= 0 @ 9.51203
11.23/11.37	c bounds 4611 >= 0 @ 9.51847
11.32/11.43	c bounds 4607 >= 0 @ 9.57568
11.32/11.44	c bounds 4604 >= 0 @ 9.58263
11.32/11.45	c bounds 4582 >= 0 @ 9.59253
11.32/11.47	c bounds 4566 >= 0 @ 9.60075
11.32/11.49	c bounds 4500 >= 0 @ 9.62594
11.42/11.50	c bounds 4459 >= 0 @ 9.63247
11.42/11.51	c bounds 4335 >= 0 @ 9.63885
11.42/11.53	c bounds 4328 >= 0 @ 9.6533
11.42/11.54	c bounds 4258 >= 0 @ 9.66331
11.42/11.54	c bounds 4256 >= 0 @ 9.67067
11.42/11.55	c bounds 4190 >= 0 @ 9.67733
11.42/11.57	c bounds 4186 >= 0 @ 9.69034
11.42/11.58	c bounds 4182 >= 0 @ 9.69774
11.42/11.59	c bounds 4125 >= 0 @ 9.70366
11.52/11.60	c bounds 4124 >= 0 @ 9.71136
11.52/11.60	c bounds 4074 >= 0 @ 9.71831
11.52/11.61	c bounds 4026 >= 0 @ 9.72572
11.52/11.62	c bounds 4008 >= 0 @ 9.72912
11.52/11.63	c bounds 3946 >= 0 @ 9.73659
11.52/11.64	c bounds 3934 >= 0 @ 9.74626
11.52/11.65	c bounds 3913 >= 0 @ 9.75449
11.52/11.66	c bounds 3911 >= 0 @ 9.76589
11.52/11.68	c bounds 3904 >= 0 @ 9.77206
11.62/11.72	c bounds 3896 >= 0 @ 9.81291
11.62/11.73	c bounds 3819 >= 0 @ 9.8187
11.62/11.75	c bounds 3800 >= 0 @ 9.84196
11.62/11.76	c bounds 3777 >= 0 @ 9.84767
11.62/11.77	c bounds 3716 >= 0 @ 9.85368
11.62/11.78	c bounds 3679 >= 0 @ 9.86079
11.73/11.80	c bounds 3639 >= 0 @ 9.87982
11.73/11.84	c bounds 3635 >= 0 @ 9.91145
11.73/11.85	c bounds 3627 >= 0 @ 9.92442
11.73/11.87	c bounds 3590 >= 0 @ 9.94249
11.73/11.89	c bounds 3560 >= 0 @ 9.96221
11.83/11.91	c bounds 3559 >= 0 @ 9.97022
11.83/11.92	c bounds 3544 >= 0 @ 9.98354
11.83/11.94	c bounds 3533 >= 0 @ 9.99639
11.83/11.94	c bounds 3436 >= 0 @ 10.0042
11.83/11.98	c bounds 3386 >= 0 @ 10.0379
11.83/11.99	c bounds 3358 >= 0 @ 10.0525
11.93/12.01	c bounds 3322 >= 0 @ 10.0633
11.93/12.03	c bounds 3277 >= 0 @ 10.0768
11.93/12.04	c bounds 3272 >= 0 @ 10.0859
11.93/12.05	c bounds 3260 >= 0 @ 10.0946
11.93/12.06	c bounds 3257 >= 0 @ 10.1048
11.93/12.07	c bounds 3249 >= 0 @ 10.1125
11.93/12.08	c bounds 3231 >= 0 @ 10.1173
11.93/12.09	c bounds 3222 >= 0 @ 10.123
11.93/12.10	c bounds 3215 >= 0 @ 10.1295
12.03/12.11	c bounds 3210 >= 0 @ 10.1346
12.03/12.12	c bounds 3141 >= 0 @ 10.1413
12.03/12.12	c bounds 3139 >= 0 @ 10.1463
12.03/12.13	c bounds 3110 >= 0 @ 10.1525
12.03/12.14	c bounds 3098 >= 0 @ 10.1616
12.03/12.16	c bounds 3067 >= 0 @ 10.1724
12.03/12.17	c bounds 3066 >= 0 @ 10.1851
12.03/12.18	c bounds 3058 >= 0 @ 10.1949
12.03/12.19	c bounds 3057 >= 0 @ 10.2028
12.12/12.20	c bounds 3037 >= 0 @ 10.2098
12.12/12.21	c bounds 3036 >= 0 @ 10.2154
12.12/12.23	c bounds 3004 >= 0 @ 10.2269
12.23/12.31	c bounds 3003 >= 0 @ 10.3017
12.23/12.31	c bounds 2997 >= 0 @ 10.308
12.23/12.32	c bounds 2992 >= 0 @ 10.3138
12.23/12.38	c bounds 2989 >= 0 @ 10.3668
12.23/12.39	c bounds 2941 >= 0 @ 10.3742
12.32/12.40	c bounds 2878 >= 0 @ 10.3823
12.32/12.41	c bounds 2877 >= 0 @ 10.3865
12.32/12.42	c bounds 2800 >= 0 @ 10.3927
12.32/12.43	c bounds 2766 >= 0 @ 10.3979
12.32/12.44	c bounds 2757 >= 0 @ 10.4033
12.32/12.45	c bounds 2741 >= 0 @ 10.4087
12.32/12.46	c bounds 2718 >= 0 @ 10.4177
12.32/12.47	c bounds 2631 >= 0 @ 10.4234
12.32/12.48	c bounds 2589 >= 0 @ 10.428
12.32/12.49	c bounds 2581 >= 0 @ 10.44
12.42/12.50	c bounds 2519 >= 0 @ 10.4477
12.42/12.51	c bounds 2492 >= 0 @ 10.4564
12.42/12.54	c bounds 2472 >= 0 @ 10.4858
12.42/12.57	c bounds 2468 >= 0 @ 10.5069
12.53/12.61	c bounds 2295 >= 0 @ 10.5395
12.53/12.62	c bounds 2285 >= 0 @ 10.545
12.53/12.63	c bounds 2283 >= 0 @ 10.5533
12.72/12.88	c bounds 2282 >= 0 @ 10.787
12.72/12.89	c bounds 2242 >= 0 @ 10.7943
12.82/12.90	c bounds 2227 >= 0 @ 10.8007
12.82/12.91	c bounds 2130 >= 0 @ 10.8081
12.82/12.92	c bounds 2092 >= 0 @ 10.8142
12.82/12.93	c bounds 2087 >= 0 @ 10.8236
12.82/12.94	c bounds 2072 >= 0 @ 10.8311
12.82/12.95	c bounds 2056 >= 0 @ 10.8396
12.82/12.96	c bounds 2038 >= 0 @ 10.8441
12.82/12.98	c bounds 1973 >= 0 @ 10.8481
12.82/12.99	c bounds 1887 >= 0 @ 10.8585
12.82/13.00	c bounds 1813 >= 0 @ 10.8684
12.92/13.03	c bounds 1795 >= 0 @ 10.8937
12.92/13.04	c bounds 1766 >= 0 @ 10.8994
12.92/13.05	c bounds 1672 >= 0 @ 10.9051
12.92/13.07	c bounds 1554 >= 0 @ 10.9125
12.92/13.08	c bounds 1524 >= 0 @ 10.9221
12.92/13.09	c bounds 1335 >= 0 @ 10.9245
13.02/13.10	c bounds 1333 >= 0 @ 10.9317
13.02/13.12	c bounds 1196 >= 0 @ 10.9418
13.02/13.13	c bounds 1150 >= 0 @ 10.9491
13.02/13.14	c bounds 1130 >= 0 @ 10.9552
13.02/13.15	c bounds 1051 >= 0 @ 10.9614
13.02/13.19	c bounds 977 >= 0 @ 10.998
13.12/13.21	c bounds 928 >= 0 @ 11.0089
23.49/23.60	c #Conflicts:       1000 | #Constraints:     658031
23.49/23.60	c #Conflicts:       2000 | #Constraints:     659042
23.49/23.60	c INPROCESSING
23.49/23.60	c GARBAGE COLLECT
23.49/23.60	c bounds 925 >= 0 @ 21.2339
23.49/23.64	c bounds 924 >= 0 @ 21.2651
23.59/23.76	c bounds 920 >= 0 @ 21.3857
23.59/23.79	c bounds 914 >= 0 @ 21.4065
23.70/23.80	c bounds 907 >= 0 @ 21.4188
23.70/23.82	c bounds 905 >= 0 @ 21.4303
23.70/23.84	c bounds 901 >= 0 @ 21.4457
23.79/24.00	c bounds 897 >= 0 @ 21.5963
24.58/24.76	c bounds 894 >= 0 @ 22.353
25.69/25.85	c bounds 887 >= 0 @ 23.4363
26.18/26.33	c bounds 884 >= 0 @ 23.9071
26.39/26.56	c bounds 880 >= 0 @ 24.136
26.39/26.58	c bounds 870 >= 0 @ 24.1477
26.49/26.60	c bounds 860 >= 0 @ 24.1609
26.58/26.75	c bounds 781 >= 0 @ 24.309
26.58/26.77	c bounds 780 >= 0 @ 24.3233
26.58/26.79	c bounds 663 >= 0 @ 24.3353
26.68/26.81	c bounds 608 >= 0 @ 24.3531
27.48/27.68	c #Conflicts:       3000 | #Constraints:     658945
27.48/27.68	c bounds 517 >= 0 @ 25.208
27.48/27.69	c bounds 516 >= 0 @ 25.2167
27.58/27.70	c bounds 513 >= 0 @ 25.2285
27.68/27.85	c bounds 512 >= 0 @ 25.3756
27.78/27.95	c bounds 505 >= 0 @ 25.4696
27.78/27.97	c bounds 502 >= 0 @ 25.4851
27.78/27.99	c bounds 497 >= 0 @ 25.5011
27.88/28.01	c bounds 490 >= 0 @ 25.5111
28.18/28.32	c bounds 488 >= 0 @ 25.8179
29.68/29.88	c #Conflicts:       4000 | #Constraints:     659957
29.68/29.88	c bounds 475 >= 0 @ 27.3143
29.68/29.89	c bounds 473 >= 0 @ 27.3254
29.77/29.91	c bounds 466 >= 0 @ 27.3419
29.77/29.94	c bounds 465 >= 0 @ 27.3701
29.77/29.96	c bounds 463 >= 0 @ 27.3889
29.77/29.98	c bounds 456 >= 0 @ 27.4069
29.88/30.01	c bounds 452 >= 0 @ 27.4312
29.88/30.04	c bounds 449 >= 0 @ 27.4603
29.88/30.06	c bounds 446 >= 0 @ 27.4751
29.88/30.09	c bounds 439 >= 0 @ 27.5046
29.98/30.11	c bounds 435 >= 0 @ 27.524
29.98/30.13	c bounds 431 >= 0 @ 27.54
30.48/30.60	c bounds 428 >= 0 @ 27.9932
30.48/30.61	c bounds 428 >= 8 @ 28.0017
41.44/41.64	c INPROCESSING
41.44/41.64	c GARBAGE COLLECT
41.44/41.64	c #Conflicts:       5000 | #Constraints:     659326
41.44/41.64	c #Conflicts:       6000 | #Constraints:     660326
41.44/41.64	c INPROCESSING
41.44/41.64	c GARBAGE COLLECT
41.44/41.64	c bounds 425 >= 8 @ 38.8927
50.83/51.00	c #Conflicts:       7000 | #Constraints:     659340
50.83/51.00	c #Conflicts:       8000 | #Constraints:     660357
50.83/51.00	c bounds 422 >= 8 @ 48.1457
57.40/57.63	c #Conflicts:       9000 | #Constraints:     661358
57.40/57.63	c INPROCESSING
57.40/57.63	c GARBAGE COLLECT
57.40/57.63	c rational objective 172.792
74.46/74.70	c #Conflicts:      10000 | #Constraints:     660040
74.46/74.70	c #Conflicts:      11000 | #Constraints:     661040
74.46/74.70	c #Conflicts:      12000 | #Constraints:     662040
74.46/74.70	c INPROCESSING
74.46/74.70	c rational objective 173.105
89.72/90.02	c #Conflicts:      13000 | #Constraints:     660491
89.72/90.02	c #Conflicts:      14000 | #Constraints:     661491
89.72/90.02	c #Conflicts:      15000 | #Constraints:     662491
89.72/90.02	c INPROCESSING
89.72/90.02	c GARBAGE COLLECT
89.72/90.02	c rational objective 173.114
108.96/109.35	c #Conflicts:      16000 | #Constraints:     660720
108.96/109.35	c #Conflicts:      17000 | #Constraints:     661720
108.96/109.35	c #Conflicts:      18000 | #Constraints:     662720
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c rational objective 173.484
126.42/126.82	c #Conflicts:      19000 | #Constraints:     660750
126.42/126.82	c #Conflicts:      20000 | #Constraints:     661755
126.42/126.82	c #Conflicts:      21000 | #Constraints:     662760
126.42/126.82	c INPROCESSING
126.42/126.82	c GARBAGE COLLECT
126.42/126.82	c rational objective 174.599
131.20/131.60	c bounds 335 >= 8 @ 128.018
149.16/149.61	c #Conflicts:      22000 | #Constraints:     660567
149.16/149.61	c #Conflicts:      23000 | #Constraints:     661568
149.16/149.61	c #Conflicts:      24000 | #Constraints:     662573
149.16/149.61	c #Conflicts:      25000 | #Constraints:     663598
149.16/149.61	c INPROCESSING
149.16/149.61	c GARBAGE COLLECT
149.16/149.61	c rational objective 175.411
153.05/153.53	c bounds 333 >= 8 @ 149.717
153.54/154.09	c bounds 332 >= 8 @ 150.269
155.33/155.84	c bounds 331 >= 8 @ 152.007
171.79/172.37	c #Conflicts:      26000 | #Constraints:     661197
171.79/172.37	c #Conflicts:      27000 | #Constraints:     662216
171.79/172.37	c bounds 328 >= 8 @ 168.373
175.18/175.75	c bounds 328 >= 13 @ 171.722
175.28/175.80	c bounds 328 >= 18 @ 171.774
195.22/195.82	c #Conflicts:      28000 | #Constraints:     663278
195.22/195.82	c #Conflicts:      29000 | #Constraints:     664278
195.22/195.82	c INPROCESSING
195.22/195.82	c GARBAGE COLLECT
195.22/195.82	c bounds 328 >= 23 @ 191.55
243.88/244.67	c #Conflicts:      30000 | #Constraints:     661628
243.88/244.67	c #Conflicts:      31000 | #Constraints:     662628
243.88/244.67	c #Conflicts:      32000 | #Constraints:     663629
243.88/244.67	c #Conflicts:      33000 | #Constraints:     664630
243.88/244.67	c INPROCESSING
243.88/244.67	c GARBAGE COLLECT
243.88/244.67	c rational objective 176.732
288.34/289.21	c #Conflicts:      34000 | #Constraints:     661798
288.34/289.21	c #Conflicts:      35000 | #Constraints:     662799
288.34/289.21	c #Conflicts:      36000 | #Constraints:     663800
288.34/289.21	c #Conflicts:      37000 | #Constraints:     664801
288.34/289.21	c INPROCESSING
288.34/289.21	c GARBAGE COLLECT
288.34/289.21	c rational objective 176.987
292.53/293.42	c bounds 326 >= 23 @ 288.528
292.53/293.45	c bounds 322 >= 23 @ 288.557
292.63/293.54	c bounds 320 >= 23 @ 288.64
301.51/302.44	c #Conflicts:      38000 | #Constraints:     661799
301.51/302.44	c bounds 315 >= 23 @ 297.469
301.61/302.52	c bounds 315 >= 27 @ 297.547
400.73/401.91	c #Conflicts:      39000 | #Constraints:     662805
400.73/401.91	c #Conflicts:      40000 | #Constraints:     663806
400.73/401.91	c #Conflicts:      41000 | #Constraints:     664810
400.73/401.91	c INPROCESSING
400.73/401.91	c GARBAGE COLLECT
400.73/401.91	c #Conflicts:      42000 | #Constraints:     661591
400.73/401.91	c #Conflicts:      43000 | #Constraints:     662607
400.73/401.91	c #Conflicts:      44000 | #Constraints:     663640
400.73/401.91	c #Conflicts:      45000 | #Constraints:     664658
400.73/401.91	c #Conflicts:      46000 | #Constraints:     665685
400.73/401.91	c INPROCESSING
400.73/401.91	c GARBAGE COLLECT
400.73/401.91	c #Conflicts:      47000 | #Constraints:     662216
400.73/401.91	c #Conflicts:      48000 | #Constraints:     663216
400.73/401.91	c #Conflicts:      49000 | #Constraints:     664217
400.73/401.91	c #Conflicts:      50000 | #Constraints:     665219
400.73/401.91	c #Conflicts:      51000 | #Constraints:     666222
400.73/401.91	c INPROCESSING
400.73/401.91	c #Conflicts:      52000 | #Constraints:     662597
400.73/401.91	c #Conflicts:      53000 | #Constraints:     663601
400.73/401.91	c #Conflicts:      54000 | #Constraints:     664601
400.73/401.91	c #Conflicts:      55000 | #Constraints:     665601
400.73/401.91	c #Conflicts:      56000 | #Constraints:     666601
400.73/401.91	c INPROCESSING
400.73/401.91	c GARBAGE COLLECT
400.73/401.91	c rational objective 176.686
474.61/476.09	c #Conflicts:      57000 | #Constraints:     662784
474.61/476.09	c #Conflicts:      58000 | #Constraints:     663786
474.61/476.09	c #Conflicts:      59000 | #Constraints:     664789
474.61/476.09	c #Conflicts:      60000 | #Constraints:     665790
474.61/476.09	c #Conflicts:      61000 | #Constraints:     666796
474.61/476.09	c INPROCESSING
474.61/476.09	c rational objective 176.797
622.09/623.98	c #Conflicts:      62000 | #Constraints:     662860
622.09/623.98	c #Conflicts:      63000 | #Constraints:     664037
622.09/623.98	c #Conflicts:      64000 | #Constraints:     665124
622.09/623.98	c #Conflicts:      65000 | #Constraints:     666374
622.09/623.98	c #Conflicts:      66000 | #Constraints:     667374
622.09/623.98	c INPROCESSING
622.09/623.98	c GARBAGE COLLECT
622.09/623.98	c #Conflicts:      67000 | #Constraints:     662859
622.09/623.98	c #Conflicts:      68000 | #Constraints:     663859
622.09/623.98	c #Conflicts:      69000 | #Constraints:     664859
622.09/623.98	c #Conflicts:      70000 | #Constraints:     665861
622.09/623.98	c #Conflicts:      71000 | #Constraints:     666861
622.09/623.98	c #Conflicts:      72000 | #Constraints:     667950
622.09/623.98	c INPROCESSING
622.09/623.98	c rational objective 176.797
734.07/736.24	c #Conflicts:      73000 | #Constraints:     663364
734.07/736.24	c #Conflicts:      74000 | #Constraints:     664427
734.07/736.24	c #Conflicts:      75000 | #Constraints:     665557
734.07/736.24	c #Conflicts:      76000 | #Constraints:     666597
734.07/736.24	c #Conflicts:      77000 | #Constraints:     667632
734.07/736.24	c #Conflicts:      78000 | #Constraints:     668659
734.07/736.24	c INPROCESSING
734.07/736.24	c GARBAGE COLLECT
734.07/736.24	c #Conflicts:      79000 | #Constraints:     663807
734.07/736.24	c #Conflicts:      80000 | #Constraints:     664807
734.07/736.24	c #Conflicts:      81000 | #Constraints:     665807
734.07/736.24	c #Conflicts:      82000 | #Constraints:     666807
734.07/736.24	c #Conflicts:      83000 | #Constraints:     667807
734.07/736.24	c #Conflicts:      84000 | #Constraints:     668807
734.07/736.24	c INPROCESSING
734.07/736.24	c rational objective 177.061
803.39/805.78	c #Conflicts:      85000 | #Constraints:     663884
803.39/805.78	c #Conflicts:      86000 | #Constraints:     664889
803.39/805.78	c #Conflicts:      87000 | #Constraints:     665914
803.39/805.78	c #Conflicts:      88000 | #Constraints:     666942
803.39/805.78	c #Conflicts:      89000 | #Constraints:     667946
803.39/805.78	c #Conflicts:      90000 | #Constraints:     668959
803.39/805.78	c INPROCESSING
803.39/805.78	c GARBAGE COLLECT
803.39/805.78	c #Conflicts:      91000 | #Constraints:     663872
803.39/805.78	c #Conflicts:      92000 | #Constraints:     664885
803.39/805.78	c #Conflicts:      93000 | #Constraints:     665912
803.39/805.78	c #Conflicts:      94000 | #Constraints:     666949
803.39/805.78	c #Conflicts:      95000 | #Constraints:     667988
803.39/805.78	c #Conflicts:      96000 | #Constraints:     669038
803.39/805.78	c INPROCESSING
803.39/805.78	c GARBAGE COLLECT
803.39/805.78	c rational objective 177.104
841.69/844.15	c #Conflicts:      97000 | #Constraints:     663722
841.69/844.15	c #Conflicts:      98000 | #Constraints:     664736
841.69/844.15	c #Conflicts:      99000 | #Constraints:     665760
841.69/844.15	c #Conflicts:     100000 | #Constraints:     666798
841.69/844.15	c #Conflicts:     101000 | #Constraints:     667833
841.69/844.15	c #Conflicts:     102000 | #Constraints:     668878
841.69/844.15	c #Conflicts:     103000 | #Constraints:     669908
841.69/844.15	c INPROCESSING
841.69/844.15	c GARBAGE COLLECT
841.69/844.15	c rational objective 177.104
894.54/897.19	c #Conflicts:     104000 | #Constraints:     664345
894.54/897.19	c #Conflicts:     105000 | #Constraints:     665347
894.54/897.19	c #Conflicts:     106000 | #Constraints:     666359
894.54/897.19	c #Conflicts:     107000 | #Constraints:     667361
894.54/897.19	c #Conflicts:     108000 | #Constraints:     668378
894.54/897.19	c #Conflicts:     109000 | #Constraints:     669388
894.54/897.19	c #Conflicts:     110000 | #Constraints:     670404
894.54/897.19	c INPROCESSING
894.54/897.19	c rational objective 177.292
979.49/982.37	c #Conflicts:     111000 | #Constraints:     664700
979.49/982.37	c #Conflicts:     112000 | #Constraints:     665704
979.49/982.37	c #Conflicts:     113000 | #Constraints:     666713
979.49/982.37	c #Conflicts:     114000 | #Constraints:     667726
979.49/982.37	c #Conflicts:     115000 | #Constraints:     668733
979.49/982.37	c #Conflicts:     116000 | #Constraints:     669741
979.49/982.37	c #Conflicts:     117000 | #Constraints:     670750
979.49/982.37	c INPROCESSING
979.49/982.37	c GARBAGE COLLECT
979.49/982.37	c #Conflicts:     118000 | #Constraints:     664873
979.49/982.37	c #Conflicts:     119000 | #Constraints:     665880
979.49/982.37	c #Conflicts:     120000 | #Constraints:     666883
979.49/982.37	c #Conflicts:     121000 | #Constraints:     667889
979.49/982.37	c #Conflicts:     122000 | #Constraints:     668893
979.49/982.37	c #Conflicts:     123000 | #Constraints:     669894
979.49/982.37	c #Conflicts:     124000 | #Constraints:     670894
979.49/982.37	c INPROCESSING
979.49/982.37	c rational objective 177.136
1103.24/1106.42	c #Conflicts:     125000 | #Constraints:     664836
1103.24/1106.42	c #Conflicts:     126000 | #Constraints:     665841
1103.24/1106.42	c #Conflicts:     127000 | #Constraints:     666843
1103.24/1106.42	c #Conflicts:     128000 | #Constraints:     667850
1103.24/1106.42	c #Conflicts:     129000 | #Constraints:     668860
1103.24/1106.42	c #Conflicts:     130000 | #Constraints:     669869
1103.24/1106.42	c #Conflicts:     131000 | #Constraints:     670887
1103.24/1106.42	c INPROCESSING
1103.24/1106.42	c GARBAGE COLLECT
1103.24/1106.42	c #Conflicts:     132000 | #Constraints:     664626
1103.24/1106.42	c #Conflicts:     133000 | #Constraints:     665644
1103.24/1106.42	c #Conflicts:     134000 | #Constraints:     666653
1103.24/1106.42	c #Conflicts:     135000 | #Constraints:     667663
1103.24/1106.42	c #Conflicts:     136000 | #Constraints:     668685
1103.24/1106.42	c #Conflicts:     137000 | #Constraints:     669699
1103.24/1106.42	c #Conflicts:     138000 | #Constraints:     670722
1103.24/1106.42	c #Conflicts:     139000 | #Constraints:     671731
1103.24/1106.42	c INPROCESSING
1103.24/1106.42	c #Conflicts:     140000 | #Constraints:     665261
1103.24/1106.42	c #Conflicts:     141000 | #Constraints:     666263
1103.24/1106.42	c #Conflicts:     142000 | #Constraints:     667279
1103.24/1106.42	c #Conflicts:     143000 | #Constraints:     668321
1103.24/1106.42	c #Conflicts:     144000 | #Constraints:     669339
1103.24/1106.42	c #Conflicts:     145000 | #Constraints:     670372
1103.24/1106.42	c #Conflicts:     146000 | #Constraints:     671402
1103.24/1106.42	c #Conflicts:     147000 | #Constraints:     672427
1103.24/1106.42	c INPROCESSING
1103.24/1106.42	c GARBAGE COLLECT
1103.24/1106.42	c rational objective 177.136
1155.80/1159.14	c #Conflicts:     148000 | #Constraints:     665718
1155.80/1159.14	c #Conflicts:     149000 | #Constraints:     666725
1155.80/1159.14	c #Conflicts:     150000 | #Constraints:     667730
1155.80/1159.14	c #Conflicts:     151000 | #Constraints:     668743
1155.80/1159.14	c #Conflicts:     152000 | #Constraints:     669749
1155.80/1159.14	c #Conflicts:     153000 | #Constraints:     670754
1155.80/1159.14	c #Conflicts:     154000 | #Constraints:     671764
1155.80/1159.14	c #Conflicts:     155000 | #Constraints:     672776
1155.80/1159.14	c INPROCESSING
1155.80/1159.14	c rational objective 177.192
1205.46/1208.93	c #Conflicts:     156000 | #Constraints:     665902
1205.46/1208.93	c #Conflicts:     157000 | #Constraints:     666907
1205.46/1208.93	c #Conflicts:     158000 | #Constraints:     667914
1205.46/1208.93	c #Conflicts:     159000 | #Constraints:     668924
1205.46/1208.93	c #Conflicts:     160000 | #Constraints:     669931
1205.46/1208.93	c #Conflicts:     161000 | #Constraints:     670936
1205.46/1208.93	c #Conflicts:     162000 | #Constraints:     671945
1205.46/1208.93	c #Conflicts:     163000 | #Constraints:     672949
1205.46/1208.93	c INPROCESSING
1205.46/1208.93	c GARBAGE COLLECT
1205.46/1208.93	c rational objective 177.147
1277.11/1280.87	c #Conflicts:     164000 | #Constraints:     665865
1277.11/1280.87	c #Conflicts:     165000 | #Constraints:     666865
1277.11/1280.87	c #Conflicts:     166000 | #Constraints:     667866
1277.11/1280.87	c #Conflicts:     167000 | #Constraints:     668866
1277.11/1280.87	c #Conflicts:     168000 | #Constraints:     669866
1277.11/1280.87	c #Conflicts:     169000 | #Constraints:     670867
1277.11/1280.87	c #Conflicts:     170000 | #Constraints:     671868
1277.11/1280.87	c #Conflicts:     171000 | #Constraints:     672869
1277.11/1280.87	c INPROCESSING
1277.11/1280.87	c GARBAGE COLLECT
1277.11/1280.87	c rational objective 177.569
1333.44/1337.31	c #Conflicts:     172000 | #Constraints:     665625
1333.44/1337.31	c #Conflicts:     173000 | #Constraints:     666625
1333.44/1337.31	c #Conflicts:     174000 | #Constraints:     667625
1333.44/1337.31	c #Conflicts:     175000 | #Constraints:     668631
1333.44/1337.31	c #Conflicts:     176000 | #Constraints:     669633
1333.44/1337.31	c #Conflicts:     177000 | #Constraints:     670633
1333.44/1337.31	c #Conflicts:     178000 | #Constraints:     671636
1333.44/1337.31	c #Conflicts:     179000 | #Constraints:     672639
1333.44/1337.31	c #Conflicts:     180000 | #Constraints:     673642
1333.44/1337.31	c INPROCESSING
1333.44/1337.31	c GARBAGE COLLECT
1333.44/1337.31	c rational objective 177.623
1388.59/1392.67	c #Conflicts:     181000 | #Constraints:     666223
1388.59/1392.67	c #Conflicts:     182000 | #Constraints:     667232
1388.59/1392.67	c #Conflicts:     183000 | #Constraints:     668242
1388.59/1392.67	c #Conflicts:     184000 | #Constraints:     669263
1388.59/1392.67	c #Conflicts:     185000 | #Constraints:     670312
1388.59/1392.67	c #Conflicts:     186000 | #Constraints:     671359
1388.59/1392.67	c #Conflicts:     187000 | #Constraints:     672384
1388.59/1392.67	c #Conflicts:     188000 | #Constraints:     673419
1388.59/1392.67	c #Conflicts:     189000 | #Constraints:     674482
1388.59/1392.67	c INPROCESSING
1388.59/1392.67	c GARBAGE COLLECT
1388.59/1392.67	c rational objective 177.624
1446.31/1450.51	c #Conflicts:     190000 | #Constraints:     666739
1446.31/1450.51	c #Conflicts:     191000 | #Constraints:     667769
1446.31/1450.51	c #Conflicts:     192000 | #Constraints:     668780
1446.31/1450.51	c #Conflicts:     193000 | #Constraints:     669795
1446.31/1450.51	c #Conflicts:     194000 | #Constraints:     670811
1446.31/1450.51	c #Conflicts:     195000 | #Constraints:     671837
1446.31/1450.51	c #Conflicts:     196000 | #Constraints:     672851
1446.31/1450.51	c #Conflicts:     197000 | #Constraints:     673879
1446.31/1450.51	c #Conflicts:     198000 | #Constraints:     674924
1446.31/1450.51	c INPROCESSING
1446.31/1450.51	c GARBAGE COLLECT
1446.31/1450.51	c rational objective 177.681
1608.00/1612.71	c #Conflicts:     199000 | #Constraints:     666973
1608.00/1612.71	c #Conflicts:     200000 | #Constraints:     667982
1608.00/1612.71	c #Conflicts:     201000 | #Constraints:     668991
1608.00/1612.71	c #Conflicts:     202000 | #Constraints:     670007
1608.00/1612.71	c #Conflicts:     203000 | #Constraints:     671016
1608.00/1612.71	c #Conflicts:     204000 | #Constraints:     672026
1608.00/1612.71	c #Conflicts:     205000 | #Constraints:     673037
1608.00/1612.71	c #Conflicts:     206000 | #Constraints:     674050
1608.00/1612.71	c #Conflicts:     207000 | #Constraints:     675080
1608.00/1612.71	c INPROCESSING
1608.00/1612.71	c GARBAGE COLLECT
1608.00/1612.71	c #Conflicts:     208000 | #Constraints:     666950
1608.00/1612.71	c #Conflicts:     209000 | #Constraints:     667973
1608.00/1612.71	c #Conflicts:     210000 | #Constraints:     668992
1608.00/1612.71	c #Conflicts:     211000 | #Constraints:     669999
1608.00/1612.71	c #Conflicts:     212000 | #Constraints:     671032
1608.00/1612.71	c #Conflicts:     213000 | #Constraints:     672053
1608.00/1612.71	c #Conflicts:     214000 | #Constraints:     673089
1608.00/1612.71	c #Conflicts:     215000 | #Constraints:     674133
1608.00/1612.71	c #Conflicts:     216000 | #Constraints:     675159
1608.00/1612.71	c INPROCESSING
1608.00/1612.71	c GARBAGE COLLECT
1608.00/1612.71	c rational objective 177.682
1829.08/1834.47	c #Conflicts:     217000 | #Constraints:     666798
1829.08/1834.47	c #Conflicts:     218000 | #Constraints:     667803
1829.08/1834.47	c #Conflicts:     219000 | #Constraints:     668814
1829.08/1834.47	c #Conflicts:     220000 | #Constraints:     669818
1829.08/1834.47	c #Conflicts:     221000 | #Constraints:     670821
1829.08/1834.47	c #Conflicts:     222000 | #Constraints:     671823
1829.08/1834.47	c #Conflicts:     223000 | #Constraints:     672833
1829.08/1834.47	c #Conflicts:     224000 | #Constraints:     673839
1829.08/1834.47	c #Conflicts:     225000 | #Constraints:     674844
1829.08/1834.47	c #Conflicts:     226000 | #Constraints:     675852
1829.08/1834.47	c INPROCESSING
1829.08/1834.47	c GARBAGE COLLECT
1829.08/1834.47	c #Conflicts:     227000 | #Constraints:     667343
1829.08/1834.47	c #Conflicts:     228000 | #Constraints:     668352
1829.08/1834.47	c #Conflicts:     229000 | #Constraints:     669358
1829.08/1834.47	c #Conflicts:     230000 | #Constraints:     670366
1829.08/1834.47	c #Conflicts:     231000 | #Constraints:     671379
1829.08/1834.47	c #Conflicts:     232000 | #Constraints:     672395
1829.08/1834.47	c #Conflicts:     233000 | #Constraints:     673404
1829.08/1834.47	c #Conflicts:     234000 | #Constraints:     674412
1829.08/1834.47	c #Conflicts:     235000 | #Constraints:     675421
1829.08/1834.47	c #Conflicts:     236000 | #Constraints:     676427
1829.08/1834.47	c INPROCESSING
1829.08/1834.47	c GARBAGE COLLECT
1829.08/1834.47	c rational objective 177.659
2000.06/2006.00	c #Conflicts:     237000 | #Constraints:     667712
2000.06/2006.00	c #Conflicts:     238000 | #Constraints:     668739
2000.06/2006.00	c #Conflicts:     239000 | #Constraints:     669772
2000.06/2006.00	c #Conflicts:     240000 | #Constraints:     670788
2000.06/2006.00	c #Conflicts:     241000 | #Constraints:     671802
2000.06/2006.00	c #Conflicts:     242000 | #Constraints:     672827
2000.06/2006.00	c #Conflicts:     243000 | #Constraints:     673829
2000.06/2006.00	c #Conflicts:     244000 | #Constraints:     674835
2000.06/2006.00	c #Conflicts:     245000 | #Constraints:     675852
2000.06/2006.00	c #Conflicts:     246000 | #Constraints:     676879
2000.06/2006.00	c INPROCESSING
2000.06/2006.00	c rational objective 177.679
2066.27/2072.38	c #Conflicts:     247000 | #Constraints:     667947
2066.27/2072.38	c #Conflicts:     248000 | #Constraints:     668952
2066.27/2072.38	c #Conflicts:     249000 | #Constraints:     669966
2066.27/2072.38	c #Conflicts:     250000 | #Constraints:     670986
2066.27/2072.38	c #Conflicts:     251000 | #Constraints:     671999
2066.27/2072.38	c #Conflicts:     252000 | #Constraints:     673009
2066.27/2072.38	c #Conflicts:     253000 | #Constraints:     674011
2066.27/2072.38	c #Conflicts:     254000 | #Constraints:     675012
2066.27/2072.38	c #Conflicts:     255000 | #Constraints:     676014
2066.27/2072.38	c #Conflicts:     256000 | #Constraints:     677021
2066.27/2072.38	c INPROCESSING
2066.27/2072.38	c GARBAGE COLLECT
2066.27/2072.38	c rational objective 177.68
2145.24/2151.55	c #Conflicts:     257000 | #Constraints:     667898
2145.24/2151.55	c #Conflicts:     258000 | #Constraints:     668905
2145.24/2151.55	c #Conflicts:     259000 | #Constraints:     669908
2145.24/2151.55	c #Conflicts:     260000 | #Constraints:     670910
2145.24/2151.55	c #Conflicts:     261000 | #Constraints:     671912
2145.24/2151.55	c #Conflicts:     262000 | #Constraints:     672912
2145.24/2151.55	c #Conflicts:     263000 | #Constraints:     673913
2145.24/2151.55	c #Conflicts:     264000 | #Constraints:     674914
2145.24/2151.55	c #Conflicts:     265000 | #Constraints:     675916
2145.24/2151.55	c #Conflicts:     266000 | #Constraints:     676919
2145.24/2151.55	c INPROCESSING
2145.24/2151.55	c rational objective 177.677
2214.12/2220.68	c #Conflicts:     267000 | #Constraints:     667649
2214.12/2220.68	c #Conflicts:     268000 | #Constraints:     668651
2214.12/2220.68	c #Conflicts:     269000 | #Constraints:     669654
2214.12/2220.68	c #Conflicts:     270000 | #Constraints:     670657
2214.12/2220.68	c #Conflicts:     271000 | #Constraints:     671659
2214.12/2220.68	c #Conflicts:     272000 | #Constraints:     672662
2214.12/2220.68	c #Conflicts:     273000 | #Constraints:     673663
2214.12/2220.68	c #Conflicts:     274000 | #Constraints:     674663
2214.12/2220.68	c #Conflicts:     275000 | #Constraints:     675664
2214.12/2220.68	c #Conflicts:     276000 | #Constraints:     676665
2214.12/2220.68	c #Conflicts:     277000 | #Constraints:     677665
2214.12/2220.68	c INPROCESSING
2214.12/2220.68	c GARBAGE COLLECT
2214.12/2220.68	c rational objective 177.751
2278.03/2284.78	c #Conflicts:     278000 | #Constraints:     668230
2278.03/2284.78	c #Conflicts:     279000 | #Constraints:     669241
2278.03/2284.78	c #Conflicts:     280000 | #Constraints:     670252
2278.03/2284.78	c #Conflicts:     281000 | #Constraints:     671259
2278.03/2284.78	c #Conflicts:     282000 | #Constraints:     672293
2278.03/2284.78	c #Conflicts:     283000 | #Constraints:     673322
2278.03/2284.78	c #Conflicts:     284000 | #Constraints:     674358
2278.03/2284.78	c #Conflicts:     285000 | #Constraints:     675375
2278.03/2284.78	c #Conflicts:     286000 | #Constraints:     676383
2278.03/2284.78	c #Conflicts:     287000 | #Constraints:     677394
2278.03/2284.78	c #Conflicts:     288000 | #Constraints:     678405
2278.03/2284.78	c INPROCESSING
2278.03/2284.78	c rational objective 177.762
2400.80/2407.81	c #Conflicts:     289000 | #Constraints:     668703
2400.80/2407.81	c #Conflicts:     290000 | #Constraints:     669726
2400.80/2407.81	c #Conflicts:     291000 | #Constraints:     670750
2400.80/2407.81	c #Conflicts:     292000 | #Constraints:     671778
2400.80/2407.81	c #Conflicts:     293000 | #Constraints:     672793
2400.80/2407.81	c #Conflicts:     294000 | #Constraints:     673823
2400.80/2407.81	c #Conflicts:     295000 | #Constraints:     674846
2400.80/2407.81	c #Conflicts:     296000 | #Constraints:     675859
2400.80/2407.81	c #Conflicts:     297000 | #Constraints:     676867
2400.80/2407.81	c #Conflicts:     298000 | #Constraints:     677871
2400.80/2407.81	c #Conflicts:     299000 | #Constraints:     678883
2400.80/2407.81	c INPROCESSING
2400.80/2407.81	c GARBAGE COLLECT
2400.80/2407.81	c #Conflicts:     300000 | #Constraints:     668938
2400.80/2407.81	c #Conflicts:     301000 | #Constraints:     669957
2400.80/2407.81	c #Conflicts:     302000 | #Constraints:     670994
2400.80/2407.81	c #Conflicts:     303000 | #Constraints:     672017
2400.80/2407.81	c #Conflicts:     304000 | #Constraints:     673031
2400.80/2407.81	c #Conflicts:     305000 | #Constraints:     674043
2400.80/2407.81	c #Conflicts:     306000 | #Constraints:     675068
2400.80/2407.81	c #Conflicts:     307000 | #Constraints:     676085
2400.80/2407.81	c #Conflicts:     308000 | #Constraints:     677092
2400.80/2407.81	c #Conflicts:     309000 | #Constraints:     678109
2400.80/2407.81	c #Conflicts:     310000 | #Constraints:     679125
2400.80/2407.81	c INPROCESSING
2400.80/2407.81	c rational objective 178.645
2521.39/2528.86	c #Conflicts:     311000 | #Constraints:     668970
2521.39/2528.86	c #Conflicts:     312000 | #Constraints:     669983
2521.39/2528.86	c #Conflicts:     313000 | #Constraints:     670997
2521.39/2528.86	c #Conflicts:     314000 | #Constraints:     672016
2521.39/2528.86	c #Conflicts:     315000 | #Constraints:     673041
2521.39/2528.86	c #Conflicts:     316000 | #Constraints:     674047
2521.39/2528.86	c #Conflicts:     317000 | #Constraints:     675072
2521.39/2528.86	c #Conflicts:     318000 | #Constraints:     676095
2521.39/2528.86	c #Conflicts:     319000 | #Constraints:     677109
2521.39/2528.86	c #Conflicts:     320000 | #Constraints:     678132
2521.39/2528.86	c #Conflicts:     321000 | #Constraints:     679148
2521.39/2528.86	c INPROCESSING
2521.39/2528.86	c GARBAGE COLLECT
2521.39/2528.86	c rational objective 178.857
2656.92/2664.80	c #Conflicts:     322000 | #Constraints:     668787
2656.92/2664.80	c #Conflicts:     323000 | #Constraints:     669803
2656.92/2664.80	c #Conflicts:     324000 | #Constraints:     670811
2656.92/2664.80	c #Conflicts:     325000 | #Constraints:     671824
2656.92/2664.80	c #Conflicts:     326000 | #Constraints:     672850
2656.92/2664.80	c #Conflicts:     327000 | #Constraints:     673856
2656.92/2664.80	c #Conflicts:     328000 | #Constraints:     674859
2656.92/2664.80	c #Conflicts:     329000 | #Constraints:     675868
2656.92/2664.80	c #Conflicts:     330000 | #Constraints:     676879
2656.92/2664.80	c #Conflicts:     331000 | #Constraints:     677890
2656.92/2664.80	c #Conflicts:     332000 | #Constraints:     678911
2656.92/2664.80	c #Conflicts:     333000 | #Constraints:     679920
2656.92/2664.80	c INPROCESSING
2656.92/2664.80	c GARBAGE COLLECT
2656.92/2664.80	c rational objective 179.385
2769.18/2777.59	c #Conflicts:     334000 | #Constraints:     669382
2769.18/2777.59	c #Conflicts:     335000 | #Constraints:     670383
2769.18/2777.59	c #Conflicts:     336000 | #Constraints:     671383
2769.18/2777.59	c #Conflicts:     337000 | #Constraints:     672384
2769.18/2777.59	c #Conflicts:     338000 | #Constraints:     673385
2769.18/2777.59	c #Conflicts:     339000 | #Constraints:     674386
2769.18/2777.59	c #Conflicts:     340000 | #Constraints:     675386
2769.18/2777.59	c #Conflicts:     341000 | #Constraints:     676386
2769.18/2777.59	c #Conflicts:     342000 | #Constraints:     677388
2769.18/2777.59	c #Conflicts:     343000 | #Constraints:     678388
2769.18/2777.59	c #Conflicts:     344000 | #Constraints:     679391
2769.18/2777.59	c #Conflicts:     345000 | #Constraints:     680394
2769.18/2777.59	c INPROCESSING
2769.18/2777.59	c rational objective 177.687
2850.22/2858.88	c #Conflicts:     346000 | #Constraints:     669687
2850.22/2858.88	c #Conflicts:     347000 | #Constraints:     670689
2850.22/2858.88	c #Conflicts:     348000 | #Constraints:     671692
2850.22/2858.88	c #Conflicts:     349000 | #Constraints:     672693
2850.22/2858.88	c #Conflicts:     350000 | #Constraints:     673697
2850.22/2858.88	c #Conflicts:     351000 | #Constraints:     674702
2850.22/2858.88	c #Conflicts:     352000 | #Constraints:     675706
2850.22/2858.88	c #Conflicts:     353000 | #Constraints:     676708
2850.22/2858.88	c #Conflicts:     354000 | #Constraints:     677708
2850.22/2858.88	c #Conflicts:     355000 | #Constraints:     678711
2850.22/2858.88	c #Conflicts:     356000 | #Constraints:     679714
2850.22/2858.88	c #Conflicts:     357000 | #Constraints:     680714
2850.22/2858.88	c INPROCESSING
2850.22/2858.88	c GARBAGE COLLECT
2850.22/2858.88	c rational objective 178.024
2922.18/2931.01	c #Conflicts:     358000 | #Constraints:     669850
2922.18/2931.01	c #Conflicts:     359000 | #Constraints:     670866
2922.18/2931.01	c #Conflicts:     360000 | #Constraints:     671890
2922.18/2931.01	c #Conflicts:     361000 | #Constraints:     672919
2922.18/2931.01	c #Conflicts:     362000 | #Constraints:     673932
2922.18/2931.01	c #Conflicts:     363000 | #Constraints:     674963
2922.18/2931.01	c #Conflicts:     364000 | #Constraints:     675979
2922.18/2931.01	c #Conflicts:     365000 | #Constraints:     676989
2922.18/2931.01	c #Conflicts:     366000 | #Constraints:     678006
2922.18/2931.01	c #Conflicts:     367000 | #Constraints:     679057
2922.18/2931.01	c #Conflicts:     368000 | #Constraints:     680075
2922.18/2931.01	c #Conflicts:     369000 | #Constraints:     681119
2922.18/2931.01	c INPROCESSING
2922.18/2931.01	c rational objective 178.052
3028.39/3037.63	c #Conflicts:     370000 | #Constraints:     669968
3028.39/3037.63	c #Conflicts:     371000 | #Constraints:     670980
3028.39/3037.63	c #Conflicts:     372000 | #Constraints:     671992
3028.39/3037.63	c #Conflicts:     373000 | #Constraints:     673008
3028.39/3037.63	c #Conflicts:     374000 | #Constraints:     674033
3028.39/3037.63	c #Conflicts:     375000 | #Constraints:     675059
3028.39/3037.63	c #Conflicts:     376000 | #Constraints:     676079
3028.39/3037.63	c #Conflicts:     377000 | #Constraints:     677109
3028.39/3037.63	c #Conflicts:     378000 | #Constraints:     678129
3028.39/3037.63	c #Conflicts:     379000 | #Constraints:     679132
3028.39/3037.63	c #Conflicts:     380000 | #Constraints:     680134
3028.39/3037.63	c #Conflicts:     381000 | #Constraints:     681134
3028.39/3037.63	c INPROCESSING
3028.39/3037.63	c GARBAGE COLLECT
3028.39/3037.63	c rational objective 178.059
3102.35/3111.88	c #Conflicts:     382000 | #Constraints:     669767
3102.35/3111.88	c #Conflicts:     383000 | #Constraints:     670770
3102.35/3111.88	c #Conflicts:     384000 | #Constraints:     671778
3102.35/3111.88	c #Conflicts:     385000 | #Constraints:     672789
3102.35/3111.88	c #Conflicts:     386000 | #Constraints:     673803
3102.35/3111.88	c #Conflicts:     387000 | #Constraints:     674814
3102.35/3111.88	c #Conflicts:     388000 | #Constraints:     675821
3102.35/3111.88	c #Conflicts:     389000 | #Constraints:     676830
3102.35/3111.88	c #Conflicts:     390000 | #Constraints:     677837
3102.35/3111.88	c #Conflicts:     391000 | #Constraints:     678842
3102.35/3111.88	c #Conflicts:     392000 | #Constraints:     679853
3102.35/3111.88	c #Conflicts:     393000 | #Constraints:     680864
3102.35/3111.88	c #Conflicts:     394000 | #Constraints:     681872
3102.35/3111.88	c INPROCESSING
3102.35/3111.88	c rational objective 178.059
3190.02/3199.83	c #Conflicts:     395000 | #Constraints:     670342
3190.02/3199.83	c #Conflicts:     396000 | #Constraints:     671342
3190.02/3199.83	c #Conflicts:     397000 | #Constraints:     672346
3190.02/3199.83	c #Conflicts:     398000 | #Constraints:     673348
3190.02/3199.83	c #Conflicts:     399000 | #Constraints:     674349
3190.02/3199.83	c #Conflicts:     400000 | #Constraints:     675351
3190.02/3199.83	c #Conflicts:     401000 | #Constraints:     676352
3190.02/3199.83	c #Conflicts:     402000 | #Constraints:     677352
3190.02/3199.83	c #Conflicts:     403000 | #Constraints:     678354
3190.02/3199.83	c #Conflicts:     404000 | #Constraints:     679357
3190.02/3199.83	c #Conflicts:     405000 | #Constraints:     680360
3190.02/3199.83	c #Conflicts:     406000 | #Constraints:     681364
3190.02/3199.83	c #Conflicts:     407000 | #Constraints:     682364
3190.02/3199.83	c INPROCESSING
3190.02/3199.83	c GARBAGE COLLECT
3190.02/3199.83	c rational objective 178.061
3273.23/3283.38	c #Conflicts:     408000 | #Constraints:     670673
3273.23/3283.38	c #Conflicts:     409000 | #Constraints:     671688
3273.23/3283.38	c #Conflicts:     410000 | #Constraints:     672694
3273.23/3283.38	c #Conflicts:     411000 | #Constraints:     673695
3273.23/3283.38	c #Conflicts:     412000 | #Constraints:     674703
3273.23/3283.38	c #Conflicts:     413000 | #Constraints:     675729
3273.23/3283.38	c #Conflicts:     414000 | #Constraints:     676745
3273.23/3283.38	c #Conflicts:     415000 | #Constraints:     677758
3273.23/3283.38	c #Conflicts:     416000 | #Constraints:     678781
3273.23/3283.38	c #Conflicts:     417000 | #Constraints:     679798
3273.23/3283.38	c #Conflicts:     418000 | #Constraints:     680814
3273.23/3283.38	c #Conflicts:     419000 | #Constraints:     681836
3273.23/3283.38	c #Conflicts:     420000 | #Constraints:     682859
3273.23/3283.38	c INPROCESSING
3273.23/3283.38	c rational objective 178.062
3356.56/3366.90	c #Conflicts:     421000 | #Constraints:     670935
3356.56/3366.90	c #Conflicts:     422000 | #Constraints:     671952
3356.56/3366.90	c #Conflicts:     423000 | #Constraints:     672959
3356.56/3366.90	c #Conflicts:     424000 | #Constraints:     673967
3356.56/3366.90	c #Conflicts:     425000 | #Constraints:     674985
3356.56/3366.90	c #Conflicts:     426000 | #Constraints:     675998
3356.56/3366.90	c #Conflicts:     427000 | #Constraints:     677021
3356.56/3366.90	c #Conflicts:     428000 | #Constraints:     678041
3356.56/3366.90	c #Conflicts:     429000 | #Constraints:     679064
3356.56/3366.90	c #Conflicts:     430000 | #Constraints:     680086
3356.56/3366.90	c #Conflicts:     431000 | #Constraints:     681122
3356.56/3366.90	c #Conflicts:     432000 | #Constraints:     682153
3356.56/3366.90	c #Conflicts:     433000 | #Constraints:     683186
3356.56/3366.90	c INPROCESSING
3356.56/3366.90	c GARBAGE COLLECT
3356.56/3366.90	c rational objective 178.062
3469.28/3480.08	c #Conflicts:     434000 | #Constraints:     670999
3469.28/3480.08	c #Conflicts:     435000 | #Constraints:     672012
3469.28/3480.08	c #Conflicts:     436000 | #Constraints:     673026
3469.28/3480.08	c #Conflicts:     437000 | #Constraints:     674042
3469.28/3480.08	c #Conflicts:     438000 | #Constraints:     675066
3469.28/3480.08	c #Conflicts:     439000 | #Constraints:     676079
3469.28/3480.08	c #Conflicts:     440000 | #Constraints:     677081
3469.28/3480.08	c #Conflicts:     441000 | #Constraints:     678086
3469.28/3480.08	c #Conflicts:     442000 | #Constraints:     679089
3469.28/3480.08	c #Conflicts:     443000 | #Constraints:     680092
3469.28/3480.08	c #Conflicts:     444000 | #Constraints:     681095
3469.28/3480.08	c #Conflicts:     445000 | #Constraints:     682097
3469.28/3480.08	c #Conflicts:     446000 | #Constraints:     683099
3469.28/3480.08	c INPROCESSING
3469.28/3480.08	c GARBAGE COLLECT
3469.28/3480.08	c rational objective 178.062
3599.80/3611.01	c #Conflicts:     447000 | #Constraints:     670751
3599.80/3611.01	c #Conflicts:     448000 | #Constraints:     671751
3599.80/3611.01	c #Conflicts:     449000 | #Constraints:     672752
3599.80/3611.01	c #Conflicts:     450000 | #Constraints:     673752
3599.80/3611.01	c #Conflicts:     451000 | #Constraints:     674752
3599.80/3611.01	c #Conflicts:     452000 | #Constraints:     675753
3599.80/3611.01	c #Conflicts:     453000 | #Constraints:     676754
3599.80/3611.01	c #Conflicts:     454000 | #Constraints:     677754
3599.80/3611.01	c #Conflicts:     455000 | #Constraints:     678755
3599.80/3611.01	c #Conflicts:     456000 | #Constraints:     679756
3599.80/3611.01	c #Conflicts:     457000 | #Constraints:     680758
3599.80/3611.01	c #Conflicts:     458000 | #Constraints:     681761
3599.80/3611.01	c #Conflicts:     459000 | #Constraints:     682762
3599.80/3611.01	c #Conflicts:     460000 | #Constraints:     683762
3599.80/3611.01	c INPROCESSING
3599.80/3611.01	c GARBAGE COLLECT
3599.80/3611.01	c rational objective 178.062
3600.09/3611.30	c Disabling crashed LP
3600.09/3611.30	c cpu time 3582.43 s
3600.09/3611.30	c deterministic time 115385486850 1.15e+11
3600.09/3611.30	c optimization time 1.27982 s
3600.09/3611.30	c total solve time 3579.22 s
3600.09/3611.30	c core-guided solve time 3277.54 s
3600.09/3611.30	c propagation time 1535.82 s
3600.09/3611.30	c conflict analysis time 659.584 s
3600.09/3611.30	c propagations 53357800
3600.09/3611.30	c resolve steps 11598168
3600.09/3611.30	c decisions 11366853
3600.09/3611.30	c conflicts 460200
3600.09/3611.30	c restarts 1021
3600.09/3611.30	c inprocessing phases 59
3600.09/3611.30	c garbage collections 42 ,( 71.19 )
3600.09/3611.30	c input clauses 656901 ,( 99.97 )
3600.09/3611.30	c input cardinalities 6 ,( 0.00 )
3600.09/3611.30	c input general constraints 191 ,( 0.03 )
3600.09/3611.30	c input average constraint length 4.90
3600.09/3611.30	c input average constraint degree 135.00
3600.09/3611.30	c learned clauses 436604 ,( 93.67 )
3600.09/3611.30	c learned cardinalities 13 ,( 0.00 )
3600.09/3611.30	c learned general constraints 29472 ,( 6.32 )
3600.09/3611.30	c learned average constraint length 2774.26
3600.09/3611.30	c learned average constraint degree 22080426695.67
3600.09/3611.30	c watched  CF 32, 64, 128, Arb: 4963 , 0 , 0 , 0
3600.09/3611.30	c counting CF 32, 64, 128, Arb: 24701 , 0 , 0 , 0
3600.09/3611.30	c watched   constraints 4963 ,( 16.73 ) 
3600.09/3611.30	c counting  constraints 24700 ,( 83.27 ) 
3600.09/3611.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 222762893 , 699950 , 1174242145 ,( 11594166 , 1162647979 )
3600.09/3611.30	c gcd simplifications 1288
3600.09/3611.30	c detected cardinalities 0
3600.09/3611.30	c weakened non-implied lits 397348667
3600.09/3611.30	c weakened non-implying lits 43685
3600.09/3611.30	c original variables 10000
3600.09/3611.30	c clausal propagations 48144047
3600.09/3611.30	c cardinality propagations 23999
3600.09/3611.30	c watched propagations 10691
3600.09/3611.30	c counting propagations 4522537
3600.09/3611.30	c watch lookups 36244062621
3600.09/3611.30	c watch backjump lookups 0
3600.09/3611.30	c watch checks 9563627038
3600.09/3611.30	c propagation checks 66280462639
3600.09/3611.30	c constraint additions 3166689283
3600.09/3611.30	c trail pops 65184463
3600.09/3611.30	c formula constraints 656900
3600.09/3611.30	c learned constraints 459810
3600.09/3611.30	c bound constraints 185
3600.09/3611.30	c core-guided constraints 13
3600.09/3611.30	c encountered formula constraints 9366069
3600.09/3611.30	c encountered learned constraints 2636749
3600.09/3611.30	c encountered bound constraints 1784
3600.09/3611.30	c encountered core-guided constraints 26271
3600.09/3611.30	c LP total time 2088.74 s
3600.09/3611.30	c LP solve time 1758.95 s
3600.09/3611.30	c LP constraints added 657000
3600.09/3611.30	c LP constraints removed 72
3600.09/3611.30	c LP pivots internal 460370
3600.09/3611.30	c LP pivots root 275782
3600.09/3611.30	c LP calls 6109
3600.09/3611.30	c LP optimalities 210
3600.09/3611.30	c LP no pivot count 2
3600.09/3611.30	c LP infeasibilities 5861
3600.09/3611.30	c LP valid Farkas constraints 5852
3600.09/3611.30	c LP learned Farkas constraints 390
3600.09/3611.30	c LP basis resets 43
3600.09/3611.30	c LP cycling count 18
3600.09/3611.30	c LP singular count 12
3600.09/3611.30	c LP no primal count 0
3600.09/3611.30	c LP no farkas count 9
3600.09/3611.30	c LP other issue count 4
3600.09/3611.30	c LP Gomory cuts 37
3600.09/3611.30	c LP learned cuts 63
3600.09/3611.30	c LP deleted cuts 72
3600.09/3611.30	c LP encountered Gomory constraints 0
3600.09/3611.30	c LP encountered Farkas constraints 26590
3600.09/3611.30	c LP encountered learned Farkas constraints 515
3600.09/3611.30	c CG auxiliary variables introduced 6
3600.09/3611.30	c CG solutions found 179
3600.09/3611.30	c CG cores constructed 5
3600.09/3611.30	c CG core cardinality constraints returned 0
3600.09/3611.30	c CG unit cores 0
3600.09/3611.30	c CG single cores 5
3600.09/3611.30	c CG blocks removed during cardinality reduction 0
3600.09/3611.30	c CG first core best 0
3600.09/3611.30	c CG decision core best 0
3600.09/3611.30	c CG core reduction tie 0
3600.09/3611.30	c CG core degree average 1.00
3600.09/3611.30	c CG core slack average 2632.00
3600.09/3611.30	c CG core upper bound improvements 0
3600.09/3611.30	c STR number of successful calls 0
3600.09/3611.30	c STR number of unsuccessful calls 0
3600.09/3611.30	c STR number of inconclusive calls 0
3600.09/3611.30	c STR number of successful attempts 0
3600.09/3611.30	c STR number of unsuccessful attempts 0
3600.09/3611.30	c STR number of inconclusive attempts 0
3600.09/3611.30	c STR average degree increase per successful call inf
3600.09/3611.30	c STR average degree increase per successful attempt inf
3600.09/3611.30	c STR total number of conflicts for successful attempts 0
3600.09/3611.30	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.30	c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.30	c STR average number of conflicts per successful attempt inf
3600.09/3611.30	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.30	c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.30	c AVG.sumWPerc 82.70 
3600.09/3611.30	c bigint constraints 0 
3600.09/3611.30	o 315
3600.09/3611.30	s SATISFIABLE
3600.09/3611.30	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/3611.30	c Program interrupted by user.

Verifier Data 

OK	315

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489738-1751363764/watcher-4489738-1751363764 -o /tmp/evaluation-result-4489738-1751363764/solver-4489738-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59061 --watchdog 3760 run-opt-ls.sh HOME/instance-4489738-1751363764.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=59119, runsolver pid=59115

[startup+0.100064 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126414276/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59121] ppid=59119 vsize=165616 memory=150468 CPUtime=0.08 cores=5,7
/proc/59121/stat : 59121 (pbsuma) R 59119 59119 59048 0 -1 4194304 4632 0 0 0 5 3 0 0 20 0 1 0 52055238 169590784 37617 18446744073709551615 4210688 4653049 140737234429152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 34013184 140737234434403 140737234434610 140737234434610 140737234440175 0
/proc/59121/statm: 41404 37617 992 108 0 38812 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169808 KiB
Current children cumulated memory: 153412 KiB

[startup+0.205762 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126341820/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59121] ppid=59119 vsize=181580 memory=168296 CPUtime=0.19 cores=5,7
/proc/59121/stat : 59121 (pbsuma) R 59119 59119 59048 0 -1 4194304 9008 0 0 0 15 4 0 0 20 0 1 0 52055238 185937920 42074 18446744073709551615 4210688 4653049 140737234429152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 34013184 140737234434403 140737234434610 140737234434610 140737234440175 0
/proc/59121/statm: 45395 42074 992 108 0 42803 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185772 KiB
Current children cumulated memory: 171240 KiB

[startup+0.30567 s]*
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=126246680/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59121] ppid=59119 vsize=195312 memory=184988 CPUtime=0.29 cores=5,7
/proc/59121/stat : 59121 (pbsuma) R 59119 59119 59048 0 -1 4194304 12170 0 0 0 24 5 0 0 20 0 1 0 52055238 199999488 46247 18446744073709551615 4210688 4653049 140737234429152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 34013184 140737234434403 140737234434610 140737234434610 140737234440175 0
/proc/59121/statm: 48828 46247 992 108 0 46236 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199504 KiB
Current children cumulated memory: 187932 KiB

[startup+0.70021 s]
/proc/loadavg: 2.16 3.62 3.98 5/271 59121
/proc/meminfo: memFree=125955320/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59121] ppid=59119 vsize=309792 memory=262420 CPUtime=0.68 cores=5,7
/proc/59121/stat : 59121 (pbsuma) R 59119 59119 59048 0 -1 4194304 21836 0 0 0 60 8 0 0 20 0 1 0 52055238 317227008 65605 18446744073709551615 4210688 4653049 140737234429152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 34013184 140737234434403 140737234434610 140737234434610 140737234440175 0
/proc/59121/statm: 77448 65605 1024 108 0 74856 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 313984 KiB
Current children cumulated memory: 265364 KiB

[startup+1.50018 s]
/proc/loadavg: 2.16 3.62 3.98 5/271 59125
/proc/meminfo: memFree=126491452/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=120344 memory=75800 CPUtime=0.51 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 16447 0 0 0 34 17 0 0 20 0 1 0 52055334 123232256 18950 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 30086 18950 2016 1147 0 17513 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 124536 KiB
Current children cumulated memory: 78744 KiB

[startup+3.10573 s]
/proc/loadavg: 2.31 3.63 3.98 5/271 59125
/proc/meminfo: memFree=124901084/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=570000 memory=424752 CPUtime=2.12 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 56545 0 0 0 152 60 0 0 20 0 1 0 52055334 583680000 106188 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 142500 106188 2304 1147 0 129927 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 574192 KiB
Current children cumulated memory: 427696 KiB

[startup+6.3002 s]
/proc/loadavg: 2.31 3.63 3.98 5/271 59125
/proc/meminfo: memFree=123363376/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=1040472 memory=779660 CPUtime=5.3 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 81846 0 0 0 452 78 0 0 20 0 1 0 52055334 1065443328 194915 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 260118 194915 2368 1147 0 247545 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1044664 KiB
Current children cumulated memory: 782604 KiB

[startup+12.7002 s]
/proc/loadavg: 2.57 3.64 3.98 5/271 59125
/proc/meminfo: memFree=123277632/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=1229984 memory=914376 CPUtime=11.68 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 93481 0 0 0 1061 107 0 0 20 0 1 0 52055334 1259503616 228594 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 307496 228594 2464 1147 0 294923 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1234176 KiB
Current children cumulated memory: 917320 KiB

[startup+25.5002 s]
/proc/loadavg: 2.79 3.65 3.98 5/271 59125
/proc/meminfo: memFree=122625456/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=1439212 memory=1064248 CPUtime=24.45 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 119913 0 0 0 2308 137 0 0 20 0 1 0 52055334 1473753088 266062 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 359803 266062 2464 1147 0 347230 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1443404 KiB
Current children cumulated memory: 1067192 KiB

[startup+51.1056 s]
/proc/loadavg: 3.20 3.68 3.99 5/271 59126
/proc/meminfo: memFree=122109792/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=1752224 memory=1334564 CPUtime=49.98 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 158153 0 0 0 4823 175 0 0 20 0 1 0 52055334 1794277376 333641 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 438056 333641 2464 1147 0 425483 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1756416 KiB
Current children cumulated memory: 1337508 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.75 4.00 5/271 59128
/proc/meminfo: memFree=121820124/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=1796936 memory=1403116 CPUtime=101.05 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 162148 0 0 0 9895 210 0 0 20 0 1 0 52055334 1840062464 350779 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 449234 350779 2464 1147 0 436661 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1801128 KiB
Current children cumulated memory: 1406060 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.83 4.00 5/271 59131
/proc/meminfo: memFree=120944952/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=1868900 memory=1496556 CPUtime=160.88 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 177687 0 0 0 15840 248 0 0 20 0 1 0 52055334 1913753600 374139 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 467225 374139 2464 1147 0 454652 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1873092 KiB
Current children cumulated memory: 1499500 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.88 4.00 5/271 59132
/proc/meminfo: memFree=120048140/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=2205040 memory=1785280 CPUtime=220.7 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 206358 0 0 0 21777 293 0 0 20 0 1 0 52055334 2257960960 446320 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 551260 446320 2464 1147 0 538687 0
Current children cumulated CPU time: 221.64 s

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

[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4690260 memory=4079624 CPUtime=3091.94 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 591905 0 0 0 307676 1518 0 0 20 0 1 0 52055334 4802826240 1019906 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172565 1019906 2592 1147 0 1159992 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 4694452 KiB
Current children cumulated memory: 4082568 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 59288
/proc/meminfo: memFree=112011100/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4690452 memory=4079816 CPUtime=3151.73 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 593020 0 0 0 313624 1549 0 0 20 0 1 0 52055334 4803022848 1019954 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172613 1019954 2592 1147 0 1160040 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 4694644 KiB
Current children cumulated memory: 4082760 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 59290
/proc/meminfo: memFree=112000776/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4690452 memory=4079816 CPUtime=3211.5 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 594882 0 0 0 319569 1581 0 0 20 0 1 0 52055334 4803022848 1019954 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172613 1019954 2592 1147 0 1160040 0
Current children cumulated CPU time: 3212.44 s
Current children cumulated vsize: 4694644 KiB
Current children cumulated memory: 4082760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 59292
/proc/meminfo: memFree=112019988/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4690452 memory=4079816 CPUtime=3271.29 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 598046 0 0 0 325523 1606 0 0 20 0 1 0 52055334 4803022848 1019954 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172613 1019954 2592 1147 0 1160040 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 4694644 KiB
Current children cumulated memory: 4082760 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 59294
/proc/meminfo: memFree=112078696/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4690452 memory=4079816 CPUtime=3331.1 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 599817 0 0 0 331488 1622 0 0 20 0 1 0 52055334 4803022848 1019954 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172613 1019954 2592 1147 0 1160040 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 4694644 KiB
Current children cumulated memory: 4082760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 59296
/proc/meminfo: memFree=112100416/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4690452 memory=4092104 CPUtime=3390.91 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 600015 0 0 0 337456 1635 0 0 20 0 1 0 52055334 4803022848 1023026 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172613 1023026 2592 1147 0 1160040 0
Current children cumulated CPU time: 3391.85 s
Current children cumulated vsize: 4694644 KiB
Current children cumulated memory: 4095048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 59305
/proc/meminfo: memFree=112035288/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4691784 memory=4093436 CPUtime=3450.69 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 601976 0 0 0 343421 1648 0 0 20 0 1 0 52055334 4804386816 1023359 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172946 1023359 2592 1147 0 1160373 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 4695976 KiB
Current children cumulated memory: 4096380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 59308
/proc/meminfo: memFree=111977636/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4691784 memory=4093436 CPUtime=3510.49 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 602303 0 0 0 349389 1660 0 0 20 0 1 0 52055334 4804386816 1023359 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172946 1023359 2592 1147 0 1160373 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 4695976 KiB
Current children cumulated memory: 4096380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 59310
/proc/meminfo: memFree=111913624/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4691784 memory=4093436 CPUtime=3570.26 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 602384 0 0 0 355357 1669 0 0 20 0 1 0 52055334 4804386816 1023359 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172946 1023359 2592 1147 0 1160373 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 4695976 KiB
Current children cumulated memory: 4096380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.13 4.10 4.09 4/263 59320
/proc/meminfo: memFree=115795800/131249992 swapFree=33010684/33010684
[pid=59119] ppid=59115 vsize=4192 memory=2944 CPUtime=0.94 cores=5,7
/proc/59119/stat : 59119 (run-opt-ls.sh) S 59115 59119 59048 0 -1 4194304 240 29799 0 0 0 0 83 11 20 0 1 0 52055237 4292608 736 18446744073709551615 93898147803136 93898148697669 140724710375904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93898148936720 93898148984464 93898171420672 140724710381927 140724710382053 140724710382053 140724710387655 0
/proc/59119/statm: 1048 736 672 219 0 110 0
[pid=59125] ppid=59119 vsize=4691784 memory=4093436 CPUtime=3599.15 cores=5,7
/proc/59125/stat : 59125 (roundingsat) R 59119 59119 59048 0 -1 4194304 602388 0 0 0 358242 1673 0 0 20 0 1 0 52055334 4804386816 1023359 18446744073709551615 4227072 8923433 140725819024832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15728640 140725819029830 140725819030056 140725819030056 140725819035626 0
/proc/59125/statm: 1172946 1023359 2592 1147 0 1160373 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4695976 KiB
Current children cumulated memory: 4096380 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3611.4 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 59320
/proc/meminfo: memFree=118293256/131249992 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.955367 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.46
CPU time (s): 3600.27
CPU user time (s): 3583.32
CPU system time (s): 16.9575
CPU usage (%): 99.6903
Max. virtual memory (cumulated for all children) (KiB): 4789980
Max. memory (cumulated for all children) (KiB): 4190372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.32
system time used= 16.9575
maximum resident set size= 4187428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632452
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 1492


# summary of solver processes directly reported to runsolver:
#   pid: 59119,59125
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3583.32
#   total CPU system time (s): 16.9575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10355 second user time and 16.9597 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-01 11:56:05
IDJOB=4489738
IDBENCH=147562
IDSOLVER=3355
FILE ID=nodeC025/4489738-1751363764
RUNJOBID= nodeC025-1751363764-59061
SLURM_JOB_ID= 9598181
Free space on /tmp= 432976 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489738-1751363764/watcher-4489738-1751363764 -o /tmp/evaluation-result-4489738-1751363764/solver-4489738-1751363764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751363764-59061 --watchdog 3760  run-opt-ls.sh HOME/instance-4489738-1751363764.opb

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=137257437

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126994636 kB
MemAvailable:   129796184 kB
Buffers:            3280 kB
Cached:          3599748 kB
SwapCached:            0 kB
Active:           409748 kB
Inactive:        3260588 kB
Active(anon):      85392 kB
Inactive(anon):        0 kB
Active(file):     324356 kB
Inactive(file):  3260588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95912 kB
Writeback:             0 kB
AnonPages:         70120 kB
Mapped:           102988 kB
Shmem:             18084 kB
KReclaimable:     111684 kB
Slab:             200740 kB
SReclaimable:     111684 kB
SUnreclaim:        89056 kB
KernelStack:        4156 kB
PageTables:         2716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     333976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC025 at 2025-07-01 12:56:16