Trace number 4532378

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3SAT (TO)355 3600.06 3610.5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
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 benchmark240
Best CPU time to get the best result obtained on this benchmark72000.9
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 494314
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 494314
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	355

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532378-1752683038/watcher-4532378-1752683038 -o /tmp/evaluation-result-4532378-1752683038/solver-4532378-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752683038-139187 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532378-1752683038.opb /tmp/proof-4532378-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=139218, runsolver pid=139211

[startup+0.100062 s]*
/proc/loadavg: 0.09 0.09 0.09 4/258 139223
/proc/meminfo: memFree=103635916/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183981696 4292608 736 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 736 672 219 0 110 0
[pid=139221] ppid=139218 vsize=163668 memory=147216 CPUtime=0.07 cores=5,7
/proc/139221/stat : 139221 (pbsuma) R 139218 139218 139167 0 -1 4194304 4074 0 0 0 5 2 0 0 20 0 1 0 183981697 167596032 36804 18446744073709551615 4210688 4653049 140726374626336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 22212608 140726374635783 140726374636080 140726374636080 140726374641647 0
/proc/139221/statm: 40917 36804 992 108 0 38325 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 167860 KiB
Current children cumulated memory: 150160 KiB

[startup+0.205308 s]*
/proc/loadavg: 0.09 0.09 0.09 5/257 139227
/proc/meminfo: memFree=103590160/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183981696 4292608 736 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 736 672 219 0 110 0
[pid=139221] ppid=139218 vsize=181052 memory=167716 CPUtime=0.18 cores=5,7
/proc/139221/stat : 139221 (pbsuma) R 139218 139218 139167 0 -1 4194304 8860 0 0 0 14 4 0 0 20 0 1 0 183981697 185397248 41929 18446744073709551615 4210688 4653049 140726374626336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 22212608 140726374635783 140726374636080 140726374636080 140726374641647 0
/proc/139221/statm: 45263 41929 992 108 0 42671 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185244 KiB
Current children cumulated memory: 170660 KiB

[startup+0.305314 s]*
/proc/loadavg: 0.09 0.09 0.09 5/261 139237
/proc/meminfo: memFree=103545996/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183981696 4292608 736 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 736 672 219 0 110 0
[pid=139221] ppid=139218 vsize=194784 memory=182792 CPUtime=0.29 cores=5,7
/proc/139221/stat : 139221 (pbsuma) R 139218 139218 139167 0 -1 4194304 12123 0 0 0 24 5 0 0 20 0 1 0 183981697 199458816 45698 18446744073709551615 4210688 4653049 140726374626336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 22212608 140726374635783 140726374636080 140726374636080 140726374641647 0
/proc/139221/statm: 48696 45698 992 108 0 46104 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 198976 KiB
Current children cumulated memory: 185736 KiB

[startup+0.700199 s]
/proc/loadavg: 0.09 0.09 0.09 4/266 139248
/proc/meminfo: memFree=103435172/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 183981696 4292608 736 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 736 672 219 0 110 0
[pid=139221] ppid=139218 vsize=319216 memory=269160 CPUtime=0.67 cores=5,7
/proc/139221/stat : 139221 (pbsuma) R 139218 139218 139167 0 -1 4194304 24284 0 0 0 59 8 0 0 20 0 1 0 183981697 326877184 67290 18446744073709551615 4210688 4653049 140726374626336 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 22212608 140726374635783 140726374636080 140726374636080 140726374641647 0
/proc/139221/statm: 79804 67290 1056 108 0 77212 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 323408 KiB
Current children cumulated memory: 272104 KiB

[startup+1.50019 s]
/proc/loadavg: 0.09 0.09 0.09 5/267 139250
/proc/meminfo: memFree=103304916/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=77664 memory=33524 CPUtime=0.56 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 5991 0 0 0 44 12 0 0 20 0 1 0 183981788 79527936 8381 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 19416 8381 1984 1147 0 6842 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 81856 KiB
Current children cumulated memory: 36596 KiB

[startup+3.10527 s]
/proc/loadavg: 0.56 0.18 0.12 5/267 139251
/proc/meminfo: memFree=102887516/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=148072 memory=97236 CPUtime=2.16 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 20519 0 0 0 170 46 0 0 20 0 1 0 183981788 151625728 24309 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 37018 24309 1984 1147 0 24444 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 152264 KiB
Current children cumulated memory: 100308 KiB

[startup+6.30018 s]
/proc/loadavg: 0.56 0.18 0.12 4/265 139266
/proc/meminfo: memFree=101574660/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=935388 memory=681096 CPUtime=5.35 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 55837 0 0 0 458 77 0 0 20 0 1 0 183981788 957837312 170274 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 233847 170274 2368 1147 0 221273 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 939580 KiB
Current children cumulated memory: 684168 KiB

[startup+12.7002 s]
/proc/loadavg: 1.17 0.33 0.17 5/269 139303
/proc/meminfo: memFree=100962420/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=1096112 memory=794472 CPUtime=11.73 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 61163 0 0 0 1079 94 0 0 20 0 1 0 183981788 1122418688 198618 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 274028 198618 2432 1147 0 261454 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1100304 KiB
Current children cumulated memory: 797544 KiB

[startup+25.5002 s]
/proc/loadavg: 1.69 0.47 0.22 5/269 139303
/proc/meminfo: memFree=100107944/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=1205172 memory=886320 CPUtime=24.5 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 70425 0 0 0 2304 146 0 0 20 0 1 0 183981788 1234096128 221580 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 301293 221580 2432 1147 0 288719 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1209364 KiB
Current children cumulated memory: 889392 KiB

[startup+51.1053 s]
/proc/loadavg: 3.03 0.88 0.36 5/266 139383
/proc/meminfo: memFree=99937748/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=1221684 memory=909868 CPUtime=50.04 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 71747 0 0 0 4833 171 0 0 20 0 1 0 183981788 1251004416 227467 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 305421 227467 2432 1147 0 292847 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1225876 KiB
Current children cumulated memory: 912940 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 1.49 0.60 5/271 139407
/proc/meminfo: memFree=97230592/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=1372628 memory=1065676 CPUtime=101.07 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 87326 0 0 0 9888 219 0 0 20 0 1 0 183981788 1405571072 266419 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 343157 266419 2432 1147 0 330583 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1376820 KiB
Current children cumulated memory: 1068748 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 2.04 0.85 5/271 139409
/proc/meminfo: memFree=93905088/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=1491464 memory=1120944 CPUtime=160.91 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 94502 0 0 0 15819 272 0 0 20 0 1 0 183981788 1527259136 280236 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 372866 280236 2432 1147 0 360292 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1495656 KiB
Current children cumulated memory: 1124016 KiB

[startup+222.3 s]
/proc/loadavg: 4.46 2.49 1.08 5/272 139412
/proc/meminfo: memFree=90117588/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=1685364 memory=1387436 CPUtime=220.74 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 107730 0 0 0 21755 319 0 0 20 0 1 0 183981788 1725812736 346859 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 421341 346859 2496 1147 0 408767 0
Current children cumulated CPU time: 221.62 s

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

[pid=139250] ppid=139218 vsize=3013520 memory=2562992 CPUtime=3092.58 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 451344 0 0 0 305873 3385 0 0 20 0 1 0 183981788 3085844480 640748 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 753380 640748 2528 1147 0 740806 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 3017712 KiB
Current children cumulated memory: 2566064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.76 4.69 4.48 5/273 139634
/proc/meminfo: memFree=1223848/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3013520 memory=2562992 CPUtime=3152.41 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 451361 0 0 0 311744 3497 0 0 20 0 1 0 183981788 3085844480 640748 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 753380 640748 2528 1147 0 740806 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 3017712 KiB
Current children cumulated memory: 2566064 KiB

[startup+3222.3 s]
/proc/loadavg: 5.14 4.80 4.53 5/273 139636
/proc/meminfo: memFree=1231696/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3013520 memory=2562992 CPUtime=3212.24 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 451606 0 0 0 317628 3596 0 0 20 0 1 0 183981788 3085844480 640748 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 753380 640748 2528 1147 0 740806 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 3017712 KiB
Current children cumulated memory: 2566064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.74 4.74 4.53 5/272 139638
/proc/meminfo: memFree=1261228/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3013520 memory=2562992 CPUtime=3272.07 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 452344 0 0 0 323554 3653 0 0 20 0 1 0 183981788 3085844480 640748 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 753380 640748 2528 1147 0 740806 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 3017712 KiB
Current children cumulated memory: 2566064 KiB

[startup+3342.3 s]
/proc/loadavg: 4.46 4.66 4.52 5/272 139639
/proc/meminfo: memFree=1085656/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3013520 memory=2649008 CPUtime=3331.9 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 453446 0 0 0 329489 3701 0 0 20 0 1 0 183981788 3085844480 662252 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 753380 662252 2528 1147 0 740806 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 3017712 KiB
Current children cumulated memory: 2652080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.40 4.62 4.52 5/271 139641
/proc/meminfo: memFree=1054432/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3013520 memory=2687920 CPUtime=3391.72 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 453587 0 0 0 335390 3782 0 0 20 0 1 0 183981788 3085844480 671980 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 753380 671980 2528 1147 0 740806 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 3017712 KiB
Current children cumulated memory: 2690992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.59 4.51 5/269 139643
/proc/meminfo: memFree=1137540/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3016288 memory=2687920 CPUtime=3451.55 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 454368 0 0 0 341268 3887 0 0 20 0 1 0 183981788 3088678912 671980 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 754072 671980 2528 1147 0 741498 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 3020480 KiB
Current children cumulated memory: 2690992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.44 4.56 4.51 5/270 139646
/proc/meminfo: memFree=1062704/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3043276 memory=2707396 CPUtime=3511.38 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 457742 0 0 0 347153 3985 0 0 20 0 1 0 183981788 3116314624 676849 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 760819 676849 2528 1147 0 748245 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 3047468 KiB
Current children cumulated memory: 2710468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.66 4.60 4.53 5/269 139648
/proc/meminfo: memFree=1090024/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3049596 memory=2713700 CPUtime=3571.2 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 463123 0 0 0 353057 4063 0 0 20 0 1 0 183981788 3122786304 678425 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 762399 678425 2528 1147 0 749825 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 3053788 KiB
Current children cumulated memory: 2716772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.55 4.58 4.52 5/269 139649
/proc/meminfo: memFree=1172240/131249996 swapFree=33000896/33010684
[pid=139218] ppid=139211 vsize=4192 memory=3072 CPUtime=0.88 cores=5,7
/proc/139218/stat : 139218 (run-opt-break-l) S 139211 139218 139167 0 -1 4194304 237 29230 0 0 0 0 78 10 20 0 1 0 183981696 4292608 768 18446744073709551615 94020914900992 94020915795525 140724721158800 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94020916034576 94020916082320 94020942749696 140724721162553 140724721162716 140724721162716 140724721168320 0
/proc/139218/statm: 1048 768 704 219 0 110 0
[pid=139250] ppid=139218 vsize=3049596 memory=2713700 CPUtime=3599.12 cores=5,7
/proc/139250/stat : 139250 (roundingsat) R 139218 139218 139167 0 -1 4194304 463675 0 0 0 355804 4108 0 0 20 0 1 0 183981788 3122786304 678425 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 762399 678425 2528 1147 0 749825 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3053788 KiB
Current children cumulated memory: 2716772 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.790241 s, system=0.108581 s

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

# cumulated CPU time of all completed processes:  user=3558.85 s, system=41.2078 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+3610.4 s]*
/proc/loadavg: 4.55 4.58 4.52 4/268 139649
/proc/meminfo: memFree=1140688/131249996 swapFree=33000896/33010684
[pid=139250] ppid=139211 vsize=3049596 memory=2713700 CPUtime=3599.12 cores=5,7
/proc/139250/stat : 139250 (roundingsat) D 139211 139218 139167 0 -1 4194304 463675 0 0 0 355804 4108 0 0 20 0 1 0 183981788 3122786304 678425 18446744073709551615 4227072 8923577 140723255196048 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 18538496 140723255200056 140723255200294 140723255200294 140723255205866 0
/proc/139250/statm: 762399 678425 2528 1147 0 749825 0
Current cumulated CPU time of completed processes: 0.898822 s
Current children cumulated CPU time: 3599.12 s
Current children cumulated vsize: 3049596 KiB
Current children cumulated memory: 2713700 KiB

Child status: 2

Real time (s): 3610.5
CPU time (s): 3600.06
CPU user time (s): 3558.85
CPU system time (s): 41.2078
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 3145728
Max. memory (cumulated for all children) (KiB): 2817800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.85
system time used= 41.2078
maximum resident set size= 2815832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493247
page faults= 2
swaps= 0
block input operations= 3496
block output operations= 99794864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279
involuntary context switches= 21158


# summary of solver processes directly reported to runsolver:
#   pid: 139218,139250
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3558.85
#   total CPU system time (s): 41.2078

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02789 second user time and 15.7249 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-16 18:23:58
IDJOB=4532378
IDBENCH=147563
IDSOLVER=3393
FILE ID=nodeC023/4532378-1752683038
RUNJOBID= nodeC023-1752683038-139187
SLURM_JOB_ID= 9686918
Free space on /tmp= 432960 MiB

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

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=210464024

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.877
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		: 3593.922
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		: 3600.875
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		: 3619.866
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.647
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.988
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.656
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		: 3599.849
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:       131249996 kB
MemFree:        103808464 kB
MemAvailable:   129677212 kB
Buffers:              16 kB
Cached:         26615684 kB
SwapCached:         2860 kB
Active:           425628 kB
Inactive:       26269720 kB
Active(anon):      47924 kB
Inactive(anon):    52568 kB
Active(file):     377704 kB
Inactive(file): 26217152 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31580 kB
Writeback:             0 kB
AnonPages:         79972 kB
Mapped:           102544 kB
Shmem:             20804 kB
KReclaimable:     226260 kB
Slab:             322508 kB
SReclaimable:     226260 kB
SUnreclaim:        96248 kB
KernelStack:        4048 kB
PageTables:         2936 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     350936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 248560 MiB
End job on nodeC023 at 2025-07-16 19:24:09