Trace number 4489465

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22adSAT (TO)383 3601.22 3618.92

General information on the benchmark

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

Verifier Data 

OK	383

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=51767, runsolver pid=51764

[startup+0.100066 s]*
/proc/loadavg: 4.11 4.10 4.08 5/272 51769
/proc/meminfo: memFree=128543996/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51769] ppid=51767 vsize=166276 memory=151112 CPUtime=0.09 cores=5,7
/proc/51769/stat : 51769 (pbsuma) R 51767 51767 51293 0 -1 4194304 4844 0 0 0 6 3 0 0 20 0 1 0 51098112 170266624 37778 18446744073709551615 4210688 4653049 140734598213008 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 32366592 140734598220003 140734598220338 140734598220338 140734598225903 0
/proc/51769/statm: 41569 37778 928 108 0 38977 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 170468 KiB
Current children cumulated memory: 154184 KiB

[startup+0.205664 s]*
/proc/loadavg: 4.11 4.10 4.08 5/272 51769
/proc/meminfo: memFree=128529568/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51769] ppid=51767 vsize=182372 memory=170392 CPUtime=0.19 cores=5,7
/proc/51769/stat : 51769 (pbsuma) R 51767 51767 51293 0 -1 4194304 9086 0 0 0 16 3 0 0 20 0 1 0 51098112 186748928 42598 18446744073709551615 4210688 4653049 140734598213008 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 32366592 140734598220003 140734598220338 140734598220338 140734598225903 0
/proc/51769/statm: 45593 42598 928 108 0 43001 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 186564 KiB
Current children cumulated memory: 173464 KiB

[startup+0.305627 s]*
/proc/loadavg: 4.11 4.10 4.08 5/272 51769
/proc/meminfo: memFree=128506008/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51769] ppid=51767 vsize=196632 memory=185188 CPUtime=0.29 cores=5,7
/proc/51769/stat : 51769 (pbsuma) R 51767 51767 51293 0 -1 4194304 12294 0 0 0 25 4 0 0 20 0 1 0 51098112 201351168 46297 18446744073709551615 4210688 4653049 140734598213008 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 32366592 140734598220003 140734598220338 140734598220338 140734598225903 0
/proc/51769/statm: 49158 46297 928 108 0 46566 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 200824 KiB
Current children cumulated memory: 188260 KiB

[startup+0.700193 s]
/proc/loadavg: 4.11 4.10 4.08 5/272 51769
/proc/meminfo: memFree=128429076/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51769] ppid=51767 vsize=376720 memory=304024 CPUtime=0.68 cores=5,7
/proc/51769/stat : 51769 (pbsuma) R 51767 51767 51293 0 -1 4194304 29208 0 0 0 59 9 0 0 20 0 1 0 51098112 385761280 76006 18446744073709551615 4210688 4653049 140734598213008 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 32366592 140734598220003 140734598220338 140734598220338 140734598225903 0
/proc/51769/statm: 94180 76006 1024 108 0 91588 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 380912 KiB
Current children cumulated memory: 307096 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.08 5/272 51770
/proc/meminfo: memFree=128533096/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=85188 memory=37960 CPUtime=0.63 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 7583 0 0 0 50 13 0 0 20 0 1 0 51098197 87232512 9490 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 21297 9490 1952 1147 0 8724 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 89380 KiB
Current children cumulated memory: 41032 KiB

[startup+3.10548 s]
/proc/loadavg: 4.10 4.10 4.08 5/272 51770
/proc/meminfo: memFree=128433832/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=209900 memory=135600 CPUtime=2.23 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 24351 0 0 0 175 48 0 0 20 0 1 0 51098197 214937600 33900 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 52475 33900 2240 1147 0 39902 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 214092 KiB
Current children cumulated memory: 138672 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.10 4.08 5/272 51770
/proc/meminfo: memFree=127744204/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=935420 memory=678076 CPUtime=5.42 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 54632 0 0 0 467 75 0 0 20 0 1 0 51098197 957870080 169519 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 233855 169519 2336 1147 0 221282 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 939612 KiB
Current children cumulated memory: 681148 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.08 5/272 51770
/proc/meminfo: memFree=127527876/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=1095400 memory=791792 CPUtime=11.8 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 65308 0 0 0 1081 99 0 0 20 0 1 0 51098197 1121689600 197948 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 273850 197948 2368 1147 0 261277 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1099592 KiB
Current children cumulated memory: 794864 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.08 5/272 51770
/proc/meminfo: memFree=127084700/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=1210296 memory=899508 CPUtime=24.57 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 71339 0 0 0 2307 150 0 0 20 0 1 0 51098197 1239343104 224877 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 302574 224877 2368 1147 0 290001 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1214488 KiB
Current children cumulated memory: 902580 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.10 4.08 5/274 51774
/proc/meminfo: memFree=126490304/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=1318184 memory=982852 CPUtime=49.85 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 77539 0 0 0 4811 174 0 0 20 0 1 0 51098197 1349820416 245713 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 329546 245713 2400 1147 0 316973 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 1322376 KiB
Current children cumulated memory: 985924 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/274 51776
/proc/meminfo: memFree=125520184/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=1368064 memory=1038104 CPUtime=100.91 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 82574 0 0 0 9867 224 0 0 20 0 1 0 51098197 1400897536 259526 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 342016 259526 2400 1147 0 329443 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 1372256 KiB
Current children cumulated memory: 1041176 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 51778
/proc/meminfo: memFree=124426020/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=1527272 memory=1154336 CPUtime=160.7 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 97520 0 0 0 15794 276 0 0 20 0 1 0 51098197 1563926528 288584 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 381818 288584 2400 1147 0 369245 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 1531464 KiB
Current children cumulated memory: 1157408 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/274 51781
/proc/meminfo: memFree=122729996/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=1764672 memory=1431536 CPUtime=220.51 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 140798 0 0 0 21695 356 0 0 20 0 1 0 51098197 1807024128 357884 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 441168 357884 2400 1147 0 428595 0

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

Current children cumulated memory: 2449292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/272 51965
/proc/meminfo: memFree=65381032/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=2847224 memory=2446220 CPUtime=3330.1 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 335793 0 0 0 329848 3162 0 0 20 0 1 0 51098197 2915557376 611555 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 711806 611555 2496 1147 0 699233 0
Current children cumulated CPU time: 3330.93 s
Current children cumulated vsize: 2851416 KiB
Current children cumulated memory: 2449292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 51974
/proc/meminfo: memFree=63749256/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=2928528 memory=2525924 CPUtime=3389.92 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 339826 0 0 0 335734 3258 0 0 20 0 1 0 51098197 2998812672 631481 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 732132 631481 2496 1147 0 719559 0
Current children cumulated CPU time: 3390.75 s
Current children cumulated vsize: 2932720 KiB
Current children cumulated memory: 2528996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.19 4.12 6/273 51976
/proc/meminfo: memFree=62279104/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=2928528 memory=2525924 CPUtime=3449.74 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 340254 0 0 0 341625 3349 0 0 20 0 1 0 51098197 2998812672 631481 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 732132 631481 2496 1147 0 719559 0
Current children cumulated CPU time: 3450.57 s
Current children cumulated vsize: 2932720 KiB
Current children cumulated memory: 2528996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/272 51978
/proc/meminfo: memFree=60861056/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=2821488 memory=2420484 CPUtime=3509.56 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 340511 0 0 0 347520 3436 0 0 20 0 1 0 51098197 2889203712 605121 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 705372 605121 2496 1147 0 692799 0
Current children cumulated CPU time: 3510.39 s
Current children cumulated vsize: 2825680 KiB
Current children cumulated memory: 2423556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/272 51980
/proc/meminfo: memFree=60124308/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=2829796 memory=2428644 CPUtime=3569.37 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 341707 0 0 0 353470 3467 0 0 20 0 1 0 51098197 2897711104 607161 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 707449 607161 2496 1147 0 694876 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 2833988 KiB
Current children cumulated memory: 2431716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.04 4.14 4.11 5/267 52016
/proc/meminfo: memFree=67585900/131250000 swapFree=33009904/33010684
[pid=51767] ppid=51764 vsize=4192 memory=3072 CPUtime=0.83 cores=5,7
/proc/51767/stat : 51767 (run-opt-break-l) S 51764 51767 51293 0 -1 4194304 242 29551 0 0 0 0 73 10 20 0 1 0 51098112 4292608 768 18446744073709551615 94826938642432 94826939536965 140737319208736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94826939776016 94826939823760 94826972102656 140737319213333 140737319213534 140737319213534 140737319219136 0
/proc/51767/statm: 1048 768 704 219 0 110 0
[pid=51770] ppid=51767 vsize=2847224 memory=2446220 CPUtime=3599.18 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51767 51767 51293 0 -1 4194304 346107 0 0 0 356407 3511 0 0 20 0 1 0 51098197 2915557376 611555 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 711806 611555 2496 1147 0 699233 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2851416 KiB
Current children cumulated memory: 2449292 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

[startup+0 s]*
/proc/loadavg: 4.04 4.14 4.11 4/263 52055
/proc/meminfo: memFree=73169868/131250000 swapFree=33009904/33010684
[pid=51770] ppid=51764 vsize=2847224 memory=2446348 CPUtime=3599.98 cores=5,7
/proc/51770/stat : 51770 (roundingsat) D 51764 51767 51293 0 -1 4194304 346110 0 0 0 356407 3591 0 0 20 0 1 0 51098197 2915557376 611587 18446744073709551615 4227072 8923433 140728087675520 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 9
/proc/51770/statm: 711806 611587 2528 1147 0 699233 0
??? kill 51770 sig 9
??? end of watcher thread

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

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

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

[startup+3612.8 s]
/proc/loadavg: 4.04 4.14 4.11 5/265 52026
/proc/meminfo: memFree=68088688/131250000 swapFree=33009904/33010684
[pid=51770] ppid=51764 vsize=2847224 memory=2446348 CPUtime=3599.77 cores=5,7
/proc/51770/stat : 51770 (roundingsat) R 51764 51767 51293 0 -1 4194304 346110 0 0 0 356407 3570 0 0 20 0 1 0 51098197 2915557376 611587 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 711806 611587 2528 1147 0 699233 0
Current cumulated CPU time of completed processes: 0.84513 s
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 2847224 KiB
Current children cumulated memory: 2446348 KiB

[startup+3613.6 s]
/proc/loadavg: 4.04 4.14 4.11 4/264 52036
/proc/meminfo: memFree=67767652/131250000 swapFree=33009904/33010684
[pid=51770] ppid=51764 vsize=2847224 memory=2446348 CPUtime=3599.93 cores=5,7
/proc/51770/stat : 51770 (roundingsat) D 51764 51767 51293 0 -1 4194304 346110 0 0 0 356407 3586 0 0 20 0 1 0 51098197 2915557376 611587 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 711806 611587 2528 1147 0 699233 0
Current cumulated CPU time of completed processes: 0.84513 s
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 2847224 KiB
Current children cumulated memory: 2446348 KiB

[startup+3614 s]*
/proc/loadavg: 4.04 4.14 4.11 6/263 52055
/proc/meminfo: memFree=69247348/131250000 swapFree=33009904/33010684
[pid=51770] ppid=51764 vsize=2847224 memory=2446348 CPUtime=3599.96 cores=5,7
/proc/51770/stat : 51770 (roundingsat) D 51764 51767 51293 0 -1 4194304 346110 0 0 0 356407 3589 0 0 20 0 1 0 51098197 2915557376 611587 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 711806 611587 2528 1147 0 699233 0
Current cumulated CPU time of completed processes: 0.84513 s
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 2847224 KiB
Current children cumulated memory: 2446348 KiB

[startup+3614.2 s]
/proc/loadavg: 4.04 4.14 4.11 6/263 52055
/proc/meminfo: memFree=69247348/131250000 swapFree=33009904/33010684
[pid=51770] ppid=51764 vsize=2847224 memory=2446348 CPUtime=3599.97 cores=5,7
/proc/51770/stat : 51770 (roundingsat) D 51764 51767 51293 0 -1 4194304 346110 0 0 0 356407 3590 0 0 20 0 1 0 51098197 2915557376 611587 18446744073709551615 4227072 8923433 140728087675520 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42303488 140728087681300 140728087681576 140728087681576 140728087687146 0
/proc/51770/statm: 711806 611587 2528 1147 0 699233 0
Current cumulated CPU time of completed processes: 0.84513 s
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 2847224 KiB
Current children cumulated memory: 2446348 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3618.92
CPU time (s): 3601.22
CPU user time (s): 3564.82
CPU system time (s): 36.4003
CPU usage (%): 99.511
Max. virtual memory (cumulated for all children) (KiB): 2932720
Max. memory (cumulated for all children) (KiB): 2529892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.82
system time used= 36.4004
maximum resident set size= 2526948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80410104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151762
involuntary context switches= 4384


# summary of solver processes directly reported to runsolver:
#   pid: 51767,51770
#   total CPU time (s): 3601.22
#   total CPU user time (s): 3564.82
#   total CPU system time (s): 36.4003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.44525 second user time and 14.5314 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-01 09:16:27
IDJOB=4489465
IDBENCH=147551
IDSOLVER=3360
FILE ID=nodeC033/4489465-1751354187
RUNJOBID= nodeC033-1751350557-51306
SLURM_JOB_ID= 9598139
Free space on /tmp= 432440 MiB

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

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=463247700

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128704540 kB
MemAvailable:   129712740 kB
Buffers:            2128 kB
Cached:          1806660 kB
SwapCached:           68 kB
Active:           344068 kB
Inactive:        1629192 kB
Active(anon):     158044 kB
Inactive(anon):    24528 kB
Active(file):     186024 kB
Inactive(file):  1604664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            219272 kB
Writeback:             0 kB
AnonPages:        167632 kB
Mapped:           118124 kB
Shmem:             18028 kB
KReclaimable:     113500 kB
Slab:             207508 kB
SReclaimable:     113500 kB
SUnreclaim:        94008 kB
KernelStack:        4400 kB
PageTables:         3580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     514584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432316 MiB
End job on nodeC033 at 2025-07-01 10:16:46