Trace number 4489741

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+pbsuma-opt-log 63f22adSAT (TO)364 3600.24 3676.79

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4489741-1751370004.opb'
0.27/0.34	c 	read 17.23MB  (324.79ms)
0.27/0.34	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.34	c output proof to 'PROOFDIR/proof-4489741-1751370004'
0.27/0.34	c 
0.27/0.34	c make graph and approximate orbits
0.66/0.71	c	 [group: #orbits ~= 0] (369.77ms)
0.66/0.71	c 
0.66/0.71	c detect special group actions
0.66/0.71	c 	probe for Johnson action (limit=64)
0.66/0.72	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.66/0.73	c 	probe for row symmetry (limit=64, splits=16.78M)
0.66/0.74	c 	 (23.45ms)
0.66/0.74	c 
0.66/0.74	c detect symmetries on remainder
0.66/0.74	c 	[graph: #vertices 706697 #edges 2766392]
0.66/0.75	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.66/0.79	c 	 [group: #symmetries 1.00*10^0 #generators 0] (53.21ms)
0.66/0.79	c 
0.66/0.79	c finalize break order and special generators
0.66/0.79	c 
0.66/0.79	c generation finished
0.66/0.79	c 	[sbp: #constraints 0 #add_vars 0]
0.66/0.79	c 
0.66/0.79	c write result to 'HOME/instance-4489741-1751370004.opb.pre'
0.76/0.83	c 	wrote 17.23MB (35.64ms)
0.76/0.83	c ------------------------------------------------------------------
0.76/0.83	c                 369.77ms 45.63% approx_orbits
0.76/0.83	c                 324.79ms 40.08% parse
0.76/0.83	c                  53.21ms  6.57% detect_generic
0.76/0.83	c                  35.64ms  4.40% output
0.76/0.83	c                  23.45ms  2.89% detect_special
0.76/0.83	c                   3.06ms  0.38% other
0.76/0.83	c                   0.38ms  0.05% finalize_order
0.76/0.83	c         ───────────────────────────────────────────────
0.76/0.83	c                 810.31ms   100% total
0.76/0.83	c ------------------------------------------------------------------
0.86/1.00	c RoundingSat 2
0.86/1.00	c branch pb25
0.86/1.00	c commit 63f22ad
4.63/4.72	c #variables 10000 #constraints 656900
4.63/4.72	c objective is ce32 
4.63/4.72	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.63/4.72	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.63/4.72	c bounds - >= 0 @ 3.03586
6.82/6.96	c rational objective 172.243
10.91/11.09	c bounds 6869 >= 0 @ 9.27546
11.02/11.10	c bounds 6517 >= 0 @ 9.2833
11.02/11.11	c bounds 6463 >= 0 @ 9.29041
11.02/11.12	c bounds 6202 >= 0 @ 9.2979
11.02/11.13	c bounds 5864 >= 0 @ 9.30627
11.02/11.14	c bounds 5827 >= 0 @ 9.3163
11.11/11.20	c bounds 5798 >= 0 @ 9.36258
11.11/11.21	c bounds 5653 >= 0 @ 9.37004
11.11/11.21	c bounds 5474 >= 0 @ 9.37601
11.11/11.23	c bounds 5432 >= 0 @ 9.3973
11.11/11.24	c bounds 5264 >= 0 @ 9.40351
11.11/11.26	c bounds 5243 >= 0 @ 9.41826
11.11/11.27	c bounds 5207 >= 0 @ 9.4265
11.21/11.30	c bounds 5188 >= 0 @ 9.45327
11.21/11.30	c bounds 5120 >= 0 @ 9.46064
11.21/11.31	c bounds 4896 >= 0 @ 9.46917
11.21/11.32	c bounds 4781 >= 0 @ 9.47569
11.21/11.34	c bounds 4765 >= 0 @ 9.49238
11.21/11.35	c bounds 4685 >= 0 @ 9.49912
11.21/11.36	c bounds 4647 >= 0 @ 9.50696
11.21/11.37	c bounds 4612 >= 0 @ 9.51185
11.21/11.38	c bounds 4472 >= 0 @ 9.51778
11.21/11.38	c bounds 4447 >= 0 @ 9.52472
11.21/11.39	c bounds 4405 >= 0 @ 9.53178
11.31/11.40	c bounds 4351 >= 0 @ 9.53679
11.31/11.41	c bounds 4219 >= 0 @ 9.54316
11.31/11.43	c bounds 4178 >= 0 @ 9.55501
11.71/11.82	c bounds 4160 >= 0 @ 9.9337
11.71/11.83	c bounds 4154 >= 0 @ 9.94203
11.81/11.99	c bounds 4100 >= 0 @ 10.0956
11.91/12.09	c bounds 4098 >= 0 @ 10.1955
11.91/12.10	c bounds 4086 >= 0 @ 10.2009
12.11/12.21	c bounds 4028 >= 0 @ 10.3047
12.21/12.32	c bounds 4005 >= 0 @ 10.4214
12.21/12.35	c bounds 4003 >= 0 @ 10.4484
12.30/12.43	c bounds 3998 >= 0 @ 10.5208
13.10/13.29	c bounds 3983 >= 0 @ 11.3748
13.10/13.30	c bounds 3954 >= 0 @ 11.3809
13.21/13.36	c bounds 3916 >= 0 @ 11.4467
13.21/13.37	c bounds 3873 >= 0 @ 11.4558
13.30/13.47	c bounds 3868 >= 0 @ 11.5476
13.30/13.48	c bounds 3838 >= 0 @ 11.5594
13.30/13.49	c bounds 3827 >= 0 @ 11.5652
13.40/13.50	c bounds 3723 >= 0 @ 11.573
13.40/13.51	c bounds 3668 >= 0 @ 11.5792
13.40/13.52	c bounds 3663 >= 0 @ 11.5833
13.40/13.56	c bounds 3662 >= 0 @ 11.6163
13.40/13.57	c bounds 3624 >= 0 @ 11.6323
13.40/13.58	c bounds 3618 >= 0 @ 11.6367
13.40/13.59	c bounds 3585 >= 0 @ 11.6443
13.50/13.62	c bounds 3573 >= 0 @ 11.6688
13.60/13.75	c bounds 3571 >= 0 @ 11.7975
13.60/13.76	c bounds 3567 >= 0 @ 11.8038
13.60/13.77	c bounds 3516 >= 0 @ 11.8199
13.70/13.83	c bounds 3491 >= 0 @ 11.875
13.70/13.84	c bounds 3483 >= 0 @ 11.8838
13.70/13.85	c bounds 3471 >= 0 @ 11.8931
13.70/13.86	c bounds 3377 >= 0 @ 11.898
13.70/13.87	c bounds 3334 >= 0 @ 11.9053
14.20/14.30	c bounds 3325 >= 0 @ 12.3251
14.20/14.31	c bounds 3267 >= 0 @ 12.3314
14.20/14.34	c bounds 3257 >= 0 @ 12.3575
14.20/14.35	c bounds 3183 >= 0 @ 12.3662
14.20/14.36	c bounds 3133 >= 0 @ 12.3725
14.20/14.37	c bounds 3076 >= 0 @ 12.3801
14.20/14.38	c bounds 2991 >= 0 @ 12.3865
14.30/14.42	c bounds 2955 >= 0 @ 12.422
14.30/14.43	c bounds 2943 >= 0 @ 12.429
14.30/14.44	c bounds 2881 >= 0 @ 12.4367
14.30/14.47	c bounds 2874 >= 0 @ 12.4648
14.30/14.49	c bounds 2714 >= 0 @ 12.4782
14.40/14.50	c bounds 2643 >= 0 @ 12.4848
14.40/14.51	c bounds 2578 >= 0 @ 12.4905
14.50/14.62	c bounds 2575 >= 0 @ 12.5977
14.50/14.63	c bounds 2573 >= 0 @ 12.6039
14.50/14.64	c bounds 2487 >= 0 @ 12.6117
14.50/14.65	c bounds 2458 >= 0 @ 12.6175
14.50/14.67	c bounds 2431 >= 0 @ 12.6255
14.50/14.68	c bounds 2407 >= 0 @ 12.6305
14.50/14.69	c bounds 2353 >= 0 @ 12.6369
14.59/14.70	c bounds 2199 >= 0 @ 12.6433
14.59/14.71	c bounds 2171 >= 0 @ 12.6499
14.59/14.72	c bounds 2122 >= 0 @ 12.6586
14.59/14.73	c bounds 2108 >= 0 @ 12.665
14.59/14.75	c bounds 2001 >= 0 @ 12.6717
14.59/14.76	c bounds 1971 >= 0 @ 12.6773
14.59/14.77	c bounds 1958 >= 0 @ 12.6858
14.59/14.79	c bounds 1796 >= 0 @ 12.7043
14.70/14.80	c bounds 1777 >= 0 @ 12.711
15.01/15.10	c bounds 1776 >= 0 @ 13.003
15.01/15.11	c bounds 1715 >= 0 @ 13.0101
15.01/15.12	c bounds 1680 >= 0 @ 13.0164
15.01/15.14	c bounds 1649 >= 0 @ 13.0227
15.01/15.16	c bounds 1568 >= 0 @ 13.0467
15.01/15.18	c bounds 1556 >= 0 @ 13.0567
15.09/15.24	c #Conflicts:       1000 | #Constraints:     657996
15.09/15.24	c bounds 1465 >= 0 @ 13.1108
15.09/15.25	c bounds 1391 >= 0 @ 13.1206
15.09/15.26	c bounds 1355 >= 0 @ 13.127
15.09/15.28	c bounds 1241 >= 0 @ 13.1344
15.09/15.29	c bounds 1089 >= 0 @ 13.148
15.80/15.97	c bounds 1087 >= 0 @ 13.7906
18.29/18.47	c bounds 1085 >= 0 @ 16.2225
18.79/19.00	c bounds 1072 >= 0 @ 16.7365
18.89/19.02	c bounds 1063 >= 0 @ 16.7501
18.89/19.03	c bounds 1039 >= 0 @ 16.7591
19.29/19.41	c bounds 1031 >= 0 @ 17.1165
22.37/22.52	c #Conflicts:       2000 | #Constraints:     659012
22.37/22.52	c INPROCESSING
22.37/22.52	c GARBAGE COLLECT
22.37/22.52	c bounds 915 >= 0 @ 20.1956
22.47/22.65	c bounds 893 >= 0 @ 20.3027
22.47/22.66	c bounds 755 >= 0 @ 20.3095
22.47/22.68	c bounds 663 >= 0 @ 20.3181
22.77/22.90	c bounds 659 >= 0 @ 20.5368
24.07/24.20	c #Conflicts:       3000 | #Constraints:     658913
24.07/24.20	c bounds 611 >= 0 @ 21.8053
25.07/25.20	c bounds 482 >= 0 @ 22.7721
25.07/25.22	c bounds 482 >= 8 @ 22.7821
29.75/29.92	c #Conflicts:       4000 | #Constraints:     659918
29.75/29.92	c INPROCESSING
29.75/29.92	c GARBAGE COLLECT
29.75/29.92	c rational objective 172.792
42.72/42.95	c #Conflicts:       5000 | #Constraints:     659326
42.72/42.95	c #Conflicts:       6000 | #Constraints:     660326
42.72/42.95	c INPROCESSING
42.72/42.95	c GARBAGE COLLECT
42.72/42.95	c bounds 481 >= 8 @ 40.3151
42.72/42.96	c bounds 480 >= 8 @ 40.325
42.83/43.02	c bounds 479 >= 8 @ 40.3788
42.83/43.03	c bounds 475 >= 8 @ 40.3894
42.83/43.05	c bounds 472 >= 8 @ 40.4023
42.83/43.08	c bounds 471 >= 8 @ 40.4277
42.83/43.10	c bounds 470 >= 8 @ 40.4439
42.92/43.12	c bounds 467 >= 8 @ 40.4618
44.72/44.90	c bounds 464 >= 8 @ 42.2018
91.58/91.94	c #Conflicts:       7000 | #Constraints:     659337
91.58/91.94	c #Conflicts:       8000 | #Constraints:     660337
91.58/91.94	c #Conflicts:       9000 | #Constraints:     661337
91.58/91.94	c INPROCESSING
91.58/91.94	c GARBAGE COLLECT
91.58/91.94	c #Conflicts:      10000 | #Constraints:     660039
91.58/91.94	c #Conflicts:      11000 | #Constraints:     661049
91.58/91.94	c #Conflicts:      12000 | #Constraints:     662058
91.58/91.94	c INPROCESSING
91.58/91.94	c GARBAGE COLLECT
91.58/91.94	c rational objective 173.805
119.40/119.81	c #Conflicts:      13000 | #Constraints:     660497
119.40/119.81	c #Conflicts:      14000 | #Constraints:     661497
119.40/119.81	c #Conflicts:      15000 | #Constraints:     662497
119.40/119.81	c INPROCESSING
119.40/119.81	c GARBAGE COLLECT
119.40/119.81	c #Conflicts:      16000 | #Constraints:     660720
119.40/119.81	c #Conflicts:      17000 | #Constraints:     661720
119.40/119.81	c #Conflicts:      18000 | #Constraints:     662720
119.40/119.81	c INPROCESSING
119.40/119.81	c GARBAGE COLLECT
119.40/119.81	c rational objective 175.434
139.54/140.07	c #Conflicts:      19000 | #Constraints:     660733
139.54/140.07	c #Conflicts:      20000 | #Constraints:     661733
139.54/140.07	c #Conflicts:      21000 | #Constraints:     662733
139.54/140.07	c INPROCESSING
139.54/140.07	c GARBAGE COLLECT
139.54/140.07	c rational objective 176.746
173.55/174.11	c #Conflicts:      22000 | #Constraints:     660539
173.55/174.11	c #Conflicts:      23000 | #Constraints:     661539
173.55/174.11	c #Conflicts:      24000 | #Constraints:     662539
173.55/174.11	c #Conflicts:      25000 | #Constraints:     663539
173.55/174.11	c INPROCESSING
173.55/174.11	c GARBAGE COLLECT
173.55/174.11	c #Conflicts:      26000 | #Constraints:     661144
173.55/174.11	c #Conflicts:      27000 | #Constraints:     662144
173.55/174.11	c #Conflicts:      28000 | #Constraints:     663144
173.55/174.11	c #Conflicts:      29000 | #Constraints:     664144
173.55/174.11	c INPROCESSING
173.55/174.11	c GARBAGE COLLECT
173.55/174.11	c rational objective 176.881
213.53/214.29	c #Conflicts:      30000 | #Constraints:     661545
213.53/214.29	c #Conflicts:      31000 | #Constraints:     662548
213.53/214.29	c #Conflicts:      32000 | #Constraints:     663561
213.53/214.29	c #Conflicts:      33000 | #Constraints:     664580
213.53/214.29	c INPROCESSING
213.53/214.29	c GARBAGE COLLECT
213.53/214.29	c #Conflicts:      34000 | #Constraints:     661771
213.53/214.29	c #Conflicts:      35000 | #Constraints:     662786
213.53/214.29	c #Conflicts:      36000 | #Constraints:     663801
213.53/214.29	c #Conflicts:      37000 | #Constraints:     664830
213.53/214.29	c INPROCESSING
213.53/214.29	c GARBAGE COLLECT
213.53/214.29	c rational objective 176.925
234.58/235.85	c #Conflicts:      38000 | #Constraints:     661808
234.58/235.85	c #Conflicts:      39000 | #Constraints:     662811
234.58/235.85	c #Conflicts:      40000 | #Constraints:     663848
234.58/235.85	c #Conflicts:      41000 | #Constraints:     664874
234.58/235.85	c bounds 392 >= 8 @ 230.314
242.97/244.29	c INPROCESSING
242.97/244.29	c GARBAGE COLLECT
242.97/244.29	c rational objective 177.036
326.75/330.97	c #Conflicts:      42000 | #Constraints:     661621
326.75/330.97	c #Conflicts:      43000 | #Constraints:     662631
326.75/330.97	c #Conflicts:      44000 | #Constraints:     663642
326.75/330.97	c #Conflicts:      45000 | #Constraints:     664654
326.75/330.97	c #Conflicts:      46000 | #Constraints:     665656
326.75/330.97	c INPROCESSING
326.75/330.97	c GARBAGE COLLECT
326.75/330.97	c #Conflicts:      47000 | #Constraints:     662212
326.75/330.97	c #Conflicts:      48000 | #Constraints:     663217
326.75/330.97	c #Conflicts:      49000 | #Constraints:     664221
326.75/330.97	c #Conflicts:      50000 | #Constraints:     665225
326.75/330.97	c #Conflicts:      51000 | #Constraints:     666231
326.75/330.97	c INPROCESSING
326.75/330.97	c GARBAGE COLLECT
326.75/330.97	c rational objective 177.258
356.67/361.00	c #Conflicts:      52000 | #Constraints:     662608
356.67/361.00	c #Conflicts:      53000 | #Constraints:     663615
356.67/361.00	c #Conflicts:      54000 | #Constraints:     664623
356.67/361.00	c #Conflicts:      55000 | #Constraints:     665627
356.67/361.00	c #Conflicts:      56000 | #Constraints:     666632
356.67/361.00	c INPROCESSING
356.67/361.00	c GARBAGE COLLECT
356.67/361.00	c rational objective 177.441
545.13/549.97	c #Conflicts:      57000 | #Constraints:     662813
545.13/549.97	c #Conflicts:      58000 | #Constraints:     663815
545.13/549.97	c #Conflicts:      59000 | #Constraints:     664820
545.13/549.97	c #Conflicts:      60000 | #Constraints:     665826
545.13/549.97	c #Conflicts:      61000 | #Constraints:     666829
545.13/549.97	c INPROCESSING
545.13/549.97	c GARBAGE COLLECT
545.13/549.97	c #Conflicts:      62000 | #Constraints:     662807
545.13/549.97	c #Conflicts:      63000 | #Constraints:     663807
545.13/549.97	c #Conflicts:      64000 | #Constraints:     664807
545.13/549.97	c #Conflicts:      65000 | #Constraints:     665808
545.13/549.97	c #Conflicts:      66000 | #Constraints:     666811
545.13/549.97	c INPROCESSING
545.13/549.97	c GARBAGE COLLECT
545.13/549.97	c #Conflicts:      67000 | #Constraints:     662602
545.13/549.97	c #Conflicts:      68000 | #Constraints:     663603
545.13/549.97	c #Conflicts:      69000 | #Constraints:     664606
545.13/549.97	c #Conflicts:      70000 | #Constraints:     665608
545.13/549.97	c #Conflicts:      71000 | #Constraints:     666614
545.13/549.97	c #Conflicts:      72000 | #Constraints:     667619
545.13/549.97	c INPROCESSING
545.13/549.97	c GARBAGE COLLECT
545.13/549.97	c #Conflicts:      73000 | #Constraints:     663193
545.13/549.97	c #Conflicts:      74000 | #Constraints:     664197
545.13/549.97	c #Conflicts:      75000 | #Constraints:     665201
545.13/549.97	c #Conflicts:      76000 | #Constraints:     666205
545.13/549.97	c #Conflicts:      77000 | #Constraints:     667210
545.13/549.97	c #Conflicts:      78000 | #Constraints:     668213
545.13/549.97	c INPROCESSING
545.13/549.97	c GARBAGE COLLECT
545.13/549.97	c rational objective 177.539
643.65/648.73	c #Conflicts:      79000 | #Constraints:     663599
643.65/648.73	c #Conflicts:      80000 | #Constraints:     664607
643.65/648.73	c #Conflicts:      81000 | #Constraints:     665613
643.65/648.73	c #Conflicts:      82000 | #Constraints:     666621
643.65/648.73	c #Conflicts:      83000 | #Constraints:     667624
643.65/648.73	c #Conflicts:      84000 | #Constraints:     668632
643.65/648.73	c INPROCESSING
643.65/648.73	c GARBAGE COLLECT
643.65/648.73	c #Conflicts:      85000 | #Constraints:     663804
643.65/648.73	c #Conflicts:      86000 | #Constraints:     664806
643.65/648.73	c #Conflicts:      87000 | #Constraints:     665809
643.65/648.73	c #Conflicts:      88000 | #Constraints:     666812
643.65/648.73	c #Conflicts:      89000 | #Constraints:     667818
643.65/648.73	c #Conflicts:      90000 | #Constraints:     668824
643.65/648.73	c INPROCESSING
643.65/648.73	c GARBAGE COLLECT
643.65/648.73	c #Conflicts:      91000 | #Constraints:     663807
643.65/648.73	c #Conflicts:      92000 | #Constraints:     664817
643.65/648.73	c #Conflicts:      93000 | #Constraints:     665826
643.65/648.73	c #Conflicts:      94000 | #Constraints:     666829
643.65/648.73	c #Conflicts:      95000 | #Constraints:     667835
643.65/648.73	c #Conflicts:      96000 | #Constraints:     668840
643.65/648.73	c INPROCESSING
643.65/648.73	c GARBAGE COLLECT
643.65/648.73	c rational objective 178.084
650.82/655.98	c bounds 389 >= 8 @ 644.635
650.93/656.06	c bounds 387 >= 8 @ 644.709
652.93/658.10	c #Conflicts:      97000 | #Constraints:     663617
652.93/658.10	c bounds 381 >= 8 @ 646.707
654.02/659.18	c bounds 379 >= 8 @ 647.762
654.02/659.19	c bounds 379 >= 13 @ 647.772
654.12/659.27	c bounds 379 >= 18 @ 647.839
665.78/670.99	c #Conflicts:      98000 | #Constraints:     664628
665.78/670.99	c bounds 379 >= 23 @ 659.461
667.78/682.77	c #Conflicts:      99000 | #Constraints:     665638
667.78/682.77	c bounds 375 >= 23 @ 661.411
697.20/712.21	c #Conflicts:     100000 | #Constraints:     666639
697.20/712.21	c #Conflicts:     101000 | #Constraints:     667642
697.20/712.21	c #Conflicts:     102000 | #Constraints:     668642
697.20/712.21	c #Conflicts:     103000 | #Constraints:     669644
697.20/712.21	c INPROCESSING
697.20/712.21	c GARBAGE COLLECT
697.20/712.21	c rational objective 217.627
704.48/719.54	c bounds 373 >= 23 @ 697.889
704.48/719.56	c bounds 371 >= 23 @ 697.911
704.68/719.73	c bounds 370 >= 23 @ 698.072
910.83/926.52	c #Conflicts:     104000 | #Constraints:     664220
910.83/926.52	c #Conflicts:     105000 | #Constraints:     665285
910.83/926.52	c #Conflicts:     106000 | #Constraints:     666335
910.83/926.52	c #Conflicts:     107000 | #Constraints:     667372
910.83/926.52	c #Conflicts:     108000 | #Constraints:     668385
910.83/926.52	c #Conflicts:     109000 | #Constraints:     669513
910.83/926.52	c #Conflicts:     110000 | #Constraints:     670575
910.83/926.52	c INPROCESSING
910.83/926.52	c GARBAGE COLLECT
910.83/926.52	c bounds 370 >= 27 @ 902.489
1087.24/1103.41	c #Conflicts:     111000 | #Constraints:     664781
1087.24/1103.41	c #Conflicts:     112000 | #Constraints:     665784
1087.24/1103.41	c #Conflicts:     113000 | #Constraints:     666791
1087.24/1103.41	c #Conflicts:     114000 | #Constraints:     667802
1087.24/1103.41	c #Conflicts:     115000 | #Constraints:     668812
1087.24/1103.41	c #Conflicts:     116000 | #Constraints:     669820
1087.24/1103.41	c #Conflicts:     117000 | #Constraints:     670830
1087.24/1103.41	c INPROCESSING
1087.24/1103.41	c #Conflicts:     118000 | #Constraints:     664893
1087.24/1103.41	c #Conflicts:     119000 | #Constraints:     665903
1087.24/1103.41	c #Conflicts:     120000 | #Constraints:     666933
1087.24/1103.41	c #Conflicts:     121000 | #Constraints:     667952
1087.24/1103.41	c #Conflicts:     122000 | #Constraints:     668968
1087.24/1103.41	c #Conflicts:     123000 | #Constraints:     669973
1087.24/1103.41	c #Conflicts:     124000 | #Constraints:     670986
1087.24/1103.41	c INPROCESSING
1087.24/1103.41	c GARBAGE COLLECT
1087.24/1103.41	c #Conflicts:     125000 | #Constraints:     664876
1087.24/1103.41	c #Conflicts:     126000 | #Constraints:     665880
1087.24/1103.41	c #Conflicts:     127000 | #Constraints:     666886
1087.24/1103.41	c #Conflicts:     128000 | #Constraints:     667899
1087.24/1103.41	c #Conflicts:     129000 | #Constraints:     668913
1087.24/1103.41	c #Conflicts:     130000 | #Constraints:     669932
1087.24/1103.41	c #Conflicts:     131000 | #Constraints:     670939
1087.24/1103.41	c INPROCESSING
1087.24/1103.41	c #Conflicts:     132000 | #Constraints:     664648
1087.24/1103.41	c #Conflicts:     133000 | #Constraints:     665651
1087.24/1103.41	c #Conflicts:     134000 | #Constraints:     666652
1087.24/1103.41	c #Conflicts:     135000 | #Constraints:     667652
1087.24/1103.41	c #Conflicts:     136000 | #Constraints:     668653
1087.24/1103.41	c #Conflicts:     137000 | #Constraints:     669653
1087.24/1103.41	c #Conflicts:     138000 | #Constraints:     670655
1087.24/1103.41	c #Conflicts:     139000 | #Constraints:     671659
1087.24/1103.41	c INPROCESSING
1087.24/1103.41	c GARBAGE COLLECT
1087.24/1103.41	c rational objective 177.548
1129.50/1145.89	c #Conflicts:     140000 | #Constraints:     665222
1129.50/1145.89	c #Conflicts:     141000 | #Constraints:     666222
1129.50/1145.89	c #Conflicts:     142000 | #Constraints:     667222
1129.50/1145.89	c #Conflicts:     143000 | #Constraints:     668222
1129.50/1145.89	c #Conflicts:     144000 | #Constraints:     669222
1129.50/1145.89	c #Conflicts:     145000 | #Constraints:     670222
1129.50/1145.89	c #Conflicts:     146000 | #Constraints:     671222
1129.50/1145.89	c #Conflicts:     147000 | #Constraints:     672222
1129.50/1145.89	c INPROCESSING
1129.50/1145.89	c GARBAGE COLLECT
1129.50/1145.89	c rational objective 177.63
1172.09/1188.57	c #Conflicts:     148000 | #Constraints:     665613
1172.09/1188.57	c #Conflicts:     149000 | #Constraints:     666614
1172.09/1188.57	c #Conflicts:     150000 | #Constraints:     667614
1172.09/1188.57	c #Conflicts:     151000 | #Constraints:     668615
1172.09/1188.57	c #Conflicts:     152000 | #Constraints:     669615
1172.09/1188.57	c #Conflicts:     153000 | #Constraints:     670615
1172.09/1188.57	c #Conflicts:     154000 | #Constraints:     671615
1172.09/1188.57	c #Conflicts:     155000 | #Constraints:     672615
1172.09/1188.57	c INPROCESSING
1172.09/1188.57	c rational objective 177.855
1215.95/1232.59	c #Conflicts:     156000 | #Constraints:     665800
1215.95/1232.59	c #Conflicts:     157000 | #Constraints:     666800
1215.95/1232.59	c #Conflicts:     158000 | #Constraints:     667800
1215.95/1232.59	c #Conflicts:     159000 | #Constraints:     668800
1215.95/1232.59	c #Conflicts:     160000 | #Constraints:     669800
1215.95/1232.59	c #Conflicts:     161000 | #Constraints:     670800
1215.95/1232.59	c #Conflicts:     162000 | #Constraints:     671801
1215.95/1232.59	c #Conflicts:     163000 | #Constraints:     672801
1215.95/1232.59	c INPROCESSING
1215.95/1232.59	c GARBAGE COLLECT
1215.95/1232.59	c rational objective 177.867
1272.23/1289.05	c #Conflicts:     164000 | #Constraints:     665812
1272.23/1289.05	c #Conflicts:     165000 | #Constraints:     666839
1272.23/1289.05	c #Conflicts:     166000 | #Constraints:     667871
1272.23/1289.05	c #Conflicts:     167000 | #Constraints:     668893
1272.23/1289.05	c #Conflicts:     168000 | #Constraints:     669914
1272.23/1289.05	c #Conflicts:     169000 | #Constraints:     670931
1272.23/1289.05	c #Conflicts:     170000 | #Constraints:     671949
1272.23/1289.05	c #Conflicts:     171000 | #Constraints:     672983
1272.23/1289.05	c INPROCESSING
1272.23/1289.05	c GARBAGE COLLECT
1272.23/1289.05	c rational objective 177.867
1366.12/1383.26	c #Conflicts:     172000 | #Constraints:     665688
1366.12/1383.26	c #Conflicts:     173000 | #Constraints:     666704
1366.12/1383.26	c #Conflicts:     174000 | #Constraints:     667714
1366.12/1383.26	c #Conflicts:     175000 | #Constraints:     668739
1366.12/1383.26	c #Conflicts:     176000 | #Constraints:     669766
1366.12/1383.26	c #Conflicts:     177000 | #Constraints:     670780
1366.12/1383.26	c #Conflicts:     178000 | #Constraints:     671805
1366.12/1383.26	c #Conflicts:     179000 | #Constraints:     672821
1366.12/1383.26	c #Conflicts:     180000 | #Constraints:     673837
1366.12/1383.26	c INPROCESSING
1366.12/1383.26	c GARBAGE COLLECT
1366.12/1383.26	c #Conflicts:     181000 | #Constraints:     666318
1366.12/1383.26	c #Conflicts:     182000 | #Constraints:     667328
1366.12/1383.26	c #Conflicts:     183000 | #Constraints:     668350
1366.12/1383.26	c #Conflicts:     184000 | #Constraints:     669371
1366.12/1383.26	c #Conflicts:     185000 | #Constraints:     670386
1366.12/1383.26	c #Conflicts:     186000 | #Constraints:     671410
1366.12/1383.26	c #Conflicts:     187000 | #Constraints:     672439
1366.12/1383.26	c #Conflicts:     188000 | #Constraints:     673456
1366.12/1383.26	c #Conflicts:     189000 | #Constraints:     674483
1366.12/1383.26	c INPROCESSING
1366.12/1383.26	c GARBAGE COLLECT
1366.12/1383.26	c rational objective 177.867
1471.21/1488.62	c #Conflicts:     190000 | #Constraints:     666756
1471.21/1488.62	c #Conflicts:     191000 | #Constraints:     667780
1471.21/1488.62	c #Conflicts:     192000 | #Constraints:     668800
1471.21/1488.62	c #Conflicts:     193000 | #Constraints:     669824
1471.21/1488.62	c #Conflicts:     194000 | #Constraints:     670853
1471.21/1488.62	c #Conflicts:     195000 | #Constraints:     671873
1471.21/1488.62	c #Conflicts:     196000 | #Constraints:     672891
1471.21/1488.62	c #Conflicts:     197000 | #Constraints:     673922
1471.21/1488.62	c #Conflicts:     198000 | #Constraints:     674948
1471.21/1488.62	c INPROCESSING
1471.21/1488.62	c GARBAGE COLLECT
1471.21/1488.62	c #Conflicts:     199000 | #Constraints:     666980
1471.21/1488.62	c #Conflicts:     200000 | #Constraints:     667980
1471.21/1488.62	c #Conflicts:     201000 | #Constraints:     668980
1471.21/1488.62	c #Conflicts:     202000 | #Constraints:     669980
1471.21/1488.62	c #Conflicts:     203000 | #Constraints:     670980
1471.21/1488.62	c #Conflicts:     204000 | #Constraints:     671981
1471.21/1488.62	c #Conflicts:     205000 | #Constraints:     672981
1471.21/1488.62	c #Conflicts:     206000 | #Constraints:     673982
1471.21/1488.62	c #Conflicts:     207000 | #Constraints:     674982
1471.21/1488.62	c INPROCESSING
1471.21/1488.62	c GARBAGE COLLECT
1471.21/1488.62	c rational objective 177.867
1625.35/1643.89	c #Conflicts:     208000 | #Constraints:     666904
1625.35/1643.89	c #Conflicts:     209000 | #Constraints:     667911
1625.35/1643.89	c #Conflicts:     210000 | #Constraints:     668928
1625.35/1643.89	c #Conflicts:     211000 | #Constraints:     669951
1625.35/1643.89	c #Conflicts:     212000 | #Constraints:     670967
1625.35/1643.89	c #Conflicts:     213000 | #Constraints:     671984
1625.35/1643.89	c #Conflicts:     214000 | #Constraints:     673000
1625.35/1643.89	c #Conflicts:     215000 | #Constraints:     674023
1625.35/1643.89	c #Conflicts:     216000 | #Constraints:     675045
1625.35/1643.89	c INPROCESSING
1625.35/1643.89	c GARBAGE COLLECT
1625.35/1643.89	c #Conflicts:     217000 | #Constraints:     666756
1625.35/1643.89	c #Conflicts:     218000 | #Constraints:     667770
1625.35/1643.89	c #Conflicts:     219000 | #Constraints:     668815
1625.35/1643.89	c #Conflicts:     220000 | #Constraints:     669862
1625.35/1643.89	c #Conflicts:     221000 | #Constraints:     670905
1625.35/1643.89	c #Conflicts:     222000 | #Constraints:     671933
1625.35/1643.89	c #Conflicts:     223000 | #Constraints:     672973
1625.35/1643.89	c #Conflicts:     224000 | #Constraints:     674014
1625.35/1643.89	c #Conflicts:     225000 | #Constraints:     675048
1625.35/1643.89	c #Conflicts:     226000 | #Constraints:     676071
1625.35/1643.89	c INPROCESSING
1625.35/1643.89	c GARBAGE COLLECT
1625.35/1643.89	c #Conflicts:     227000 | #Constraints:     667463
1625.35/1643.89	c #Conflicts:     228000 | #Constraints:     668482
1625.35/1643.89	c #Conflicts:     229000 | #Constraints:     669515
1625.35/1643.89	c #Conflicts:     230000 | #Constraints:     670553
1625.35/1643.89	c #Conflicts:     231000 | #Constraints:     671582
1625.35/1643.89	c #Conflicts:     232000 | #Constraints:     672613
1625.35/1643.89	c #Conflicts:     233000 | #Constraints:     673622
1625.35/1643.89	c #Conflicts:     234000 | #Constraints:     674646
1625.35/1643.89	c #Conflicts:     235000 | #Constraints:     675667
1625.35/1643.89	c #Conflicts:     236000 | #Constraints:     676688
1625.35/1643.89	c INPROCESSING
1625.35/1643.89	c GARBAGE COLLECT
1625.35/1643.89	c rational objective 177.867
1730.53/1749.33	c #Conflicts:     237000 | #Constraints:     667850
1730.53/1749.33	c #Conflicts:     238000 | #Constraints:     668869
1730.53/1749.33	c #Conflicts:     239000 | #Constraints:     669894
1730.53/1749.33	c #Conflicts:     240000 | #Constraints:     670917
1730.53/1749.33	c #Conflicts:     241000 | #Constraints:     671930
1730.53/1749.33	c #Conflicts:     242000 | #Constraints:     672967
1730.53/1749.33	c #Conflicts:     243000 | #Constraints:     673981
1730.53/1749.33	c #Conflicts:     244000 | #Constraints:     674994
1730.53/1749.33	c #Conflicts:     245000 | #Constraints:     676015
1730.53/1749.33	c #Conflicts:     246000 | #Constraints:     677045
1730.53/1749.33	c INPROCESSING
1730.53/1749.33	c GARBAGE COLLECT
1730.53/1749.33	c #Conflicts:     247000 | #Constraints:     668024
1730.53/1749.33	c #Conflicts:     248000 | #Constraints:     669039
1730.53/1749.33	c #Conflicts:     249000 | #Constraints:     670064
1730.53/1749.33	c #Conflicts:     250000 | #Constraints:     671080
1730.53/1749.33	c #Conflicts:     251000 | #Constraints:     672097
1730.53/1749.33	c #Conflicts:     252000 | #Constraints:     673113
1730.53/1749.33	c #Conflicts:     253000 | #Constraints:     674140
1730.53/1749.33	c #Conflicts:     254000 | #Constraints:     675168
1730.53/1749.33	c #Conflicts:     255000 | #Constraints:     676174
1730.53/1749.33	c #Conflicts:     256000 | #Constraints:     677174
1730.53/1749.33	c INPROCESSING
1730.53/1749.33	c GARBAGE COLLECT
1730.53/1749.33	c rational objective 177.867
1783.29/1802.39	c #Conflicts:     257000 | #Constraints:     667985
1783.29/1802.39	c #Conflicts:     258000 | #Constraints:     668985
1783.29/1802.39	c #Conflicts:     259000 | #Constraints:     669985
1783.29/1802.39	c #Conflicts:     260000 | #Constraints:     670985
1783.29/1802.39	c #Conflicts:     261000 | #Constraints:     671985
1783.29/1802.39	c #Conflicts:     262000 | #Constraints:     672985
1783.29/1802.39	c #Conflicts:     263000 | #Constraints:     673985
1783.29/1802.39	c #Conflicts:     264000 | #Constraints:     674985
1783.29/1802.39	c #Conflicts:     265000 | #Constraints:     675985
1783.29/1802.39	c #Conflicts:     266000 | #Constraints:     676985
1783.29/1802.39	c INPROCESSING
1783.29/1802.39	c GARBAGE COLLECT
1783.29/1802.39	c rational objective 177.963
1840.36/1859.69	c #Conflicts:     267000 | #Constraints:     667696
1840.36/1859.69	c #Conflicts:     268000 | #Constraints:     668696
1840.36/1859.69	c #Conflicts:     269000 | #Constraints:     669696
1840.36/1859.69	c #Conflicts:     270000 | #Constraints:     670697
1840.36/1859.69	c #Conflicts:     271000 | #Constraints:     671698
1840.36/1859.69	c #Conflicts:     272000 | #Constraints:     672698
1840.36/1859.69	c #Conflicts:     273000 | #Constraints:     673699
1840.36/1859.69	c #Conflicts:     274000 | #Constraints:     674699
1840.36/1859.69	c #Conflicts:     275000 | #Constraints:     675699
1840.36/1859.69	c #Conflicts:     276000 | #Constraints:     676700
1840.36/1859.69	c #Conflicts:     277000 | #Constraints:     677701
1840.36/1859.69	c INPROCESSING
1840.36/1859.69	c GARBAGE COLLECT
1840.36/1859.69	c rational objective 177.964
2018.23/2038.59	c #Conflicts:     278000 | #Constraints:     668251
2018.23/2038.59	c #Conflicts:     279000 | #Constraints:     669260
2018.23/2038.59	c #Conflicts:     280000 | #Constraints:     670268
2018.23/2038.59	c #Conflicts:     281000 | #Constraints:     671279
2018.23/2038.59	c #Conflicts:     282000 | #Constraints:     672302
2018.23/2038.59	c #Conflicts:     283000 | #Constraints:     673339
2018.23/2038.59	c #Conflicts:     284000 | #Constraints:     674358
2018.23/2038.59	c #Conflicts:     285000 | #Constraints:     675377
2018.23/2038.59	c #Conflicts:     286000 | #Constraints:     676410
2018.23/2038.59	c #Conflicts:     287000 | #Constraints:     677419
2018.23/2038.59	c #Conflicts:     288000 | #Constraints:     678433
2018.23/2038.59	c INPROCESSING
2018.23/2038.59	c GARBAGE COLLECT
2018.23/2038.59	c #Conflicts:     289000 | #Constraints:     668710
2018.23/2038.59	c #Conflicts:     290000 | #Constraints:     669721
2018.23/2038.59	c #Conflicts:     291000 | #Constraints:     670748
2018.23/2038.59	c #Conflicts:     292000 | #Constraints:     671773
2018.23/2038.59	c #Conflicts:     293000 | #Constraints:     672797
2018.23/2038.59	c #Conflicts:     294000 | #Constraints:     673811
2018.23/2038.59	c #Conflicts:     295000 | #Constraints:     674839
2018.23/2038.59	c #Conflicts:     296000 | #Constraints:     675860
2018.23/2038.59	c #Conflicts:     297000 | #Constraints:     676868
2018.23/2038.59	c #Conflicts:     298000 | #Constraints:     677882
2018.23/2038.59	c #Conflicts:     299000 | #Constraints:     678898
2018.23/2038.59	c INPROCESSING
2018.23/2038.59	c GARBAGE COLLECT
2018.23/2038.59	c rational objective 177.964
2097.59/2118.22	c #Conflicts:     300000 | #Constraints:     668954
2097.59/2118.22	c #Conflicts:     301000 | #Constraints:     669973
2097.59/2118.22	c #Conflicts:     302000 | #Constraints:     670997
2097.59/2118.22	c #Conflicts:     303000 | #Constraints:     672026
2097.59/2118.22	c #Conflicts:     304000 | #Constraints:     673050
2097.59/2118.22	c #Conflicts:     305000 | #Constraints:     674058
2097.59/2118.22	c #Conflicts:     306000 | #Constraints:     675068
2097.59/2118.22	c #Conflicts:     307000 | #Constraints:     676077
2097.59/2118.22	c #Conflicts:     308000 | #Constraints:     677089
2097.59/2118.22	c #Conflicts:     309000 | #Constraints:     678117
2097.59/2118.22	c #Conflicts:     310000 | #Constraints:     679153
2097.59/2118.22	c INPROCESSING
2097.59/2118.22	c GARBAGE COLLECT
2097.59/2118.22	c rational objective 177.972
2193.32/2214.21	c #Conflicts:     311000 | #Constraints:     669001
2193.32/2214.21	c #Conflicts:     312000 | #Constraints:     670023
2193.32/2214.21	c #Conflicts:     313000 | #Constraints:     671034
2193.32/2214.21	c #Conflicts:     314000 | #Constraints:     672049
2193.32/2214.21	c #Conflicts:     315000 | #Constraints:     673073
2193.32/2214.21	c #Conflicts:     316000 | #Constraints:     674091
2193.32/2214.21	c #Conflicts:     317000 | #Constraints:     675108
2193.32/2214.21	c #Conflicts:     318000 | #Constraints:     676132
2193.32/2214.21	c #Conflicts:     319000 | #Constraints:     677150
2193.32/2214.21	c #Conflicts:     320000 | #Constraints:     678182
2193.32/2214.21	c #Conflicts:     321000 | #Constraints:     679199
2193.32/2214.21	c INPROCESSING
2193.32/2214.21	c GARBAGE COLLECT
2193.32/2214.21	c rational objective 177.981
2292.53/2313.72	c #Conflicts:     322000 | #Constraints:     668829
2292.53/2313.72	c #Conflicts:     323000 | #Constraints:     669835
2292.53/2313.72	c #Conflicts:     324000 | #Constraints:     670853
2292.53/2313.72	c #Conflicts:     325000 | #Constraints:     671863
2292.53/2313.72	c #Conflicts:     326000 | #Constraints:     672881
2292.53/2313.72	c #Conflicts:     327000 | #Constraints:     673912
2292.53/2313.72	c #Conflicts:     328000 | #Constraints:     674933
2292.53/2313.72	c #Conflicts:     329000 | #Constraints:     675953
2292.53/2313.72	c #Conflicts:     330000 | #Constraints:     676958
2292.53/2313.72	c #Conflicts:     331000 | #Constraints:     677967
2292.53/2313.72	c #Conflicts:     332000 | #Constraints:     678974
2292.53/2313.72	c #Conflicts:     333000 | #Constraints:     679990
2292.53/2313.72	c INPROCESSING
2292.53/2313.72	c GARBAGE COLLECT
2292.53/2313.72	c rational objective 177.981
2357.46/2378.83	c #Conflicts:     334000 | #Constraints:     669418
2357.46/2378.83	c #Conflicts:     335000 | #Constraints:     670431
2357.46/2378.83	c #Conflicts:     336000 | #Constraints:     671439
2357.46/2378.83	c #Conflicts:     337000 | #Constraints:     672457
2357.46/2378.83	c #Conflicts:     338000 | #Constraints:     673461
2357.46/2378.83	c #Conflicts:     339000 | #Constraints:     674470
2357.46/2378.83	c #Conflicts:     340000 | #Constraints:     675497
2357.46/2378.83	c #Conflicts:     341000 | #Constraints:     676517
2357.46/2378.83	c #Conflicts:     342000 | #Constraints:     677541
2357.46/2378.83	c #Conflicts:     343000 | #Constraints:     678551
2357.46/2378.83	c #Conflicts:     344000 | #Constraints:     679574
2357.46/2378.83	c #Conflicts:     345000 | #Constraints:     680583
2357.46/2378.83	c INPROCESSING
2357.46/2378.83	c GARBAGE COLLECT
2357.46/2378.83	c rational objective 177.981
2504.62/2532.71	c #Conflicts:     346000 | #Constraints:     669798
2504.62/2532.71	c #Conflicts:     347000 | #Constraints:     670802
2504.62/2532.71	c #Conflicts:     348000 | #Constraints:     671810
2504.62/2532.71	c #Conflicts:     349000 | #Constraints:     672810
2504.62/2532.71	c #Conflicts:     350000 | #Constraints:     673812
2504.62/2532.71	c #Conflicts:     351000 | #Constraints:     674823
2504.62/2532.71	c #Conflicts:     352000 | #Constraints:     675835
2504.62/2532.71	c #Conflicts:     353000 | #Constraints:     676853
2504.62/2532.71	c #Conflicts:     354000 | #Constraints:     677868
2504.62/2532.71	c #Conflicts:     355000 | #Constraints:     678879
2504.62/2532.71	c #Conflicts:     356000 | #Constraints:     679886
2504.62/2532.71	c #Conflicts:     357000 | #Constraints:     680895
2504.62/2532.71	c INPROCESSING
2504.62/2532.71	c GARBAGE COLLECT
2504.62/2532.71	c #Conflicts:     358000 | #Constraints:     669944
2504.62/2532.71	c #Conflicts:     359000 | #Constraints:     670958
2504.62/2532.71	c #Conflicts:     360000 | #Constraints:     671986
2504.62/2532.71	c #Conflicts:     361000 | #Constraints:     672999
2504.62/2532.71	c #Conflicts:     362000 | #Constraints:     674009
2504.62/2532.71	c #Conflicts:     363000 | #Constraints:     675028
2504.62/2532.71	c #Conflicts:     364000 | #Constraints:     676044
2504.62/2532.71	c #Conflicts:     365000 | #Constraints:     677053
2504.62/2532.71	c #Conflicts:     366000 | #Constraints:     678056
2504.62/2532.71	c #Conflicts:     367000 | #Constraints:     679074
2504.62/2532.71	c #Conflicts:     368000 | #Constraints:     680097
2504.62/2532.71	c #Conflicts:     369000 | #Constraints:     681118
2504.62/2532.71	c INPROCESSING
2504.62/2532.71	c GARBAGE COLLECT
2504.62/2532.71	c rational objective 177.981
2634.39/2666.79	c #Conflicts:     370000 | #Constraints:     669975
2634.39/2666.79	c #Conflicts:     371000 | #Constraints:     670993
2634.39/2666.79	c #Conflicts:     372000 | #Constraints:     672010
2634.39/2666.79	c #Conflicts:     373000 | #Constraints:     673036
2634.39/2666.79	c #Conflicts:     374000 | #Constraints:     674039
2634.39/2666.79	c #Conflicts:     375000 | #Constraints:     675051
2634.39/2666.79	c #Conflicts:     376000 | #Constraints:     676065
2634.39/2666.79	c #Conflicts:     377000 | #Constraints:     677077
2634.39/2666.79	c #Conflicts:     378000 | #Constraints:     678095
2634.39/2666.79	c #Conflicts:     379000 | #Constraints:     679108
2634.39/2666.79	c #Conflicts:     380000 | #Constraints:     680115
2634.39/2666.79	c #Conflicts:     381000 | #Constraints:     681133
2634.39/2666.79	c INPROCESSING
2634.39/2666.79	c GARBAGE COLLECT
2634.39/2666.79	c #Conflicts:     382000 | #Constraints:     669772
2634.39/2666.79	c #Conflicts:     383000 | #Constraints:     670772
2634.39/2666.79	c #Conflicts:     384000 | #Constraints:     671772
2634.39/2666.79	c #Conflicts:     385000 | #Constraints:     672772
2634.39/2666.79	c #Conflicts:     386000 | #Constraints:     673772
2634.39/2666.79	c #Conflicts:     387000 | #Constraints:     674773
2634.39/2666.79	c #Conflicts:     388000 | #Constraints:     675773
2634.39/2666.79	c #Conflicts:     389000 | #Constraints:     676773
2634.39/2666.79	c #Conflicts:     390000 | #Constraints:     677773
2634.39/2666.79	c #Conflicts:     391000 | #Constraints:     678774
2634.39/2666.79	c #Conflicts:     392000 | #Constraints:     679774
2634.39/2666.79	c #Conflicts:     393000 | #Constraints:     680774
2634.39/2666.79	c #Conflicts:     394000 | #Constraints:     681774
2634.39/2666.79	c INPROCESSING
2634.39/2666.79	c GARBAGE COLLECT
2634.39/2666.79	c rational objective 177.981
2710.33/2762.28	c #Conflicts:     395000 | #Constraints:     670311
2710.33/2762.28	c #Conflicts:     396000 | #Constraints:     671354
2710.33/2762.28	c #Conflicts:     397000 | #Constraints:     672402
2710.33/2762.28	c #Conflicts:     398000 | #Constraints:     673428
2710.33/2762.28	c #Conflicts:     399000 | #Constraints:     674435
2710.33/2762.28	c #Conflicts:     400000 | #Constraints:     675442
2710.33/2762.28	c #Conflicts:     401000 | #Constraints:     676458
2710.33/2762.28	c #Conflicts:     402000 | #Constraints:     677472
2710.33/2762.28	c #Conflicts:     403000 | #Constraints:     678482
2710.33/2762.28	c #Conflicts:     404000 | #Constraints:     679492
2710.33/2762.28	c #Conflicts:     405000 | #Constraints:     680520
2710.33/2762.28	c #Conflicts:     406000 | #Constraints:     681541
2710.33/2762.28	c #Conflicts:     407000 | #Constraints:     682550
2710.33/2762.28	c INPROCESSING
2710.33/2762.28	c GARBAGE COLLECT
2710.33/2762.28	c rational objective 177.992
2799.78/2855.36	c #Conflicts:     408000 | #Constraints:     670773
2799.78/2855.36	c #Conflicts:     409000 | #Constraints:     671776
2799.78/2855.36	c #Conflicts:     410000 | #Constraints:     672789
2799.78/2855.36	c #Conflicts:     411000 | #Constraints:     673792
2799.78/2855.36	c #Conflicts:     412000 | #Constraints:     674809
2799.78/2855.36	c #Conflicts:     413000 | #Constraints:     675834
2799.78/2855.36	c #Conflicts:     414000 | #Constraints:     676850
2799.78/2855.36	c #Conflicts:     415000 | #Constraints:     677871
2799.78/2855.36	c #Conflicts:     416000 | #Constraints:     678887
2799.78/2855.36	c #Conflicts:     417000 | #Constraints:     679913
2799.78/2855.36	c #Conflicts:     418000 | #Constraints:     680932
2799.78/2855.36	c #Conflicts:     419000 | #Constraints:     681952
2799.78/2855.36	c #Conflicts:     420000 | #Constraints:     682964
2799.78/2855.36	c INPROCESSING
2799.78/2855.36	c GARBAGE COLLECT
2799.78/2855.36	c rational objective 177.992
2872.30/2928.27	c #Conflicts:     421000 | #Constraints:     670989
2872.30/2928.27	c #Conflicts:     422000 | #Constraints:     671999
2872.30/2928.27	c #Conflicts:     423000 | #Constraints:     673014
2872.30/2928.27	c #Conflicts:     424000 | #Constraints:     674029
2872.30/2928.27	c #Conflicts:     425000 | #Constraints:     675040
2872.30/2928.27	c #Conflicts:     426000 | #Constraints:     676056
2872.30/2928.27	c #Conflicts:     427000 | #Constraints:     677074
2872.30/2928.27	c #Conflicts:     428000 | #Constraints:     678092
2872.30/2928.27	c #Conflicts:     429000 | #Constraints:     679104
2872.30/2928.27	c #Conflicts:     430000 | #Constraints:     680124
2872.30/2928.27	c #Conflicts:     431000 | #Constraints:     681148
2872.30/2928.27	c #Conflicts:     432000 | #Constraints:     682170
2872.30/2928.27	c #Conflicts:     433000 | #Constraints:     683180
2872.30/2928.27	c INPROCESSING
2872.30/2928.27	c GARBAGE COLLECT
2872.30/2928.27	c bounds 368 >= 27 @ 2853.94
2908.50/2964.59	c #Conflicts:     434000 | #Constraints:     671028
2908.50/2964.59	c #Conflicts:     435000 | #Constraints:     672039
2908.50/2964.59	c bounds 366 >= 27 @ 2889.63
2911.49/2967.56	c #Conflicts:     436000 | #Constraints:     673047
2911.49/2967.56	c bounds 366 >= 30 @ 2892.58
2980.07/3036.30	c #Conflicts:     437000 | #Constraints:     674050
2980.07/3036.30	c #Conflicts:     438000 | #Constraints:     675050
2980.07/3036.30	c #Conflicts:     439000 | #Constraints:     676050
2980.07/3036.30	c #Conflicts:     440000 | #Constraints:     677050
2980.07/3036.30	c #Conflicts:     441000 | #Constraints:     678050
2980.07/3036.30	c #Conflicts:     442000 | #Constraints:     679050
2980.07/3036.30	c #Conflicts:     443000 | #Constraints:     680050
2980.07/3036.30	c #Conflicts:     444000 | #Constraints:     681050
2980.07/3036.30	c #Conflicts:     445000 | #Constraints:     682050
2980.07/3036.30	c #Conflicts:     446000 | #Constraints:     683050
2980.07/3036.30	c INPROCESSING
2980.07/3036.30	c GARBAGE COLLECT
2980.07/3036.30	c rational objective 178.218
3075.22/3132.31	c #Conflicts:     447000 | #Constraints:     670738
3075.22/3132.31	c #Conflicts:     448000 | #Constraints:     671738
3075.22/3132.31	c #Conflicts:     449000 | #Constraints:     672738
3075.22/3132.31	c #Conflicts:     450000 | #Constraints:     673738
3075.22/3132.31	c #Conflicts:     451000 | #Constraints:     674738
3075.22/3132.31	c #Conflicts:     452000 | #Constraints:     675738
3075.22/3132.31	c #Conflicts:     453000 | #Constraints:     676738
3075.22/3132.31	c #Conflicts:     454000 | #Constraints:     677738
3075.22/3132.31	c #Conflicts:     455000 | #Constraints:     678738
3075.22/3132.31	c #Conflicts:     456000 | #Constraints:     679738
3075.22/3132.31	c #Conflicts:     457000 | #Constraints:     680739
3075.22/3132.31	c #Conflicts:     458000 | #Constraints:     681741
3075.22/3132.31	c #Conflicts:     459000 | #Constraints:     682745
3075.22/3132.31	c #Conflicts:     460000 | #Constraints:     683746
3075.22/3132.31	c INPROCESSING
3075.22/3132.31	c GARBAGE COLLECT
3075.22/3132.31	c rational objective 178.296
3181.57/3240.28	c #Conflicts:     461000 | #Constraints:     671298
3181.57/3240.28	c #Conflicts:     462000 | #Constraints:     672370
3181.57/3240.28	c #Conflicts:     463000 | #Constraints:     673604
3181.57/3240.28	c #Conflicts:     464000 | #Constraints:     674820
3181.57/3240.28	c bounds 364 >= 30 @ 3161.03
3181.68/3240.32	c bounds 364 >= 32 @ 3161.07
3342.43/3410.95	c #Conflicts:     465000 | #Constraints:     675855
3342.43/3410.95	c #Conflicts:     466000 | #Constraints:     676911
3342.43/3410.95	c #Conflicts:     467000 | #Constraints:     677974
3342.43/3410.95	c #Conflicts:     468000 | #Constraints:     679002
3342.43/3410.95	c #Conflicts:     469000 | #Constraints:     680101
3342.43/3410.95	c #Conflicts:     470000 | #Constraints:     681273
3342.43/3410.95	c #Conflicts:     471000 | #Constraints:     682328
3342.43/3410.95	c #Conflicts:     472000 | #Constraints:     683377
3342.43/3410.95	c #Conflicts:     473000 | #Constraints:     684467
3342.43/3410.95	c #Conflicts:     474000 | #Constraints:     685543
3342.43/3410.95	c INPROCESSING
3342.43/3410.95	c GARBAGE COLLECT
3342.43/3410.95	c rational objective 178.296
3600.03/3670.50	c #Conflicts:     475000 | #Constraints:     672273
3600.03/3670.50	c #Conflicts:     476000 | #Constraints:     673313
3600.03/3670.50	c #Conflicts:     477000 | #Constraints:     674338
3600.03/3670.50	c #Conflicts:     478000 | #Constraints:     675381
3600.03/3670.50	c #Conflicts:     479000 | #Constraints:     676424
3600.03/3670.50	c #Conflicts:     480000 | #Constraints:     677479
3600.03/3670.50	c #Conflicts:     481000 | #Constraints:     678494
3600.03/3670.50	c #Conflicts:     482000 | #Constraints:     679513
3600.03/3670.50	c #Conflicts:     483000 | #Constraints:     680549
3600.03/3670.50	c #Conflicts:     484000 | #Constraints:     681575
3600.03/3670.50	c #Conflicts:     485000 | #Constraints:     682614
3600.03/3670.50	c #Conflicts:     486000 | #Constraints:     683662
3600.03/3670.50	c #Conflicts:     487000 | #Constraints:     684700
3600.03/3670.50	c #Conflicts:     488000 | #Constraints:     685769
3600.03/3670.50	c INPROCESSING
3600.03/3670.50	c GARBAGE COLLECT
3600.03/3670.50	c #Conflicts:     489000 | #Constraints:     672388
3600.03/3670.50	c #Conflicts:     490000 | #Constraints:     673397
3600.03/3670.50	c #Conflicts:     491000 | #Constraints:     674405
3600.03/3670.50	c #Conflicts:     492000 | #Constraints:     675413
3600.03/3670.50	c #Conflicts:     493000 | #Constraints:     676420
3600.03/3670.50	c #Conflicts:     494000 | #Constraints:     677428
3600.03/3670.50	c #Conflicts:     495000 | #Constraints:     678435
3600.03/3670.50	c #Conflicts:     496000 | #Constraints:     679444
3600.03/3670.50	c #Conflicts:     497000 | #Constraints:     680451
3600.03/3670.50	c #Conflicts:     498000 | #Constraints:     681458
3600.03/3670.50	c cpu time 3575.94 s
3600.03/3670.50	c deterministic time 164561053446 1.65e+11
3600.03/3670.50	c optimization time 154.176 s
3600.03/3670.50	c total solve time 3418.72 s
3600.03/3670.50	c core-guided solve time 3020.6 s
3600.03/3670.50	c propagation time 1652.3 s
3600.03/3670.50	c conflict analysis time 832.763 s
3600.03/3670.50	c propagations 58266709
3600.03/3670.50	c resolve steps 12370410
3600.03/3670.50	c decisions 11355464
3600.03/3670.50	c conflicts 498036
3600.03/3670.50	c restarts 1022
3600.03/3670.50	c inprocessing phases 61
3600.03/3670.50	c garbage collections 58 ,( 95.08 )
3600.03/3670.50	c input clauses 656902 ,( 99.98 )
3600.03/3670.50	c input cardinalities 9 ,( 0.00 )
3600.03/3670.50	c input general constraints 150 ,( 0.02 )
3600.03/3670.50	c input average constraint length 4.24
3600.03/3670.50	c input average constraint degree 100.73
3600.03/3670.50	c learned clauses 466532 ,( 92.36 )
3600.03/3670.50	c learned cardinalities 12 ,( 0.00 )
3600.03/3670.50	c learned general constraints 38593 ,( 7.64 )
3600.03/3670.50	c learned average constraint length 3220.87
3600.03/3670.50	c learned average constraint degree 31289033184.53
3600.03/3670.50	c watched  CF 32, 64, 128, Arb: 6203 , 0 , 0 , 0
3600.03/3670.50	c counting CF 32, 64, 128, Arb: 32541 , 0 , 0 , 0
3600.03/3670.50	c watched   constraints 6203 ,( 16.01 ) 
3600.03/3670.50	c counting  constraints 32540 ,( 83.99 ) 
3600.03/3670.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 270364371 , 792016 , 645740390 ,( 59821030 , 585919360 )
3600.03/3670.50	c gcd simplifications 1247
3600.03/3670.50	c detected cardinalities 0
3600.03/3670.50	c weakened non-implied lits 240728159
3600.03/3670.50	c weakened non-implying lits 52426
3600.03/3670.50	c original variables 10000
3600.03/3670.50	c clausal propagations 52321610
3600.03/3670.50	c cardinality propagations 57194
3600.03/3670.50	c watched propagations 74828
3600.03/3670.50	c counting propagations 5069181
3600.03/3670.50	c watch lookups 37311931018
3600.03/3670.50	c watch backjump lookups 0
3600.03/3670.50	c watch checks 15453063791
3600.03/3670.50	c propagation checks 108101956250
3600.03/3670.50	c constraint additions 3553651890
3600.03/3670.50	c trail pops 70110333
3600.03/3670.50	c formula constraints 656900
3600.03/3670.50	c learned constraints 497829
3600.03/3670.50	c bound constraints 141
3600.03/3670.50	c core-guided constraints 20
3600.03/3670.50	c encountered formula constraints 9444402
3600.03/3670.50	c encountered learned constraints 3350784
3600.03/3670.50	c encountered bound constraints 2644
3600.03/3670.50	c encountered core-guided constraints 31485
3600.03/3670.50	c LP total time 1847.07 s
3600.03/3670.50	c LP solve time 1444.44 s
3600.03/3670.50	c LP constraints added 656986
3600.03/3670.50	c LP constraints removed 55
3600.03/3670.50	c LP pivots internal 498056
3600.03/3670.50	c LP pivots root 219934
3600.03/3670.50	c LP calls 7427
3600.03/3670.50	c LP optimalities 297
3600.03/3670.50	c LP no pivot count 1
3600.03/3670.50	c LP infeasibilities 7087
3600.03/3670.50	c LP valid Farkas constraints 7081
3600.03/3670.50	c LP learned Farkas constraints 207
3600.03/3670.50	c LP basis resets 45
3600.03/3670.50	c LP cycling count 23
3600.03/3670.50	c LP singular count 12
3600.03/3670.50	c LP no primal count 0
3600.03/3670.50	c LP no farkas count 6
3600.03/3670.50	c LP other issue count 4
3600.03/3670.50	c LP Gomory cuts 20
3600.03/3670.50	c LP learned cuts 66
3600.03/3670.50	c LP deleted cuts 55
3600.03/3670.50	c LP encountered Gomory constraints 119
3600.03/3670.50	c LP encountered Farkas constraints 37932
3600.03/3670.50	c LP encountered learned Farkas constraints 873
3600.03/3670.50	c CG auxiliary variables introduced 9
3600.03/3670.50	c CG solutions found 134
3600.03/3670.50	c CG cores constructed 7
3600.03/3670.50	c CG core cardinality constraints returned 0
3600.03/3670.50	c CG unit cores 0
3600.03/3670.50	c CG single cores 7
3600.03/3670.50	c CG blocks removed during cardinality reduction 0
3600.03/3670.50	c CG first core best 0
3600.03/3670.50	c CG decision core best 0
3600.03/3670.50	c CG core reduction tie 0
3600.03/3670.50	c CG core degree average 1.00
3600.03/3670.50	c CG core slack average 2297.71
3600.03/3670.50	c CG core upper bound improvements 0
3600.03/3670.50	c STR number of successful calls 0
3600.03/3670.50	c STR number of unsuccessful calls 0
3600.03/3670.50	c STR number of inconclusive calls 0
3600.03/3670.50	c STR number of successful attempts 0
3600.03/3670.50	c STR number of unsuccessful attempts 0
3600.03/3670.50	c STR number of inconclusive attempts 0
3600.03/3670.50	c STR average degree increase per successful call inf
3600.03/3670.50	c STR average degree increase per successful attempt inf
3600.03/3670.50	c STR total number of conflicts for successful attempts 0
3600.03/3670.50	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3670.50	c STR total number of conflicts for inconclusive attempts 0
3600.03/3670.50	c STR average number of conflicts per successful attempt inf
3600.03/3670.50	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3670.50	c STR average number of conflicts per inconclusive attempt inf
3600.03/3670.50	c AVG.sumWPerc 82.81 
3600.03/3670.50	c bigint constraints 0 
3600.03/3670.50	o 364
3600.03/3670.50	s SATISFIABLE
3600.03/3670.50	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.03/3670.50	c Program interrupted by user.

Verifier Data 

OK	364

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=47987, runsolver pid=47975

[startup+0.100067 s]*
/proc/loadavg: 3.27 3.92 4.03 5/268 47996
/proc/meminfo: memFree=129393176/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47995] ppid=47987 vsize=163140 memory=146192 CPUtime=0.07 cores=1,3
/proc/47995/stat : 47995 (pbsuma) R 47987 47987 47923 0 -1 4194304 3863 0 0 0 4 3 0 0 20 0 1 0 52680030 167055360 36548 18446744073709551615 4210688 4653049 140728591373536 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23834624 140728591378659 140728591378994 140728591378994 140728591384559 0
/proc/47995/statm: 40785 36548 960 108 0 38193 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167332 KiB
Current children cumulated memory: 149136 KiB

[startup+0.205674 s]*
/proc/loadavg: 3.33 3.92 4.03 6/268 47996
/proc/meminfo: memFree=129313852/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47995] ppid=47987 vsize=180788 memory=167004 CPUtime=0.18 cores=1,3
/proc/47995/stat : 47995 (pbsuma) R 47987 47987 47923 0 -1 4194304 8723 0 0 0 14 4 0 0 20 0 1 0 52680030 185126912 41719 18446744073709551615 4210688 4653049 140728591373536 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23834624 140728591378659 140728591378994 140728591378994 140728591384559 0
/proc/47995/statm: 45197 41719 960 108 0 42605 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 169948 KiB

[startup+0.305755 s]*
/proc/loadavg: 3.33 3.92 4.03 5/268 47996
/proc/meminfo: memFree=129229488/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47995] ppid=47987 vsize=194652 memory=181248 CPUtime=0.27 cores=1,3
/proc/47995/stat : 47995 (pbsuma) R 47987 47987 47923 0 -1 4194304 11782 0 0 0 23 4 0 0 20 0 1 0 52680030 199323648 45312 18446744073709551615 4210688 4653049 140728591373536 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23834624 140728591378659 140728591378994 140728591378994 140728591384559 0
/proc/47995/statm: 48663 45312 960 108 0 46071 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198844 KiB
Current children cumulated memory: 184192 KiB

[startup+0.700211 s]
/proc/loadavg: 3.33 3.92 4.03 5/268 47996
/proc/meminfo: memFree=128918604/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47995] ppid=47987 vsize=320868 memory=272068 CPUtime=0.66 cores=1,3
/proc/47995/stat : 47995 (pbsuma) R 47987 47987 47923 0 -1 4194304 21769 0 0 0 59 7 0 0 20 0 1 0 52680030 328568832 68017 18446744073709551615 4210688 4653049 140728591373536 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23834624 140728591378659 140728591378994 140728591378994 140728591384559 0
/proc/47995/statm: 80217 68017 960 108 0 77625 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 325060 KiB
Current children cumulated memory: 275012 KiB

[startup+1.50019 s]
/proc/loadavg: 3.33 3.92 4.03 2/268 48000
/proc/meminfo: memFree=129491844/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=77132 memory=31732 CPUtime=0.49 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 5667 0 1 0 39 10 0 0 20 0 1 0 52680126 78983168 7933 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 19283 7933 1888 1147 0 6710 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 81324 KiB
Current children cumulated memory: 34676 KiB

[startup+3.10551 s]
/proc/loadavg: 3.33 3.92 4.03 5/268 48000
/proc/meminfo: memFree=129231128/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=146864 memory=91860 CPUtime=2.1 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 19826 0 1 0 166 44 0 0 20 0 1 0 52680126 150388736 22965 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 36716 22965 1888 1147 0 24143 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 151056 KiB
Current children cumulated memory: 94804 KiB

[startup+6.30022 s]
/proc/loadavg: 3.39 3.92 4.03 5/268 48000
/proc/meminfo: memFree=126675824/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=914892 memory=667116 CPUtime=5.28 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 54596 0 1 0 452 76 0 0 20 0 1 0 52680126 936849408 166779 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 228723 166779 2240 1147 0 216150 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 919084 KiB
Current children cumulated memory: 670060 KiB

[startup+12.7002 s]
/proc/loadavg: 3.44 3.93 4.03 5/271 48004
/proc/meminfo: memFree=126642276/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=1074720 memory=766276 CPUtime=11.66 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 58372 0 1 0 1078 88 0 0 20 0 1 0 52680126 1100513280 191569 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 268680 191569 2336 1147 0 256107 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1078912 KiB
Current children cumulated memory: 769220 KiB

[startup+25.5002 s]
/proc/loadavg: 3.52 3.93 4.03 5/271 48004
/proc/meminfo: memFree=125919760/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=1196500 memory=896404 CPUtime=24.43 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 74877 0 1 0 2303 140 0 0 20 0 1 0 52680126 1225216000 224101 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 299125 224101 2336 1147 0 286552 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1200692 KiB
Current children cumulated memory: 899348 KiB

[startup+51.1056 s]
/proc/loadavg: 3.76 3.95 4.03 5/271 48004
/proc/meminfo: memFree=124845932/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=1270476 memory=935912 CPUtime=49.96 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 77138 0 1 0 4826 170 0 0 20 0 1 0 52680126 1300967424 233978 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 317619 233978 2336 1147 0 305046 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1274668 KiB
Current children cumulated memory: 938856 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.97 4.03 5/273 48008
/proc/meminfo: memFree=122969644/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=1785828 memory=1460076 CPUtime=101.01 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 157277 0 1 0 9854 247 0 0 20 0 1 0 52680126 1828687872 365019 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 446457 365019 2336 1147 0 433884 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1790020 KiB
Current children cumulated memory: 1463020 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.01 4.04 5/273 48010
/proc/meminfo: memFree=122476116/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=1834660 memory=1510124 CPUtime=160.84 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 163370 0 1 0 15791 293 0 0 20 0 1 0 52680126 1878691840 377531 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 458665 377531 2336 1147 0 446092 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1838852 KiB
Current children cumulated memory: 1513068 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 4.01 4.03 5/272 48012
/proc/meminfo: memFree=121353308/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=1951984 memory=1627376 CPUtime=220.67 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 169492 0 1 0 21732 335 0 0 20 0 1 0 52680126 1998831616 406844 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0

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

Current children cumulated memory: 4061336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/272 48190
/proc/meminfo: memFree=14806364/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=5010708 memory=4184456 CPUtime=3332.91 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 621102 0 1 0 331204 2087 0 0 20 0 1 0 52680126 5130964992 1046114 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1252677 1046114 2464 1147 0 1240104 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 5014900 KiB
Current children cumulated memory: 4187400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/273 48193
/proc/meminfo: memFree=11431368/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=5101800 memory=4275748 CPUtime=3392.08 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 626685 0 1 0 337103 2105 0 0 20 0 1 0 52680126 5224243200 1068937 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1275450 1068937 2464 1147 0 1262877 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 5105992 KiB
Current children cumulated memory: 4278692 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/274 48200
/proc/meminfo: memFree=9234772/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=5101800 memory=4275748 CPUtime=3451.72 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 628174 0 1 0 343044 2128 0 0 20 0 1 0 52680126 5224243200 1068937 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1275450 1068937 2464 1147 0 1262877 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 5105992 KiB
Current children cumulated memory: 4278692 KiB

[startup+3582.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/275 48203
/proc/meminfo: memFree=6954944/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=5101800 memory=4275876 CPUtime=3511.16 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 628245 0 1 0 348921 2195 0 0 20 0 1 0 52680126 5224243200 1068969 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1275450 1068969 2464 1147 0 1262877 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 5105992 KiB
Current children cumulated memory: 4278820 KiB

[startup+3642.3 s]
/proc/loadavg: 4.16 4.16 4.11 3/265 48313
/proc/meminfo: memFree=89468536/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=5850056 memory=4767436 CPUtime=3570.97 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 736143 0 1 0 354819 2278 0 0 20 0 1 0 52680126 5990457344 1191859 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1462514 1191859 2464 1147 0 1449941 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 5854248 KiB
Current children cumulated memory: 4770380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3670.5 s]
/proc/loadavg: 4.16 4.16 4.11 5/275 48346
/proc/meminfo: memFree=112423756/131249996 swapFree=33010416/33010684
[pid=47987] ppid=47975 vsize=4192 memory=2944 CPUtime=0.94 cores=1,3
/proc/47987/stat : 47987 (run-opt-break-l) S 47975 47987 47923 0 -1 4194304 241 29028 0 0 0 0 83 11 20 0 1 0 52680029 4292608 736 18446744073709551615 94555890421760 94555891316293 140727233045168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94555891555344 94555891603088 94555914371072 140727233046805 140727233047006 140727233047006 140727233052608 0
/proc/47987/statm: 1048 736 672 219 0 110 0
[pid=47998] ppid=47987 vsize=6387164 memory=5168204 CPUtime=3599.09 cores=1,3
/proc/47998/stat : 47998 (roundingsat) R 47987 47987 47923 0 -1 4194304 815421 0 1 0 357593 2316 0 0 20 0 1 0 52680126 6540455936 1292051 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1596791 1292051 2464 1147 0 1584218 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 6391356 KiB
Current children cumulated memory: 5171148 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

[startup+0 s]*
/proc/loadavg: 4.15 4.16 4.11 4/274 48346
/proc/meminfo: memFree=112325396/131249996 swapFree=33010416/33010684
[pid=47998] ppid=47975 vsize=6387164 memory=5168332 CPUtime=3599.13 cores=1,3
/proc/47998/stat : 47998 (roundingsat) D 47975 47987 47923 0 -1 4194304 815424 0 1 0 357593 2320 0 0 20 0 1 0 52680126 6540455936 1292083 18446744073709551615 4227072 8923433 140729037534432 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 9
/proc/47998/statm: 1596791 1292083 2496 1147 0 1584218 0
??? kill 47998 sig 9
??? end of watcher thread

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

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

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

[startup+3671.2 s]
/proc/loadavg: 4.15 4.16 4.11 4/274 48346
/proc/meminfo: memFree=112385876/131249996 swapFree=33010416/33010684
[pid=47998] ppid=47975 vsize=6387164 memory=5168332 CPUtime=3599.13 cores=1,3
/proc/47998/stat : 47998 (roundingsat) D 47975 47987 47923 0 -1 4194304 815424 0 1 0 357593 2320 0 0 20 0 1 0 52680126 6540455936 1292083 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1596791 1292083 2496 1147 0 1584218 0
Current cumulated CPU time of completed processes: 0.946814 s
Current children cumulated CPU time: 3599.13 s
Current children cumulated vsize: 6387164 KiB
Current children cumulated memory: 5168332 KiB

[startup+3672 s]*
/proc/loadavg: 4.15 4.16 4.11 4/274 48346
/proc/meminfo: memFree=112341524/131249996 swapFree=33010416/33010684
[pid=47998] ppid=47975 vsize=6387164 memory=5168332 CPUtime=3599.13 cores=1,3
/proc/47998/stat : 47998 (roundingsat) D 47975 47987 47923 0 -1 4194304 815424 0 1 0 357593 2320 0 0 20 0 1 0 52680126 6540455936 1292083 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1596791 1292083 2496 1147 0 1584218 0
Current cumulated CPU time of completed processes: 0.946814 s
Current children cumulated CPU time: 3599.13 s
Current children cumulated vsize: 6387164 KiB
Current children cumulated memory: 5168332 KiB

[startup+3672.4 s]
/proc/loadavg: 4.15 4.16 4.11 4/274 48346
/proc/meminfo: memFree=112341524/131249996 swapFree=33010416/33010684
[pid=47998] ppid=47975 vsize=6387164 memory=5168332 CPUtime=3599.13 cores=1,3
/proc/47998/stat : 47998 (roundingsat) D 47975 47987 47923 0 -1 4194304 815424 0 1 0 357593 2320 0 0 20 0 1 0 52680126 6540455936 1292083 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1596791 1292083 2496 1147 0 1584218 0
Current cumulated CPU time of completed processes: 0.946814 s
Current children cumulated CPU time: 3599.13 s
Current children cumulated vsize: 6387164 KiB
Current children cumulated memory: 5168332 KiB

[startup+3672.5 s]
/proc/loadavg: 4.15 4.16 4.11 4/274 48346
/proc/meminfo: memFree=112341524/131249996 swapFree=33010416/33010684
[pid=47998] ppid=47975 vsize=6387164 memory=5168332 CPUtime=3599.13 cores=1,3
/proc/47998/stat : 47998 (roundingsat) D 47975 47987 47923 0 -1 4194304 815424 0 1 0 357593 2320 0 0 20 0 1 0 52680126 6540455936 1292083 18446744073709551615 4227072 8923433 140729037534432 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 40562688 140729037543700 140729037543976 140729037543976 140729037549546 0
/proc/47998/statm: 1596791 1292083 2496 1147 0 1584218 0
Current cumulated CPU time of completed processes: 0.946814 s
Current children cumulated CPU time: 3599.13 s
Current children cumulated vsize: 6387164 KiB
Current children cumulated memory: 5168332 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3676.79
CPU time (s): 3600.24
CPU user time (s): 3576.77
CPU system time (s): 23.4757
CPU usage (%): 97.9182
Max. virtual memory (cumulated for all children) (KiB): 6391356
Max. memory (cumulated for all children) (KiB): 5171148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.77
system time used= 23.4757
maximum resident set size= 5168332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844693
page faults= 1
swaps= 0
block input operations= 0
block output operations= 22126048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14047
involuntary context switches= 4634


# summary of solver processes directly reported to runsolver:
#   pid: 47987,47998
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3576.77
#   total CPU system time (s): 23.4757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70463 second user time and 18.5753 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 13:40:04
IDJOB=4489741
IDBENCH=147562
IDSOLVER=3360
FILE ID=nodeC030/4489741-1751370004
RUNJOBID= nodeC030-1751370004-47935
SLURM_JOB_ID= 9598188
Free space on /tmp= 432972 MiB

SOLVER NAME= roundingsat+pbsuma-opt-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-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489741-1751370004/watcher-4489741-1751370004 -o /tmp/evaluation-result-4489741-1751370004/solver-4489741-1751370004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751370004-47935 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489741-1751370004.opb PROOFDIR/proof-4489741-1751370004

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=1824616051

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129940824 kB
MemAvailable:   129790652 kB
Buffers:            2564 kB
Cached:           643776 kB
SwapCached:           16 kB
Active:           480220 kB
Inactive:         225900 kB
Active(anon):      73280 kB
Inactive(anon):     4548 kB
Active(file):     406940 kB
Inactive(file):   221352 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95900 kB
Writeback:             4 kB
AnonPages:         63876 kB
Mapped:           103152 kB
Shmem:             18048 kB
KReclaimable:     121148 kB
Slab:             209292 kB
SReclaimable:     121148 kB
SUnreclaim:        88144 kB
KernelStack:        4064 kB
PageTables:         2688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC030 at 2025-07-01 14:41:21