Trace number 4531826

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 0f876b3SAT (TO)315 3600.13 3628.42

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-4531826-1752596240.opb'
0.29/0.35	c 	read 17.23MB  (339.07ms)
0.29/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.33/0.41	c output proof to 'PROOFDIR/proof-4531826-1752596240'
0.33/0.41	c 
0.33/0.41	c make graph and approximate orbits
0.61/0.76	c	 [group: #orbits ~= 0] (345.56ms)
0.61/0.76	c 
0.61/0.76	c detect special group actions
0.61/0.76	c 	probe for Johnson action (limit=64)
0.61/0.76	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.61/0.77	c 	probe for row symmetry (limit=64, splits=16.78M)
0.61/0.77	c 	 (17.97ms)
0.61/0.77	c 
0.61/0.77	c detect symmetries on remainder
0.61/0.78	c 	[graph: #vertices 706697 #edges 2766392]
0.61/0.78	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.72/0.82	c 	 [group: #symmetries 1.00*10^0 #generators 0] (50.02ms)
0.72/0.82	c 
0.72/0.82	c finalize break order and special generators
0.72/0.82	c 
0.72/0.82	c generation finished
0.72/0.82	c 	[sbp: #constraints 0 #add_vars 0]
0.72/0.83	c 
0.72/0.83	c write result to 'HOME/instance-4531826-1752596240.opb.pre'
0.72/0.86	c 	wrote 17.23MB (35.51ms)
0.72/0.86	c ------------------------------------------------------------------
0.72/0.86	c                 345.56ms 40.43% approx_orbits
0.72/0.86	c                 339.07ms 39.67% parse
0.72/0.86	c                  66.29ms  7.76% other
0.72/0.86	c                  50.02ms  5.85% detect_generic
0.72/0.86	c                  35.51ms  4.15% output
0.72/0.86	c                  17.97ms  2.10% detect_special
0.72/0.86	c                   0.38ms  0.04% finalize_order
0.72/0.86	c         ───────────────────────────────────────────────
0.72/0.86	c                 854.80ms   100% total
0.72/0.86	c ------------------------------------------------------------------
0.81/1.00	c RoundingSat 2
0.81/1.00	c branch pb25
0.81/1.00	c commit 0f876b3
4.58/4.76	c #variables 10000 #constraints 656900
4.58/4.76	c objective is ce32 
5.38/5.59	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.38/5.59	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.38/5.59	c bounds 5476 >= 0 @ 3.83319
6.88/7.09	c rational objective 172.243
10.27/10.44	c bounds 5461 >= 0 @ 8.55148
10.27/10.46	c bounds 5456 >= 0 @ 8.56815
10.27/10.48	c bounds 5454 >= 0 @ 8.5831
10.27/10.48	c bounds 5303 >= 0 @ 8.58719
10.27/10.49	c bounds 5259 >= 0 @ 8.59217
10.37/10.50	c bounds 5256 >= 0 @ 8.60463
10.37/10.51	c bounds 5158 >= 0 @ 8.6088
10.46/10.68	c bounds 5154 >= 0 @ 8.77677
10.57/10.70	c bounds 5133 >= 0 @ 8.7926
10.57/10.71	c bounds 5131 >= 0 @ 8.80374
10.67/10.80	c bounds 5074 >= 0 @ 8.89108
10.67/10.87	c bounds 5067 >= 0 @ 8.96361
11.46/11.61	c bounds 5052 >= 0 @ 9.69992
11.46/11.66	c bounds 4994 >= 0 @ 9.74186
11.46/11.66	c bounds 4990 >= 0 @ 9.74593
11.46/11.68	c bounds 4986 >= 0 @ 9.76445
11.56/11.75	c bounds 4976 >= 0 @ 9.82381
11.56/11.75	c bounds 4906 >= 0 @ 9.82894
11.56/11.76	c bounds 4681 >= 0 @ 9.83471
11.56/11.77	c bounds 4611 >= 0 @ 9.83862
11.66/11.86	c bounds 4607 >= 0 @ 9.92325
11.66/11.87	c bounds 4604 >= 0 @ 9.93338
11.66/11.88	c bounds 4582 >= 0 @ 9.94226
11.66/11.89	c bounds 4566 >= 0 @ 9.95091
11.76/11.92	c bounds 4500 >= 0 @ 9.97689
11.76/11.93	c bounds 4459 >= 0 @ 9.98093
11.76/11.94	c bounds 4335 >= 0 @ 9.98779
11.76/11.95	c bounds 4328 >= 0 @ 10.0027
11.76/11.97	c bounds 4258 >= 0 @ 10.0121
11.76/11.97	c bounds 4256 >= 0 @ 10.0167
11.76/11.98	c bounds 4190 >= 0 @ 10.0208
11.76/12.00	c bounds 4186 >= 0 @ 10.0365
11.87/12.01	c bounds 4182 >= 0 @ 10.0442
11.87/12.02	c bounds 4125 >= 0 @ 10.0492
11.87/12.03	c bounds 4124 >= 0 @ 10.0576
11.87/12.03	c bounds 4074 >= 0 @ 10.0628
11.87/12.04	c bounds 4026 >= 0 @ 10.068
11.87/12.05	c bounds 4008 >= 0 @ 10.0712
11.87/12.06	c bounds 3946 >= 0 @ 10.0763
11.87/12.07	c bounds 3934 >= 0 @ 10.0834
11.87/12.08	c bounds 3913 >= 0 @ 10.0915
11.87/12.10	c bounds 3911 >= 0 @ 10.104
11.96/12.11	c bounds 3904 >= 0 @ 10.1133
11.96/12.17	c bounds 3896 >= 0 @ 10.1699
11.96/12.18	c bounds 3819 >= 0 @ 10.1764
12.06/12.22	c bounds 3800 >= 0 @ 10.2107
12.06/12.22	c bounds 3777 >= 0 @ 10.2167
12.06/12.23	c bounds 3716 >= 0 @ 10.2218
12.06/12.24	c bounds 3679 >= 0 @ 10.2269
12.06/12.27	c bounds 3639 >= 0 @ 10.2529
12.16/12.32	c bounds 3635 >= 0 @ 10.3001
12.16/12.34	c bounds 3627 >= 0 @ 10.3207
12.16/12.37	c bounds 3590 >= 0 @ 10.341
12.26/12.40	c bounds 3560 >= 0 @ 10.3749
12.26/12.41	c bounds 3559 >= 0 @ 10.3861
12.26/12.43	c bounds 3544 >= 0 @ 10.4012
12.26/12.45	c bounds 3533 >= 0 @ 10.421
12.26/12.46	c bounds 3436 >= 0 @ 10.4255
12.36/12.51	c bounds 3386 >= 0 @ 10.4699
12.36/12.53	c bounds 3358 >= 0 @ 10.485
12.36/12.54	c bounds 3322 >= 0 @ 10.5003
12.36/12.56	c bounds 3277 >= 0 @ 10.5159
12.36/12.58	c bounds 3272 >= 0 @ 10.5267
12.36/12.59	c bounds 3260 >= 0 @ 10.5325
12.46/12.60	c bounds 3257 >= 0 @ 10.5439
12.46/12.61	c bounds 3249 >= 0 @ 10.5507
12.46/12.62	c bounds 3231 >= 0 @ 10.5564
12.46/12.62	c bounds 3222 >= 0 @ 10.5618
12.46/12.63	c bounds 3215 >= 0 @ 10.5672
12.46/12.64	c bounds 3210 >= 0 @ 10.5723
12.46/12.65	c bounds 3141 >= 0 @ 10.5805
12.46/12.66	c bounds 3139 >= 0 @ 10.5849
12.46/12.67	c bounds 3110 >= 0 @ 10.5905
12.46/12.68	c bounds 3098 >= 0 @ 10.6043
12.56/12.70	c bounds 3067 >= 0 @ 10.6145
12.56/12.72	c bounds 3066 >= 0 @ 10.6308
12.56/12.73	c bounds 3058 >= 0 @ 10.6425
12.56/12.75	c bounds 3057 >= 0 @ 10.6548
12.56/12.76	c bounds 3037 >= 0 @ 10.6623
12.56/12.77	c bounds 3036 >= 0 @ 10.6722
12.56/12.78	c bounds 3004 >= 0 @ 10.6855
12.76/12.91	c bounds 3003 >= 0 @ 10.8083
12.76/12.92	c bounds 2997 >= 0 @ 10.8122
12.76/12.93	c bounds 2992 >= 0 @ 10.8213
12.87/13.02	c bounds 2989 >= 0 @ 10.9061
12.87/13.03	c bounds 2941 >= 0 @ 10.9129
12.87/13.04	c bounds 2878 >= 0 @ 10.9184
12.87/13.05	c bounds 2877 >= 0 @ 10.9231
12.87/13.06	c bounds 2800 >= 0 @ 10.9297
12.87/13.07	c bounds 2766 >= 0 @ 10.9365
12.87/13.08	c bounds 2757 >= 0 @ 10.9423
12.87/13.09	c bounds 2741 >= 0 @ 10.9482
12.97/13.10	c bounds 2718 >= 0 @ 10.96
12.97/13.11	c bounds 2631 >= 0 @ 10.9652
12.97/13.12	c bounds 2589 >= 0 @ 10.9713
12.97/13.15	c bounds 2581 >= 0 @ 10.9891
12.97/13.16	c bounds 2519 >= 0 @ 10.9943
12.97/13.17	c bounds 2492 >= 0 @ 11.0033
13.06/13.21	c bounds 2472 >= 0 @ 11.0434
13.06/13.24	c bounds 2468 >= 0 @ 11.0694
13.06/13.29	c bounds 2295 >= 0 @ 11.1059
13.16/13.30	c bounds 2285 >= 0 @ 11.1139
13.16/13.31	c bounds 2283 >= 0 @ 11.1218
13.55/13.73	c bounds 2282 >= 0 @ 11.5264
13.55/13.74	c bounds 2242 >= 0 @ 11.5343
13.55/13.75	c bounds 2227 >= 0 @ 11.5392
13.55/13.76	c bounds 2130 >= 0 @ 11.5451
13.55/13.77	c bounds 2092 >= 0 @ 11.5511
13.55/13.79	c bounds 2087 >= 0 @ 11.5627
13.66/13.80	c bounds 2072 >= 0 @ 11.5707
13.66/13.81	c bounds 2056 >= 0 @ 11.5836
13.66/13.82	c bounds 2038 >= 0 @ 11.5908
13.66/13.84	c bounds 1973 >= 0 @ 11.5974
13.66/13.85	c bounds 1887 >= 0 @ 11.6054
13.66/13.86	c bounds 1813 >= 0 @ 11.6109
13.66/13.89	c bounds 1795 >= 0 @ 11.637
13.76/13.90	c bounds 1766 >= 0 @ 11.6461
13.76/13.92	c bounds 1672 >= 0 @ 11.6562
13.76/13.93	c bounds 1554 >= 0 @ 11.6644
13.76/13.94	c bounds 1524 >= 0 @ 11.6723
13.76/13.95	c bounds 1335 >= 0 @ 11.6801
13.76/13.97	c bounds 1333 >= 0 @ 11.6877
13.76/13.98	c bounds 1196 >= 0 @ 11.6952
13.76/13.99	c bounds 1150 >= 0 @ 11.7029
13.86/14.01	c bounds 1130 >= 0 @ 11.7095
13.86/14.02	c bounds 1051 >= 0 @ 11.717
13.86/14.06	c bounds 977 >= 0 @ 11.7551
13.86/14.08	c bounds 928 >= 0 @ 11.7663
24.33/24.56	c #Conflicts:       1000 | #Constraints:     658031
24.33/24.56	c #Conflicts:       2000 | #Constraints:     659042
24.33/24.56	c INPROCESSING
24.33/24.56	c GARBAGE COLLECT
24.33/24.56	c bounds 925 >= 0 @ 22.0293
24.43/24.60	c bounds 924 >= 0 @ 22.0667
24.53/24.75	c bounds 920 >= 0 @ 22.2134
24.53/24.78	c bounds 914 >= 0 @ 22.2362
24.63/24.80	c bounds 907 >= 0 @ 22.2525
24.63/24.82	c bounds 905 >= 0 @ 22.265
24.63/24.84	c bounds 901 >= 0 @ 22.2854
24.84/25.04	c bounds 897 >= 0 @ 22.4824
26.03/26.22	c bounds 894 >= 0 @ 23.6301
27.62/27.86	c bounds 887 >= 0 @ 25.2407
28.32/28.51	c bounds 884 >= 0 @ 25.8828
28.63/28.81	c bounds 880 >= 0 @ 26.1729
28.63/28.83	c bounds 870 >= 0 @ 26.1833
28.63/28.84	c bounds 860 >= 0 @ 26.1927
28.72/29.00	c bounds 781 >= 0 @ 26.339
28.83/29.02	c bounds 780 >= 0 @ 26.349
28.83/29.04	c bounds 663 >= 0 @ 26.3606
28.83/29.06	c bounds 608 >= 0 @ 26.3778
29.72/29.99	c #Conflicts:       3000 | #Constraints:     658945
29.72/29.99	c bounds 517 >= 0 @ 27.2886
29.72/30.00	c bounds 516 >= 0 @ 27.2977
29.83/30.01	c bounds 513 >= 0 @ 27.3064
30.02/30.25	c bounds 512 >= 0 @ 27.5322
30.11/30.36	c bounds 505 >= 0 @ 27.6387
30.11/30.38	c bounds 502 >= 0 @ 27.6585
30.22/30.40	c bounds 497 >= 0 @ 27.6776
30.22/30.42	c bounds 490 >= 0 @ 27.6942
30.62/30.84	c bounds 488 >= 0 @ 28.0981
32.31/32.51	c #Conflicts:       4000 | #Constraints:     659957
32.31/32.51	c bounds 475 >= 0 @ 29.7157
32.31/32.52	c bounds 473 >= 0 @ 29.7233
32.31/32.54	c bounds 466 >= 0 @ 29.7372
32.31/32.58	c bounds 465 >= 0 @ 29.7742
32.41/32.60	c bounds 463 >= 0 @ 29.7938
32.41/32.62	c bounds 456 >= 0 @ 29.8104
32.41/32.66	c bounds 452 >= 0 @ 29.8409
32.41/32.70	c bounds 449 >= 0 @ 29.8711
32.51/32.71	c bounds 446 >= 0 @ 29.8838
32.51/32.75	c bounds 439 >= 0 @ 29.9228
32.51/32.78	c bounds 435 >= 0 @ 29.9461
32.61/32.80	c bounds 431 >= 0 @ 29.9634
33.21/33.49	c bounds 428 >= 0 @ 30.6371
33.31/33.51	c bounds 428 >= 8 @ 30.6489
44.58/44.83	c INPROCESSING
44.58/44.83	c GARBAGE COLLECT
44.58/44.83	c #Conflicts:       5000 | #Constraints:     659326
44.58/44.83	c #Conflicts:       6000 | #Constraints:     660326
44.58/44.83	c INPROCESSING
44.58/44.83	c GARBAGE COLLECT
44.58/44.83	c bounds 425 >= 8 @ 41.8188
58.64/58.92	c #Conflicts:       7000 | #Constraints:     659340
58.64/58.92	c #Conflicts:       8000 | #Constraints:     660357
58.64/58.92	c bounds 422 >= 8 @ 55.5946
65.43/65.77	c #Conflicts:       9000 | #Constraints:     661358
65.43/65.77	c INPROCESSING
65.43/65.77	c GARBAGE COLLECT
65.43/65.77	c rational objective 172.792
81.69/82.04	c #Conflicts:      10000 | #Constraints:     660040
81.69/82.04	c #Conflicts:      11000 | #Constraints:     661040
81.69/82.04	c #Conflicts:      12000 | #Constraints:     662040
81.69/82.04	c INPROCESSING
81.69/82.04	c rational objective 173.105
98.05/98.47	c #Conflicts:      13000 | #Constraints:     660491
98.05/98.47	c #Conflicts:      14000 | #Constraints:     661491
98.05/98.47	c #Conflicts:      15000 | #Constraints:     662491
98.05/98.47	c INPROCESSING
98.05/98.47	c GARBAGE COLLECT
98.05/98.47	c rational objective 173.114
117.00/117.41	c #Conflicts:      16000 | #Constraints:     660720
117.00/117.41	c #Conflicts:      17000 | #Constraints:     661720
117.00/117.41	c #Conflicts:      18000 | #Constraints:     662720
117.00/117.41	c INPROCESSING
117.00/117.41	c GARBAGE COLLECT
117.00/117.41	c rational objective 173.484
132.56/133.09	c #Conflicts:      19000 | #Constraints:     660750
132.56/133.09	c #Conflicts:      20000 | #Constraints:     661755
132.56/133.09	c #Conflicts:      21000 | #Constraints:     662760
132.56/133.09	c INPROCESSING
132.56/133.09	c GARBAGE COLLECT
132.56/133.09	c rational objective 174.599
137.14/137.60	c bounds 335 >= 8 @ 133.5
153.00/153.56	c #Conflicts:      22000 | #Constraints:     660567
153.00/153.56	c #Conflicts:      23000 | #Constraints:     661568
153.00/153.56	c #Conflicts:      24000 | #Constraints:     662573
153.00/153.56	c #Conflicts:      25000 | #Constraints:     663598
153.00/153.56	c INPROCESSING
153.00/153.56	c GARBAGE COLLECT
153.00/153.56	c rational objective 175.411
156.79/157.31	c bounds 333 >= 8 @ 152.995
157.49/158.08	c bounds 332 >= 8 @ 153.744
160.08/160.64	c bounds 331 >= 8 @ 156.251
182.00/182.66	c #Conflicts:      26000 | #Constraints:     661197
182.00/182.66	c #Conflicts:      27000 | #Constraints:     662216
182.00/182.66	c bounds 328 >= 8 @ 177.871
184.60/185.22	c bounds 328 >= 13 @ 180.406
184.60/185.28	c bounds 328 >= 18 @ 180.464
202.54/203.22	c #Conflicts:      28000 | #Constraints:     663278
202.54/203.22	c #Conflicts:      29000 | #Constraints:     664278
202.54/203.22	c INPROCESSING
202.54/203.22	c GARBAGE COLLECT
202.54/203.22	c bounds 328 >= 23 @ 198.138
254.07/254.94	c #Conflicts:      30000 | #Constraints:     661628
254.07/254.94	c #Conflicts:      31000 | #Constraints:     662628
254.07/254.94	c #Conflicts:      32000 | #Constraints:     663629
254.07/254.94	c #Conflicts:      33000 | #Constraints:     664630
254.07/254.94	c INPROCESSING
254.07/254.94	c GARBAGE COLLECT
254.07/254.94	c rational objective 176.732
300.21/301.23	c #Conflicts:      34000 | #Constraints:     661798
300.21/301.23	c #Conflicts:      35000 | #Constraints:     662799
300.21/301.23	c #Conflicts:      36000 | #Constraints:     663800
300.21/301.23	c #Conflicts:      37000 | #Constraints:     664801
300.21/301.23	c INPROCESSING
300.21/301.23	c GARBAGE COLLECT
300.21/301.23	c rational objective 176.987
304.41/305.43	c bounds 326 >= 23 @ 299.557
304.41/305.47	c bounds 322 >= 23 @ 299.588
304.51/305.57	c bounds 320 >= 23 @ 299.683
316.08/317.17	c #Conflicts:      38000 | #Constraints:     661799
316.08/317.17	c bounds 315 >= 23 @ 311.077
316.17/317.27	c bounds 315 >= 27 @ 311.173
410.07/411.42	c #Conflicts:      39000 | #Constraints:     662805
410.07/411.42	c #Conflicts:      40000 | #Constraints:     663806
410.07/411.42	c #Conflicts:      41000 | #Constraints:     664810
410.07/411.42	c INPROCESSING
410.07/411.42	c GARBAGE COLLECT
410.07/411.42	c #Conflicts:      42000 | #Constraints:     661591
410.07/411.42	c #Conflicts:      43000 | #Constraints:     662607
410.07/411.42	c #Conflicts:      44000 | #Constraints:     663640
410.07/411.42	c #Conflicts:      45000 | #Constraints:     664658
410.07/411.42	c #Conflicts:      46000 | #Constraints:     665685
410.07/411.42	c INPROCESSING
410.07/411.42	c GARBAGE COLLECT
410.07/411.42	c #Conflicts:      47000 | #Constraints:     662216
410.07/411.42	c #Conflicts:      48000 | #Constraints:     663216
410.07/411.42	c #Conflicts:      49000 | #Constraints:     664217
410.07/411.42	c #Conflicts:      50000 | #Constraints:     665219
410.07/411.42	c #Conflicts:      51000 | #Constraints:     666222
410.07/411.42	c INPROCESSING
410.07/411.42	c #Conflicts:      52000 | #Constraints:     662597
410.07/411.42	c #Conflicts:      53000 | #Constraints:     663601
410.07/411.42	c #Conflicts:      54000 | #Constraints:     664601
410.07/411.42	c #Conflicts:      55000 | #Constraints:     665601
410.07/411.42	c #Conflicts:      56000 | #Constraints:     666601
410.07/411.42	c INPROCESSING
410.07/411.42	c GARBAGE COLLECT
410.07/411.42	c rational objective 176.686
488.31/489.96	c #Conflicts:      57000 | #Constraints:     662784
488.31/489.96	c #Conflicts:      58000 | #Constraints:     663786
488.31/489.96	c #Conflicts:      59000 | #Constraints:     664789
488.31/489.96	c #Conflicts:      60000 | #Constraints:     665790
488.31/489.96	c #Conflicts:      61000 | #Constraints:     666796
488.31/489.96	c INPROCESSING
488.31/489.96	c rational objective 176.797
649.54/662.44	c #Conflicts:      62000 | #Constraints:     662860
649.54/662.44	c #Conflicts:      63000 | #Constraints:     664037
649.54/662.44	c #Conflicts:      64000 | #Constraints:     665124
649.54/662.44	c #Conflicts:      65000 | #Constraints:     666374
649.54/662.44	c #Conflicts:      66000 | #Constraints:     667374
649.54/662.44	c INPROCESSING
649.54/662.44	c GARBAGE COLLECT
649.54/662.44	c #Conflicts:      67000 | #Constraints:     662859
649.54/662.44	c #Conflicts:      68000 | #Constraints:     663859
649.54/662.44	c #Conflicts:      69000 | #Constraints:     664859
649.54/662.44	c #Conflicts:      70000 | #Constraints:     665861
649.54/662.44	c #Conflicts:      71000 | #Constraints:     666861
649.54/662.44	c #Conflicts:      72000 | #Constraints:     667950
649.54/662.44	c INPROCESSING
649.54/662.44	c rational objective 176.797
771.21/784.59	c #Conflicts:      73000 | #Constraints:     663364
771.21/784.59	c #Conflicts:      74000 | #Constraints:     664427
771.21/784.59	c #Conflicts:      75000 | #Constraints:     665557
771.21/784.59	c #Conflicts:      76000 | #Constraints:     666597
771.21/784.59	c #Conflicts:      77000 | #Constraints:     667632
771.21/784.59	c #Conflicts:      78000 | #Constraints:     668659
771.21/784.59	c INPROCESSING
771.21/784.59	c GARBAGE COLLECT
771.21/784.59	c #Conflicts:      79000 | #Constraints:     663807
771.21/784.59	c #Conflicts:      80000 | #Constraints:     664807
771.21/784.59	c #Conflicts:      81000 | #Constraints:     665807
771.21/784.59	c #Conflicts:      82000 | #Constraints:     666807
771.21/784.59	c #Conflicts:      83000 | #Constraints:     667807
771.21/784.59	c #Conflicts:      84000 | #Constraints:     668807
771.21/784.59	c INPROCESSING
771.21/784.59	c rational objective 177.061
847.02/860.85	c #Conflicts:      85000 | #Constraints:     663884
847.02/860.85	c #Conflicts:      86000 | #Constraints:     664889
847.02/860.85	c #Conflicts:      87000 | #Constraints:     665914
847.02/860.85	c #Conflicts:      88000 | #Constraints:     666942
847.02/860.85	c #Conflicts:      89000 | #Constraints:     667946
847.02/860.85	c #Conflicts:      90000 | #Constraints:     668959
847.02/860.85	c INPROCESSING
847.02/860.85	c GARBAGE COLLECT
847.02/860.85	c #Conflicts:      91000 | #Constraints:     663872
847.02/860.85	c #Conflicts:      92000 | #Constraints:     664885
847.02/860.85	c #Conflicts:      93000 | #Constraints:     665912
847.02/860.85	c #Conflicts:      94000 | #Constraints:     666949
847.02/860.85	c #Conflicts:      95000 | #Constraints:     667988
847.02/860.85	c #Conflicts:      96000 | #Constraints:     669038
847.02/860.85	c INPROCESSING
847.02/860.85	c GARBAGE COLLECT
847.02/860.85	c rational objective 177.104
888.20/902.36	c #Conflicts:      97000 | #Constraints:     663722
888.20/902.36	c #Conflicts:      98000 | #Constraints:     664736
888.20/902.36	c #Conflicts:      99000 | #Constraints:     665760
888.20/902.36	c #Conflicts:     100000 | #Constraints:     666798
888.20/902.36	c #Conflicts:     101000 | #Constraints:     667833
888.20/902.36	c #Conflicts:     102000 | #Constraints:     668878
888.20/902.36	c #Conflicts:     103000 | #Constraints:     669908
888.20/902.36	c INPROCESSING
888.20/902.36	c GARBAGE COLLECT
888.20/902.36	c rational objective 177.104
942.90/957.64	c #Conflicts:     104000 | #Constraints:     664345
942.90/957.64	c #Conflicts:     105000 | #Constraints:     665347
942.90/957.64	c #Conflicts:     106000 | #Constraints:     666359
942.90/957.64	c #Conflicts:     107000 | #Constraints:     667361
942.90/957.64	c #Conflicts:     108000 | #Constraints:     668378
942.90/957.64	c #Conflicts:     109000 | #Constraints:     669388
942.90/957.64	c #Conflicts:     110000 | #Constraints:     670404
942.90/957.64	c INPROCESSING
942.90/957.64	c rational objective 177.292
1033.60/1048.93	c #Conflicts:     111000 | #Constraints:     664700
1033.60/1048.93	c #Conflicts:     112000 | #Constraints:     665704
1033.60/1048.93	c #Conflicts:     113000 | #Constraints:     666713
1033.60/1048.93	c #Conflicts:     114000 | #Constraints:     667726
1033.60/1048.93	c #Conflicts:     115000 | #Constraints:     668733
1033.60/1048.93	c #Conflicts:     116000 | #Constraints:     669741
1033.60/1048.93	c #Conflicts:     117000 | #Constraints:     670750
1033.60/1048.93	c INPROCESSING
1033.60/1048.93	c GARBAGE COLLECT
1033.60/1048.93	c #Conflicts:     118000 | #Constraints:     664873
1033.60/1048.93	c #Conflicts:     119000 | #Constraints:     665880
1033.60/1048.93	c #Conflicts:     120000 | #Constraints:     666883
1033.60/1048.93	c #Conflicts:     121000 | #Constraints:     667889
1033.60/1048.93	c #Conflicts:     122000 | #Constraints:     668893
1033.60/1048.93	c #Conflicts:     123000 | #Constraints:     669894
1033.60/1048.93	c #Conflicts:     124000 | #Constraints:     670894
1033.60/1048.93	c INPROCESSING
1033.60/1048.93	c rational objective 177.136
1159.18/1175.20	c #Conflicts:     125000 | #Constraints:     664836
1159.18/1175.20	c #Conflicts:     126000 | #Constraints:     665841
1159.18/1175.20	c #Conflicts:     127000 | #Constraints:     666843
1159.18/1175.20	c #Conflicts:     128000 | #Constraints:     667850
1159.18/1175.20	c #Conflicts:     129000 | #Constraints:     668860
1159.18/1175.20	c #Conflicts:     130000 | #Constraints:     669869
1159.18/1175.20	c #Conflicts:     131000 | #Constraints:     670887
1159.18/1175.20	c INPROCESSING
1159.18/1175.20	c GARBAGE COLLECT
1159.18/1175.20	c #Conflicts:     132000 | #Constraints:     664626
1159.18/1175.20	c #Conflicts:     133000 | #Constraints:     665644
1159.18/1175.20	c #Conflicts:     134000 | #Constraints:     666653
1159.18/1175.20	c #Conflicts:     135000 | #Constraints:     667663
1159.18/1175.20	c #Conflicts:     136000 | #Constraints:     668685
1159.18/1175.20	c #Conflicts:     137000 | #Constraints:     669699
1159.18/1175.20	c #Conflicts:     138000 | #Constraints:     670722
1159.18/1175.20	c #Conflicts:     139000 | #Constraints:     671731
1159.18/1175.20	c INPROCESSING
1159.18/1175.20	c #Conflicts:     140000 | #Constraints:     665261
1159.18/1175.20	c #Conflicts:     141000 | #Constraints:     666263
1159.18/1175.20	c #Conflicts:     142000 | #Constraints:     667279
1159.18/1175.20	c #Conflicts:     143000 | #Constraints:     668321
1159.18/1175.20	c #Conflicts:     144000 | #Constraints:     669339
1159.18/1175.20	c #Conflicts:     145000 | #Constraints:     670372
1159.18/1175.20	c #Conflicts:     146000 | #Constraints:     671402
1159.18/1175.20	c #Conflicts:     147000 | #Constraints:     672427
1159.18/1175.20	c INPROCESSING
1159.18/1175.20	c GARBAGE COLLECT
1159.18/1175.20	c rational objective 177.136
1211.23/1227.59	c #Conflicts:     148000 | #Constraints:     665718
1211.23/1227.59	c #Conflicts:     149000 | #Constraints:     666725
1211.23/1227.59	c #Conflicts:     150000 | #Constraints:     667730
1211.23/1227.59	c #Conflicts:     151000 | #Constraints:     668743
1211.23/1227.59	c #Conflicts:     152000 | #Constraints:     669749
1211.23/1227.59	c #Conflicts:     153000 | #Constraints:     670754
1211.23/1227.59	c #Conflicts:     154000 | #Constraints:     671764
1211.23/1227.59	c #Conflicts:     155000 | #Constraints:     672776
1211.23/1227.59	c INPROCESSING
1211.23/1227.59	c rational objective 177.192
1264.21/1281.85	c #Conflicts:     156000 | #Constraints:     665902
1264.21/1281.85	c #Conflicts:     157000 | #Constraints:     666907
1264.21/1281.85	c #Conflicts:     158000 | #Constraints:     667914
1264.21/1281.85	c #Conflicts:     159000 | #Constraints:     668924
1264.21/1281.85	c #Conflicts:     160000 | #Constraints:     669931
1264.21/1281.85	c #Conflicts:     161000 | #Constraints:     670936
1264.21/1281.85	c #Conflicts:     162000 | #Constraints:     671945
1264.21/1281.85	c #Conflicts:     163000 | #Constraints:     672949
1264.21/1281.85	c INPROCESSING
1264.21/1281.85	c GARBAGE COLLECT
1264.21/1281.85	c rational objective 177.147
1328.04/1346.11	c #Conflicts:     164000 | #Constraints:     665865
1328.04/1346.11	c #Conflicts:     165000 | #Constraints:     666865
1328.04/1346.11	c #Conflicts:     166000 | #Constraints:     667866
1328.04/1346.11	c #Conflicts:     167000 | #Constraints:     668866
1328.04/1346.11	c #Conflicts:     168000 | #Constraints:     669866
1328.04/1346.11	c #Conflicts:     169000 | #Constraints:     670867
1328.04/1346.11	c #Conflicts:     170000 | #Constraints:     671868
1328.04/1346.11	c #Conflicts:     171000 | #Constraints:     672869
1328.04/1346.11	c INPROCESSING
1328.04/1346.11	c GARBAGE COLLECT
1328.04/1346.11	c rational objective 177.569
1382.97/1401.72	c #Conflicts:     172000 | #Constraints:     665625
1382.97/1401.72	c #Conflicts:     173000 | #Constraints:     666625
1382.97/1401.72	c #Conflicts:     174000 | #Constraints:     667625
1382.97/1401.72	c #Conflicts:     175000 | #Constraints:     668631
1382.97/1401.72	c #Conflicts:     176000 | #Constraints:     669633
1382.97/1401.72	c #Conflicts:     177000 | #Constraints:     670633
1382.97/1401.72	c #Conflicts:     178000 | #Constraints:     671636
1382.97/1401.72	c #Conflicts:     179000 | #Constraints:     672639
1382.97/1401.72	c #Conflicts:     180000 | #Constraints:     673642
1382.97/1401.72	c INPROCESSING
1382.97/1401.72	c GARBAGE COLLECT
1382.97/1401.72	c rational objective 177.623
1439.32/1458.49	c #Conflicts:     181000 | #Constraints:     666223
1439.32/1458.49	c #Conflicts:     182000 | #Constraints:     667232
1439.32/1458.49	c #Conflicts:     183000 | #Constraints:     668242
1439.32/1458.49	c #Conflicts:     184000 | #Constraints:     669263
1439.32/1458.49	c #Conflicts:     185000 | #Constraints:     670312
1439.32/1458.49	c #Conflicts:     186000 | #Constraints:     671359
1439.32/1458.49	c #Conflicts:     187000 | #Constraints:     672384
1439.32/1458.49	c #Conflicts:     188000 | #Constraints:     673419
1439.32/1458.49	c #Conflicts:     189000 | #Constraints:     674482
1439.32/1458.49	c INPROCESSING
1439.32/1458.49	c GARBAGE COLLECT
1439.32/1458.49	c rational objective 177.624
1496.14/1516.06	c #Conflicts:     190000 | #Constraints:     666739
1496.14/1516.06	c #Conflicts:     191000 | #Constraints:     667769
1496.14/1516.06	c #Conflicts:     192000 | #Constraints:     668780
1496.14/1516.06	c #Conflicts:     193000 | #Constraints:     669795
1496.14/1516.06	c #Conflicts:     194000 | #Constraints:     670811
1496.14/1516.06	c #Conflicts:     195000 | #Constraints:     671837
1496.14/1516.06	c #Conflicts:     196000 | #Constraints:     672851
1496.14/1516.06	c #Conflicts:     197000 | #Constraints:     673879
1496.14/1516.06	c #Conflicts:     198000 | #Constraints:     674924
1496.14/1516.06	c INPROCESSING
1496.14/1516.06	c GARBAGE COLLECT
1496.14/1516.06	c rational objective 177.681
1655.41/1676.25	c #Conflicts:     199000 | #Constraints:     666973
1655.41/1676.25	c #Conflicts:     200000 | #Constraints:     667982
1655.41/1676.25	c #Conflicts:     201000 | #Constraints:     668991
1655.41/1676.25	c #Conflicts:     202000 | #Constraints:     670007
1655.41/1676.25	c #Conflicts:     203000 | #Constraints:     671016
1655.41/1676.25	c #Conflicts:     204000 | #Constraints:     672026
1655.41/1676.25	c #Conflicts:     205000 | #Constraints:     673037
1655.41/1676.25	c #Conflicts:     206000 | #Constraints:     674050
1655.41/1676.25	c #Conflicts:     207000 | #Constraints:     675080
1655.41/1676.25	c INPROCESSING
1655.41/1676.25	c GARBAGE COLLECT
1655.41/1676.25	c #Conflicts:     208000 | #Constraints:     666950
1655.41/1676.25	c #Conflicts:     209000 | #Constraints:     667973
1655.41/1676.25	c #Conflicts:     210000 | #Constraints:     668992
1655.41/1676.25	c #Conflicts:     211000 | #Constraints:     669999
1655.41/1676.25	c #Conflicts:     212000 | #Constraints:     671032
1655.41/1676.25	c #Conflicts:     213000 | #Constraints:     672053
1655.41/1676.25	c #Conflicts:     214000 | #Constraints:     673089
1655.41/1676.25	c #Conflicts:     215000 | #Constraints:     674133
1655.41/1676.25	c #Conflicts:     216000 | #Constraints:     675159
1655.41/1676.25	c INPROCESSING
1655.41/1676.25	c GARBAGE COLLECT
1655.41/1676.25	c rational objective 177.682
1914.77/1936.33	c #Conflicts:     217000 | #Constraints:     666798
1914.77/1936.33	c #Conflicts:     218000 | #Constraints:     667803
1914.77/1936.33	c #Conflicts:     219000 | #Constraints:     668814
1914.77/1936.33	c #Conflicts:     220000 | #Constraints:     669818
1914.77/1936.33	c #Conflicts:     221000 | #Constraints:     670821
1914.77/1936.33	c #Conflicts:     222000 | #Constraints:     671823
1914.77/1936.33	c #Conflicts:     223000 | #Constraints:     672833
1914.77/1936.33	c #Conflicts:     224000 | #Constraints:     673839
1914.77/1936.33	c #Conflicts:     225000 | #Constraints:     674844
1914.77/1936.33	c #Conflicts:     226000 | #Constraints:     675852
1914.77/1936.33	c INPROCESSING
1914.77/1936.33	c GARBAGE COLLECT
1914.77/1936.33	c #Conflicts:     227000 | #Constraints:     667343
1914.77/1936.33	c #Conflicts:     228000 | #Constraints:     668352
1914.77/1936.33	c #Conflicts:     229000 | #Constraints:     669358
1914.77/1936.33	c #Conflicts:     230000 | #Constraints:     670366
1914.77/1936.33	c #Conflicts:     231000 | #Constraints:     671379
1914.77/1936.33	c #Conflicts:     232000 | #Constraints:     672395
1914.77/1936.33	c #Conflicts:     233000 | #Constraints:     673404
1914.77/1936.33	c #Conflicts:     234000 | #Constraints:     674412
1914.77/1936.33	c #Conflicts:     235000 | #Constraints:     675421
1914.77/1936.33	c #Conflicts:     236000 | #Constraints:     676427
1914.77/1936.33	c INPROCESSING
1914.77/1936.33	c GARBAGE COLLECT
1914.77/1936.33	c rational objective 177.659
2084.54/2106.89	c #Conflicts:     237000 | #Constraints:     667712
2084.54/2106.89	c #Conflicts:     238000 | #Constraints:     668739
2084.54/2106.89	c #Conflicts:     239000 | #Constraints:     669772
2084.54/2106.89	c #Conflicts:     240000 | #Constraints:     670788
2084.54/2106.89	c #Conflicts:     241000 | #Constraints:     671802
2084.54/2106.89	c #Conflicts:     242000 | #Constraints:     672827
2084.54/2106.89	c #Conflicts:     243000 | #Constraints:     673829
2084.54/2106.89	c #Conflicts:     244000 | #Constraints:     674835
2084.54/2106.89	c #Conflicts:     245000 | #Constraints:     675852
2084.54/2106.89	c #Conflicts:     246000 | #Constraints:     676879
2084.54/2106.89	c INPROCESSING
2084.54/2106.89	c rational objective 177.679
2151.51/2174.07	c #Conflicts:     247000 | #Constraints:     667947
2151.51/2174.07	c #Conflicts:     248000 | #Constraints:     668952
2151.51/2174.07	c #Conflicts:     249000 | #Constraints:     669966
2151.51/2174.07	c #Conflicts:     250000 | #Constraints:     670986
2151.51/2174.07	c #Conflicts:     251000 | #Constraints:     671999
2151.51/2174.07	c #Conflicts:     252000 | #Constraints:     673009
2151.51/2174.07	c #Conflicts:     253000 | #Constraints:     674011
2151.51/2174.07	c #Conflicts:     254000 | #Constraints:     675012
2151.51/2174.07	c #Conflicts:     255000 | #Constraints:     676014
2151.51/2174.07	c #Conflicts:     256000 | #Constraints:     677021
2151.51/2174.07	c INPROCESSING
2151.51/2174.07	c GARBAGE COLLECT
2151.51/2174.07	c rational objective 177.68
2240.15/2263.08	c #Conflicts:     257000 | #Constraints:     667898
2240.15/2263.08	c #Conflicts:     258000 | #Constraints:     668905
2240.15/2263.08	c #Conflicts:     259000 | #Constraints:     669908
2240.15/2263.08	c #Conflicts:     260000 | #Constraints:     670910
2240.15/2263.08	c #Conflicts:     261000 | #Constraints:     671912
2240.15/2263.08	c #Conflicts:     262000 | #Constraints:     672912
2240.15/2263.08	c #Conflicts:     263000 | #Constraints:     673913
2240.15/2263.08	c #Conflicts:     264000 | #Constraints:     674914
2240.15/2263.08	c #Conflicts:     265000 | #Constraints:     675916
2240.15/2263.08	c #Conflicts:     266000 | #Constraints:     676919
2240.15/2263.08	c INPROCESSING
2240.15/2263.08	c rational objective 177.677
2303.07/2326.12	c #Conflicts:     267000 | #Constraints:     667649
2303.07/2326.12	c #Conflicts:     268000 | #Constraints:     668651
2303.07/2326.12	c #Conflicts:     269000 | #Constraints:     669654
2303.07/2326.12	c #Conflicts:     270000 | #Constraints:     670657
2303.07/2326.12	c #Conflicts:     271000 | #Constraints:     671659
2303.07/2326.12	c #Conflicts:     272000 | #Constraints:     672662
2303.07/2326.12	c #Conflicts:     273000 | #Constraints:     673663
2303.07/2326.12	c #Conflicts:     274000 | #Constraints:     674663
2303.07/2326.12	c #Conflicts:     275000 | #Constraints:     675664
2303.07/2326.12	c #Conflicts:     276000 | #Constraints:     676665
2303.07/2326.12	c #Conflicts:     277000 | #Constraints:     677665
2303.07/2326.12	c INPROCESSING
2303.07/2326.12	c GARBAGE COLLECT
2303.07/2326.12	c rational objective 177.751
2368.24/2391.51	c #Conflicts:     278000 | #Constraints:     668230
2368.24/2391.51	c #Conflicts:     279000 | #Constraints:     669241
2368.24/2391.51	c #Conflicts:     280000 | #Constraints:     670252
2368.24/2391.51	c #Conflicts:     281000 | #Constraints:     671259
2368.24/2391.51	c #Conflicts:     282000 | #Constraints:     672293
2368.24/2391.51	c #Conflicts:     283000 | #Constraints:     673322
2368.24/2391.51	c #Conflicts:     284000 | #Constraints:     674358
2368.24/2391.51	c #Conflicts:     285000 | #Constraints:     675375
2368.24/2391.51	c #Conflicts:     286000 | #Constraints:     676383
2368.24/2391.51	c #Conflicts:     287000 | #Constraints:     677394
2368.24/2391.51	c #Conflicts:     288000 | #Constraints:     678405
2368.24/2391.51	c INPROCESSING
2368.24/2391.51	c rational objective 177.762
2492.51/2516.29	c #Conflicts:     289000 | #Constraints:     668703
2492.51/2516.29	c #Conflicts:     290000 | #Constraints:     669726
2492.51/2516.29	c #Conflicts:     291000 | #Constraints:     670750
2492.51/2516.29	c #Conflicts:     292000 | #Constraints:     671778
2492.51/2516.29	c #Conflicts:     293000 | #Constraints:     672793
2492.51/2516.29	c #Conflicts:     294000 | #Constraints:     673823
2492.51/2516.29	c #Conflicts:     295000 | #Constraints:     674846
2492.51/2516.29	c #Conflicts:     296000 | #Constraints:     675859
2492.51/2516.29	c #Conflicts:     297000 | #Constraints:     676867
2492.51/2516.29	c #Conflicts:     298000 | #Constraints:     677871
2492.51/2516.29	c #Conflicts:     299000 | #Constraints:     678883
2492.51/2516.29	c INPROCESSING
2492.51/2516.29	c GARBAGE COLLECT
2492.51/2516.29	c #Conflicts:     300000 | #Constraints:     668938
2492.51/2516.29	c #Conflicts:     301000 | #Constraints:     669957
2492.51/2516.29	c #Conflicts:     302000 | #Constraints:     670994
2492.51/2516.29	c #Conflicts:     303000 | #Constraints:     672017
2492.51/2516.29	c #Conflicts:     304000 | #Constraints:     673031
2492.51/2516.29	c #Conflicts:     305000 | #Constraints:     674043
2492.51/2516.29	c #Conflicts:     306000 | #Constraints:     675068
2492.51/2516.29	c #Conflicts:     307000 | #Constraints:     676085
2492.51/2516.29	c #Conflicts:     308000 | #Constraints:     677092
2492.51/2516.29	c #Conflicts:     309000 | #Constraints:     678109
2492.51/2516.29	c #Conflicts:     310000 | #Constraints:     679125
2492.51/2516.29	c INPROCESSING
2492.51/2516.29	c rational objective 178.645
2609.80/2633.94	c #Conflicts:     311000 | #Constraints:     668970
2609.80/2633.94	c #Conflicts:     312000 | #Constraints:     669983
2609.80/2633.94	c #Conflicts:     313000 | #Constraints:     670997
2609.80/2633.94	c #Conflicts:     314000 | #Constraints:     672016
2609.80/2633.94	c #Conflicts:     315000 | #Constraints:     673041
2609.80/2633.94	c #Conflicts:     316000 | #Constraints:     674047
2609.80/2633.94	c #Conflicts:     317000 | #Constraints:     675072
2609.80/2633.94	c #Conflicts:     318000 | #Constraints:     676095
2609.80/2633.94	c #Conflicts:     319000 | #Constraints:     677109
2609.80/2633.94	c #Conflicts:     320000 | #Constraints:     678132
2609.80/2633.94	c #Conflicts:     321000 | #Constraints:     679148
2609.80/2633.94	c INPROCESSING
2609.80/2633.94	c GARBAGE COLLECT
2609.80/2633.94	c rational objective 178.857
2746.15/2770.74	c #Conflicts:     322000 | #Constraints:     668787
2746.15/2770.74	c #Conflicts:     323000 | #Constraints:     669803
2746.15/2770.74	c #Conflicts:     324000 | #Constraints:     670811
2746.15/2770.74	c #Conflicts:     325000 | #Constraints:     671824
2746.15/2770.74	c #Conflicts:     326000 | #Constraints:     672850
2746.15/2770.74	c #Conflicts:     327000 | #Constraints:     673856
2746.15/2770.74	c #Conflicts:     328000 | #Constraints:     674859
2746.15/2770.74	c #Conflicts:     329000 | #Constraints:     675868
2746.15/2770.74	c #Conflicts:     330000 | #Constraints:     676879
2746.15/2770.74	c #Conflicts:     331000 | #Constraints:     677890
2746.15/2770.74	c #Conflicts:     332000 | #Constraints:     678911
2746.15/2770.74	c #Conflicts:     333000 | #Constraints:     679920
2746.15/2770.74	c INPROCESSING
2746.15/2770.74	c GARBAGE COLLECT
2746.15/2770.74	c rational objective 179.385
2854.54/2879.41	c #Conflicts:     334000 | #Constraints:     669382
2854.54/2879.41	c #Conflicts:     335000 | #Constraints:     670383
2854.54/2879.41	c #Conflicts:     336000 | #Constraints:     671383
2854.54/2879.41	c #Conflicts:     337000 | #Constraints:     672384
2854.54/2879.41	c #Conflicts:     338000 | #Constraints:     673385
2854.54/2879.41	c #Conflicts:     339000 | #Constraints:     674386
2854.54/2879.41	c #Conflicts:     340000 | #Constraints:     675386
2854.54/2879.41	c #Conflicts:     341000 | #Constraints:     676386
2854.54/2879.41	c #Conflicts:     342000 | #Constraints:     677388
2854.54/2879.41	c #Conflicts:     343000 | #Constraints:     678388
2854.54/2879.41	c #Conflicts:     344000 | #Constraints:     679391
2854.54/2879.41	c #Conflicts:     345000 | #Constraints:     680394
2854.54/2879.41	c INPROCESSING
2854.54/2879.41	c rational objective 177.687
2941.85/2967.21	c #Conflicts:     346000 | #Constraints:     669687
2941.85/2967.21	c #Conflicts:     347000 | #Constraints:     670689
2941.85/2967.21	c #Conflicts:     348000 | #Constraints:     671692
2941.85/2967.21	c #Conflicts:     349000 | #Constraints:     672693
2941.85/2967.21	c #Conflicts:     350000 | #Constraints:     673697
2941.85/2967.21	c #Conflicts:     351000 | #Constraints:     674702
2941.85/2967.21	c #Conflicts:     352000 | #Constraints:     675706
2941.85/2967.21	c #Conflicts:     353000 | #Constraints:     676708
2941.85/2967.21	c #Conflicts:     354000 | #Constraints:     677708
2941.85/2967.21	c #Conflicts:     355000 | #Constraints:     678711
2941.85/2967.21	c #Conflicts:     356000 | #Constraints:     679714
2941.85/2967.21	c #Conflicts:     357000 | #Constraints:     680714
2941.85/2967.21	c INPROCESSING
2941.85/2967.21	c GARBAGE COLLECT
2941.85/2967.21	c rational objective 178.024
3015.48/3041.16	c #Conflicts:     358000 | #Constraints:     669850
3015.48/3041.16	c #Conflicts:     359000 | #Constraints:     670866
3015.48/3041.16	c #Conflicts:     360000 | #Constraints:     671890
3015.48/3041.16	c #Conflicts:     361000 | #Constraints:     672919
3015.48/3041.16	c #Conflicts:     362000 | #Constraints:     673932
3015.48/3041.16	c #Conflicts:     363000 | #Constraints:     674963
3015.48/3041.16	c #Conflicts:     364000 | #Constraints:     675979
3015.48/3041.16	c #Conflicts:     365000 | #Constraints:     676989
3015.48/3041.16	c #Conflicts:     366000 | #Constraints:     678006
3015.48/3041.16	c #Conflicts:     367000 | #Constraints:     679057
3015.48/3041.16	c #Conflicts:     368000 | #Constraints:     680075
3015.48/3041.16	c #Conflicts:     369000 | #Constraints:     681119
3015.48/3041.16	c INPROCESSING
3015.48/3041.16	c rational objective 178.052
3119.75/3145.81	c #Conflicts:     370000 | #Constraints:     669968
3119.75/3145.81	c #Conflicts:     371000 | #Constraints:     670980
3119.75/3145.81	c #Conflicts:     372000 | #Constraints:     671992
3119.75/3145.81	c #Conflicts:     373000 | #Constraints:     673008
3119.75/3145.81	c #Conflicts:     374000 | #Constraints:     674033
3119.75/3145.81	c #Conflicts:     375000 | #Constraints:     675059
3119.75/3145.81	c #Conflicts:     376000 | #Constraints:     676079
3119.75/3145.81	c #Conflicts:     377000 | #Constraints:     677109
3119.75/3145.81	c #Conflicts:     378000 | #Constraints:     678129
3119.75/3145.81	c #Conflicts:     379000 | #Constraints:     679132
3119.75/3145.81	c #Conflicts:     380000 | #Constraints:     680134
3119.75/3145.81	c #Conflicts:     381000 | #Constraints:     681134
3119.75/3145.81	c INPROCESSING
3119.75/3145.81	c GARBAGE COLLECT
3119.75/3145.81	c rational objective 178.059
3196.11/3222.44	c #Conflicts:     382000 | #Constraints:     669767
3196.11/3222.44	c #Conflicts:     383000 | #Constraints:     670770
3196.11/3222.44	c #Conflicts:     384000 | #Constraints:     671778
3196.11/3222.44	c #Conflicts:     385000 | #Constraints:     672789
3196.11/3222.44	c #Conflicts:     386000 | #Constraints:     673803
3196.11/3222.44	c #Conflicts:     387000 | #Constraints:     674814
3196.11/3222.44	c #Conflicts:     388000 | #Constraints:     675821
3196.11/3222.44	c #Conflicts:     389000 | #Constraints:     676830
3196.11/3222.44	c #Conflicts:     390000 | #Constraints:     677837
3196.11/3222.44	c #Conflicts:     391000 | #Constraints:     678842
3196.11/3222.44	c #Conflicts:     392000 | #Constraints:     679853
3196.11/3222.44	c #Conflicts:     393000 | #Constraints:     680864
3196.11/3222.44	c #Conflicts:     394000 | #Constraints:     681872
3196.11/3222.44	c INPROCESSING
3196.11/3222.44	c rational objective 178.059
3281.90/3308.64	c #Conflicts:     395000 | #Constraints:     670342
3281.90/3308.64	c #Conflicts:     396000 | #Constraints:     671342
3281.90/3308.64	c #Conflicts:     397000 | #Constraints:     672346
3281.90/3308.64	c #Conflicts:     398000 | #Constraints:     673348
3281.90/3308.64	c #Conflicts:     399000 | #Constraints:     674349
3281.90/3308.64	c #Conflicts:     400000 | #Constraints:     675351
3281.90/3308.64	c #Conflicts:     401000 | #Constraints:     676352
3281.90/3308.64	c #Conflicts:     402000 | #Constraints:     677352
3281.90/3308.64	c #Conflicts:     403000 | #Constraints:     678354
3281.90/3308.64	c #Conflicts:     404000 | #Constraints:     679357
3281.90/3308.64	c #Conflicts:     405000 | #Constraints:     680360
3281.90/3308.64	c #Conflicts:     406000 | #Constraints:     681364
3281.90/3308.64	c #Conflicts:     407000 | #Constraints:     682364
3281.90/3308.64	c INPROCESSING
3281.90/3308.64	c GARBAGE COLLECT
3281.90/3308.64	c rational objective 178.061
3364.01/3391.36	c #Conflicts:     408000 | #Constraints:     670673
3364.01/3391.36	c #Conflicts:     409000 | #Constraints:     671688
3364.01/3391.36	c #Conflicts:     410000 | #Constraints:     672694
3364.01/3391.36	c #Conflicts:     411000 | #Constraints:     673695
3364.01/3391.36	c #Conflicts:     412000 | #Constraints:     674703
3364.01/3391.36	c #Conflicts:     413000 | #Constraints:     675729
3364.01/3391.36	c #Conflicts:     414000 | #Constraints:     676745
3364.01/3391.36	c #Conflicts:     415000 | #Constraints:     677758
3364.01/3391.36	c #Conflicts:     416000 | #Constraints:     678781
3364.01/3391.36	c #Conflicts:     417000 | #Constraints:     679798
3364.01/3391.36	c #Conflicts:     418000 | #Constraints:     680814
3364.01/3391.36	c #Conflicts:     419000 | #Constraints:     681836
3364.01/3391.36	c #Conflicts:     420000 | #Constraints:     682859
3364.01/3391.36	c INPROCESSING
3364.01/3391.36	c rational objective 178.062
3451.81/3479.40	c #Conflicts:     421000 | #Constraints:     670935
3451.81/3479.40	c #Conflicts:     422000 | #Constraints:     671952
3451.81/3479.40	c #Conflicts:     423000 | #Constraints:     672959
3451.81/3479.40	c #Conflicts:     424000 | #Constraints:     673967
3451.81/3479.40	c #Conflicts:     425000 | #Constraints:     674985
3451.81/3479.40	c #Conflicts:     426000 | #Constraints:     675998
3451.81/3479.40	c #Conflicts:     427000 | #Constraints:     677021
3451.81/3479.40	c #Conflicts:     428000 | #Constraints:     678041
3451.81/3479.40	c #Conflicts:     429000 | #Constraints:     679064
3451.81/3479.40	c #Conflicts:     430000 | #Constraints:     680086
3451.81/3479.40	c #Conflicts:     431000 | #Constraints:     681122
3451.81/3479.40	c #Conflicts:     432000 | #Constraints:     682153
3451.81/3479.40	c #Conflicts:     433000 | #Constraints:     683186
3451.81/3479.40	c INPROCESSING
3451.81/3479.40	c GARBAGE COLLECT
3451.81/3479.40	c rational objective 178.062
3562.52/3590.67	c #Conflicts:     434000 | #Constraints:     670999
3562.52/3590.67	c #Conflicts:     435000 | #Constraints:     672012
3562.52/3590.67	c #Conflicts:     436000 | #Constraints:     673026
3562.52/3590.67	c #Conflicts:     437000 | #Constraints:     674042
3562.52/3590.67	c #Conflicts:     438000 | #Constraints:     675066
3562.52/3590.67	c #Conflicts:     439000 | #Constraints:     676079
3562.52/3590.67	c #Conflicts:     440000 | #Constraints:     677081
3562.52/3590.67	c #Conflicts:     441000 | #Constraints:     678086
3562.52/3590.67	c #Conflicts:     442000 | #Constraints:     679089
3562.52/3590.67	c #Conflicts:     443000 | #Constraints:     680092
3562.52/3590.67	c #Conflicts:     444000 | #Constraints:     681095
3562.52/3590.67	c #Conflicts:     445000 | #Constraints:     682097
3562.52/3590.67	c #Conflicts:     446000 | #Constraints:     683099
3562.52/3590.67	c INPROCESSING
3562.52/3590.67	c GARBAGE COLLECT
3562.52/3590.67	c rational objective 178.062
3600.02/3628.30	c #Conflicts:     447000 | #Constraints:     670751
3600.02/3628.30	c #Conflicts:     448000 | #Constraints:     671751
3600.02/3628.30	c #Conflicts:     449000 | #Constraints:     672752
3600.02/3628.30	c #Conflicts:     450000 | #Constraints:     673752
3600.02/3628.30	c #Conflicts:     451000 | #Constraints:     674752
3600.02/3628.30	c #Conflicts:     452000 | #Constraints:     675753
3600.02/3628.30	c cpu time 3576.63 s
3600.02/3628.30	c deterministic time 114109606885 1.14e+11
3600.02/3628.30	c optimization time 28.6701 s
3600.02/3628.30	c total solve time 3544.95 s
3600.02/3628.30	c core-guided solve time 3186.25 s
3600.02/3628.30	c propagation time 1501.03 s
3600.02/3628.30	c conflict analysis time 736.186 s
3600.02/3628.30	c propagations 52536967
3600.02/3628.30	c resolve steps 11396522
3600.02/3628.30	c decisions 11357460
3600.02/3628.30	c conflicts 452406
3600.02/3628.30	c restarts 1021
3600.02/3628.30	c inprocessing phases 58
3600.02/3628.30	c garbage collections 41 ,( 70.69 )
3600.02/3628.30	c input clauses 656901 ,( 99.97 )
3600.02/3628.30	c input cardinalities 6 ,( 0.00 )
3600.02/3628.30	c input general constraints 191 ,( 0.03 )
3600.02/3628.30	c input average constraint length 4.90
3600.02/3628.30	c input average constraint degree 135.00
3600.02/3628.30	c learned clauses 428850 ,( 93.58 )
3600.02/3628.30	c learned cardinalities 13 ,( 0.00 )
3600.02/3628.30	c learned general constraints 29422 ,( 6.42 )
3600.02/3628.30	c learned average constraint length 2769.76
3600.02/3628.30	c learned average constraint degree 22359118003.07
3600.02/3628.30	c watched  CF 32, 64, 128, Arb: 4958 , 0 , 0 , 0
3600.02/3628.30	c counting CF 32, 64, 128, Arb: 24656 , 0 , 0 , 0
3600.02/3628.30	c watched   constraints 4958 ,( 16.74 ) 
3600.02/3628.30	c counting  constraints 24655 ,( 83.26 ) 
3600.02/3628.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 213796429 , 685057 , 1149512036 ,( 11474534 , 1138037502 )
3600.02/3628.30	c gcd simplifications 1271
3600.02/3628.30	c detected cardinalities 0
3600.02/3628.30	c weakened non-implied lits 392616510
3600.02/3628.30	c weakened non-implying lits 43248
3600.02/3628.30	c original variables 10000
3600.02/3628.30	c clausal propagations 47342466
3600.02/3628.30	c cardinality propagations 23890
3600.02/3628.30	c watched propagations 10687
3600.02/3628.30	c counting propagations 4511197
3600.02/3628.30	c watch lookups 35403797951
3600.02/3628.30	c watch backjump lookups 0
3600.02/3628.30	c watch checks 9309530858
3600.02/3628.30	c propagation checks 66155231049
3600.02/3628.30	c constraint additions 3112098065
3600.02/3628.30	c trail pops 64336561
3600.02/3628.30	c formula constraints 656900
3600.02/3628.30	c learned constraints 452024
3600.02/3628.30	c bound constraints 185
3600.02/3628.30	c core-guided constraints 13
3600.02/3628.30	c encountered formula constraints 9211342
3600.02/3628.30	c encountered learned constraints 2582749
3600.02/3628.30	c encountered bound constraints 1784
3600.02/3628.30	c encountered core-guided constraints 25642
3600.02/3628.30	c LP total time 2050.34 s
3600.02/3628.30	c LP solve time 1622.62 s
3600.02/3628.30	c LP constraints added 657000
3600.02/3628.30	c LP constraints removed 72
3600.02/3628.30	c LP pivots internal 452627
3600.02/3628.30	c LP pivots root 265346
3600.02/3628.30	c LP calls 6089
3600.02/3628.30	c LP optimalities 199
3600.02/3628.30	c LP no pivot count 2
3600.02/3628.30	c LP infeasibilities 5852
3600.02/3628.30	c LP valid Farkas constraints 5843
3600.02/3628.30	c LP learned Farkas constraints 381
3600.02/3628.30	c LP basis resets 43
3600.02/3628.30	c LP cycling count 18
3600.02/3628.30	c LP singular count 12
3600.02/3628.30	c LP no primal count 0
3600.02/3628.30	c LP no farkas count 9
3600.02/3628.30	c LP other issue count 4
3600.02/3628.30	c LP Gomory cuts 37
3600.02/3628.30	c LP learned cuts 63
3600.02/3628.30	c LP deleted cuts 72
3600.02/3628.30	c LP encountered Gomory constraints 0
3600.02/3628.30	c LP encountered Farkas constraints 26523
3600.02/3628.30	c LP encountered learned Farkas constraints 507
3600.02/3628.30	c CG auxiliary variables introduced 6
3600.02/3628.30	c CG solutions found 179
3600.02/3628.30	c CG cores constructed 5
3600.02/3628.30	c CG core cardinality constraints returned 0
3600.02/3628.30	c CG unit cores 0
3600.02/3628.30	c CG single cores 5
3600.02/3628.30	c CG blocks removed during cardinality reduction 0
3600.02/3628.30	c CG first core best 0
3600.02/3628.30	c CG decision core best 0
3600.02/3628.30	c CG core reduction tie 0
3600.02/3628.30	c CG core degree average 1.00
3600.02/3628.30	c CG core slack average 2632.00
3600.02/3628.30	c CG core upper bound improvements 0
3600.02/3628.30	c STR number of successful calls 0
3600.02/3628.30	c STR number of unsuccessful calls 0
3600.02/3628.30	c STR number of inconclusive calls 0
3600.02/3628.30	c STR number of successful attempts 0
3600.02/3628.30	c STR number of unsuccessful attempts 0
3600.02/3628.30	c STR number of inconclusive attempts 0
3600.02/3628.30	c STR average degree increase per successful call inf
3600.02/3628.30	c STR average degree increase per successful attempt inf
3600.02/3628.30	c STR total number of conflicts for successful attempts 0
3600.02/3628.30	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3628.30	c STR total number of conflicts for inconclusive attempts 0
3600.02/3628.30	c STR average number of conflicts per successful attempt inf
3600.02/3628.30	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3628.30	c STR average number of conflicts per inconclusive attempt inf
3600.02/3628.30	c AVG.sumWPerc 82.69 
3600.02/3628.30	c bigint constraints 0 
3600.02/3628.30	o 315
3600.02/3628.30	s SATISFIABLE
3600.02/3628.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.02/3628.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 (62660 MiB free)
  memory of node 1: 64465 MiB (63696 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=130206, runsolver pid=130198

[startup+0.100062 s]*
/proc/loadavg: 2.29 2.66 3.31 4/293 130210
/proc/meminfo: memFree=129115276/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 175301579 4292608 736 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 736 672 219 0 110 0
[pid=130208] ppid=130206 vsize=166012 memory=150852 CPUtime=0.09 cores=5,7
/proc/130208/stat : 130208 (pbsuma) R 130206 130206 130157 0 -1 4194304 4767 0 0 0 6 3 0 0 20 0 1 0 175301579 169996288 37713 18446744073709551615 4210688 4653049 140724755466416 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19369984 140724755474657 140724755474992 140724755474992 140724755480559 0
/proc/130208/statm: 41503 37713 960 108 0 38911 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 170204 KiB
Current children cumulated memory: 153796 KiB

[startup+0.206261 s]*
/proc/loadavg: 2.29 2.66 3.31 4/301 130223
/proc/meminfo: memFree=128971320/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 175301579 4292608 736 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 736 672 219 0 110 0
[pid=130208] ppid=130206 vsize=181448 memory=168040 CPUtime=0.2 cores=5,7
/proc/130208/stat : 130208 (pbsuma) R 130206 130206 130157 0 -1 4194304 8970 0 0 0 16 4 0 0 20 0 1 0 175301579 185802752 42010 18446744073709551615 4210688 4653049 140724755466416 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19369984 140724755474657 140724755474992 140724755474992 140724755480559 0
/proc/130208/statm: 45362 42010 960 108 0 42770 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 185640 KiB
Current children cumulated memory: 170984 KiB

[startup+0.306518 s]*
/proc/loadavg: 2.29 2.66 3.31 5/304 130230
/proc/meminfo: memFree=128722944/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 175301579 4292608 736 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 736 672 219 0 110 0
[pid=130208] ppid=130206 vsize=194652 memory=182052 CPUtime=0.29 cores=5,7
/proc/130208/stat : 130208 (pbsuma) R 130206 130206 130157 0 -1 4194304 11989 0 0 0 25 4 0 0 20 0 1 0 175301579 199323648 45513 18446744073709551615 4210688 4653049 140724755466416 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19369984 140724755474657 140724755474992 140724755474992 140724755480559 0
/proc/130208/statm: 48663 45513 960 108 0 46071 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 198844 KiB
Current children cumulated memory: 184996 KiB

[startup+0.700197 s]
/proc/loadavg: 2.29 2.66 3.31 5/304 130230
/proc/meminfo: memFree=128500604/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 175301579 4292608 736 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 736 672 219 0 110 0
[pid=130208] ppid=130206 vsize=309828 memory=264284 CPUtime=0.61 cores=5,7
/proc/130208/stat : 130208 (pbsuma) R 130206 130206 130157 0 -1 4194304 22343 0 0 0 54 7 0 0 20 0 1 0 175301579 317263872 66071 18446744073709551615 4210688 4653049 140724755466416 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 19369984 140724755474657 140724755474992 140724755474992 140724755480559 0
/proc/130208/statm: 77457 66071 992 108 0 74865 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 314020 KiB
Current children cumulated memory: 267228 KiB

[startup+1.50019 s]
/proc/loadavg: 2.29 2.66 3.31 5/304 130232
/proc/meminfo: memFree=128523128/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=103840 memory=57284 CPUtime=0.49 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 11427 0 0 0 39 10 0 0 20 0 1 0 175301678 106332160 14321 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 25960 14321 2048 1147 0 13386 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 108032 KiB
Current children cumulated memory: 60356 KiB

[startup+3.10609 s]
/proc/loadavg: 2.29 2.66 3.31 5/299 130242
/proc/meminfo: memFree=128326776/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=254608 memory=191424 CPUtime=2.09 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 42843 0 0 0 163 46 0 0 20 0 1 0 175301678 260718592 47856 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 63652 47856 2048 1147 0 51078 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 258800 KiB
Current children cumulated memory: 194496 KiB

[startup+6.30018 s]
/proc/loadavg: 2.43 2.68 3.31 5/304 130281
/proc/meminfo: memFree=126505864/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=1064972 memory=804680 CPUtime=5.28 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 89555 0 0 0 445 83 0 0 20 0 1 0 175301678 1090531328 201170 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 266243 201170 2368 1147 0 253669 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 1069164 KiB
Current children cumulated memory: 807752 KiB

[startup+12.7002 s]
/proc/loadavg: 2.71 2.74 3.33 4/304 130283
/proc/meminfo: memFree=126591716/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=1246108 memory=933096 CPUtime=11.66 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 103366 0 0 0 1061 105 0 0 20 0 1 0 175301678 1276014592 233274 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 311527 233274 2432 1147 0 298953 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 1250300 KiB
Current children cumulated memory: 936168 KiB

[startup+25.5002 s]
/proc/loadavg: 3.00 2.80 3.34 5/302 130344
/proc/meminfo: memFree=125952892/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=1468016 memory=1102176 CPUtime=24.43 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 133052 0 0 0 2293 150 0 0 20 0 1 0 175301678 1503248384 275544 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 367004 275544 2432 1147 0 354430 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 1472208 KiB
Current children cumulated memory: 1105248 KiB

[startup+51.1062 s]
/proc/loadavg: 3.42 2.91 3.37 5/301 130396
/proc/meminfo: memFree=125129824/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=1538588 memory=1206084 CPUtime=49.97 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 143930 0 0 0 4795 202 0 0 20 0 1 0 175301678 1575514112 301521 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 384647 301521 2464 1147 0 372073 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1542780 KiB
Current children cumulated memory: 1209156 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 3.16 3.43 5/302 130572
/proc/meminfo: memFree=124566016/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=1854140 memory=1465740 CPUtime=101.03 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 181346 0 0 0 9848 255 0 0 20 0 1 0 175301678 1898639360 366435 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 463535 366435 2464 1147 0 450961 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1858332 KiB
Current children cumulated memory: 1468812 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.33 3.47 5/301 130669
/proc/meminfo: memFree=123387976/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=1840212 memory=1455404 CPUtime=160.87 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 185002 0 0 0 15787 300 0 0 20 0 1 0 175301678 1884377088 363851 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 460053 363851 2464 1147 0 447479 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1844404 KiB
Current children cumulated memory: 1458476 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.47 3.51 5/301 130671
/proc/meminfo: memFree=120830248/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=2241504 memory=1826388 CPUtime=220.68 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 230006 0 0 0 21696 372 0 0 20 0 1 0 175301678 2295300096 456597 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 560376 456597 2464 1147 0 547802 0
Current children cumulated CPU time: 221.58 s

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

[pid=130232] ppid=130206 vsize=4730444 memory=4332440 CPUtime=3075.49 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 634969 0 0 0 305560 1989 0 0 20 0 1 0 175301678 4843974656 1083110 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182611 1083110 2560 1147 0 1170037 0
Current children cumulated CPU time: 3076.39 s
Current children cumulated vsize: 4734636 KiB
Current children cumulated memory: 4335512 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 130830
/proc/meminfo: memFree=89530748/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4730676 memory=4353664 CPUtime=3135.31 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 637467 0 0 0 311513 2018 0 0 20 0 1 0 175301678 4844212224 1088416 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182669 1088416 2560 1147 0 1170095 0
Current children cumulated CPU time: 3136.21 s
Current children cumulated vsize: 4734868 KiB
Current children cumulated memory: 4356736 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 130832
/proc/meminfo: memFree=89150300/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4730676 memory=4355840 CPUtime=3195.11 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 637515 0 0 0 317450 2061 0 0 20 0 1 0 175301678 4844212224 1088960 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182669 1088960 2560 1147 0 1170095 0
Current children cumulated CPU time: 3196.01 s
Current children cumulated vsize: 4734868 KiB
Current children cumulated memory: 4358912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 130834
/proc/meminfo: memFree=88703640/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4731056 memory=4356220 CPUtime=3254.77 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 640141 0 0 0 323368 2109 0 0 20 0 1 0 175301678 4844601344 1089055 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182764 1089055 2560 1147 0 1170190 0
Current children cumulated CPU time: 3255.67 s
Current children cumulated vsize: 4735248 KiB
Current children cumulated memory: 4359292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 130838
/proc/meminfo: memFree=88139364/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4731056 memory=4356220 CPUtime=3314.36 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 643314 0 0 0 329274 2162 0 0 20 0 1 0 175301678 4844601344 1089055 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182764 1089055 2560 1147 0 1170190 0
Current children cumulated CPU time: 3315.26 s
Current children cumulated vsize: 4735248 KiB
Current children cumulated memory: 4359292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/271 130845
/proc/meminfo: memFree=87703676/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4825060 memory=4414532 CPUtime=3374.07 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 644566 0 0 0 335226 2181 0 0 20 0 1 0 175301678 4940861440 1103633 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1206265 1103633 2560 1147 0 1193691 0
Current children cumulated CPU time: 3374.97 s
Current children cumulated vsize: 4829252 KiB
Current children cumulated memory: 4417604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 130849
/proc/meminfo: memFree=87258880/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4731056 memory=4356228 CPUtime=3433.87 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 646022 0 0 0 341187 2200 0 0 20 0 1 0 175301678 4844601344 1089057 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182764 1089057 2560 1147 0 1170190 0
Current children cumulated CPU time: 3434.77 s
Current children cumulated vsize: 4735248 KiB
Current children cumulated memory: 4359300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 130851
/proc/meminfo: memFree=86794768/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4731056 memory=4370564 CPUtime=3493.6 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 647476 0 0 0 347139 2221 0 0 20 0 1 0 175301678 4844601344 1092641 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182764 1092641 2560 1147 0 1170190 0
Current children cumulated CPU time: 3494.5 s
Current children cumulated vsize: 4735248 KiB
Current children cumulated memory: 4373636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 130853
/proc/meminfo: memFree=86357804/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4731056 memory=4370564 CPUtime=3553.34 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 648944 0 0 0 353097 2237 0 0 20 0 1 0 175301678 4844601344 1092641 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182764 1092641 2560 1147 0 1170190 0
Current children cumulated CPU time: 3554.24 s
Current children cumulated vsize: 4735248 KiB
Current children cumulated memory: 4373636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3628.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/272 130853
/proc/meminfo: memFree=86066840/131249988 swapFree=33010160/33010684
[pid=130206] ppid=130198 vsize=4192 memory=3072 CPUtime=0.9 cores=5,7
/proc/130206/stat : 130206 (run-opt-ls-log.) S 130198 130206 130157 0 -1 4194304 244 30268 0 0 0 0 79 11 20 0 1 0 175301579 4292608 768 18446744073709551615 94675488997376 94675489891909 140728242271856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675490130960 94675490178704 94675491745792 140728242280729 140728242280927 140728242280927 140728242286531 0
/proc/130206/statm: 1048 768 704 219 0 110 0
[pid=130232] ppid=130206 vsize=4731056 memory=4370564 CPUtime=3599.12 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130206 130206 130157 0 -1 4194304 648954 0 0 0 357663 2249 0 0 20 0 1 0 175301678 4844601344 1092641 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 1182764 1092641 2560 1147 0 1170190 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4735248 KiB
Current children cumulated memory: 4373636 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.794934 s, system=0.119052 s

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

# cumulated CPU time of all completed processes:  user=3577.5 s, system=22.6308 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+3628.4 s]*
/proc/loadavg: 4.15 4.10 4.09 5/270 130853
/proc/meminfo: memFree=88869480/131249988 swapFree=33010160/33010684
[pid=130232] ppid=130198 vsize=3010784 memory=2944028 CPUtime=3599.19 cores=5,7
/proc/130232/stat : 130232 (roundingsat) R 130198 130206 130157 0 -1 4194304 648975 0 0 0 357669 2250 0 0 20 0 1 0 175301678 3083042816 736007 18446744073709551615 4227072 8923577 140727681484576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13307904 140727681489140 140727681489446 140727681489446 140727681495018 0
/proc/130232/statm: 752696 736007 2624 1147 0 740122 0
Current cumulated CPU time of completed processes: 0.913986 s
Current children cumulated CPU time: 3599.19 s
Current children cumulated vsize: 3010784 KiB
Current children cumulated memory: 2944028 KiB

Child status: 2

Real time (s): 3628.42
CPU time (s): 3600.13
CPU user time (s): 3577.5
CPU system time (s): 22.6308
CPU usage (%): 99.2203
Max. virtual memory (cumulated for all children) (KiB): 4894524
Max. memory (cumulated for all children) (KiB): 4495292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.5
system time used= 22.6308
maximum resident set size= 4492220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20629168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1034
involuntary context switches= 3959


# summary of solver processes directly reported to runsolver:
#   pid: 130206,130232
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3577.5
#   total CPU system time (s): 22.6308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15104 second user time and 17.076 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-15 18:17:20
IDJOB=4531826
IDBENCH=147562
IDSOLVER=3392
FILE ID=nodeC020/4531826-1752596240
RUNJOBID= nodeC020-1752596240-130170
SLURM_JOB_ID= 9684367
Free space on /tmp= 431996 MiB

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=2050097675

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129410976 kB
MemAvailable:   129693048 kB
Buffers:            2128 kB
Cached:          1078256 kB
SwapCached:            8 kB
Active:           890096 kB
Inactive:         287100 kB
Active(anon):      98504 kB
Inactive(anon):    24544 kB
Active(file):     791592 kB
Inactive(file):   262556 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            151004 kB
Writeback:             0 kB
AnonPages:         97420 kB
Mapped:           107444 kB
Shmem:             26236 kB
KReclaimable:     134324 kB
Slab:             231108 kB
SReclaimable:     134324 kB
SUnreclaim:        96784 kB
KernelStack:        4564 kB
PageTables:         2764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     378388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150952 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432048 MiB
End job on nodeC020 at 2025-07-15 19:17:49