Trace number 4489739

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22adSAT (TO)315 3600.23 3658.37

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-4489739-1751368624.opb'
0.29/0.34	c 	read 17.23MB  (324.64ms)
0.29/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.36	c output proof to 'PROOFDIR/proof-4489739-1751368624'
0.29/0.36	c 
0.29/0.36	c make graph and approximate orbits
0.65/0.75	c	 [group: #orbits ~= 0] (395.83ms)
0.65/0.75	c 
0.65/0.75	c detect special group actions
0.65/0.75	c 	probe for Johnson action (limit=64)
0.65/0.76	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.65/0.77	c 	probe for row symmetry (limit=64, splits=16.78M)
0.65/0.77	c 	 (19.83ms)
0.65/0.77	c 
0.65/0.77	c detect symmetries on remainder
0.65/0.78	c 	[graph: #vertices 706697 #edges 2766392]
0.65/0.78	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.75/0.82	c 	 [group: #symmetries 1.00*10^0 #generators 0] (50.76ms)
0.75/0.82	c 
0.75/0.82	c finalize break order and special generators
0.75/0.83	c 
0.75/0.83	c generation finished
0.75/0.83	c 	[sbp: #constraints 0 #add_vars 0]
0.75/0.83	c 
0.75/0.83	c write result to 'HOME/instance-4489739-1751368624.opb.pre'
0.75/0.86	c 	wrote 17.23MB (35.67ms)
0.75/0.86	c ------------------------------------------------------------------
0.75/0.86	c                 395.83ms 46.46% approx_orbits
0.75/0.86	c                 324.64ms 38.10% parse
0.75/0.86	c                  50.76ms  5.96% detect_generic
0.75/0.86	c                  35.67ms  4.19% output
0.75/0.86	c                  24.92ms  2.93% other
0.75/0.86	c                  19.83ms  2.33% detect_special
0.75/0.86	c                   0.39ms  0.05% finalize_order
0.75/0.86	c         ───────────────────────────────────────────────
0.75/0.86	c                 852.03ms   100% total
0.75/0.86	c ------------------------------------------------------------------
0.94/1.00	c RoundingSat 2
0.94/1.00	c branch pb25
0.94/1.00	c commit 63f22ad
4.50/4.68	c #variables 10000 #constraints 656900
4.50/4.68	c objective is ce32 
5.39/5.58	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.39/5.58	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.39/5.58	c bounds 5476 >= 0 @ 3.77633
7.57/7.73	c rational objective 172.243
11.04/11.20	c bounds 5461 >= 0 @ 9.2345
11.04/11.22	c bounds 5456 >= 0 @ 9.255
11.04/11.24	c bounds 5454 >= 0 @ 9.27096
11.04/11.24	c bounds 5303 >= 0 @ 9.27458
11.04/11.25	c bounds 5259 >= 0 @ 9.28031
11.04/11.27	c bounds 5256 >= 0 @ 9.29562
11.04/11.28	c bounds 5158 >= 0 @ 9.29945
11.25/11.46	c bounds 5154 >= 0 @ 9.47244
11.25/11.48	c bounds 5133 >= 0 @ 9.48888
11.25/11.49	c bounds 5131 >= 0 @ 9.50075
11.34/11.58	c bounds 5074 >= 0 @ 9.58613
11.44/11.66	c bounds 5067 >= 0 @ 9.65806
12.34/12.52	c bounds 5052 >= 0 @ 10.5177
12.34/12.57	c bounds 4994 >= 0 @ 10.5633
12.34/12.58	c bounds 4990 >= 0 @ 10.5689
12.44/12.60	c bounds 4986 >= 0 @ 10.5897
12.44/12.66	c bounds 4976 >= 0 @ 10.6494
12.44/12.67	c bounds 4906 >= 0 @ 10.6538
12.44/12.68	c bounds 4681 >= 0 @ 10.6587
12.44/12.68	c bounds 4611 >= 0 @ 10.6636
12.54/12.77	c bounds 4607 >= 0 @ 10.7513
12.54/12.79	c bounds 4604 >= 0 @ 10.7605
12.65/12.80	c bounds 4582 >= 0 @ 10.7715
12.65/12.81	c bounds 4566 >= 0 @ 10.7834
12.65/12.85	c bounds 4500 >= 0 @ 10.8135
12.65/12.85	c bounds 4459 >= 0 @ 10.8186
12.65/12.86	c bounds 4335 >= 0 @ 10.8235
12.65/12.88	c bounds 4328 >= 0 @ 10.8413
12.74/12.90	c bounds 4258 >= 0 @ 10.8544
12.74/12.91	c bounds 4256 >= 0 @ 10.8631
12.74/12.91	c bounds 4190 >= 0 @ 10.8688
12.74/12.93	c bounds 4186 >= 0 @ 10.8853
12.74/12.94	c bounds 4182 >= 0 @ 10.8944
12.74/12.95	c bounds 4125 >= 0 @ 10.8997
12.74/12.96	c bounds 4124 >= 0 @ 10.908
12.74/12.97	c bounds 4074 >= 0 @ 10.9134
12.74/12.98	c bounds 4026 >= 0 @ 10.9176
12.74/12.99	c bounds 4008 >= 0 @ 10.9228
12.74/13.00	c bounds 3946 >= 0 @ 10.9302
12.85/13.01	c bounds 3934 >= 0 @ 10.9446
12.85/13.03	c bounds 3913 >= 0 @ 10.9573
12.85/13.05	c bounds 3911 >= 0 @ 10.9716
12.85/13.06	c bounds 3904 >= 0 @ 10.9843
12.95/13.13	c bounds 3896 >= 0 @ 11.0471
12.95/13.14	c bounds 3819 >= 0 @ 11.0528
12.95/13.18	c bounds 3800 >= 0 @ 11.0913
12.95/13.19	c bounds 3777 >= 0 @ 11.0962
13.04/13.20	c bounds 3716 >= 0 @ 11.1027
13.04/13.21	c bounds 3679 >= 0 @ 11.1109
13.04/13.24	c bounds 3639 >= 0 @ 11.1392
13.04/13.29	c bounds 3635 >= 0 @ 11.1878
13.14/13.32	c bounds 3627 >= 0 @ 11.2121
13.14/13.34	c bounds 3590 >= 0 @ 11.236
13.14/13.38	c bounds 3560 >= 0 @ 11.2675
13.14/13.39	c bounds 3559 >= 0 @ 11.2796
13.24/13.41	c bounds 3544 >= 0 @ 11.2944
13.24/13.43	c bounds 3533 >= 0 @ 11.3164
13.24/13.44	c bounds 3436 >= 0 @ 11.3241
13.34/13.50	c bounds 3386 >= 0 @ 11.3762
13.34/13.52	c bounds 3358 >= 0 @ 11.3922
13.34/13.53	c bounds 3322 >= 0 @ 11.4066
13.34/13.55	c bounds 3277 >= 0 @ 11.4236
13.34/13.57	c bounds 3272 >= 0 @ 11.4372
13.34/13.58	c bounds 3260 >= 0 @ 11.4454
13.34/13.60	c bounds 3257 >= 0 @ 11.4569
13.43/13.61	c bounds 3249 >= 0 @ 11.4632
13.43/13.62	c bounds 3231 >= 0 @ 11.4684
13.43/13.62	c bounds 3222 >= 0 @ 11.476
13.43/13.64	c bounds 3215 >= 0 @ 11.4827
13.43/13.64	c bounds 3210 >= 0 @ 11.4894
13.43/13.66	c bounds 3141 >= 0 @ 11.4972
13.43/13.66	c bounds 3139 >= 0 @ 11.5031
13.43/13.67	c bounds 3110 >= 0 @ 11.509
13.43/13.69	c bounds 3098 >= 0 @ 11.5234
13.53/13.70	c bounds 3067 >= 0 @ 11.5343
13.53/13.72	c bounds 3066 >= 0 @ 11.5522
13.53/13.74	c bounds 3058 >= 0 @ 11.5654
13.53/13.76	c bounds 3057 >= 0 @ 11.5786
13.53/13.77	c bounds 3037 >= 0 @ 11.5824
13.53/13.78	c bounds 3036 >= 0 @ 11.5913
13.53/13.79	c bounds 3004 >= 0 @ 11.6046
13.74/13.92	c bounds 3003 >= 0 @ 11.7318
13.74/13.93	c bounds 2997 >= 0 @ 11.7377
13.74/13.94	c bounds 2992 >= 0 @ 11.7469
13.84/14.04	c bounds 2989 >= 0 @ 11.8354
13.84/14.05	c bounds 2941 >= 0 @ 11.8424
13.84/14.06	c bounds 2878 >= 0 @ 11.849
13.84/14.07	c bounds 2877 >= 0 @ 11.8547
13.84/14.07	c bounds 2800 >= 0 @ 11.8604
13.84/14.08	c bounds 2766 >= 0 @ 11.8662
13.84/14.09	c bounds 2757 >= 0 @ 11.8741
13.94/14.10	c bounds 2741 >= 0 @ 11.8788
13.94/14.12	c bounds 2718 >= 0 @ 11.8901
13.94/14.13	c bounds 2631 >= 0 @ 11.8977
13.94/14.14	c bounds 2589 >= 0 @ 11.9049
13.94/14.16	c bounds 2581 >= 0 @ 11.9219
13.94/14.17	c bounds 2519 >= 0 @ 11.9283
13.94/14.19	c bounds 2492 >= 0 @ 11.9404
14.03/14.23	c bounds 2472 >= 0 @ 11.9824
14.03/14.26	c bounds 2468 >= 0 @ 12.0112
14.14/14.31	c bounds 2295 >= 0 @ 12.044
14.14/14.31	c bounds 2285 >= 0 @ 12.049
14.14/14.33	c bounds 2283 >= 0 @ 12.0591
14.54/14.75	c bounds 2282 >= 0 @ 12.4663
14.54/14.76	c bounds 2242 >= 0 @ 12.4751
14.54/14.77	c bounds 2227 >= 0 @ 12.481
14.54/14.78	c bounds 2130 >= 0 @ 12.4888
14.54/14.79	c bounds 2092 >= 0 @ 12.4958
14.63/14.81	c bounds 2087 >= 0 @ 12.5087
14.63/14.82	c bounds 2072 >= 0 @ 12.5168
14.63/14.84	c bounds 2056 >= 0 @ 12.529
14.63/14.85	c bounds 2038 >= 0 @ 12.5389
14.63/14.86	c bounds 1973 >= 0 @ 12.5466
14.63/14.87	c bounds 1887 >= 0 @ 12.5557
14.63/14.89	c bounds 1813 >= 0 @ 12.5631
14.73/14.92	c bounds 1795 >= 0 @ 12.5899
14.73/14.93	c bounds 1766 >= 0 @ 12.5972
14.73/14.94	c bounds 1672 >= 0 @ 12.6034
14.73/14.96	c bounds 1554 >= 0 @ 12.6088
14.73/14.97	c bounds 1524 >= 0 @ 12.616
14.73/14.98	c bounds 1335 >= 0 @ 12.6241
14.73/14.99	c bounds 1333 >= 0 @ 12.6338
14.84/15.01	c bounds 1196 >= 0 @ 12.6448
14.84/15.02	c bounds 1150 >= 0 @ 12.6507
14.84/15.03	c bounds 1130 >= 0 @ 12.6593
14.84/15.05	c bounds 1051 >= 0 @ 12.6679
14.84/15.09	c bounds 977 >= 0 @ 12.7069
14.94/15.11	c bounds 928 >= 0 @ 12.7165
27.50/27.77	c #Conflicts:       1000 | #Constraints:     658031
27.50/27.77	c #Conflicts:       2000 | #Constraints:     659042
27.50/27.77	c INPROCESSING
27.50/27.77	c GARBAGE COLLECT
27.50/27.77	c bounds 925 >= 0 @ 25.1337
27.60/27.81	c bounds 924 >= 0 @ 25.1725
27.70/27.96	c bounds 920 >= 0 @ 25.3142
27.70/27.98	c bounds 914 >= 0 @ 25.3374
27.80/28.00	c bounds 907 >= 0 @ 25.3482
27.80/28.02	c bounds 905 >= 0 @ 25.3606
27.80/28.04	c bounds 901 >= 0 @ 25.3781
28.00/28.24	c bounds 897 >= 0 @ 25.5667
29.10/29.39	c bounds 894 >= 0 @ 26.7007
30.80/31.07	c bounds 887 >= 0 @ 28.3376
31.49/31.74	c bounds 884 >= 0 @ 28.9905
31.79/32.04	c bounds 880 >= 0 @ 29.2865
31.79/32.06	c bounds 870 >= 0 @ 29.2981
31.79/32.08	c bounds 860 >= 0 @ 29.3088
31.99/32.24	c bounds 781 >= 0 @ 29.4582
31.99/32.26	c bounds 780 >= 0 @ 29.4715
31.99/32.28	c bounds 663 >= 0 @ 29.4841
32.08/32.30	c bounds 608 >= 0 @ 29.5048
32.98/33.24	c #Conflicts:       3000 | #Constraints:     658945
32.98/33.24	c bounds 517 >= 0 @ 30.4301
32.98/33.25	c bounds 516 >= 0 @ 30.4417
32.98/33.27	c bounds 513 >= 0 @ 30.4502
33.28/33.50	c bounds 512 >= 0 @ 30.669
33.39/33.61	c bounds 505 >= 0 @ 30.7738
33.39/33.63	c bounds 502 >= 0 @ 30.7922
33.39/33.65	c bounds 497 >= 0 @ 30.8117
33.39/33.67	c bounds 490 >= 0 @ 30.8277
33.89/34.11	c bounds 488 >= 0 @ 31.2554
35.58/35.85	c #Conflicts:       4000 | #Constraints:     659957
35.58/35.85	c bounds 475 >= 0 @ 32.9316
35.58/35.86	c bounds 473 >= 0 @ 32.9426
35.58/35.88	c bounds 466 >= 0 @ 32.9581
35.68/35.92	c bounds 465 >= 0 @ 32.9972
35.68/35.95	c bounds 463 >= 0 @ 33.0187
35.68/35.97	c bounds 456 >= 0 @ 33.0362
35.78/36.00	c bounds 452 >= 0 @ 33.0682
35.78/36.04	c bounds 449 >= 0 @ 33.0986
35.78/36.05	c bounds 446 >= 0 @ 33.1076
35.78/36.09	c bounds 439 >= 0 @ 33.1443
35.89/36.11	c bounds 435 >= 0 @ 33.1624
35.89/36.13	c bounds 431 >= 0 @ 33.1803
36.48/36.78	c bounds 428 >= 0 @ 33.814
36.58/36.80	c bounds 428 >= 8 @ 33.8228
48.44/48.78	c INPROCESSING
48.44/48.78	c GARBAGE COLLECT
48.44/48.78	c #Conflicts:       5000 | #Constraints:     659326
48.44/48.78	c #Conflicts:       6000 | #Constraints:     660326
48.44/48.78	c INPROCESSING
48.44/48.78	c GARBAGE COLLECT
48.44/48.78	c bounds 425 >= 8 @ 45.6598
63.21/63.51	c #Conflicts:       7000 | #Constraints:     659340
63.21/63.51	c #Conflicts:       8000 | #Constraints:     660357
63.21/63.51	c bounds 422 >= 8 @ 60.0413
70.49/70.83	c #Conflicts:       9000 | #Constraints:     661358
70.49/70.83	c INPROCESSING
70.49/70.83	c GARBAGE COLLECT
70.49/70.83	c rational objective 172.792
88.74/89.19	c #Conflicts:      10000 | #Constraints:     660040
88.74/89.19	c #Conflicts:      11000 | #Constraints:     661040
88.74/89.19	c #Conflicts:      12000 | #Constraints:     662040
88.74/89.19	c INPROCESSING
88.74/89.19	c rational objective 173.105
105.87/106.37	c #Conflicts:      13000 | #Constraints:     660491
105.87/106.37	c #Conflicts:      14000 | #Constraints:     661491
105.87/106.37	c #Conflicts:      15000 | #Constraints:     662491
105.87/106.37	c INPROCESSING
105.87/106.37	c GARBAGE COLLECT
105.87/106.37	c rational objective 173.114
127.81/128.34	c #Conflicts:      16000 | #Constraints:     660720
127.81/128.34	c #Conflicts:      17000 | #Constraints:     661720
127.81/128.34	c #Conflicts:      18000 | #Constraints:     662720
127.81/128.34	c INPROCESSING
127.81/128.34	c GARBAGE COLLECT
127.81/128.34	c rational objective 173.484
145.27/145.87	c #Conflicts:      19000 | #Constraints:     660750
145.27/145.87	c #Conflicts:      20000 | #Constraints:     661755
145.27/145.87	c #Conflicts:      21000 | #Constraints:     662760
145.27/145.87	c INPROCESSING
145.27/145.87	c GARBAGE COLLECT
145.27/145.87	c rational objective 174.599
149.95/150.58	c bounds 335 >= 8 @ 146.264
169.09/171.05	c #Conflicts:      22000 | #Constraints:     660567
169.09/171.05	c #Conflicts:      23000 | #Constraints:     661568
169.09/171.05	c #Conflicts:      24000 | #Constraints:     662573
169.09/171.05	c #Conflicts:      25000 | #Constraints:     663598
169.09/171.05	c INPROCESSING
169.09/171.05	c GARBAGE COLLECT
169.09/171.05	c rational objective 175.411
172.87/174.89	c bounds 333 >= 8 @ 168.989
173.68/175.67	c bounds 332 >= 8 @ 169.757
176.26/178.29	c bounds 331 >= 8 @ 172.329
198.71/200.72	c #Conflicts:      26000 | #Constraints:     661197
198.71/200.72	c #Conflicts:      27000 | #Constraints:     662216
198.71/200.72	c bounds 328 >= 8 @ 194.327
202.10/204.13	c bounds 328 >= 13 @ 197.704
202.10/204.19	c bounds 328 >= 18 @ 197.765
221.74/223.87	c #Conflicts:      28000 | #Constraints:     663278
221.74/223.87	c #Conflicts:      29000 | #Constraints:     664278
221.74/223.87	c INPROCESSING
221.74/223.87	c GARBAGE COLLECT
221.74/223.87	c bounds 328 >= 23 @ 217.174
273.16/275.48	c #Conflicts:      30000 | #Constraints:     661628
273.16/275.48	c #Conflicts:      31000 | #Constraints:     662628
273.16/275.48	c #Conflicts:      32000 | #Constraints:     663629
273.16/275.48	c #Conflicts:      33000 | #Constraints:     664630
273.16/275.48	c INPROCESSING
273.16/275.48	c GARBAGE COLLECT
273.16/275.48	c rational objective 176.732
321.71/324.22	c #Conflicts:      34000 | #Constraints:     661798
321.71/324.22	c #Conflicts:      35000 | #Constraints:     662799
321.71/324.22	c #Conflicts:      36000 | #Constraints:     663800
321.71/324.22	c #Conflicts:      37000 | #Constraints:     664801
321.71/324.22	c INPROCESSING
321.71/324.22	c GARBAGE COLLECT
321.71/324.22	c rational objective 176.987
325.90/328.45	c bounds 326 >= 23 @ 320.797
325.90/328.49	c bounds 322 >= 23 @ 320.828
326.00/328.59	c bounds 320 >= 23 @ 320.92
337.86/340.44	c #Conflicts:      38000 | #Constraints:     661799
337.86/340.44	c bounds 315 >= 23 @ 332.516
337.96/340.54	c bounds 315 >= 27 @ 332.606
438.43/451.49	c #Conflicts:      39000 | #Constraints:     662805
438.43/451.49	c #Conflicts:      40000 | #Constraints:     663806
438.43/451.49	c #Conflicts:      41000 | #Constraints:     664810
438.43/451.49	c INPROCESSING
438.43/451.49	c GARBAGE COLLECT
438.43/451.49	c #Conflicts:      42000 | #Constraints:     661591
438.43/451.49	c #Conflicts:      43000 | #Constraints:     662607
438.43/451.49	c #Conflicts:      44000 | #Constraints:     663640
438.43/451.49	c #Conflicts:      45000 | #Constraints:     664658
438.43/451.49	c #Conflicts:      46000 | #Constraints:     665685
438.43/451.49	c INPROCESSING
438.43/451.49	c GARBAGE COLLECT
438.43/451.49	c #Conflicts:      47000 | #Constraints:     662216
438.43/451.49	c #Conflicts:      48000 | #Constraints:     663216
438.43/451.49	c #Conflicts:      49000 | #Constraints:     664217
438.43/451.49	c #Conflicts:      50000 | #Constraints:     665219
438.43/451.49	c #Conflicts:      51000 | #Constraints:     666222
438.43/451.49	c INPROCESSING
438.43/451.49	c #Conflicts:      52000 | #Constraints:     662597
438.43/451.49	c #Conflicts:      53000 | #Constraints:     663601
438.43/451.49	c #Conflicts:      54000 | #Constraints:     664601
438.43/451.49	c #Conflicts:      55000 | #Constraints:     665601
438.43/451.49	c #Conflicts:      56000 | #Constraints:     666601
438.43/451.49	c INPROCESSING
438.43/451.49	c GARBAGE COLLECT
438.43/451.49	c rational objective 176.686
516.30/529.95	c #Conflicts:      57000 | #Constraints:     662784
516.30/529.95	c #Conflicts:      58000 | #Constraints:     663786
516.30/529.95	c #Conflicts:      59000 | #Constraints:     664789
516.30/529.95	c #Conflicts:      60000 | #Constraints:     665790
516.30/529.95	c #Conflicts:      61000 | #Constraints:     666796
516.30/529.95	c INPROCESSING
516.30/529.95	c rational objective 176.797
675.41/690.39	c #Conflicts:      62000 | #Constraints:     662860
675.41/690.39	c #Conflicts:      63000 | #Constraints:     664037
675.41/690.39	c #Conflicts:      64000 | #Constraints:     665124
675.41/690.39	c #Conflicts:      65000 | #Constraints:     666374
675.41/690.39	c #Conflicts:      66000 | #Constraints:     667374
675.41/690.39	c INPROCESSING
675.41/690.39	c GARBAGE COLLECT
675.41/690.39	c #Conflicts:      67000 | #Constraints:     662859
675.41/690.39	c #Conflicts:      68000 | #Constraints:     663859
675.41/690.39	c #Conflicts:      69000 | #Constraints:     664859
675.41/690.39	c #Conflicts:      70000 | #Constraints:     665861
675.41/690.39	c #Conflicts:      71000 | #Constraints:     666861
675.41/690.39	c #Conflicts:      72000 | #Constraints:     667950
675.41/690.39	c INPROCESSING
675.41/690.39	c rational objective 176.797
793.32/808.67	c #Conflicts:      73000 | #Constraints:     663364
793.32/808.67	c #Conflicts:      74000 | #Constraints:     664427
793.32/808.67	c #Conflicts:      75000 | #Constraints:     665557
793.32/808.67	c #Conflicts:      76000 | #Constraints:     666597
793.32/808.67	c #Conflicts:      77000 | #Constraints:     667632
793.32/808.67	c #Conflicts:      78000 | #Constraints:     668659
793.32/808.67	c INPROCESSING
793.32/808.67	c GARBAGE COLLECT
793.32/808.67	c #Conflicts:      79000 | #Constraints:     663807
793.32/808.67	c #Conflicts:      80000 | #Constraints:     664807
793.32/808.67	c #Conflicts:      81000 | #Constraints:     665807
793.32/808.67	c #Conflicts:      82000 | #Constraints:     666807
793.32/808.67	c #Conflicts:      83000 | #Constraints:     667807
793.32/808.67	c #Conflicts:      84000 | #Constraints:     668807
793.32/808.67	c INPROCESSING
793.32/808.67	c rational objective 177.061
867.29/882.89	c #Conflicts:      85000 | #Constraints:     663884
867.29/882.89	c #Conflicts:      86000 | #Constraints:     664889
867.29/882.89	c #Conflicts:      87000 | #Constraints:     665914
867.29/882.89	c #Conflicts:      88000 | #Constraints:     666942
867.29/882.89	c #Conflicts:      89000 | #Constraints:     667946
867.29/882.89	c #Conflicts:      90000 | #Constraints:     668959
867.29/882.89	c INPROCESSING
867.29/882.89	c GARBAGE COLLECT
867.29/882.89	c #Conflicts:      91000 | #Constraints:     663872
867.29/882.89	c #Conflicts:      92000 | #Constraints:     664885
867.29/882.89	c #Conflicts:      93000 | #Constraints:     665912
867.29/882.89	c #Conflicts:      94000 | #Constraints:     666949
867.29/882.89	c #Conflicts:      95000 | #Constraints:     667988
867.29/882.89	c #Conflicts:      96000 | #Constraints:     669038
867.29/882.89	c INPROCESSING
867.29/882.89	c GARBAGE COLLECT
867.29/882.89	c rational objective 177.104
908.44/924.19	c #Conflicts:      97000 | #Constraints:     663722
908.44/924.19	c #Conflicts:      98000 | #Constraints:     664736
908.44/924.19	c #Conflicts:      99000 | #Constraints:     665760
908.44/924.19	c #Conflicts:     100000 | #Constraints:     666798
908.44/924.19	c #Conflicts:     101000 | #Constraints:     667833
908.44/924.19	c #Conflicts:     102000 | #Constraints:     668878
908.44/924.19	c #Conflicts:     103000 | #Constraints:     669908
908.44/924.19	c INPROCESSING
908.44/924.19	c GARBAGE COLLECT
908.44/924.19	c rational objective 177.104
963.90/979.89	c #Conflicts:     104000 | #Constraints:     664345
963.90/979.89	c #Conflicts:     105000 | #Constraints:     665347
963.90/979.89	c #Conflicts:     106000 | #Constraints:     666359
963.90/979.89	c #Conflicts:     107000 | #Constraints:     667361
963.90/979.89	c #Conflicts:     108000 | #Constraints:     668378
963.90/979.89	c #Conflicts:     109000 | #Constraints:     669388
963.90/979.89	c #Conflicts:     110000 | #Constraints:     670404
963.90/979.89	c INPROCESSING
963.90/979.89	c rational objective 177.292
1057.84/1074.10	c #Conflicts:     111000 | #Constraints:     664700
1057.84/1074.10	c #Conflicts:     112000 | #Constraints:     665704
1057.84/1074.10	c #Conflicts:     113000 | #Constraints:     666713
1057.84/1074.10	c #Conflicts:     114000 | #Constraints:     667726
1057.84/1074.10	c #Conflicts:     115000 | #Constraints:     668733
1057.84/1074.10	c #Conflicts:     116000 | #Constraints:     669741
1057.84/1074.10	c #Conflicts:     117000 | #Constraints:     670750
1057.84/1074.10	c INPROCESSING
1057.84/1074.10	c GARBAGE COLLECT
1057.84/1074.10	c #Conflicts:     118000 | #Constraints:     664873
1057.84/1074.10	c #Conflicts:     119000 | #Constraints:     665880
1057.84/1074.10	c #Conflicts:     120000 | #Constraints:     666883
1057.84/1074.10	c #Conflicts:     121000 | #Constraints:     667889
1057.84/1074.10	c #Conflicts:     122000 | #Constraints:     668893
1057.84/1074.10	c #Conflicts:     123000 | #Constraints:     669894
1057.84/1074.10	c #Conflicts:     124000 | #Constraints:     670894
1057.84/1074.10	c INPROCESSING
1057.84/1074.10	c rational objective 177.136
1185.81/1202.74	c #Conflicts:     125000 | #Constraints:     664836
1185.81/1202.74	c #Conflicts:     126000 | #Constraints:     665841
1185.81/1202.74	c #Conflicts:     127000 | #Constraints:     666843
1185.81/1202.74	c #Conflicts:     128000 | #Constraints:     667850
1185.81/1202.74	c #Conflicts:     129000 | #Constraints:     668860
1185.81/1202.74	c #Conflicts:     130000 | #Constraints:     669869
1185.81/1202.74	c #Conflicts:     131000 | #Constraints:     670887
1185.81/1202.74	c INPROCESSING
1185.81/1202.74	c GARBAGE COLLECT
1185.81/1202.74	c #Conflicts:     132000 | #Constraints:     664626
1185.81/1202.74	c #Conflicts:     133000 | #Constraints:     665644
1185.81/1202.74	c #Conflicts:     134000 | #Constraints:     666653
1185.81/1202.74	c #Conflicts:     135000 | #Constraints:     667663
1185.81/1202.74	c #Conflicts:     136000 | #Constraints:     668685
1185.81/1202.74	c #Conflicts:     137000 | #Constraints:     669699
1185.81/1202.74	c #Conflicts:     138000 | #Constraints:     670722
1185.81/1202.74	c #Conflicts:     139000 | #Constraints:     671731
1185.81/1202.74	c INPROCESSING
1185.81/1202.74	c #Conflicts:     140000 | #Constraints:     665261
1185.81/1202.74	c #Conflicts:     141000 | #Constraints:     666263
1185.81/1202.74	c #Conflicts:     142000 | #Constraints:     667279
1185.81/1202.74	c #Conflicts:     143000 | #Constraints:     668321
1185.81/1202.74	c #Conflicts:     144000 | #Constraints:     669339
1185.81/1202.74	c #Conflicts:     145000 | #Constraints:     670372
1185.81/1202.74	c #Conflicts:     146000 | #Constraints:     671402
1185.81/1202.74	c #Conflicts:     147000 | #Constraints:     672427
1185.81/1202.74	c INPROCESSING
1185.81/1202.74	c GARBAGE COLLECT
1185.81/1202.74	c rational objective 177.136
1240.39/1258.37	c #Conflicts:     148000 | #Constraints:     665718
1240.39/1258.37	c #Conflicts:     149000 | #Constraints:     666725
1240.39/1258.37	c #Conflicts:     150000 | #Constraints:     667730
1240.39/1258.37	c #Conflicts:     151000 | #Constraints:     668743
1240.39/1258.37	c #Conflicts:     152000 | #Constraints:     669749
1240.39/1258.37	c #Conflicts:     153000 | #Constraints:     670754
1240.39/1258.37	c #Conflicts:     154000 | #Constraints:     671764
1240.39/1258.37	c #Conflicts:     155000 | #Constraints:     672776
1240.39/1258.37	c INPROCESSING
1240.39/1258.37	c rational objective 177.192
1292.77/1310.94	c #Conflicts:     156000 | #Constraints:     665902
1292.77/1310.94	c #Conflicts:     157000 | #Constraints:     666907
1292.77/1310.94	c #Conflicts:     158000 | #Constraints:     667914
1292.77/1310.94	c #Conflicts:     159000 | #Constraints:     668924
1292.77/1310.94	c #Conflicts:     160000 | #Constraints:     669931
1292.77/1310.94	c #Conflicts:     161000 | #Constraints:     670936
1292.77/1310.94	c #Conflicts:     162000 | #Constraints:     671945
1292.77/1310.94	c #Conflicts:     163000 | #Constraints:     672949
1292.77/1310.94	c INPROCESSING
1292.77/1310.94	c GARBAGE COLLECT
1292.77/1310.94	c rational objective 177.147
1363.32/1388.69	c #Conflicts:     164000 | #Constraints:     665865
1363.32/1388.69	c #Conflicts:     165000 | #Constraints:     666865
1363.32/1388.69	c #Conflicts:     166000 | #Constraints:     667866
1363.32/1388.69	c #Conflicts:     167000 | #Constraints:     668866
1363.32/1388.69	c #Conflicts:     168000 | #Constraints:     669866
1363.32/1388.69	c #Conflicts:     169000 | #Constraints:     670867
1363.32/1388.69	c #Conflicts:     170000 | #Constraints:     671868
1363.32/1388.69	c #Conflicts:     171000 | #Constraints:     672869
1363.32/1388.69	c INPROCESSING
1363.32/1388.69	c GARBAGE COLLECT
1363.32/1388.69	c rational objective 177.569
1425.36/1458.48	c #Conflicts:     172000 | #Constraints:     665625
1425.36/1458.48	c #Conflicts:     173000 | #Constraints:     666625
1425.36/1458.48	c #Conflicts:     174000 | #Constraints:     667625
1425.36/1458.48	c #Conflicts:     175000 | #Constraints:     668631
1425.36/1458.48	c #Conflicts:     176000 | #Constraints:     669633
1425.36/1458.48	c #Conflicts:     177000 | #Constraints:     670633
1425.36/1458.48	c #Conflicts:     178000 | #Constraints:     671636
1425.36/1458.48	c #Conflicts:     179000 | #Constraints:     672639
1425.36/1458.48	c #Conflicts:     180000 | #Constraints:     673642
1425.36/1458.48	c INPROCESSING
1425.36/1458.48	c GARBAGE COLLECT
1425.36/1458.48	c rational objective 177.623
1482.16/1516.48	c #Conflicts:     181000 | #Constraints:     666223
1482.16/1516.48	c #Conflicts:     182000 | #Constraints:     667232
1482.16/1516.48	c #Conflicts:     183000 | #Constraints:     668242
1482.16/1516.48	c #Conflicts:     184000 | #Constraints:     669263
1482.16/1516.48	c #Conflicts:     185000 | #Constraints:     670312
1482.16/1516.48	c #Conflicts:     186000 | #Constraints:     671359
1482.16/1516.48	c #Conflicts:     187000 | #Constraints:     672384
1482.16/1516.48	c #Conflicts:     188000 | #Constraints:     673419
1482.16/1516.48	c #Conflicts:     189000 | #Constraints:     674482
1482.16/1516.48	c INPROCESSING
1482.16/1516.48	c GARBAGE COLLECT
1482.16/1516.48	c rational objective 177.624
1542.22/1581.77	c #Conflicts:     190000 | #Constraints:     666739
1542.22/1581.77	c #Conflicts:     191000 | #Constraints:     667769
1542.22/1581.77	c #Conflicts:     192000 | #Constraints:     668780
1542.22/1581.77	c #Conflicts:     193000 | #Constraints:     669795
1542.22/1581.77	c #Conflicts:     194000 | #Constraints:     670811
1542.22/1581.77	c #Conflicts:     195000 | #Constraints:     671837
1542.22/1581.77	c #Conflicts:     196000 | #Constraints:     672851
1542.22/1581.77	c #Conflicts:     197000 | #Constraints:     673879
1542.22/1581.77	c #Conflicts:     198000 | #Constraints:     674924
1542.22/1581.77	c INPROCESSING
1542.22/1581.77	c GARBAGE COLLECT
1542.22/1581.77	c rational objective 177.681
1713.05/1753.56	c #Conflicts:     199000 | #Constraints:     666973
1713.05/1753.56	c #Conflicts:     200000 | #Constraints:     667982
1713.05/1753.56	c #Conflicts:     201000 | #Constraints:     668991
1713.05/1753.56	c #Conflicts:     202000 | #Constraints:     670007
1713.05/1753.56	c #Conflicts:     203000 | #Constraints:     671016
1713.05/1753.56	c #Conflicts:     204000 | #Constraints:     672026
1713.05/1753.56	c #Conflicts:     205000 | #Constraints:     673037
1713.05/1753.56	c #Conflicts:     206000 | #Constraints:     674050
1713.05/1753.56	c #Conflicts:     207000 | #Constraints:     675080
1713.05/1753.56	c INPROCESSING
1713.05/1753.56	c GARBAGE COLLECT
1713.05/1753.56	c #Conflicts:     208000 | #Constraints:     666950
1713.05/1753.56	c #Conflicts:     209000 | #Constraints:     667973
1713.05/1753.56	c #Conflicts:     210000 | #Constraints:     668992
1713.05/1753.56	c #Conflicts:     211000 | #Constraints:     669999
1713.05/1753.56	c #Conflicts:     212000 | #Constraints:     671032
1713.05/1753.56	c #Conflicts:     213000 | #Constraints:     672053
1713.05/1753.56	c #Conflicts:     214000 | #Constraints:     673089
1713.05/1753.56	c #Conflicts:     215000 | #Constraints:     674133
1713.05/1753.56	c #Conflicts:     216000 | #Constraints:     675159
1713.05/1753.56	c INPROCESSING
1713.05/1753.56	c GARBAGE COLLECT
1713.05/1753.56	c rational objective 177.682
1970.71/2014.58	c #Conflicts:     217000 | #Constraints:     666798
1970.71/2014.58	c #Conflicts:     218000 | #Constraints:     667803
1970.71/2014.58	c #Conflicts:     219000 | #Constraints:     668814
1970.71/2014.58	c #Conflicts:     220000 | #Constraints:     669818
1970.71/2014.58	c #Conflicts:     221000 | #Constraints:     670821
1970.71/2014.58	c #Conflicts:     222000 | #Constraints:     671823
1970.71/2014.58	c #Conflicts:     223000 | #Constraints:     672833
1970.71/2014.58	c #Conflicts:     224000 | #Constraints:     673839
1970.71/2014.58	c #Conflicts:     225000 | #Constraints:     674844
1970.71/2014.58	c #Conflicts:     226000 | #Constraints:     675852
1970.71/2014.58	c INPROCESSING
1970.71/2014.58	c GARBAGE COLLECT
1970.71/2014.58	c #Conflicts:     227000 | #Constraints:     667343
1970.71/2014.58	c #Conflicts:     228000 | #Constraints:     668352
1970.71/2014.58	c #Conflicts:     229000 | #Constraints:     669358
1970.71/2014.58	c #Conflicts:     230000 | #Constraints:     670366
1970.71/2014.58	c #Conflicts:     231000 | #Constraints:     671379
1970.71/2014.58	c #Conflicts:     232000 | #Constraints:     672395
1970.71/2014.58	c #Conflicts:     233000 | #Constraints:     673404
1970.71/2014.58	c #Conflicts:     234000 | #Constraints:     674412
1970.71/2014.58	c #Conflicts:     235000 | #Constraints:     675421
1970.71/2014.58	c #Conflicts:     236000 | #Constraints:     676427
1970.71/2014.58	c INPROCESSING
1970.71/2014.58	c GARBAGE COLLECT
1970.71/2014.58	c rational objective 177.659
2143.70/2188.05	c #Conflicts:     237000 | #Constraints:     667712
2143.70/2188.05	c #Conflicts:     238000 | #Constraints:     668739
2143.70/2188.05	c #Conflicts:     239000 | #Constraints:     669772
2143.70/2188.05	c #Conflicts:     240000 | #Constraints:     670788
2143.70/2188.05	c #Conflicts:     241000 | #Constraints:     671802
2143.70/2188.05	c #Conflicts:     242000 | #Constraints:     672827
2143.70/2188.05	c #Conflicts:     243000 | #Constraints:     673829
2143.70/2188.05	c #Conflicts:     244000 | #Constraints:     674835
2143.70/2188.05	c #Conflicts:     245000 | #Constraints:     675852
2143.70/2188.05	c #Conflicts:     246000 | #Constraints:     676879
2143.70/2188.05	c INPROCESSING
2143.70/2188.05	c rational objective 177.679
2209.40/2253.93	c #Conflicts:     247000 | #Constraints:     667947
2209.40/2253.93	c #Conflicts:     248000 | #Constraints:     668952
2209.40/2253.93	c #Conflicts:     249000 | #Constraints:     669966
2209.40/2253.93	c #Conflicts:     250000 | #Constraints:     670986
2209.40/2253.93	c #Conflicts:     251000 | #Constraints:     671999
2209.40/2253.93	c #Conflicts:     252000 | #Constraints:     673009
2209.40/2253.93	c #Conflicts:     253000 | #Constraints:     674011
2209.40/2253.93	c #Conflicts:     254000 | #Constraints:     675012
2209.40/2253.93	c #Conflicts:     255000 | #Constraints:     676014
2209.40/2253.93	c #Conflicts:     256000 | #Constraints:     677021
2209.40/2253.93	c INPROCESSING
2209.40/2253.93	c GARBAGE COLLECT
2209.40/2253.93	c rational objective 177.68
2294.77/2339.50	c #Conflicts:     257000 | #Constraints:     667898
2294.77/2339.50	c #Conflicts:     258000 | #Constraints:     668905
2294.77/2339.50	c #Conflicts:     259000 | #Constraints:     669908
2294.77/2339.50	c #Conflicts:     260000 | #Constraints:     670910
2294.77/2339.50	c #Conflicts:     261000 | #Constraints:     671912
2294.77/2339.50	c #Conflicts:     262000 | #Constraints:     672912
2294.77/2339.50	c #Conflicts:     263000 | #Constraints:     673913
2294.77/2339.50	c #Conflicts:     264000 | #Constraints:     674914
2294.77/2339.50	c #Conflicts:     265000 | #Constraints:     675916
2294.77/2339.50	c #Conflicts:     266000 | #Constraints:     676919
2294.77/2339.50	c INPROCESSING
2294.77/2339.50	c rational objective 177.677
2355.81/2400.73	c #Conflicts:     267000 | #Constraints:     667649
2355.81/2400.73	c #Conflicts:     268000 | #Constraints:     668651
2355.81/2400.73	c #Conflicts:     269000 | #Constraints:     669654
2355.81/2400.73	c #Conflicts:     270000 | #Constraints:     670657
2355.81/2400.73	c #Conflicts:     271000 | #Constraints:     671659
2355.81/2400.73	c #Conflicts:     272000 | #Constraints:     672662
2355.81/2400.73	c #Conflicts:     273000 | #Constraints:     673663
2355.81/2400.73	c #Conflicts:     274000 | #Constraints:     674663
2355.81/2400.73	c #Conflicts:     275000 | #Constraints:     675664
2355.81/2400.73	c #Conflicts:     276000 | #Constraints:     676665
2355.81/2400.73	c #Conflicts:     277000 | #Constraints:     677665
2355.81/2400.73	c INPROCESSING
2355.81/2400.73	c GARBAGE COLLECT
2355.81/2400.73	c rational objective 177.751
2420.84/2465.95	c #Conflicts:     278000 | #Constraints:     668230
2420.84/2465.95	c #Conflicts:     279000 | #Constraints:     669241
2420.84/2465.95	c #Conflicts:     280000 | #Constraints:     670252
2420.84/2465.95	c #Conflicts:     281000 | #Constraints:     671259
2420.84/2465.95	c #Conflicts:     282000 | #Constraints:     672293
2420.84/2465.95	c #Conflicts:     283000 | #Constraints:     673322
2420.84/2465.95	c #Conflicts:     284000 | #Constraints:     674358
2420.84/2465.95	c #Conflicts:     285000 | #Constraints:     675375
2420.84/2465.95	c #Conflicts:     286000 | #Constraints:     676383
2420.84/2465.95	c #Conflicts:     287000 | #Constraints:     677394
2420.84/2465.95	c #Conflicts:     288000 | #Constraints:     678405
2420.84/2465.95	c INPROCESSING
2420.84/2465.95	c rational objective 177.762
2552.99/2598.65	c #Conflicts:     289000 | #Constraints:     668703
2552.99/2598.65	c #Conflicts:     290000 | #Constraints:     669726
2552.99/2598.65	c #Conflicts:     291000 | #Constraints:     670750
2552.99/2598.65	c #Conflicts:     292000 | #Constraints:     671778
2552.99/2598.65	c #Conflicts:     293000 | #Constraints:     672793
2552.99/2598.65	c #Conflicts:     294000 | #Constraints:     673823
2552.99/2598.65	c #Conflicts:     295000 | #Constraints:     674846
2552.99/2598.65	c #Conflicts:     296000 | #Constraints:     675859
2552.99/2598.65	c #Conflicts:     297000 | #Constraints:     676867
2552.99/2598.65	c #Conflicts:     298000 | #Constraints:     677871
2552.99/2598.65	c #Conflicts:     299000 | #Constraints:     678883
2552.99/2598.65	c INPROCESSING
2552.99/2598.65	c GARBAGE COLLECT
2552.99/2598.65	c #Conflicts:     300000 | #Constraints:     668938
2552.99/2598.65	c #Conflicts:     301000 | #Constraints:     669957
2552.99/2598.65	c #Conflicts:     302000 | #Constraints:     670994
2552.99/2598.65	c #Conflicts:     303000 | #Constraints:     672017
2552.99/2598.65	c #Conflicts:     304000 | #Constraints:     673031
2552.99/2598.65	c #Conflicts:     305000 | #Constraints:     674043
2552.99/2598.65	c #Conflicts:     306000 | #Constraints:     675068
2552.99/2598.65	c #Conflicts:     307000 | #Constraints:     676085
2552.99/2598.65	c #Conflicts:     308000 | #Constraints:     677092
2552.99/2598.65	c #Conflicts:     309000 | #Constraints:     678109
2552.99/2598.65	c #Conflicts:     310000 | #Constraints:     679125
2552.99/2598.65	c INPROCESSING
2552.99/2598.65	c rational objective 178.645
2666.83/2713.89	c #Conflicts:     311000 | #Constraints:     668970
2666.83/2713.89	c #Conflicts:     312000 | #Constraints:     669983
2666.83/2713.89	c #Conflicts:     313000 | #Constraints:     670997
2666.83/2713.89	c #Conflicts:     314000 | #Constraints:     672016
2666.83/2713.89	c #Conflicts:     315000 | #Constraints:     673041
2666.83/2713.89	c #Conflicts:     316000 | #Constraints:     674047
2666.83/2713.89	c #Conflicts:     317000 | #Constraints:     675072
2666.83/2713.89	c #Conflicts:     318000 | #Constraints:     676095
2666.83/2713.89	c #Conflicts:     319000 | #Constraints:     677109
2666.83/2713.89	c #Conflicts:     320000 | #Constraints:     678132
2666.83/2713.89	c #Conflicts:     321000 | #Constraints:     679148
2666.83/2713.89	c INPROCESSING
2666.83/2713.89	c GARBAGE COLLECT
2666.83/2713.89	c rational objective 178.857
2818.69/2866.31	c #Conflicts:     322000 | #Constraints:     668787
2818.69/2866.31	c #Conflicts:     323000 | #Constraints:     669803
2818.69/2866.31	c #Conflicts:     324000 | #Constraints:     670811
2818.69/2866.31	c #Conflicts:     325000 | #Constraints:     671824
2818.69/2866.31	c #Conflicts:     326000 | #Constraints:     672850
2818.69/2866.31	c #Conflicts:     327000 | #Constraints:     673856
2818.69/2866.31	c #Conflicts:     328000 | #Constraints:     674859
2818.69/2866.31	c #Conflicts:     329000 | #Constraints:     675868
2818.69/2866.31	c #Conflicts:     330000 | #Constraints:     676879
2818.69/2866.31	c #Conflicts:     331000 | #Constraints:     677890
2818.69/2866.31	c #Conflicts:     332000 | #Constraints:     678911
2818.69/2866.31	c #Conflicts:     333000 | #Constraints:     679920
2818.69/2866.31	c INPROCESSING
2818.69/2866.31	c GARBAGE COLLECT
2818.69/2866.31	c rational objective 179.385
2927.22/2982.06	c #Conflicts:     334000 | #Constraints:     669382
2927.22/2982.06	c #Conflicts:     335000 | #Constraints:     670383
2927.22/2982.06	c #Conflicts:     336000 | #Constraints:     671383
2927.22/2982.06	c #Conflicts:     337000 | #Constraints:     672384
2927.22/2982.06	c #Conflicts:     338000 | #Constraints:     673385
2927.22/2982.06	c #Conflicts:     339000 | #Constraints:     674386
2927.22/2982.06	c #Conflicts:     340000 | #Constraints:     675386
2927.22/2982.06	c #Conflicts:     341000 | #Constraints:     676386
2927.22/2982.06	c #Conflicts:     342000 | #Constraints:     677388
2927.22/2982.06	c #Conflicts:     343000 | #Constraints:     678388
2927.22/2982.06	c #Conflicts:     344000 | #Constraints:     679391
2927.22/2982.06	c #Conflicts:     345000 | #Constraints:     680394
2927.22/2982.06	c INPROCESSING
2927.22/2982.06	c rational objective 177.687
3011.17/3066.20	c #Conflicts:     346000 | #Constraints:     669687
3011.17/3066.20	c #Conflicts:     347000 | #Constraints:     670689
3011.17/3066.20	c #Conflicts:     348000 | #Constraints:     671692
3011.17/3066.20	c #Conflicts:     349000 | #Constraints:     672693
3011.17/3066.20	c #Conflicts:     350000 | #Constraints:     673697
3011.17/3066.20	c #Conflicts:     351000 | #Constraints:     674702
3011.17/3066.20	c #Conflicts:     352000 | #Constraints:     675706
3011.17/3066.20	c #Conflicts:     353000 | #Constraints:     676708
3011.17/3066.20	c #Conflicts:     354000 | #Constraints:     677708
3011.17/3066.20	c #Conflicts:     355000 | #Constraints:     678711
3011.17/3066.20	c #Conflicts:     356000 | #Constraints:     679714
3011.17/3066.20	c #Conflicts:     357000 | #Constraints:     680714
3011.17/3066.20	c INPROCESSING
3011.17/3066.20	c GARBAGE COLLECT
3011.17/3066.20	c rational objective 178.024
3089.73/3145.25	c #Conflicts:     358000 | #Constraints:     669850
3089.73/3145.25	c #Conflicts:     359000 | #Constraints:     670866
3089.73/3145.25	c #Conflicts:     360000 | #Constraints:     671890
3089.73/3145.25	c #Conflicts:     361000 | #Constraints:     672919
3089.73/3145.25	c #Conflicts:     362000 | #Constraints:     673932
3089.73/3145.25	c #Conflicts:     363000 | #Constraints:     674963
3089.73/3145.25	c #Conflicts:     364000 | #Constraints:     675979
3089.73/3145.25	c #Conflicts:     365000 | #Constraints:     676989
3089.73/3145.25	c #Conflicts:     366000 | #Constraints:     678006
3089.73/3145.25	c #Conflicts:     367000 | #Constraints:     679057
3089.73/3145.25	c #Conflicts:     368000 | #Constraints:     680075
3089.73/3145.25	c #Conflicts:     369000 | #Constraints:     681119
3089.73/3145.25	c INPROCESSING
3089.73/3145.25	c rational objective 178.052
3195.80/3251.71	c #Conflicts:     370000 | #Constraints:     669968
3195.80/3251.71	c #Conflicts:     371000 | #Constraints:     670980
3195.80/3251.71	c #Conflicts:     372000 | #Constraints:     671992
3195.80/3251.71	c #Conflicts:     373000 | #Constraints:     673008
3195.80/3251.71	c #Conflicts:     374000 | #Constraints:     674033
3195.80/3251.71	c #Conflicts:     375000 | #Constraints:     675059
3195.80/3251.71	c #Conflicts:     376000 | #Constraints:     676079
3195.80/3251.71	c #Conflicts:     377000 | #Constraints:     677109
3195.80/3251.71	c #Conflicts:     378000 | #Constraints:     678129
3195.80/3251.71	c #Conflicts:     379000 | #Constraints:     679132
3195.80/3251.71	c #Conflicts:     380000 | #Constraints:     680134
3195.80/3251.71	c #Conflicts:     381000 | #Constraints:     681134
3195.80/3251.71	c INPROCESSING
3195.80/3251.71	c GARBAGE COLLECT
3195.80/3251.71	c rational objective 178.059
3273.92/3330.55	c #Conflicts:     382000 | #Constraints:     669767
3273.92/3330.55	c #Conflicts:     383000 | #Constraints:     670770
3273.92/3330.55	c #Conflicts:     384000 | #Constraints:     671778
3273.92/3330.55	c #Conflicts:     385000 | #Constraints:     672789
3273.92/3330.55	c #Conflicts:     386000 | #Constraints:     673803
3273.92/3330.55	c #Conflicts:     387000 | #Constraints:     674814
3273.92/3330.55	c #Conflicts:     388000 | #Constraints:     675821
3273.92/3330.55	c #Conflicts:     389000 | #Constraints:     676830
3273.92/3330.55	c #Conflicts:     390000 | #Constraints:     677837
3273.92/3330.55	c #Conflicts:     391000 | #Constraints:     678842
3273.92/3330.55	c #Conflicts:     392000 | #Constraints:     679853
3273.92/3330.55	c #Conflicts:     393000 | #Constraints:     680864
3273.92/3330.55	c #Conflicts:     394000 | #Constraints:     681872
3273.92/3330.55	c INPROCESSING
3273.92/3330.55	c rational objective 178.059
3369.73/3426.62	c #Conflicts:     395000 | #Constraints:     670342
3369.73/3426.62	c #Conflicts:     396000 | #Constraints:     671342
3369.73/3426.62	c #Conflicts:     397000 | #Constraints:     672346
3369.73/3426.62	c #Conflicts:     398000 | #Constraints:     673348
3369.73/3426.62	c #Conflicts:     399000 | #Constraints:     674349
3369.73/3426.62	c #Conflicts:     400000 | #Constraints:     675351
3369.73/3426.62	c #Conflicts:     401000 | #Constraints:     676352
3369.73/3426.62	c #Conflicts:     402000 | #Constraints:     677352
3369.73/3426.62	c #Conflicts:     403000 | #Constraints:     678354
3369.73/3426.62	c #Conflicts:     404000 | #Constraints:     679357
3369.73/3426.62	c #Conflicts:     405000 | #Constraints:     680360
3369.73/3426.62	c #Conflicts:     406000 | #Constraints:     681364
3369.73/3426.62	c #Conflicts:     407000 | #Constraints:     682364
3369.73/3426.62	c INPROCESSING
3369.73/3426.62	c GARBAGE COLLECT
3369.73/3426.62	c rational objective 178.061
3455.48/3512.73	c #Conflicts:     408000 | #Constraints:     670673
3455.48/3512.73	c #Conflicts:     409000 | #Constraints:     671688
3455.48/3512.73	c #Conflicts:     410000 | #Constraints:     672694
3455.48/3512.73	c #Conflicts:     411000 | #Constraints:     673695
3455.48/3512.73	c #Conflicts:     412000 | #Constraints:     674703
3455.48/3512.73	c #Conflicts:     413000 | #Constraints:     675729
3455.48/3512.73	c #Conflicts:     414000 | #Constraints:     676745
3455.48/3512.73	c #Conflicts:     415000 | #Constraints:     677758
3455.48/3512.73	c #Conflicts:     416000 | #Constraints:     678781
3455.48/3512.73	c #Conflicts:     417000 | #Constraints:     679798
3455.48/3512.73	c #Conflicts:     418000 | #Constraints:     680814
3455.48/3512.73	c #Conflicts:     419000 | #Constraints:     681836
3455.48/3512.73	c #Conflicts:     420000 | #Constraints:     682859
3455.48/3512.73	c INPROCESSING
3455.48/3512.73	c rational objective 178.062
3543.05/3600.81	c #Conflicts:     421000 | #Constraints:     670935
3543.05/3600.81	c #Conflicts:     422000 | #Constraints:     671952
3543.05/3600.81	c #Conflicts:     423000 | #Constraints:     672959
3543.05/3600.81	c #Conflicts:     424000 | #Constraints:     673967
3543.05/3600.81	c #Conflicts:     425000 | #Constraints:     674985
3543.05/3600.81	c #Conflicts:     426000 | #Constraints:     675998
3543.05/3600.81	c #Conflicts:     427000 | #Constraints:     677021
3543.05/3600.81	c #Conflicts:     428000 | #Constraints:     678041
3543.05/3600.81	c #Conflicts:     429000 | #Constraints:     679064
3543.05/3600.81	c #Conflicts:     430000 | #Constraints:     680086
3543.05/3600.81	c #Conflicts:     431000 | #Constraints:     681122
3543.05/3600.81	c #Conflicts:     432000 | #Constraints:     682153
3543.05/3600.81	c #Conflicts:     433000 | #Constraints:     683186
3543.05/3600.81	c INPROCESSING
3543.05/3600.81	c GARBAGE COLLECT
3543.05/3600.81	c rational objective 178.062
3600.01/3658.11	c #Conflicts:     434000 | #Constraints:     670999
3600.01/3658.11	c #Conflicts:     435000 | #Constraints:     672012
3600.01/3658.11	c #Conflicts:     436000 | #Constraints:     673026
3600.01/3658.11	c #Conflicts:     437000 | #Constraints:     674042
3600.01/3658.11	c #Conflicts:     438000 | #Constraints:     675066
3600.01/3658.11	c #Conflicts:     439000 | #Constraints:     676079
3600.01/3658.11	c #Conflicts:     440000 | #Constraints:     677081
3600.01/3658.11	c #Conflicts:     441000 | #Constraints:     678086
3600.01/3658.11	c Disabling crashed LP
3600.01/3658.11	c cpu time 3575.48 s
3600.01/3658.11	c deterministic time 112166582034 1.12e+11
3600.01/3658.11	c optimization time 47.9832 s
3600.01/3658.11	c total solve time 3524.61 s
3600.01/3658.11	c core-guided solve time 3168.01 s
3600.01/3658.11	c propagation time 1508.8 s
3600.01/3658.11	c conflict analysis time 728.001 s
3600.01/3658.11	c propagations 51393840
3600.01/3658.11	c resolve steps 11113131
3600.01/3658.11	c decisions 11335556
3600.01/3658.11	c conflicts 441767
3600.01/3658.11	c restarts 1021
3600.01/3658.11	c inprocessing phases 57
3600.01/3658.11	c garbage collections 40 ,( 70.18 )
3600.01/3658.11	c input clauses 656901 ,( 99.97 )
3600.01/3658.11	c input cardinalities 6 ,( 0.00 )
3600.01/3658.11	c input general constraints 191 ,( 0.03 )
3600.01/3658.11	c input average constraint length 4.90
3600.01/3658.11	c input average constraint degree 135.00
3600.01/3658.11	c learned clauses 418324 ,( 93.45 )
3600.01/3658.11	c learned cardinalities 13 ,( 0.00 )
3600.01/3658.11	c learned general constraints 29294 ,( 6.54 )
3600.01/3658.11	c learned average constraint length 2766.29
3600.01/3658.11	c learned average constraint degree 22720418823.55
3600.01/3658.11	c watched  CF 32, 64, 128, Arb: 4940 , 0 , 0 , 0
3600.01/3658.11	c counting CF 32, 64, 128, Arb: 24546 , 0 , 0 , 0
3600.01/3658.11	c watched   constraints 4940 ,( 16.75 ) 
3600.01/3658.11	c counting  constraints 24545 ,( 83.25 ) 
3600.01/3658.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 205482713 , 665377 , 1112566837 ,( 10759068 , 1101807769 )
3600.01/3658.11	c gcd simplifications 1220
3600.01/3658.11	c detected cardinalities 0
3600.01/3658.11	c weakened non-implied lits 383208395
3600.01/3658.11	c weakened non-implying lits 42148
3600.01/3658.11	c original variables 10000
3600.01/3658.11	c clausal propagations 46233360
3600.01/3658.11	c cardinality propagations 23793
3600.01/3658.11	c watched propagations 10584
3600.01/3658.11	c counting propagations 4488024
3600.01/3658.11	c watch lookups 34172337424
3600.01/3658.11	c watch backjump lookups 0
3600.01/3658.11	c watch checks 8999189804
3600.01/3658.11	c propagation checks 65836779451
3600.01/3658.11	c constraint additions 3031686094
3600.01/3658.11	c trail pops 63161028
3600.01/3658.11	c formula constraints 656900
3600.01/3658.11	c learned constraints 441402
3600.01/3658.11	c bound constraints 185
3600.01/3658.11	c core-guided constraints 13
3600.01/3658.11	c encountered formula constraints 9000028
3600.01/3658.11	c encountered learned constraints 2501625
3600.01/3658.11	c encountered bound constraints 1784
3600.01/3658.11	c encountered core-guided constraints 24324
3600.01/3658.11	c LP total time 2049.72 s
3600.01/3658.11	c LP solve time 1627.12 s
3600.01/3658.11	c LP constraints added 657000
3600.01/3658.11	c LP constraints removed 72
3600.01/3658.11	c LP pivots internal 441766
3600.01/3658.11	c LP pivots root 257070
3600.01/3658.11	c LP calls 6057
3600.01/3658.11	c LP optimalities 183
3600.01/3658.11	c LP no pivot count 2
3600.01/3658.11	c LP infeasibilities 5836
3600.01/3658.11	c LP valid Farkas constraints 5827
3600.01/3658.11	c LP learned Farkas constraints 365
3600.01/3658.11	c LP basis resets 43
3600.01/3658.11	c LP cycling count 18
3600.01/3658.11	c LP singular count 12
3600.01/3658.11	c LP no primal count 0
3600.01/3658.11	c LP no farkas count 9
3600.01/3658.11	c LP other issue count 4
3600.01/3658.11	c LP Gomory cuts 37
3600.01/3658.11	c LP learned cuts 63
3600.01/3658.11	c LP deleted cuts 72
3600.01/3658.11	c LP encountered Gomory constraints 0
3600.01/3658.11	c LP encountered Farkas constraints 26285
3600.01/3658.11	c LP encountered learned Farkas constraints 487
3600.01/3658.11	c CG auxiliary variables introduced 6
3600.01/3658.11	c CG solutions found 179
3600.01/3658.11	c CG cores constructed 5
3600.01/3658.11	c CG core cardinality constraints returned 0
3600.01/3658.11	c CG unit cores 0
3600.01/3658.11	c CG single cores 5
3600.01/3658.11	c CG blocks removed during cardinality reduction 0
3600.01/3658.11	c CG first core best 0
3600.01/3658.11	c CG decision core best 0
3600.01/3658.11	c CG core reduction tie 0
3600.01/3658.11	c CG core degree average 1.00
3600.01/3658.11	c CG core slack average 2632.00
3600.01/3658.11	c CG core upper bound improvements 0
3600.01/3658.11	c STR number of successful calls 0
3600.01/3658.11	c STR number of unsuccessful calls 0
3600.01/3658.11	c STR number of inconclusive calls 0
3600.01/3658.11	c STR number of successful attempts 0
3600.01/3658.11	c STR number of unsuccessful attempts 0
3600.01/3658.11	c STR number of inconclusive attempts 0
3600.01/3658.11	c STR average degree increase per successful call inf
3600.01/3658.11	c STR average degree increase per successful attempt inf
3600.01/3658.11	c STR total number of conflicts for successful attempts 0
3600.01/3658.11	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3658.11	c STR total number of conflicts for inconclusive attempts 0
3600.01/3658.11	c STR average number of conflicts per successful attempt inf
3600.01/3658.11	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3658.11	c STR average number of conflicts per inconclusive attempt inf
3600.01/3658.11	c AVG.sumWPerc 82.68 
3600.01/3658.11	c bigint constraints 0 
3600.01/3658.11	o 315
3600.01/3658.11	s SATISFIABLE
3600.01/3658.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.01/3658.11	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: 63665 MiB (62834 MiB free)
  memory of node 1: 64507 MiB (63718 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100062 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129382280/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54746] ppid=54744 vsize=165748 memory=150296 CPUtime=0.08 cores=4,6
/proc/54746/stat : 54746 (pbsuma) R 54744 54744 54673 0 -1 4194304 4647 0 0 0 5 3 0 0 20 0 1 0 52540308 169725952 37574 18446744073709551615 4210688 4653049 140722690348784 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22908928 140722690357475 140722690357810 140722690357810 140722690363375 0
/proc/54746/statm: 41437 37574 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153240 KiB

[startup+0.205726 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129292700/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54746] ppid=54744 vsize=181712 memory=167172 CPUtime=0.19 cores=4,6
/proc/54746/stat : 54746 (pbsuma) R 54744 54744 54673 0 -1 4194304 9285 0 0 0 15 4 0 0 20 0 1 0 52540308 186073088 41793 18446744073709551615 4210688 4653049 140722690348784 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22908928 140722690357475 140722690357810 140722690357810 140722690363375 0
/proc/54746/statm: 45428 41793 960 108 0 42836 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185904 KiB
Current children cumulated memory: 170116 KiB

[startup+0.305645 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129183192/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54746] ppid=54744 vsize=195444 memory=186404 CPUtime=0.29 cores=4,6
/proc/54746/stat : 54746 (pbsuma) R 54744 54744 54673 0 -1 4194304 13076 0 0 0 24 5 0 0 20 0 1 0 52540308 200134656 46601 18446744073709551615 4210688 4653049 140722690348784 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22908928 140722690357475 140722690357810 140722690357810 140722690363375 0
/proc/54746/statm: 48861 46601 960 108 0 46269 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199636 KiB
Current children cumulated memory: 189348 KiB

[startup+0.700202 s]
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=128960460/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54746] ppid=54744 vsize=309828 memory=261732 CPUtime=0.65 cores=4,6
/proc/54746/stat : 54746 (pbsuma) R 54744 54744 54673 0 -1 4194304 23248 0 0 0 58 7 0 0 20 0 1 0 52540308 317263872 65433 18446744073709551615 4210688 4653049 140722690348784 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 22908928 140722690357475 140722690357810 140722690357810 140722690363375 0
/proc/54746/statm: 77457 65433 992 108 0 74865 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 314020 KiB
Current children cumulated memory: 264676 KiB

[startup+1.50019 s]
/proc/loadavg: 2.63 3.76 3.97 5/269 54750
/proc/meminfo: memFree=129459720/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=102708 memory=56624 CPUtime=0.48 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 11840 0 0 0 36 12 0 0 20 0 1 0 52540407 105172992 14156 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 25677 14156 2016 1147 0 13104 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 106900 KiB
Current children cumulated memory: 59568 KiB

[startup+3.10567 s]
/proc/loadavg: 2.74 3.76 3.97 5/269 54750
/proc/meminfo: memFree=128756332/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=261336 memory=199808 CPUtime=2.07 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 44481 0 0 0 159 48 0 0 20 0 1 0 52540407 267608064 49952 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 65334 49952 2016 1147 0 52761 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 265528 KiB
Current children cumulated memory: 202752 KiB

[startup+6.30021 s]
/proc/loadavg: 2.74 3.76 3.97 5/270 54751
/proc/meminfo: memFree=126177924/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=1064968 memory=804348 CPUtime=5.23 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 89525 0 0 0 439 84 0 0 20 0 1 0 52540407 1090527232 201087 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 266242 201087 2336 1147 0 253669 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 1069160 KiB
Current children cumulated memory: 807292 KiB

[startup+12.7002 s]
/proc/loadavg: 2.84 3.77 3.98 5/270 54751
/proc/meminfo: memFree=125976260/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=1221284 memory=896672 CPUtime=11.6 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 95826 0 0 0 1067 93 0 0 20 0 1 0 52540407 1250594816 224168 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 305321 224168 2432 1147 0 292748 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 1225476 KiB
Current children cumulated memory: 899616 KiB

[startup+25.5002 s]
/proc/loadavg: 3.24 3.81 3.99 5/270 54751
/proc/meminfo: memFree=124671388/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=1462860 memory=1110668 CPUtime=24.36 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 133130 0 0 0 2287 149 0 0 20 0 1 0 52540407 1497968640 277667 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 365715 277667 2432 1147 0 353142 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 1467052 KiB
Current children cumulated memory: 1113612 KiB

[startup+51.1055 s]
/proc/loadavg: 3.50 3.83 3.99 5/271 54755
/proc/meminfo: memFree=123539028/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=1532404 memory=1200080 CPUtime=49.91 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 141954 0 0 0 4793 198 0 0 20 0 1 0 52540407 1569181696 300020 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 383101 300020 2432 1147 0 370528 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 1536596 KiB
Current children cumulated memory: 1203024 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 3.89 4.01 5/273 54758
/proc/meminfo: memFree=122149132/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=1854136 memory=1473904 CPUtime=100.95 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 181899 0 0 0 9832 263 0 0 20 0 1 0 52540407 1898635264 368476 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 463534 368476 2432 1147 0 450961 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1858328 KiB
Current children cumulated memory: 1476848 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.92 4.01 5/273 54760
/proc/meminfo: memFree=121044984/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=1837644 memory=1461232 CPUtime=159.5 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 186222 0 0 0 15650 300 0 0 20 0 1 0 52540407 1881747456 365308 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 459411 365308 2432 1147 0 446838 0
Current children cumulated CPU time: 160.44 s
Current children cumulated vsize: 1841836 KiB
Current children cumulated memory: 1464176 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.96 4.01 5/273 54763
/proc/meminfo: memFree=118264236/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=2209728 memory=1803076 CPUtime=219.31 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 230339 0 0 0 21563 368 0 0 20 0 1 0 52540407 2262761472 450769 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 552432 450769 2432 1147 0 539859 0

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

/proc/loadavg: 4.11 4.11 4.09 5/272 54932
/proc/meminfo: memFree=41704520/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4730440 memory=4130268 CPUtime=3165.55 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 629165 0 0 0 314447 2108 0 0 20 0 1 0 52540407 4843970560 1032567 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182610 1032567 2560 1147 0 1170037 0
Current children cumulated CPU time: 3166.49 s
Current children cumulated vsize: 4734632 KiB
Current children cumulated memory: 4133212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 54934
/proc/meminfo: memFree=39691112/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4730672 memory=4130388 CPUtime=3225.23 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 630617 0 0 0 320385 2138 0 0 20 0 1 0 52540407 4844208128 1032597 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182668 1032597 2560 1147 0 1170095 0
Current children cumulated CPU time: 3226.17 s
Current children cumulated vsize: 4734864 KiB
Current children cumulated memory: 4133332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/273 54940
/proc/meminfo: memFree=38013584/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4731052 memory=4130772 CPUtime=3284.76 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 632062 0 0 0 326293 2183 0 0 20 0 1 0 52540407 4844597248 1032693 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182763 1032693 2560 1147 0 1170190 0
Current children cumulated CPU time: 3285.7 s
Current children cumulated vsize: 4735244 KiB
Current children cumulated memory: 4133716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/274 54947
/proc/meminfo: memFree=36451672/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4731052 memory=4130772 CPUtime=3344.57 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 632115 0 0 0 332228 2229 0 0 20 0 1 0 52540407 4844597248 1032693 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182763 1032693 2560 1147 0 1170190 0
Current children cumulated CPU time: 3345.51 s
Current children cumulated vsize: 4735244 KiB
Current children cumulated memory: 4133716 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/275 54951
/proc/meminfo: memFree=35281848/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4731052 memory=4130772 CPUtime=3404.32 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 635368 0 0 0 338148 2284 0 0 20 0 1 0 52540407 4844597248 1032693 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182763 1032693 2560 1147 0 1170190 0
Current children cumulated CPU time: 3405.26 s
Current children cumulated vsize: 4735244 KiB
Current children cumulated memory: 4133716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.18 4.11 5/277 54957
/proc/meminfo: memFree=33447920/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4731052 memory=4130772 CPUtime=3464.07 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 635538 0 0 0 344102 2305 0 0 20 0 1 0 52540407 4844597248 1032693 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182763 1032693 2560 1147 0 1170190 0
Current children cumulated CPU time: 3465.01 s
Current children cumulated vsize: 4735244 KiB
Current children cumulated memory: 4133716 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/278 54960
/proc/meminfo: memFree=30867488/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4731052 memory=4130780 CPUtime=3523.75 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 636734 0 0 0 350047 2328 0 0 20 0 1 0 52540407 4844597248 1032695 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182763 1032695 2560 1147 0 1170190 0
Current children cumulated CPU time: 3524.69 s
Current children cumulated vsize: 4735244 KiB
Current children cumulated memory: 4133724 KiB

[startup+3642.3 s]
/proc/loadavg: 4.33 4.21 4.12 5/277 55056
/proc/meminfo: memFree=101512732/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4731052 memory=4145120 CPUtime=3583.31 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 636991 0 0 0 355980 2351 0 0 20 0 1 0 52540407 4844597248 1036280 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182763 1036280 2560 1147 0 1170190 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 4735244 KiB
Current children cumulated memory: 4148064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3658.11 s]
/proc/loadavg: 4.23 4.19 4.12 5/277 55103
/proc/meminfo: memFree=114868416/131250000 swapFree=33010416/33010684
[pid=54744] ppid=54741 vsize=4192 memory=2944 CPUtime=0.94 cores=4,6
/proc/54744/stat : 54744 (run-opt-ls-log.) S 54741 54744 54673 0 -1 4194304 241 30842 0 0 0 0 84 10 20 0 1 0 52540307 4292608 736 18446744073709551615 94637268049920 94637268944453 140724879854848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637269183504 94637269231248 94637289140224 140724879862043 140724879862241 140724879862241 140724879867843 0
/proc/54744/statm: 1048 736 672 219 0 110 0
[pid=54750] ppid=54744 vsize=4731052 memory=4145120 CPUtime=3599.07 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54744 54744 54673 0 -1 4194304 638063 0 0 0 357547 2360 0 0 20 0 1 0 52540407 4844597248 1036280 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1182763 1036280 2560 1147 0 1170190 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4735244 KiB
Current children cumulated memory: 4148064 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3576.41 s, system=23.8285 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+3658.2 s]*
/proc/loadavg: 4.23 4.19 4.12 5/276 55103
/proc/meminfo: memFree=115366936/131250000 swapFree=33010416/33010684
[pid=54750] ppid=54741 vsize=4055076 memory=3688804 CPUtime=3599.11 cores=4,6
/proc/54750/stat : 54750 (roundingsat) R 54741 54744 54673 0 -1 4194304 638071 0 0 0 357550 2361 0 0 20 0 1 0 52540407 4152397824 922201 18446744073709551615 4227072 8923433 140729592062640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17731584 140729592064246 140729592064552 140729592064552 140729592070122 0
/proc/54750/statm: 1013769 922201 2592 1147 0 1001196 0
Current cumulated CPU time of completed processes: 0.95956 s
Current children cumulated CPU time: 3599.11 s
Current children cumulated vsize: 4055076 KiB
Current children cumulated memory: 3688804 KiB

[startup+3658.31 s]*
/proc/loadavg: 4.23 4.19 4.12 5/276 55103
/proc/meminfo: memFree=117309912/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.95956 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3658.37
CPU time (s): 3600.23
CPU user time (s): 3576.41
CPU system time (s): 23.8285
CPU usage (%): 98.411
Max. virtual memory (cumulated for all children) (KiB): 4894520
Max. memory (cumulated for all children) (KiB): 4292880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.41
system time used= 23.8285
maximum resident set size= 4289936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20273120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2253
involuntary context switches= 7769


# summary of solver processes directly reported to runsolver:
#   pid: 54744,54750
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3576.41
#   total CPU system time (s): 23.8285

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.22944 second user time and 16.2275 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 13:17:05
IDJOB=4489739
IDBENCH=147562
IDSOLVER=3356
FILE ID=nodeC018/4489739-1751368624
RUNJOBID= nodeC018-1751368624-54684
SLURM_JOB_ID= 9598184
Free space on /tmp= 432844 MiB

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=1688743210

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129829212 kB
MemAvailable:   129607904 kB
Buffers:            2128 kB
Cached:           580436 kB
SwapCached:           32 kB
Active:           552548 kB
Inactive:         245920 kB
Active(anon):     232408 kB
Inactive(anon):     1564 kB
Active(file):     320140 kB
Inactive(file):   244356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             96252 kB
Writeback:             0 kB
AnonPages:        219076 kB
Mapped:           103852 kB
Shmem:             18044 kB
KReclaimable:     106472 kB
Slab:             194856 kB
SReclaimable:     106472 kB
SUnreclaim:        88384 kB
KernelStack:        4208 kB
PageTables:         3376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     515620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432872 MiB
End job on nodeC018 at 2025-07-01 14:18:03