Trace number 4531827

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 0f876b3SAT (TO)307 3600.17 3613.14

General information on the benchmark

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

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4531827-1752683038.opb'
0.29/0.33	c 	read 17.23MB  (322.59ms)
0.29/0.33	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.33	c output proof to '/tmp/proof-4531827-1752683038'
0.29/0.33	c 
0.29/0.33	c make graph and approximate orbits
0.58/0.65	c	 [group: #orbits ~= 0] (316.23ms)
0.58/0.65	c 
0.58/0.65	c detect special group actions
0.58/0.65	c 	probe for Johnson action (limit=64)
0.58/0.65	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.58/0.66	c 	probe for row symmetry (limit=64, splits=16.78M)
0.58/0.67	c 	 (16.82ms)
0.58/0.67	c 
0.58/0.67	c detect symmetries on remainder
0.58/0.67	c 	[graph: #vertices 706674 #edges 2766346]
0.58/0.67	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.68/0.72	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.76ms)
0.68/0.72	c 
0.68/0.72	c finalize break order and special generators
0.68/0.72	c 
0.68/0.72	c generation finished
0.68/0.72	c 	[sbp: #constraints 0 #add_vars 0]
0.68/0.72	c 
0.68/0.72	c write result to 'HOME/instance-4531827-1752683038.opb.pre'
0.68/0.75	c 	wrote 17.23MB (35.50ms)
0.68/0.75	c ------------------------------------------------------------------
0.68/0.75	c                 322.59ms 43.37% parse
0.68/0.75	c                 316.23ms 42.52% approx_orbits
0.68/0.75	c                  49.76ms  6.69% detect_generic
0.68/0.75	c                  35.50ms  4.77% output
0.68/0.75	c                  16.82ms  2.26% detect_special
0.68/0.75	c                   2.46ms  0.33% other
0.68/0.75	c                   0.40ms  0.05% finalize_order
0.68/0.75	c         ───────────────────────────────────────────────
0.68/0.75	c                 743.77ms   100% total
0.68/0.75	c ------------------------------------------------------------------
0.78/0.87	c RoundingSat 2
0.78/0.87	c branch pb25
0.78/0.87	c commit 0f876b3
4.74/4.81	c #variables 10000 #constraints 656900
4.74/4.81	c objective is ce32 
5.54/5.66	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.54/5.66	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.54/5.66	c bounds 5640 >= 0 @ 4.06079
7.04/7.18	c rational objective 154.151
11.03/11.12	c bounds 5607 >= 0 @ 9.38603
11.22/11.30	c bounds 5601 >= 0 @ 9.56046
11.22/11.34	c bounds 5596 >= 0 @ 9.60169
11.22/11.35	c bounds 5594 >= 0 @ 9.60893
11.22/11.39	c bounds 5589 >= 0 @ 9.64355
11.32/11.40	c bounds 5495 >= 0 @ 9.65081
11.32/11.41	c bounds 5455 >= 0 @ 9.65705
11.32/11.43	c bounds 5441 >= 0 @ 9.67932
11.32/11.45	c bounds 5405 >= 0 @ 9.69099
11.32/11.45	c bounds 5353 >= 0 @ 9.69677
11.32/11.46	c bounds 5320 >= 0 @ 9.70484
11.32/11.47	c bounds 5142 >= 0 @ 9.7097
11.32/11.48	c bounds 5138 >= 0 @ 9.7155
11.42/11.50	c bounds 5129 >= 0 @ 9.73472
11.42/11.50	c bounds 5111 >= 0 @ 9.74182
11.42/11.51	c bounds 5034 >= 0 @ 9.74591
11.42/11.55	c bounds 5032 >= 0 @ 9.77697
11.42/11.56	c bounds 5024 >= 0 @ 9.79139
11.42/11.58	c bounds 5009 >= 0 @ 9.80226
11.42/11.58	c bounds 5008 >= 0 @ 9.80578
11.51/11.62	c bounds 5007 >= 0 @ 9.84127
11.51/11.63	c bounds 4856 >= 0 @ 9.84578
11.62/11.73	c bounds 4844 >= 0 @ 9.94914
11.62/11.75	c bounds 4814 >= 0 @ 9.96375
11.62/11.77	c bounds 4803 >= 0 @ 9.97809
11.62/11.78	c bounds 4719 >= 0 @ 9.98805
11.62/11.79	c bounds 4708 >= 0 @ 9.99636
11.72/11.80	c bounds 4693 >= 0 @ 10.0098
11.72/11.82	c bounds 4638 >= 0 @ 10.026
11.72/11.84	c bounds 4625 >= 0 @ 10.0426
11.72/11.85	c bounds 4561 >= 0 @ 10.0466
11.72/11.86	c bounds 4374 >= 0 @ 10.0512
11.72/11.87	c bounds 4372 >= 0 @ 10.06
11.72/11.87	c bounds 4336 >= 0 @ 10.0668
11.72/11.88	c bounds 4292 >= 0 @ 10.0707
11.72/11.89	c bounds 4255 >= 0 @ 10.0727
11.81/11.90	c bounds 3995 >= 0 @ 10.0777
11.81/11.94	c bounds 3980 >= 0 @ 10.1119
11.81/11.95	c bounds 3928 >= 0 @ 10.1195
11.81/11.95	c bounds 3904 >= 0 @ 10.1268
11.81/11.97	c bounds 3898 >= 0 @ 10.1333
11.92/12.03	c bounds 3886 >= 0 @ 10.1905
11.92/12.04	c bounds 3872 >= 0 @ 10.2035
11.92/12.05	c bounds 3866 >= 0 @ 10.2111
12.02/12.15	c bounds 3838 >= 0 @ 10.3008
12.02/12.16	c bounds 3801 >= 0 @ 10.3148
12.02/12.18	c bounds 3780 >= 0 @ 10.3247
12.02/12.20	c bounds 3727 >= 0 @ 10.3417
12.12/12.22	c bounds 3717 >= 0 @ 10.3608
12.12/12.23	c bounds 3592 >= 0 @ 10.3675
12.12/12.24	c bounds 3558 >= 0 @ 10.3786
12.12/12.26	c bounds 3552 >= 0 @ 10.3898
12.12/12.26	c bounds 3540 >= 0 @ 10.3968
12.12/12.27	c bounds 3466 >= 0 @ 10.4027
12.12/12.28	c bounds 3465 >= 0 @ 10.4109
12.12/12.29	c bounds 3456 >= 0 @ 10.4184
12.22/12.30	c bounds 3450 >= 0 @ 10.424
12.22/12.31	c bounds 3437 >= 0 @ 10.4363
12.22/12.33	c bounds 3436 >= 0 @ 10.4456
12.22/12.33	c bounds 3371 >= 0 @ 10.4499
12.22/12.34	c bounds 3368 >= 0 @ 10.4544
12.22/12.35	c bounds 3293 >= 0 @ 10.4595
12.22/12.36	c bounds 3273 >= 0 @ 10.4657
12.51/12.67	c bounds 3272 >= 0 @ 10.7677
12.51/12.68	c bounds 3231 >= 0 @ 10.7751
12.72/12.80	c bounds 3228 >= 0 @ 10.8976
12.72/12.81	c bounds 3203 >= 0 @ 10.902
12.72/12.83	c bounds 3163 >= 0 @ 10.9166
12.72/12.84	c bounds 3147 >= 0 @ 10.9239
12.72/12.85	c bounds 3088 >= 0 @ 10.929
12.81/12.93	c bounds 3076 >= 0 @ 11.0105
12.92/13.04	c bounds 3054 >= 0 @ 11.1144
12.92/13.07	c bounds 3051 >= 0 @ 11.1387
12.92/13.08	c bounds 3031 >= 0 @ 11.1461
12.92/13.09	c bounds 3006 >= 0 @ 11.1537
13.11/13.22	c bounds 3001 >= 0 @ 11.2816
13.11/13.23	c bounds 2978 >= 0 @ 11.2898
13.81/13.90	c bounds 2968 >= 0 @ 11.9427
13.81/13.91	c bounds 2967 >= 0 @ 11.9479
13.81/13.92	c bounds 2951 >= 0 @ 11.9559
13.81/13.95	c bounds 2928 >= 0 @ 11.9806
13.92/14.07	c bounds 2908 >= 0 @ 12.1014
13.92/14.08	c bounds 2864 >= 0 @ 12.1097
14.11/14.24	c bounds 2863 >= 0 @ 12.2611
14.11/14.25	c bounds 2862 >= 0 @ 12.2677
14.11/14.26	c bounds 2851 >= 0 @ 12.2771
14.11/14.28	c bounds 2845 >= 0 @ 12.2917
14.21/14.39	c bounds 2829 >= 0 @ 12.4004
14.31/14.40	c bounds 2796 >= 0 @ 12.4078
14.31/14.41	c bounds 2754 >= 0 @ 12.4148
14.41/14.51	c bounds 2741 >= 0 @ 12.5157
14.41/14.53	c bounds 2651 >= 0 @ 12.5224
14.41/14.53	c bounds 2643 >= 0 @ 12.528
14.51/14.63	c bounds 2635 >= 0 @ 12.6132
14.51/14.63	c bounds 2621 >= 0 @ 12.6164
14.61/14.72	c bounds 2594 >= 0 @ 12.6975
14.71/14.83	c bounds 2589 >= 0 @ 12.7992
14.71/14.84	c bounds 2396 >= 0 @ 12.8082
14.71/14.85	c bounds 2375 >= 0 @ 12.8149
14.80/14.94	c bounds 2372 >= 0 @ 12.9036
14.80/14.95	c bounds 2367 >= 0 @ 12.9108
14.91/15.06	c bounds 2363 >= 0 @ 13.0078
14.91/15.07	c bounds 2359 >= 0 @ 13.014
14.91/15.08	c bounds 2348 >= 0 @ 13.022
15.20/15.36	c bounds 2331 >= 0 @ 13.3008
15.50/15.60	c bounds 2330 >= 0 @ 13.5296
15.50/15.62	c bounds 2326 >= 0 @ 13.5457
15.50/15.63	c bounds 2325 >= 0 @ 13.5539
15.50/15.64	c bounds 2304 >= 0 @ 13.5626
15.61/15.78	c bounds 2082 >= 0 @ 13.6979
15.70/15.80	c bounds 2056 >= 0 @ 13.7097
15.70/15.81	c bounds 2037 >= 0 @ 13.7204
15.70/15.82	c bounds 2023 >= 0 @ 13.7267
15.70/15.83	c bounds 2004 >= 0 @ 13.733
15.70/15.83	c bounds 1988 >= 0 @ 13.7391
15.80/15.99	c bounds 1984 >= 0 @ 13.8868
15.80/16.00	c bounds 1965 >= 0 @ 13.8967
15.90/16.01	c bounds 1834 >= 0 @ 13.9023
15.90/16.02	c bounds 1788 >= 0 @ 13.9077
15.90/16.04	c bounds 1777 >= 0 @ 13.9177
15.90/16.05	c bounds 1762 >= 0 @ 13.9253
15.90/16.07	c bounds 1729 >= 0 @ 13.9395
15.90/16.08	c bounds 1717 >= 0 @ 13.9473
15.90/16.09	c bounds 1567 >= 0 @ 13.9571
16.01/16.11	c bounds 1558 >= 0 @ 13.971
16.01/16.12	c bounds 1393 >= 0 @ 13.9783
16.01/16.13	c bounds 1391 >= 0 @ 13.9822
16.01/16.14	c bounds 1348 >= 0 @ 13.99
16.01/16.15	c bounds 1344 >= 0 @ 13.9959
16.01/16.17	c bounds 1340 >= 0 @ 14.0058
16.01/16.18	c bounds 1323 >= 0 @ 14.017
16.20/16.31	c bounds 1249 >= 0 @ 14.1389
16.20/16.32	c bounds 1248 >= 0 @ 14.1482
16.20/16.34	c bounds 1227 >= 0 @ 14.1693
16.20/16.36	c bounds 1226 >= 0 @ 14.1857
16.20/16.37	c bounds 1208 >= 0 @ 14.1895
16.20/16.38	c bounds 1157 >= 0 @ 14.1954
16.61/16.79	c bounds 1140 >= 0 @ 14.5964
16.70/16.81	c bounds 1100 >= 0 @ 14.6063
16.80/16.94	c bounds 1089 >= 0 @ 14.7339
16.80/16.96	c bounds 1019 >= 0 @ 14.7447
16.80/16.98	c bounds 816 >= 0 @ 14.7653
16.80/17.00	c bounds 783 >= 0 @ 14.7735
17.40/17.54	c #Conflicts:       1000 | #Constraints:     658055
17.40/17.54	c bounds 782 >= 0 @ 15.3017
17.50/17.66	c bounds 781 >= 0 @ 15.4122
18.00/18.13	c bounds 775 >= 0 @ 15.8689
18.00/18.15	c bounds 772 >= 0 @ 15.8864
18.29/18.49	c bounds 656 >= 0 @ 16.2058
18.79/18.90	c bounds 610 >= 0 @ 16.5981
18.79/18.98	c bounds 597 >= 0 @ 16.6682
18.90/19.02	c bounds 500 >= 0 @ 16.6964
20.19/20.38	c #Conflicts:       2000 | #Constraints:     659066
20.19/20.38	c INPROCESSING
20.19/20.38	c GARBAGE COLLECT
20.19/20.38	c bounds 499 >= 0 @ 18.0345
20.19/20.39	c bounds 491 >= 0 @ 18.0432
20.29/20.42	c bounds 490 >= 0 @ 18.0691
20.49/20.67	c bounds 486 >= 0 @ 18.3153
22.18/22.30	c bounds 421 >= 0 @ 19.9209
22.18/22.32	c bounds 418 >= 0 @ 19.9311
22.18/22.34	c bounds 413 >= 0 @ 19.9496
22.18/22.36	c bounds 412 >= 0 @ 19.9609
23.07/23.20	c #Conflicts:       3000 | #Constraints:     658926
23.07/23.20	c bounds 407 >= 0 @ 20.7905
38.83/39.09	c #Conflicts:       4000 | #Constraints:     659928
38.83/39.09	c INPROCESSING
38.83/39.09	c GARBAGE COLLECT
38.83/39.09	c #Conflicts:       5000 | #Constraints:     659324
38.83/39.09	c #Conflicts:       6000 | #Constraints:     660324
38.83/39.09	c INPROCESSING
38.83/39.09	c GARBAGE COLLECT
38.83/39.09	c bounds 406 >= 0 @ 36.4409
48.49/48.77	c #Conflicts:       7000 | #Constraints:     659332
48.49/48.77	c #Conflicts:       8000 | #Constraints:     660332
48.49/48.77	c #Conflicts:       9000 | #Constraints:     661332
48.49/48.77	c INPROCESSING
48.49/48.77	c GARBAGE COLLECT
48.49/48.77	c rational objective 156.044
64.14/64.46	c #Conflicts:      10000 | #Constraints:     660038
64.14/64.46	c #Conflicts:      11000 | #Constraints:     661038
64.14/64.46	c #Conflicts:      12000 | #Constraints:     662038
64.14/64.46	c INPROCESSING
64.14/64.46	c GARBAGE COLLECT
64.14/64.46	c rational objective 156.754
75.89/76.23	c #Conflicts:      13000 | #Constraints:     660495
75.89/76.23	c #Conflicts:      14000 | #Constraints:     661495
75.89/76.23	c #Conflicts:      15000 | #Constraints:     662495
75.89/76.23	c INPROCESSING
75.89/76.23	c GARBAGE COLLECT
75.89/76.23	c bounds 405 >= 0 @ 73.1118
75.89/76.27	c bounds 404 >= 0 @ 73.1454
76.10/76.41	c bounds 403 >= 0 @ 73.2818
88.54/88.91	c #Conflicts:      16000 | #Constraints:     660725
88.54/88.91	c #Conflicts:      17000 | #Constraints:     661725
88.54/88.91	c #Conflicts:      18000 | #Constraints:     662725
88.54/88.91	c INPROCESSING
88.54/88.91	c GARBAGE COLLECT
88.54/88.91	c rational objective 157.602
92.13/92.55	c bounds 398 >= 0 @ 89.3024
110.58/111.10	c #Conflicts:      19000 | #Constraints:     660754
110.58/111.10	c #Conflicts:      20000 | #Constraints:     661768
110.58/111.10	c bounds 393 >= 0 @ 107.442
110.68/111.12	c bounds 393 >= 4 @ 107.456
110.68/111.13	c bounds 393 >= 8 @ 107.466
110.68/111.16	c bounds 393 >= 12 @ 107.483
110.77/111.21	c bounds 393 >= 16 @ 107.525
112.77/113.28	c bounds 393 >= 20 @ 109.564
119.74/120.29	c #Conflicts:      21000 | #Constraints:     662800
119.74/120.29	c INPROCESSING
119.74/120.29	c GARBAGE COLLECT
119.74/120.29	c rational objective 158.016
148.84/149.47	c #Conflicts:      22000 | #Constraints:     660587
148.84/149.47	c #Conflicts:      23000 | #Constraints:     661587
148.84/149.47	c #Conflicts:      24000 | #Constraints:     662587
148.84/149.47	c #Conflicts:      25000 | #Constraints:     663587
148.84/149.47	c INPROCESSING
148.84/149.47	c GARBAGE COLLECT
148.84/149.47	c rational objective 158.17
173.65/174.39	c #Conflicts:      26000 | #Constraints:     661183
173.65/174.39	c #Conflicts:      27000 | #Constraints:     662183
173.65/174.39	c #Conflicts:      28000 | #Constraints:     663183
173.65/174.39	c bounds 393 >= 24 @ 169.888
175.35/176.08	c bounds 392 >= 24 @ 171.539
175.54/176.25	c bounds 385 >= 24 @ 171.695
248.38/249.37	c #Conflicts:      29000 | #Constraints:     664209
248.38/249.37	c INPROCESSING
248.38/249.37	c GARBAGE COLLECT
248.38/249.37	c #Conflicts:      30000 | #Constraints:     661583
248.38/249.37	c bounds 383 >= 24 @ 244.243
276.18/277.27	c #Conflicts:      31000 | #Constraints:     662604
276.18/277.27	c #Conflicts:      32000 | #Constraints:     663623
276.18/277.27	c bounds 380 >= 24 @ 271.543
284.15/285.24	c #Conflicts:      33000 | #Constraints:     664626
284.15/285.24	c INPROCESSING
284.15/285.24	c GARBAGE COLLECT
284.15/285.24	c rational objective 158.541
315.04/316.22	c #Conflicts:      34000 | #Constraints:     661797
315.04/316.22	c #Conflicts:      35000 | #Constraints:     662797
315.04/316.22	c #Conflicts:      36000 | #Constraints:     663797
315.04/316.22	c #Conflicts:      37000 | #Constraints:     664797
315.04/316.22	c INPROCESSING
315.04/316.22	c GARBAGE COLLECT
315.04/316.22	c rational objective 158.575
398.73/400.24	c #Conflicts:      38000 | #Constraints:     661794
398.73/400.24	c #Conflicts:      39000 | #Constraints:     662796
398.73/400.24	c #Conflicts:      40000 | #Constraints:     663799
398.73/400.24	c #Conflicts:      41000 | #Constraints:     664802
398.73/400.24	c INPROCESSING
398.73/400.24	c GARBAGE COLLECT
398.73/400.24	c rational objective 158.651
475.16/476.98	c #Conflicts:      42000 | #Constraints:     661611
475.16/476.98	c #Conflicts:      43000 | #Constraints:     662923
475.16/476.98	c #Conflicts:      44000 | #Constraints:     664010
475.16/476.98	c bounds 379 >= 24 @ 469.692
475.66/477.47	c bounds 379 >= 27 @ 470.17
475.86/477.62	c bounds 379 >= 30 @ 470.316
490.41/492.23	c #Conflicts:      45000 | #Constraints:     665293
490.41/492.23	c #Conflicts:      46000 | #Constraints:     666294
490.41/492.23	c INPROCESSING
490.41/492.23	c GARBAGE COLLECT
490.41/492.23	c rational objective 158.656
603.69/605.98	c #Conflicts:      47000 | #Constraints:     662533
603.69/605.98	c #Conflicts:      48000 | #Constraints:     663533
603.69/605.98	c #Conflicts:      49000 | #Constraints:     664534
603.69/605.98	c #Conflicts:      50000 | #Constraints:     665539
603.69/605.98	c #Conflicts:      51000 | #Constraints:     666544
603.69/605.98	c INPROCESSING
603.69/605.98	c GARBAGE COLLECT
603.69/605.98	c #Conflicts:      52000 | #Constraints:     662770
603.69/605.98	c #Conflicts:      53000 | #Constraints:     663772
603.69/605.98	c #Conflicts:      54000 | #Constraints:     664773
603.69/605.98	c #Conflicts:      55000 | #Constraints:     665778
603.69/605.98	c #Conflicts:      56000 | #Constraints:     666778
603.69/605.98	c INPROCESSING
603.69/605.98	c GARBAGE COLLECT
603.69/605.98	c #Conflicts:      57000 | #Constraints:     662887
603.69/605.98	c #Conflicts:      58000 | #Constraints:     663889
603.69/605.98	c #Conflicts:      59000 | #Constraints:     664889
603.69/605.98	c #Conflicts:      60000 | #Constraints:     665891
603.69/605.98	c bounds 379 >= 33 @ 597.229
628.71/631.06	c #Conflicts:      61000 | #Constraints:     666906
628.71/631.06	c INPROCESSING
628.71/631.06	c GARBAGE COLLECT
628.71/631.06	c #Conflicts:      62000 | #Constraints:     662854
628.71/631.06	c bounds 377 >= 33 @ 621.973
628.71/631.09	c bounds 377 >= 35 @ 621.998
693.58/696.13	c #Conflicts:      63000 | #Constraints:     663866
693.58/696.13	c #Conflicts:      64000 | #Constraints:     664867
693.58/696.13	c #Conflicts:      65000 | #Constraints:     665875
693.58/696.13	c #Conflicts:      66000 | #Constraints:     666885
693.58/696.13	c INPROCESSING
693.58/696.13	c GARBAGE COLLECT
693.58/696.13	c rational objective 158.659
757.26/760.10	c #Conflicts:      67000 | #Constraints:     662630
757.26/760.10	c #Conflicts:      68000 | #Constraints:     663640
757.26/760.10	c #Conflicts:      69000 | #Constraints:     664655
757.26/760.10	c #Conflicts:      70000 | #Constraints:     665732
757.26/760.10	c #Conflicts:      71000 | #Constraints:     666784
757.26/760.10	c #Conflicts:      72000 | #Constraints:     667846
757.26/760.10	c INPROCESSING
757.26/760.10	c GARBAGE COLLECT
757.26/760.10	c bounds 376 >= 35 @ 749.555
757.35/760.12	c bounds 374 >= 35 @ 749.575
757.35/760.14	c bounds 369 >= 35 @ 749.584
757.45/760.22	c bounds 362 >= 35 @ 749.655
758.15/760.97	c bounds 356 >= 35 @ 750.359
769.22/772.08	c #Conflicts:      73000 | #Constraints:     663324
769.22/772.08	c bounds 355 >= 35 @ 761.28
769.31/772.15	c bounds 354 >= 35 @ 761.347
772.40/775.27	c bounds 353 >= 35 @ 764.416
773.20/776.03	c bounds 350 >= 35 @ 765.152
775.59/778.40	c bounds 349 >= 35 @ 767.487
775.59/778.43	c bounds 347 >= 35 @ 767.518
775.69/778.58	c bounds 346 >= 35 @ 767.664
775.69/778.59	c bounds 346 >= 36 @ 767.672
775.79/778.61	c bounds 346 >= 37 @ 767.68
775.79/778.63	c bounds 346 >= 38 @ 767.693
775.79/778.65	c bounds 346 >= 39 @ 767.71
775.79/778.67	c bounds 346 >= 40 @ 767.725
775.79/778.69	c bounds 346 >= 41 @ 767.736
775.89/778.71	c bounds 346 >= 42 @ 767.753
775.89/778.73	c bounds 346 >= 43 @ 767.765
775.89/778.75	c bounds 346 >= 44 @ 767.783
775.89/778.77	c bounds 346 >= 45 @ 767.798
775.99/778.81	c bounds 346 >= 46 @ 767.824
776.69/779.58	c #Conflicts:      74000 | #Constraints:     664409
776.69/779.58	c bounds 346 >= 47 @ 768.581
776.89/779.72	c bounds 346 >= 48 @ 768.714
776.89/779.77	c bounds 346 >= 49 @ 768.758
776.99/779.89	c bounds 346 >= 50 @ 768.868
777.18/780.09	c bounds 346 >= 51 @ 769.052
777.29/780.12	c bounds 345 >= 51 @ 769.074
777.29/780.18	c bounds 345 >= 52 @ 769.133
777.58/780.44	c bounds 342 >= 52 @ 769.383
777.68/780.51	c bounds 342 >= 53 @ 769.453
777.88/780.74	c bounds 342 >= 54 @ 769.663
778.58/781.43	c bounds 342 >= 55 @ 770.335
781.57/784.48	c bounds 342 >= 56 @ 773.353
782.87/785.76	c #Conflicts:      75000 | #Constraints:     665564
782.87/785.76	c bounds 342 >= 57 @ 774.601
785.86/788.70	c bounds 341 >= 57 @ 777.503
786.85/789.71	c bounds 341 >= 58 @ 778.485
789.84/792.73	c #Conflicts:      76000 | #Constraints:     666619
789.84/792.73	c bounds 341 >= 59 @ 781.452
793.63/796.54	c bounds 341 >= 60 @ 785.185
794.92/797.80	c #Conflicts:      77000 | #Constraints:     667679
794.92/797.80	c bounds 341 >= 61 @ 786.413
796.51/799.46	c bounds 341 >= 62 @ 788.033
802.50/805.43	c #Conflicts:      78000 | #Constraints:     668715
802.50/805.43	c INPROCESSING
802.50/805.43	c GARBAGE COLLECT
802.50/805.43	c rational objective 158.659
808.68/811.60	c bounds 341 >= 63 @ 800.048
823.62/826.60	c #Conflicts:      79000 | #Constraints:     663949
823.62/826.60	c bounds 341 >= 64 @ 814.9
828.90/831.92	c #Conflicts:      80000 | #Constraints:     664980
828.90/831.92	c bounds 341 >= 65 @ 820.107
832.00/835.10	c #Conflicts:      81000 | #Constraints:     666022
832.00/835.10	c bounds 341 >= 66 @ 823.229
844.64/847.78	c #Conflicts:      82000 | #Constraints:     667040
844.64/847.78	c #Conflicts:      83000 | #Constraints:     668041
844.64/847.78	c bounds 341 >= 67 @ 835.736
1043.83/1047.66	c #Conflicts:      84000 | #Constraints:     669065
1043.83/1047.66	c INPROCESSING
1043.83/1047.66	c GARBAGE COLLECT
1043.83/1047.66	c #Conflicts:      85000 | #Constraints:     664155
1043.83/1047.66	c #Conflicts:      86000 | #Constraints:     665155
1043.83/1047.66	c #Conflicts:      87000 | #Constraints:     666155
1043.83/1047.66	c bounds 341 >= 68 @ 1034.5
1140.18/1144.35	c #Conflicts:      88000 | #Constraints:     667200
1140.18/1144.35	c #Conflicts:      89000 | #Constraints:     668200
1140.18/1144.35	c #Conflicts:      90000 | #Constraints:     669200
1140.18/1144.35	c INPROCESSING
1140.18/1144.35	c GARBAGE COLLECT
1140.18/1144.35	c rational objective 158.659
1298.10/1302.84	c #Conflicts:      91000 | #Constraints:     664149
1298.10/1302.84	c #Conflicts:      92000 | #Constraints:     665149
1298.10/1302.84	c #Conflicts:      93000 | #Constraints:     666150
1298.10/1302.84	c #Conflicts:      94000 | #Constraints:     667163
1298.10/1302.84	c #Conflicts:      95000 | #Constraints:     668163
1298.10/1302.84	c #Conflicts:      96000 | #Constraints:     669163
1298.10/1302.84	c INPROCESSING
1298.10/1302.84	c GARBAGE COLLECT
1298.10/1302.84	c rational objective 158.659
1384.90/1389.93	c #Conflicts:      97000 | #Constraints:     663927
1384.90/1389.93	c #Conflicts:      98000 | #Constraints:     664941
1384.90/1389.93	c #Conflicts:      99000 | #Constraints:     665942
1384.90/1389.93	c #Conflicts:     100000 | #Constraints:     666944
1384.90/1389.93	c #Conflicts:     101000 | #Constraints:     667945
1384.90/1389.93	c #Conflicts:     102000 | #Constraints:     668949
1384.90/1389.93	c #Conflicts:     103000 | #Constraints:     669949
1384.90/1389.93	c bounds 337 >= 68 @ 1373.86
1390.98/1396.10	c INPROCESSING
1390.98/1396.10	c GARBAGE COLLECT
1390.98/1396.10	c #Conflicts:     104000 | #Constraints:     664508
1390.98/1396.10	c bounds 337 >= 69 @ 1379.87
1403.73/1408.88	c #Conflicts:     105000 | #Constraints:     665541
1403.73/1408.88	c #Conflicts:     106000 | #Constraints:     666541
1403.73/1408.88	c bounds 337 >= 70 @ 1392.41
1419.66/1424.85	c #Conflicts:     107000 | #Constraints:     667577
1419.66/1424.85	c #Conflicts:     108000 | #Constraints:     668577
1419.66/1424.85	c bounds 337 >= 71 @ 1408.04
1435.61/1440.88	c #Conflicts:     109000 | #Constraints:     669613
1435.61/1440.88	c #Conflicts:     110000 | #Constraints:     670613
1435.61/1440.88	c INPROCESSING
1435.61/1440.88	c GARBAGE COLLECT
1435.61/1440.88	c rational objective 158.659
1464.11/1469.43	c #Conflicts:     111000 | #Constraints:     664967
1464.11/1469.43	c #Conflicts:     112000 | #Constraints:     665967
1464.11/1469.43	c bounds 337 >= 72 @ 1452.02
1508.15/1513.67	c #Conflicts:     113000 | #Constraints:     667006
1508.15/1513.67	c #Conflicts:     114000 | #Constraints:     668006
1508.15/1513.67	c #Conflicts:     115000 | #Constraints:     669006
1508.15/1513.67	c #Conflicts:     116000 | #Constraints:     670006
1508.15/1513.67	c #Conflicts:     117000 | #Constraints:     671006
1508.15/1513.67	c INPROCESSING
1508.15/1513.67	c GARBAGE COLLECT
1508.15/1513.67	c rational objective 158.659
1654.52/1660.55	c #Conflicts:     118000 | #Constraints:     665169
1654.52/1660.55	c #Conflicts:     119000 | #Constraints:     666169
1654.52/1660.55	c #Conflicts:     120000 | #Constraints:     667170
1654.52/1660.55	c #Conflicts:     121000 | #Constraints:     668172
1654.52/1660.55	c #Conflicts:     122000 | #Constraints:     669172
1654.52/1660.55	c #Conflicts:     123000 | #Constraints:     670173
1654.52/1660.55	c #Conflicts:     124000 | #Constraints:     671174
1654.52/1660.55	c INPROCESSING
1654.52/1660.55	c GARBAGE COLLECT
1654.52/1660.55	c rational objective 158.659
1676.25/1682.31	c bounds 337 >= 73 @ 1662.61
1751.68/1758.05	c #Conflicts:     125000 | #Constraints:     665212
1751.68/1758.05	c #Conflicts:     126000 | #Constraints:     666212
1751.68/1758.05	c #Conflicts:     127000 | #Constraints:     667212
1751.68/1758.05	c #Conflicts:     128000 | #Constraints:     668212
1751.68/1758.05	c #Conflicts:     129000 | #Constraints:     669212
1751.68/1758.05	c #Conflicts:     130000 | #Constraints:     670212
1751.68/1758.05	c #Conflicts:     131000 | #Constraints:     671212
1751.68/1758.05	c INPROCESSING
1751.68/1758.05	c GARBAGE COLLECT
1751.68/1758.05	c rational objective 158.659
1814.56/1821.15	c #Conflicts:     132000 | #Constraints:     664991
1814.56/1821.15	c #Conflicts:     133000 | #Constraints:     665991
1814.56/1821.15	c #Conflicts:     134000 | #Constraints:     666991
1814.56/1821.15	c #Conflicts:     135000 | #Constraints:     667991
1814.56/1821.15	c #Conflicts:     136000 | #Constraints:     668992
1814.56/1821.15	c #Conflicts:     137000 | #Constraints:     669994
1814.56/1821.15	c #Conflicts:     138000 | #Constraints:     670994
1814.56/1821.15	c #Conflicts:     139000 | #Constraints:     671995
1814.56/1821.15	c INPROCESSING
1814.56/1821.15	c GARBAGE COLLECT
1814.56/1821.15	c rational objective 158.659
1911.80/1918.73	c #Conflicts:     140000 | #Constraints:     665588
1911.80/1918.73	c #Conflicts:     141000 | #Constraints:     666588
1911.80/1918.73	c #Conflicts:     142000 | #Constraints:     667589
1911.80/1918.73	c #Conflicts:     143000 | #Constraints:     668590
1911.80/1918.73	c #Conflicts:     144000 | #Constraints:     669592
1911.80/1918.73	c #Conflicts:     145000 | #Constraints:     670592
1911.80/1918.73	c #Conflicts:     146000 | #Constraints:     671593
1911.80/1918.73	c #Conflicts:     147000 | #Constraints:     672594
1911.80/1918.73	c INPROCESSING
1911.80/1918.73	c GARBAGE COLLECT
1911.80/1918.73	c rational objective 158.659
1932.24/1939.23	c #Conflicts:     148000 | #Constraints:     665987
1932.24/1939.23	c bounds 337 >= 74 @ 1915.71
2069.45/2076.95	c #Conflicts:     149000 | #Constraints:     667038
2069.45/2076.95	c #Conflicts:     150000 | #Constraints:     668038
2069.45/2076.95	c #Conflicts:     151000 | #Constraints:     669038
2069.45/2076.95	c #Conflicts:     152000 | #Constraints:     670038
2069.45/2076.95	c #Conflicts:     153000 | #Constraints:     671038
2069.45/2076.95	c #Conflicts:     154000 | #Constraints:     672038
2069.45/2076.95	c #Conflicts:     155000 | #Constraints:     673039
2069.45/2076.95	c INPROCESSING
2069.45/2076.95	c GARBAGE COLLECT
2069.45/2076.95	c #Conflicts:     156000 | #Constraints:     666219
2069.45/2076.95	c #Conflicts:     157000 | #Constraints:     667219
2069.45/2076.95	c #Conflicts:     158000 | #Constraints:     668219
2069.45/2076.95	c #Conflicts:     159000 | #Constraints:     669220
2069.45/2076.95	c #Conflicts:     160000 | #Constraints:     670221
2069.45/2076.95	c #Conflicts:     161000 | #Constraints:     671222
2069.45/2076.95	c #Conflicts:     162000 | #Constraints:     672222
2069.45/2076.95	c #Conflicts:     163000 | #Constraints:     673222
2069.45/2076.95	c INPROCESSING
2069.45/2076.95	c GARBAGE COLLECT
2069.45/2076.95	c rational objective 158.659
2075.33/2082.82	c bounds 336 >= 74 @ 2056.95
2075.53/2083.01	c bounds 335 >= 74 @ 2057.13
2076.53/2084.04	c bounds 334 >= 74 @ 2058.14
2085.89/2093.46	c #Conflicts:     164000 | #Constraints:     666218
2085.89/2093.46	c bounds 333 >= 74 @ 2067.41
2085.89/2093.49	c bounds 332 >= 74 @ 2067.43
2091.87/2099.40	c bounds 330 >= 74 @ 2073.25
2145.98/2153.77	c #Conflicts:     165000 | #Constraints:     667228
2145.98/2153.77	c #Conflicts:     166000 | #Constraints:     668228
2145.98/2153.77	c #Conflicts:     167000 | #Constraints:     669228
2145.98/2153.77	c #Conflicts:     168000 | #Constraints:     670228
2145.98/2153.77	c #Conflicts:     169000 | #Constraints:     671228
2145.98/2153.77	c #Conflicts:     170000 | #Constraints:     672228
2145.98/2153.77	c #Conflicts:     171000 | #Constraints:     673228
2145.98/2153.77	c INPROCESSING
2145.98/2153.77	c GARBAGE COLLECT
2145.98/2153.77	c rational objective 158.659
2152.05/2159.89	c bounds 327 >= 74 @ 2132.66
2152.16/2159.93	c bounds 325 >= 74 @ 2132.69
2159.83/2167.68	c #Conflicts:     172000 | #Constraints:     666016
2159.83/2167.68	c bounds 322 >= 74 @ 2140.27
2221.41/2229.40	c #Conflicts:     173000 | #Constraints:     667025
2221.41/2229.40	c #Conflicts:     174000 | #Constraints:     668025
2221.41/2229.40	c #Conflicts:     175000 | #Constraints:     669025
2221.41/2229.40	c #Conflicts:     176000 | #Constraints:     670025
2221.41/2229.40	c #Conflicts:     177000 | #Constraints:     671025
2221.41/2229.40	c #Conflicts:     178000 | #Constraints:     672025
2221.41/2229.40	c #Conflicts:     179000 | #Constraints:     673025
2221.41/2229.40	c #Conflicts:     180000 | #Constraints:     674025
2221.41/2229.40	c INPROCESSING
2221.41/2229.40	c GARBAGE COLLECT
2221.41/2229.40	c rational objective 158.659
2227.39/2235.49	c bounds 321 >= 74 @ 2206.81
2229.69/2237.76	c bounds 320 >= 74 @ 2209.03
2276.21/2284.45	c #Conflicts:     181000 | #Constraints:     666627
2276.21/2284.45	c #Conflicts:     182000 | #Constraints:     667695
2276.21/2284.45	c #Conflicts:     183000 | #Constraints:     668777
2276.21/2284.45	c bounds 319 >= 74 @ 2255.16
2479.08/2488.02	c #Conflicts:     184000 | #Constraints:     669801
2479.08/2488.02	c #Conflicts:     185000 | #Constraints:     670802
2479.08/2488.02	c #Conflicts:     186000 | #Constraints:     671802
2479.08/2488.02	c #Conflicts:     187000 | #Constraints:     672802
2479.08/2488.02	c #Conflicts:     188000 | #Constraints:     673802
2479.08/2488.02	c #Conflicts:     189000 | #Constraints:     674802
2479.08/2488.02	c INPROCESSING
2479.08/2488.02	c GARBAGE COLLECT
2479.08/2488.02	c rational objective 158.659
2556.50/2565.72	c #Conflicts:     190000 | #Constraints:     667106
2556.50/2565.72	c #Conflicts:     191000 | #Constraints:     668106
2556.50/2565.72	c #Conflicts:     192000 | #Constraints:     669106
2556.50/2565.72	c #Conflicts:     193000 | #Constraints:     670106
2556.50/2565.72	c #Conflicts:     194000 | #Constraints:     671107
2556.50/2565.72	c #Conflicts:     195000 | #Constraints:     672108
2556.50/2565.72	c #Conflicts:     196000 | #Constraints:     673109
2556.50/2565.72	c #Conflicts:     197000 | #Constraints:     674109
2556.50/2565.72	c bounds 319 >= 75 @ 2533.64
2638.90/2648.47	c #Conflicts:     198000 | #Constraints:     675175
2638.90/2648.47	c INPROCESSING
2638.90/2648.47	c GARBAGE COLLECT
2638.90/2648.47	c rational objective 158.659
2996.09/3006.94	c #Conflicts:     199000 | #Constraints:     667306
2996.09/3006.94	c #Conflicts:     200000 | #Constraints:     668306
2996.09/3006.94	c #Conflicts:     201000 | #Constraints:     669307
2996.09/3006.94	c #Conflicts:     202000 | #Constraints:     670307
2996.09/3006.94	c #Conflicts:     203000 | #Constraints:     671307
2996.09/3006.94	c #Conflicts:     204000 | #Constraints:     672307
2996.09/3006.94	c #Conflicts:     205000 | #Constraints:     673307
2996.09/3006.94	c #Conflicts:     206000 | #Constraints:     674307
2996.09/3006.94	c #Conflicts:     207000 | #Constraints:     675307
2996.09/3006.94	c INPROCESSING
2996.09/3006.94	c GARBAGE COLLECT
2996.09/3006.94	c rational objective 158.659
3088.65/3099.90	c #Conflicts:     208000 | #Constraints:     667270
3088.65/3099.90	c #Conflicts:     209000 | #Constraints:     668271
3088.65/3099.90	c #Conflicts:     210000 | #Constraints:     669271
3088.65/3099.90	c #Conflicts:     211000 | #Constraints:     670271
3088.65/3099.90	c #Conflicts:     212000 | #Constraints:     671271
3088.65/3099.90	c #Conflicts:     213000 | #Constraints:     672271
3088.65/3099.90	c #Conflicts:     214000 | #Constraints:     673272
3088.65/3099.90	c #Conflicts:     215000 | #Constraints:     674272
3088.65/3099.90	c #Conflicts:     216000 | #Constraints:     675272
3088.65/3099.90	c INPROCESSING
3088.65/3099.90	c GARBAGE COLLECT
3088.65/3099.90	c rational objective 158.659
3148.94/3160.37	c #Conflicts:     217000 | #Constraints:     667048
3148.94/3160.37	c #Conflicts:     218000 | #Constraints:     668049
3148.94/3160.37	c #Conflicts:     219000 | #Constraints:     669051
3148.94/3160.37	c #Conflicts:     220000 | #Constraints:     670051
3148.94/3160.37	c #Conflicts:     221000 | #Constraints:     671051
3148.94/3160.37	c #Conflicts:     222000 | #Constraints:     672053
3148.94/3160.37	c bounds 319 >= 76 @ 3122.9
3184.90/3196.41	c #Conflicts:     223000 | #Constraints:     673109
3184.90/3196.41	c #Conflicts:     224000 | #Constraints:     674109
3184.90/3196.41	c #Conflicts:     225000 | #Constraints:     675109
3184.90/3196.41	c #Conflicts:     226000 | #Constraints:     676109
3184.90/3196.41	c INPROCESSING
3184.90/3196.41	c GARBAGE COLLECT
3184.90/3196.41	c rational objective 158.659
3295.01/3306.97	c #Conflicts:     227000 | #Constraints:     667680
3295.01/3306.97	c #Conflicts:     228000 | #Constraints:     668680
3295.01/3306.97	c #Conflicts:     229000 | #Constraints:     669680
3295.01/3306.97	c #Conflicts:     230000 | #Constraints:     670680
3295.01/3306.97	c #Conflicts:     231000 | #Constraints:     671680
3295.01/3306.97	c #Conflicts:     232000 | #Constraints:     672681
3295.01/3306.97	c #Conflicts:     233000 | #Constraints:     673682
3295.01/3306.97	c #Conflicts:     234000 | #Constraints:     674683
3295.01/3306.97	c #Conflicts:     235000 | #Constraints:     675685
3295.01/3306.97	c #Conflicts:     236000 | #Constraints:     676685
3295.01/3306.97	c INPROCESSING
3295.01/3306.97	c GARBAGE COLLECT
3295.01/3306.97	c rational objective 158.659
3300.49/3312.47	c bounds 318 >= 76 @ 3272.59
3300.59/3312.55	c bounds 316 >= 76 @ 3272.66
3308.36/3320.36	c #Conflicts:     237000 | #Constraints:     668078
3308.36/3320.36	c bounds 314 >= 76 @ 3280.32
3392.15/3404.49	c #Conflicts:     238000 | #Constraints:     669079
3392.15/3404.49	c #Conflicts:     239000 | #Constraints:     670079
3392.15/3404.49	c #Conflicts:     240000 | #Constraints:     671079
3392.15/3404.49	c #Conflicts:     241000 | #Constraints:     672079
3392.15/3404.49	c #Conflicts:     242000 | #Constraints:     673081
3392.15/3404.49	c #Conflicts:     243000 | #Constraints:     674081
3392.15/3404.49	c #Conflicts:     244000 | #Constraints:     675081
3392.15/3404.49	c #Conflicts:     245000 | #Constraints:     676081
3392.15/3404.49	c #Conflicts:     246000 | #Constraints:     677081
3392.15/3404.49	c INPROCESSING
3392.15/3404.49	c GARBAGE COLLECT
3392.15/3404.49	c rational objective 158.659
3397.74/3410.01	c bounds 312 >= 76 @ 3368.45
3397.74/3410.04	c bounds 310 >= 76 @ 3368.48
3405.11/3417.46	c bounds 308 >= 76 @ 3375.74
3447.16/3459.63	c #Conflicts:     247000 | #Constraints:     668267
3447.16/3459.63	c #Conflicts:     248000 | #Constraints:     669282
3447.16/3459.63	c #Conflicts:     249000 | #Constraints:     670292
3447.16/3459.63	c #Conflicts:     250000 | #Constraints:     671298
3447.16/3459.63	c bounds 307 >= 76 @ 3417.19
3499.28/3511.96	c #Conflicts:     251000 | #Constraints:     672304
3499.28/3511.96	c #Conflicts:     252000 | #Constraints:     673304
3499.28/3511.96	c #Conflicts:     253000 | #Constraints:     674304
3499.28/3511.96	c #Conflicts:     254000 | #Constraints:     675304
3499.28/3511.96	c #Conflicts:     255000 | #Constraints:     676304
3499.28/3511.96	c #Conflicts:     256000 | #Constraints:     677304
3499.28/3511.96	c INPROCESSING
3499.28/3511.96	c GARBAGE COLLECT
3499.28/3511.96	c rational objective 158.659
3600.01/3613.01	c #Conflicts:     257000 | #Constraints:     668287
3600.01/3613.01	c #Conflicts:     258000 | #Constraints:     669289
3600.01/3613.01	c #Conflicts:     259000 | #Constraints:     670289
3600.01/3613.01	c #Conflicts:     260000 | #Constraints:     671289
3600.01/3613.01	c #Conflicts:     261000 | #Constraints:     672290
3600.01/3613.01	c #Conflicts:     262000 | #Constraints:     673290
3600.01/3613.01	c #Conflicts:     263000 | #Constraints:     674290
3600.01/3613.01	c #Conflicts:     264000 | #Constraints:     675290
3600.01/3613.01	c #Conflicts:     265000 | #Constraints:     676290
3600.01/3613.01	c #Conflicts:     266000 | #Constraints:     677290
3600.01/3613.01	c Disabling crashed LP
3600.01/3613.01	c cpu time 3567.72 s
3600.01/3613.01	c deterministic time 93402523931 9.34e+10
3600.01/3613.01	c optimization time 95.5621 s
3600.01/3613.01	c total solve time 3468.95 s
3600.01/3613.01	c core-guided solve time 2921.35 s
3600.01/3613.01	c propagation time 1221.32 s
3600.01/3613.01	c conflict analysis time 887.653 s
3600.01/3613.01	c propagations 91247251
3600.01/3613.01	c resolve steps 4172747
3600.01/3613.01	c decisions 9051881
3600.01/3613.01	c conflicts 266267
3600.01/3613.01	c restarts 636
3600.01/3613.01	c inprocessing phases 42
3600.01/3613.01	c garbage collections 42 ,( 100.00 )
3600.01/3613.01	c input clauses 657175 ,( 99.86 )
3600.01/3613.01	c input cardinalities 326 ,( 0.05 )
3600.01/3613.01	c input general constraints 585 ,( 0.09 )
3600.01/3613.01	c input average constraint length 6.90
3600.01/3613.01	c input average constraint degree 157.49
3600.01/3613.01	c learned clauses 180731 ,( 67.50 )
3600.01/3613.01	c learned cardinalities 13 ,( 0.00 )
3600.01/3613.01	c learned general constraints 86993 ,( 32.49 )
3600.01/3613.01	c learned average constraint length 1763.18
3600.01/3613.01	c learned average constraint degree 43659398824.81
3600.01/3613.01	c watched  CF 32, 64, 128, Arb: 4934 , 0 , 0 , 0
3600.01/3613.01	c counting CF 32, 64, 128, Arb: 82645 , 0 , 0 , 0
3600.01/3613.01	c watched   constraints 4934 ,( 5.63 ) 
3600.01/3613.01	c counting  constraints 82644 ,( 94.37 ) 
3600.01/3613.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 51343681 , 2842487 , 968167289 ,( 43825823 , 924341466 )
3600.01/3613.01	c gcd simplifications 11395
3600.01/3613.01	c detected cardinalities 0
3600.01/3613.01	c weakened non-implied lits 885510829
3600.01/3613.01	c weakened non-implying lits 182315
3600.01/3613.01	c original variables 10000
3600.01/3613.01	c clausal propagations 14048353
3600.01/3613.01	c cardinality propagations 502966
3600.01/3613.01	c watched propagations 92224
3600.01/3613.01	c counting propagations 74154273
3600.01/3613.01	c watch lookups 5711574981
3600.01/3613.01	c watch backjump lookups 0
3600.01/3613.01	c watch checks 4693218441
3600.01/3613.01	c propagation checks 78365402567
3600.01/3613.01	c constraint additions 4431019152
3600.01/3613.01	c trail pops 100555950
3600.01/3613.01	c formula constraints 656900
3600.01/3613.01	c learned constraints 266033
3600.01/3613.01	c bound constraints 259
3600.01/3613.01	c core-guided constraints 927
3600.01/3613.01	c encountered formula constraints 1516712
3600.01/3613.01	c encountered learned constraints 1708874
3600.01/3613.01	c encountered bound constraints 8448
3600.01/3613.01	c encountered core-guided constraints 1175021
3600.01/3613.01	c LP total time 2104.4 s
3600.01/3613.01	c LP solve time 1908.64 s
3600.01/3613.01	c LP constraints added 656933
3600.01/3613.01	c LP constraints removed 14
3600.01/3613.01	c LP pivots internal 266257
3600.01/3613.01	c LP pivots root 187450
3600.01/3613.01	c LP calls 1719
3600.01/3613.01	c LP optimalities 225
3600.01/3613.01	c LP no pivot count 24
3600.01/3613.01	c LP infeasibilities 1456
3600.01/3613.01	c LP valid Farkas constraints 1450
3600.01/3613.01	c LP learned Farkas constraints 239
3600.01/3613.01	c LP basis resets 39
3600.01/3613.01	c LP cycling count 17
3600.01/3613.01	c LP singular count 5
3600.01/3613.01	c LP no primal count 0
3600.01/3613.01	c LP no farkas count 6
3600.01/3613.01	c LP other issue count 11
3600.01/3613.01	c LP Gomory cuts 15
3600.01/3613.01	c LP learned cuts 18
3600.01/3613.01	c LP deleted cuts 14
3600.01/3613.01	c LP encountered Gomory constraints 312
3600.01/3613.01	c LP encountered Farkas constraints 28992
3600.01/3613.01	c LP encountered learned Farkas constraints 416
3600.01/3613.01	c CG auxiliary variables introduced 326
3600.01/3613.01	c CG solutions found 207
3600.01/3613.01	c CG cores constructed 51
3600.01/3613.01	c CG core cardinality constraints returned 0
3600.01/3613.01	c CG unit cores 0
3600.01/3613.01	c CG single cores 50
3600.01/3613.01	c CG blocks removed during cardinality reduction 0
3600.01/3613.01	c CG first core best 0
3600.01/3613.01	c CG decision core best 0
3600.01/3613.01	c CG core reduction tie 1
3600.01/3613.01	c CG core degree average 1.00
3600.01/3613.01	c CG core slack average 866.43
3600.01/3613.01	c CG core upper bound improvements 54
3600.01/3613.01	c STR number of successful calls 0
3600.01/3613.01	c STR number of unsuccessful calls 0
3600.01/3613.01	c STR number of inconclusive calls 0
3600.01/3613.01	c STR number of successful attempts 0
3600.01/3613.01	c STR number of unsuccessful attempts 0
3600.01/3613.01	c STR number of inconclusive attempts 0
3600.01/3613.01	c STR average degree increase per successful call inf
3600.01/3613.01	c STR average degree increase per successful attempt inf
3600.01/3613.01	c STR total number of conflicts for successful attempts 0
3600.01/3613.01	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3613.01	c STR total number of conflicts for inconclusive attempts 0
3600.01/3613.01	c STR average number of conflicts per successful attempt inf
3600.01/3613.01	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3613.01	c STR average number of conflicts per inconclusive attempt inf
3600.01/3613.01	c AVG.sumWPerc 90.71 
3600.01/3613.01	c bigint constraints 0 
3600.01/3613.01	o 307
3600.01/3613.01	s SATISFIABLE
3600.01/3613.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 x9373 -x9374 x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
3600.01/3613.01	c Program interrupted by user.

Verifier Data 

OK	307

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=132633, runsolver pid=132626

[startup+0.10006 s]*
/proc/loadavg: 0.20 0.12 0.10 4/261 132645
/proc/meminfo: memFree=100148872/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132637] ppid=132633 vsize=165616 memory=150344 CPUtime=0.09 cores=5,7
/proc/132637/stat : 132637 (pbsuma) R 132633 132633 132581 0 -1 4194304 4626 0 0 0 6 3 0 0 20 0 1 0 183982411 169590784 37586 18446744073709551615 4210688 4653049 140721613021584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 9428992 140721613027591 140721613027888 140721613027888 140721613033455 0
/proc/132637/statm: 41404 37586 960 108 0 38812 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 169808 KiB
Current children cumulated memory: 153288 KiB

[startup+0.205576 s]*
/proc/loadavg: 0.20 0.12 0.10 6/269 132663
/proc/meminfo: memFree=100035516/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132637] ppid=132633 vsize=181580 memory=168232 CPUtime=0.19 cores=5,7
/proc/132637/stat : 132637 (pbsuma) R 132633 132633 132581 0 -1 4194304 9023 0 0 0 15 4 0 0 20 0 1 0 183982411 185937920 42058 18446744073709551615 4210688 4653049 140721613021584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 9428992 140721613027591 140721613027888 140721613027888 140721613033455 0
/proc/132637/statm: 45395 42058 960 108 0 42803 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 185772 KiB
Current children cumulated memory: 171176 KiB

[startup+0.305641 s]*
/proc/loadavg: 0.20 0.12 0.10 5/269 132663
/proc/meminfo: memFree=99787512/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132637] ppid=132633 vsize=195576 memory=185504 CPUtime=0.29 cores=5,7
/proc/132637/stat : 132637 (pbsuma) R 132633 132633 132581 0 -1 4194304 12324 0 0 0 24 5 0 0 20 0 1 0 183982411 200269824 46376 18446744073709551615 4210688 4653049 140721613021584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 9428992 140721613027591 140721613027888 140721613027888 140721613033455 0
/proc/132637/statm: 48894 46376 960 108 0 46302 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199768 KiB
Current children cumulated memory: 188448 KiB

[startup+0.700202 s]
/proc/loadavg: 0.20 0.12 0.10 5/269 132663
/proc/meminfo: memFree=99577192/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132637] ppid=132633 vsize=349116 memory=291380 CPUtime=0.68 cores=5,7
/proc/132637/stat : 132637 (pbsuma) R 132633 132633 132581 0 -1 4194304 25200 0 0 0 59 9 0 0 20 0 1 0 183982411 357494784 72845 18446744073709551615 4210688 4653049 140721613021584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 9428992 140721613027591 140721613027888 140721613027888 140721613033455 0
/proc/132637/statm: 87279 72845 1024 108 0 84687 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 353308 KiB
Current children cumulated memory: 294324 KiB

[startup+1.50018 s]
/proc/loadavg: 0.20 0.12 0.10 5/269 132665
/proc/meminfo: memFree=99741968/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=109180 memory=63832 CPUtime=0.62 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 13727 0 0 0 50 12 0 0 20 0 1 0 183982498 111800320 15958 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 27295 15958 2016 1147 0 14721 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 113372 KiB
Current children cumulated memory: 66776 KiB

[startup+3.10545 s]
/proc/loadavg: 0.20 0.12 0.10 5/269 132666
/proc/meminfo: memFree=99484220/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=258172 memory=198216 CPUtime=2.22 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 45270 0 0 0 178 44 0 0 20 0 1 0 183982498 264368128 49554 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 64543 49554 2016 1147 0 51969 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 262364 KiB
Current children cumulated memory: 201160 KiB

[startup+6.3002 s]
/proc/loadavg: 0.50 0.18 0.12 5/269 132666
/proc/meminfo: memFree=97946156/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=1067540 memory=807840 CPUtime=5.4 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 90597 0 0 0 461 79 0 0 20 0 1 0 183982498 1093160960 201960 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 266885 201960 2304 1147 0 254311 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1071732 KiB
Current children cumulated memory: 810784 KiB

[startup+12.7002 s]
/proc/loadavg: 0.78 0.25 0.14 5/266 132680
/proc/meminfo: memFree=97740748/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=1240660 memory=929168 CPUtime=11.77 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 104188 0 0 0 1079 98 0 0 20 0 1 0 183982498 1270435840 232292 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 310165 232292 2400 1147 0 297591 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1244852 KiB
Current children cumulated memory: 932112 KiB

[startup+25.5002 s]
/proc/loadavg: 1.50 0.43 0.20 5/264 132745
/proc/meminfo: memFree=97217532/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=1365576 memory=1046508 CPUtime=24.53 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 113058 0 0 0 2301 152 0 0 20 0 1 0 183982498 1398349824 261627 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 341394 261627 2400 1147 0 328820 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1369768 KiB
Current children cumulated memory: 1049452 KiB

[startup+51.1056 s]
/proc/loadavg: 2.61 0.78 0.32 5/269 132868
/proc/meminfo: memFree=96074176/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=1448832 memory=1102168 CPUtime=50.04 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 119338 0 0 0 4829 175 0 0 20 0 1 0 183982498 1483603968 275542 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 362208 275542 2400 1147 0 349634 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1453024 KiB
Current children cumulated memory: 1105112 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.33 0.54 5/269 132870
/proc/meminfo: memFree=93905744/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=1636068 memory=1304956 CPUtime=101.06 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 143364 0 0 0 9884 222 0 0 20 0 1 0 183982498 1675333632 326239 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 409017 326239 2400 1147 0 396443 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1640260 KiB
Current children cumulated memory: 1307900 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 1.91 0.79 5/273 132876
/proc/meminfo: memFree=91092792/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=2122564 memory=1644708 CPUtime=160.85 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 193258 0 0 0 15795 290 0 0 20 0 1 0 183982498 2173505536 411177 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 530641 411177 2400 1147 0 518067 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 2126756 KiB
Current children cumulated memory: 1647652 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 2.37 1.02 5/273 132878
/proc/meminfo: memFree=88882692/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=2147028 memory=1719844 CPUtime=220.64 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 201447 0 0 0 21743 321 0 0 20 0 1 0 183982498 2198556672 429961 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 536757 429961 2400 1147 0 524183 0
Current children cumulated CPU time: 221.48 s

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

[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3125272 memory=2547884 CPUtime=3090.3 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 420170 0 0 0 306563 2467 0 0 20 0 1 0 183982498 3200278528 636971 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 781318 636971 2528 1147 0 768744 0
Current children cumulated CPU time: 3091.14 s
Current children cumulated vsize: 3129464 KiB
Current children cumulated memory: 2550828 KiB

[startup+3162.3 s]
/proc/loadavg: 4.33 4.34 4.25 5/268 133037
/proc/meminfo: memFree=807528/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3125272 memory=2547884 CPUtime=3150.08 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 420173 0 0 0 312477 2531 0 0 20 0 1 0 183982498 3200278528 636971 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 781318 636971 2528 1147 0 768744 0
Current children cumulated CPU time: 3150.92 s
Current children cumulated vsize: 3129464 KiB
Current children cumulated memory: 2550828 KiB

[startup+3222.3 s]
/proc/loadavg: 4.46 4.37 4.27 5/267 133039
/proc/meminfo: memFree=830728/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3123128 memory=2545744 CPUtime=3209.87 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 443424 0 0 0 318397 2590 0 0 20 0 1 0 183982498 3198083072 636436 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 780782 636436 2528 1147 0 768208 0
Current children cumulated CPU time: 3210.71 s
Current children cumulated vsize: 3127320 KiB
Current children cumulated memory: 2548688 KiB

[startup+3282.3 s]
/proc/loadavg: 4.37 4.36 4.27 5/267 133041
/proc/meminfo: memFree=956964/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3123128 memory=2545744 CPUtime=3269.65 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 443483 0 0 0 324277 2688 0 0 20 0 1 0 183982498 3198083072 636436 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 780782 636436 2528 1147 0 768208 0
Current children cumulated CPU time: 3270.49 s
Current children cumulated vsize: 3127320 KiB
Current children cumulated memory: 2548688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.43 4.39 4.28 5/267 133043
/proc/meminfo: memFree=826792/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3123128 memory=2545744 CPUtime=3329.44 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 443487 0 0 0 330186 2758 0 0 20 0 1 0 183982498 3198083072 636436 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 780782 636436 2528 1147 0 768208 0
Current children cumulated CPU time: 3330.28 s
Current children cumulated vsize: 3127320 KiB
Current children cumulated memory: 2548688 KiB

[startup+3402.3 s]
/proc/loadavg: 4.43 4.39 4.29 5/267 133045
/proc/meminfo: memFree=805064/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3123128 memory=2545744 CPUtime=3389.22 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 443660 0 0 0 336082 2840 0 0 20 0 1 0 183982498 3198083072 636436 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 780782 636436 2528 1147 0 768208 0
Current children cumulated CPU time: 3390.06 s
Current children cumulated vsize: 3127320 KiB
Current children cumulated memory: 2548688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.53 4.43 4.31 5/267 133047
/proc/meminfo: memFree=799248/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3177836 memory=2599812 CPUtime=3449.02 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 466825 0 0 0 341979 2923 0 0 20 0 1 0 183982498 3254104064 649953 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 794459 649953 2528 1147 0 781885 0
Current children cumulated CPU time: 3449.86 s
Current children cumulated vsize: 3182028 KiB
Current children cumulated memory: 2602756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.51 4.44 4.32 6/266 133049
/proc/meminfo: memFree=969048/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3177836 memory=2599940 CPUtime=3508.8 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 466882 0 0 0 347867 3013 0 0 20 0 1 0 183982498 3254104064 649985 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 794459 649985 2528 1147 0 781885 0
Current children cumulated CPU time: 3509.64 s
Current children cumulated vsize: 3182028 KiB
Current children cumulated memory: 2602884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.45 4.33 6/268 133053
/proc/meminfo: memFree=742396/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3133396 memory=2545972 CPUtime=3568.58 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 478986 0 0 0 353755 3103 0 0 20 0 1 0 183982498 3208597504 636493 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 783349 636493 2528 1147 0 770775 0
Current children cumulated CPU time: 3569.42 s
Current children cumulated vsize: 3137588 KiB
Current children cumulated memory: 2548916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.36 4.42 4.32 3/258 133070
/proc/meminfo: memFree=4421616/131249988 swapFree=33010416/33010684
[pid=132633] ppid=132626 vsize=4192 memory=2944 CPUtime=0.84 cores=5,7
/proc/132633/stat : 132633 (run-opt-ls-log.) S 132626 132633 132581 0 -1 4194304 238 27744 0 0 0 0 74 10 20 0 1 0 183982411 4292608 736 18446744073709551615 94569283416064 94569284310597 140726883103744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94569284549648 94569284597392 94569309868032 140726883109183 140726883109343 140726883109343 140726883114947 0
/proc/132633/statm: 1048 736 672 219 0 110 0
[pid=132664] ppid=132633 vsize=3133396 memory=2545972 CPUtime=3599.17 cores=5,7
/proc/132664/stat : 132664 (roundingsat) R 132633 132633 132581 0 -1 4194304 479101 0 0 0 356771 3146 0 0 20 0 1 0 183982498 3208597504 636493 18446744073709551615 4227072 8923577 140736354238992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 11218944 140736354244890 140736354245158 140736354245158 140736354250730 0
/proc/132664/statm: 783349 636493 2528 1147 0 770775 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3137588 KiB
Current children cumulated memory: 2548916 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3613.11 s]*
/proc/loadavg: 4.36 4.42 4.32 3/257 133070
/proc/meminfo: memFree=5948748/131249988 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.855811 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3613.14
CPU time (s): 3600.17
CPU user time (s): 3568.55
CPU system time (s): 31.6278
CPU usage (%): 99.6411
Max. virtual memory (cumulated for all children) (KiB): 3238412
Max. memory (cumulated for all children) (KiB): 2659560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.55
system time used= 31.6278
maximum resident set size= 2656616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 73909864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 21599


# summary of solver processes directly reported to runsolver:
#   pid: 132633,132664
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3568.55
#   total CPU system time (s): 31.6278

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91316 second user time and 14.1167 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-16 18:23:59
IDJOB=4531827
IDBENCH=147555
IDSOLVER=3392
FILE ID=nodeC031/4531827-1752683038
RUNJOBID= nodeC031-1752683038-132601
SLURM_JOB_ID= 9686926
Free space on /tmp= 431820 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=210464024

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        100446616 kB
MemAvailable:   129581776 kB
Buffers:            2128 kB
Cached:         29822924 kB
SwapCached:           12 kB
Active:           962600 kB
Inactive:       28950264 kB
Active(anon):     103912 kB
Inactive(anon):    10468 kB
Active(file):     858688 kB
Inactive(file): 28939796 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             92352 kB
Writeback:             0 kB
AnonPages:         91560 kB
Mapped:           108244 kB
Shmem:             26244 kB
KReclaimable:     351828 kB
Slab:             450052 kB
SReclaimable:     351828 kB
SUnreclaim:        98224 kB
KernelStack:        4096 kB
PageTables:         2876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     367752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 298400 MiB
End job on nodeC031 at 2025-07-16 19:24:12