Trace number 4489879

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)483 3600.63 3626.1

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
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 benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
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 497468
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 497468
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4489879-1751371625.opb'
0.28/0.35	c 	read 17.23MB  (340.21ms)
0.28/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.28/0.35	c output proof to 'PROOFDIR/proof-4489879-1751371625'
0.28/0.35	c 
0.28/0.35	c make graph and approximate orbits
0.58/0.69	c	 [group: #orbits ~= 0] (336.35ms)
0.58/0.69	c 
0.58/0.69	c detect special group actions
0.58/0.69	c 	probe for Johnson action (limit=64)
0.58/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.71	c 	 (19.39ms)
0.67/0.71	c 
0.67/0.71	c detect symmetries on remainder
0.67/0.71	c 	[graph: #vertices 706680 #edges 2766358]
0.67/0.72	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.67/0.76	c 	 [group: #symmetries 1.00*10^0 #generators 0] (50.01ms)
0.67/0.76	c 
0.67/0.76	c finalize break order and special generators
0.67/0.76	c 
0.67/0.76	c generation finished
0.67/0.76	c 	[sbp: #constraints 0 #add_vars 0]
0.67/0.76	c 
0.67/0.76	c write result to 'HOME/instance-4489879-1751371625.opb.pre'
0.77/0.80	c 	wrote 17.23MB (35.47ms)
0.77/0.80	c ------------------------------------------------------------------
0.77/0.80	c                 340.21ms 43.33% parse
0.77/0.80	c                 336.35ms 42.84% approx_orbits
0.77/0.80	c                  50.01ms  6.37% detect_generic
0.77/0.80	c                  35.47ms  4.52% output
0.77/0.80	c                  19.39ms  2.47% detect_special
0.77/0.80	c                   3.30ms  0.42% other
0.77/0.80	c                   0.39ms  0.05% finalize_order
0.77/0.80	c         ───────────────────────────────────────────────
0.77/0.80	c                 785.12ms   100% total
0.77/0.80	c ------------------------------------------------------------------
0.87/0.93	c RoundingSat 2
0.87/0.93	c branch pb25
0.87/0.93	c commit 63f22ad
4.44/4.50	c #variables 10000 #constraints 656900
4.44/4.50	c objective is ce32 
4.44/4.50	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.44/4.50	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.44/4.50	c bounds - >= 0 @ 2.87561
6.13/6.29	c rational objective 160.199
11.22/11.32	c bounds 6900 >= 0 @ 9.55558
11.22/11.35	c bounds 6811 >= 0 @ 9.57317
11.22/11.36	c bounds 6793 >= 0 @ 9.57902
11.22/11.36	c bounds 6743 >= 0 @ 9.58545
11.22/11.37	c bounds 6620 >= 0 @ 9.59211
11.22/11.38	c bounds 6265 >= 0 @ 9.59884
11.22/11.39	c bounds 6215 >= 0 @ 9.60473
11.32/11.40	c bounds 5907 >= 0 @ 9.61049
11.32/11.42	c bounds 5892 >= 0 @ 9.62026
11.32/11.43	c bounds 5695 >= 0 @ 9.62593
11.32/11.44	c bounds 5617 >= 0 @ 9.63789
11.32/11.45	c bounds 5477 >= 0 @ 9.64463
11.32/11.46	c bounds 5389 >= 0 @ 9.65033
11.32/11.47	c bounds 5381 >= 0 @ 9.65978
11.32/11.48	c bounds 5248 >= 0 @ 9.6657
11.32/11.49	c bounds 4920 >= 0 @ 9.67481
11.42/11.52	c bounds 4914 >= 0 @ 9.70887
11.42/11.53	c bounds 4898 >= 0 @ 9.71592
11.42/11.54	c bounds 4817 >= 0 @ 9.72395
11.42/11.55	c bounds 4751 >= 0 @ 9.73124
11.42/11.56	c bounds 4702 >= 0 @ 9.73939
11.42/11.57	c bounds 4684 >= 0 @ 9.74863
11.42/11.58	c bounds 4677 >= 0 @ 9.75593
11.42/11.59	c bounds 4637 >= 0 @ 9.7623
11.52/11.61	c bounds 4616 >= 0 @ 9.77355
11.52/11.61	c bounds 4542 >= 0 @ 9.78059
11.52/11.62	c bounds 4463 >= 0 @ 9.78801
11.52/11.64	c bounds 4371 >= 0 @ 9.79447
11.52/11.65	c bounds 4275 >= 0 @ 9.80219
11.52/11.66	c bounds 4224 >= 0 @ 9.80823
11.52/11.67	c bounds 3975 >= 0 @ 9.81759
11.52/11.68	c bounds 3913 >= 0 @ 9.82466
11.52/11.69	c bounds 3833 >= 0 @ 9.83169
11.61/11.70	c bounds 3792 >= 0 @ 9.84125
11.61/11.71	c bounds 3789 >= 0 @ 9.84654
11.71/11.82	c bounds 3782 >= 0 @ 9.94989
11.71/11.83	c bounds 3780 >= 0 @ 9.96014
11.71/11.84	c bounds 3779 >= 0 @ 9.96566
11.82/11.96	c bounds 3757 >= 0 @ 10.0724
11.82/11.96	c bounds 3755 >= 0 @ 10.0792
11.92/12.00	c bounds 3737 >= 0 @ 10.1134
11.92/12.01	c bounds 3706 >= 0 @ 10.1203
11.92/12.02	c bounds 3626 >= 0 @ 10.1273
11.92/12.03	c bounds 3604 >= 0 @ 10.1344
12.02/12.14	c bounds 3467 >= 0 @ 10.2441
12.02/12.15	c bounds 3398 >= 0 @ 10.2516
12.02/12.17	c bounds 3351 >= 0 @ 10.2608
12.12/12.21	c bounds 3336 >= 0 @ 10.2962
12.12/12.23	c bounds 3322 >= 0 @ 10.3161
12.12/12.24	c bounds 3199 >= 0 @ 10.3232
12.12/12.25	c bounds 3144 >= 0 @ 10.3291
12.12/12.27	c bounds 3131 >= 0 @ 10.3414
12.12/12.28	c bounds 3106 >= 0 @ 10.3555
12.22/12.30	c bounds 3080 >= 0 @ 10.3674
12.22/12.31	c bounds 2889 >= 0 @ 10.3756
12.31/12.47	c bounds 2878 >= 0 @ 10.5307
12.31/12.48	c bounds 2727 >= 0 @ 10.5361
12.41/12.50	c bounds 2726 >= 0 @ 10.5524
12.41/12.52	c bounds 2663 >= 0 @ 10.5617
12.61/12.70	c bounds 2661 >= 0 @ 10.7454
12.61/12.71	c bounds 2660 >= 0 @ 10.7523
12.71/12.81	c bounds 2659 >= 0 @ 10.8515
12.71/12.83	c bounds 2634 >= 0 @ 10.8602
12.91/13.08	c bounds 2633 >= 0 @ 11.098
12.91/13.09	c bounds 2620 >= 0 @ 11.1062
13.02/13.10	c bounds 2574 >= 0 @ 11.1133
13.02/13.11	c bounds 2509 >= 0 @ 11.1204
13.02/13.13	c bounds 2462 >= 0 @ 11.1282
13.02/13.14	c bounds 2461 >= 0 @ 11.1352
13.02/13.15	c bounds 2362 >= 0 @ 11.1413
13.02/13.16	c bounds 2317 >= 0 @ 11.1495
13.02/13.18	c bounds 2105 >= 0 @ 11.1589
13.02/13.19	c bounds 2072 >= 0 @ 11.167
13.11/13.21	c bounds 2055 >= 0 @ 11.1876
13.11/13.23	c bounds 1948 >= 0 @ 11.1977
13.51/13.66	c bounds 1943 >= 0 @ 11.6209
13.61/13.70	c bounds 1935 >= 0 @ 11.6565
13.61/13.71	c bounds 1906 >= 0 @ 11.6655
13.61/13.72	c bounds 1851 >= 0 @ 11.6751
13.61/13.74	c bounds 1845 >= 0 @ 11.6818
13.71/13.85	c bounds 1784 >= 0 @ 11.7955
13.71/13.87	c bounds 1768 >= 0 @ 11.8081
13.71/13.89	c bounds 1673 >= 0 @ 11.816
13.81/13.90	c bounds 1616 >= 0 @ 11.8255
13.81/13.92	c bounds 1615 >= 0 @ 11.8411
13.81/13.94	c bounds 1562 >= 0 @ 11.8518
13.81/13.95	c bounds 1353 >= 0 @ 11.8612
13.81/13.97	c bounds 1319 >= 0 @ 11.8681
13.81/13.98	c bounds 1213 >= 0 @ 11.877
13.81/14.00	c bounds 1082 >= 0 @ 11.8859
13.91/14.01	c bounds 1046 >= 0 @ 11.8916
13.91/14.03	c bounds 1001 >= 0 @ 11.8998
13.91/14.03	c bounds 994 >= 0 @ 11.9077
14.11/14.20	c bounds 966 >= 0 @ 12.065
14.11/14.21	c bounds 964 >= 0 @ 12.0712
14.11/14.22	c bounds 952 >= 0 @ 12.078
14.31/14.40	c bounds 946 >= 0 @ 12.2487
14.31/14.41	c bounds 940 >= 0 @ 12.2566
14.31/14.43	c bounds 891 >= 0 @ 12.2634
14.51/14.68	c #Conflicts:       1000 | #Constraints:     658005
14.51/14.68	c bounds 873 >= 0 @ 12.5054
14.51/14.69	c bounds 860 >= 0 @ 12.5164
14.61/14.70	c bounds 859 >= 0 @ 12.5225
14.61/14.71	c bounds 855 >= 0 @ 12.5294
14.80/14.97	c bounds 852 >= 0 @ 12.7807
14.91/15.03	c bounds 823 >= 0 @ 12.8356
15.31/15.43	c bounds 752 >= 0 @ 13.2129
15.31/15.44	c bounds 750 >= 0 @ 13.2212
15.91/16.04	c bounds 742 >= 0 @ 13.7966
21.47/21.65	c #Conflicts:       2000 | #Constraints:     659015
21.47/21.65	c INPROCESSING
21.47/21.65	c GARBAGE COLLECT
21.47/21.65	c #Conflicts:       3000 | #Constraints:     658914
21.47/21.65	c bounds 663 >= 0 @ 19.2967
21.47/21.67	c bounds 659 >= 0 @ 19.3117
21.47/21.69	c bounds 656 >= 0 @ 19.3265
21.58/21.70	c bounds 652 >= 0 @ 19.3331
21.58/21.72	c bounds 645 >= 0 @ 19.3507
21.58/21.73	c bounds 639 >= 0 @ 19.3601
21.58/21.75	c bounds 633 >= 0 @ 19.378
21.78/21.95	c bounds 632 >= 0 @ 19.5673
21.78/21.96	c bounds 626 >= 0 @ 19.5761
22.27/22.46	c bounds 618 >= 0 @ 20.0582
22.38/22.58	c bounds 589 >= 0 @ 20.1755
22.67/22.80	c bounds 588 >= 0 @ 20.3806
24.76/24.93	c #Conflicts:       4000 | #Constraints:     659926
24.76/24.93	c INPROCESSING
24.76/24.93	c GARBAGE COLLECT
24.76/24.93	c bounds 584 >= 0 @ 22.4784
33.63/33.81	c #Conflicts:       5000 | #Constraints:     659316
33.63/33.81	c #Conflicts:       6000 | #Constraints:     660316
33.63/33.81	c INPROCESSING
33.63/33.81	c GARBAGE COLLECT
33.63/33.81	c bounds 581 >= 0 @ 31.2207
34.34/34.50	c bounds 579 >= 0 @ 31.9
98.62/99.07	c #Conflicts:       7000 | #Constraints:     659333
98.62/99.07	c #Conflicts:       8000 | #Constraints:     660353
98.62/99.07	c #Conflicts:       9000 | #Constraints:     661371
98.62/99.07	c INPROCESSING
98.62/99.07	c GARBAGE COLLECT
98.62/99.07	c #Conflicts:      10000 | #Constraints:     660050
98.62/99.07	c #Conflicts:      11000 | #Constraints:     661050
98.62/99.07	c #Conflicts:      12000 | #Constraints:     662050
98.62/99.07	c INPROCESSING
98.62/99.07	c GARBAGE COLLECT
98.62/99.07	c #Conflicts:      13000 | #Constraints:     660487
98.62/99.07	c #Conflicts:      14000 | #Constraints:     661487
98.62/99.07	c #Conflicts:      15000 | #Constraints:     662487
98.62/99.07	c INPROCESSING
98.62/99.07	c GARBAGE COLLECT
98.62/99.07	c #Conflicts:      16000 | #Constraints:     660715
98.62/99.07	c #Conflicts:      17000 | #Constraints:     661715
98.62/99.07	c #Conflicts:      18000 | #Constraints:     662715
98.62/99.07	c INPROCESSING
98.62/99.07	c GARBAGE COLLECT
98.62/99.07	c rational objective 161.125
118.13/118.63	c #Conflicts:      19000 | #Constraints:     660734
118.13/118.63	c #Conflicts:      20000 | #Constraints:     661734
118.13/118.63	c #Conflicts:      21000 | #Constraints:     662734
118.13/118.63	c INPROCESSING
118.13/118.63	c GARBAGE COLLECT
118.13/118.63	c rational objective 161.171
135.25/135.90	c #Conflicts:      22000 | #Constraints:     660540
135.25/135.90	c #Conflicts:      23000 | #Constraints:     661540
135.25/135.90	c #Conflicts:      24000 | #Constraints:     662540
135.25/135.90	c #Conflicts:      25000 | #Constraints:     663540
135.25/135.90	c INPROCESSING
135.25/135.90	c GARBAGE COLLECT
135.25/135.90	c rational objective 162.016
156.19/156.92	c #Conflicts:      26000 | #Constraints:     661147
156.19/156.92	c #Conflicts:      27000 | #Constraints:     662147
156.19/156.92	c #Conflicts:      28000 | #Constraints:     663147
156.19/156.92	c #Conflicts:      29000 | #Constraints:     664147
156.19/156.92	c INPROCESSING
156.19/156.92	c GARBAGE COLLECT
156.19/156.92	c rational objective 163.25
187.32/188.13	c #Conflicts:      30000 | #Constraints:     661547
187.32/188.13	c #Conflicts:      31000 | #Constraints:     662547
187.32/188.13	c #Conflicts:      32000 | #Constraints:     663547
187.32/188.13	c #Conflicts:      33000 | #Constraints:     664547
187.32/188.13	c INPROCESSING
187.32/188.13	c GARBAGE COLLECT
187.32/188.13	c #Conflicts:      34000 | #Constraints:     661747
187.32/188.13	c #Conflicts:      35000 | #Constraints:     662747
187.32/188.13	c #Conflicts:      36000 | #Constraints:     663747
187.32/188.13	c #Conflicts:      37000 | #Constraints:     664747
187.32/188.13	c INPROCESSING
187.32/188.13	c GARBAGE COLLECT
187.32/188.13	c rational objective 163.644
212.54/213.42	c #Conflicts:      38000 | #Constraints:     661751
212.54/213.42	c #Conflicts:      39000 | #Constraints:     662751
212.54/213.42	c #Conflicts:      40000 | #Constraints:     663751
212.54/213.42	c #Conflicts:      41000 | #Constraints:     664751
212.54/213.42	c INPROCESSING
212.54/213.42	c GARBAGE COLLECT
212.54/213.42	c rational objective 163.704
235.68/236.81	c #Conflicts:      42000 | #Constraints:     661562
235.68/236.81	c #Conflicts:      43000 | #Constraints:     662562
235.68/236.81	c #Conflicts:      44000 | #Constraints:     663562
235.68/236.81	c #Conflicts:      45000 | #Constraints:     664562
235.68/236.81	c #Conflicts:      46000 | #Constraints:     665562
235.68/236.81	c INPROCESSING
235.68/236.81	c GARBAGE COLLECT
235.68/236.81	c rational objective 163.738
256.62/260.73	c #Conflicts:      47000 | #Constraints:     662150
256.62/260.73	c #Conflicts:      48000 | #Constraints:     663150
256.62/260.73	c #Conflicts:      49000 | #Constraints:     664150
256.62/260.73	c #Conflicts:      50000 | #Constraints:     665150
256.62/260.73	c #Conflicts:      51000 | #Constraints:     666150
256.62/260.73	c INPROCESSING
256.62/260.73	c GARBAGE COLLECT
256.62/260.73	c rational objective 163.741
263.30/267.49	c bounds 573 >= 0 @ 258.788
263.41/267.51	c bounds 573 >= 6 @ 258.801
280.04/284.29	c #Conflicts:      52000 | #Constraints:     662565
280.04/284.29	c #Conflicts:      53000 | #Constraints:     663569
280.04/284.29	c #Conflicts:      54000 | #Constraints:     664577
280.04/284.29	c #Conflicts:      55000 | #Constraints:     665584
280.04/284.29	c #Conflicts:      56000 | #Constraints:     666594
280.04/284.29	c INPROCESSING
280.04/284.29	c GARBAGE COLLECT
280.04/284.29	c bounds 572 >= 6 @ 275.312
305.56/309.83	c #Conflicts:      57000 | #Constraints:     662775
305.56/309.83	c #Conflicts:      58000 | #Constraints:     663778
305.56/309.83	c #Conflicts:      59000 | #Constraints:     664779
305.56/309.83	c #Conflicts:      60000 | #Constraints:     665779
305.56/309.83	c #Conflicts:      61000 | #Constraints:     666782
305.56/309.83	c INPROCESSING
305.56/309.83	c GARBAGE COLLECT
305.56/309.83	c rational objective 163.744
312.00/316.33	c bounds 570 >= 6 @ 306.972
312.00/316.35	c bounds 564 >= 6 @ 306.99
312.10/316.43	c bounds 561 >= 6 @ 307.062
315.38/319.72	c bounds 560 >= 6 @ 310.257
315.38/319.74	c bounds 560 >= 10 @ 310.269
315.38/319.76	c bounds 560 >= 14 @ 310.288
315.38/319.79	c bounds 560 >= 18 @ 310.311
318.37/322.71	c bounds 560 >= 22 @ 313.2
321.67/326.08	c #Conflicts:      62000 | #Constraints:     662806
321.67/326.08	c #Conflicts:      63000 | #Constraints:     663806
321.67/326.08	c bounds 560 >= 26 @ 316.533
334.63/339.02	c #Conflicts:      64000 | #Constraints:     664821
334.63/339.02	c bounds 559 >= 26 @ 329.166
347.59/352.01	c #Conflicts:      65000 | #Constraints:     665839
347.59/352.01	c #Conflicts:      66000 | #Constraints:     666839
347.59/352.01	c INPROCESSING
347.59/352.01	c GARBAGE COLLECT
347.59/352.01	c rational objective 163.821
381.67/386.24	c #Conflicts:      67000 | #Constraints:     662611
381.67/386.24	c #Conflicts:      68000 | #Constraints:     663611
381.67/386.24	c #Conflicts:      69000 | #Constraints:     664611
381.67/386.24	c #Conflicts:      70000 | #Constraints:     665611
381.67/386.24	c #Conflicts:      71000 | #Constraints:     666611
381.67/386.24	c #Conflicts:      72000 | #Constraints:     667611
381.67/386.24	c INPROCESSING
381.67/386.24	c GARBAGE COLLECT
381.67/386.24	c rational objective 163.831
385.66/390.22	c bounds 555 >= 26 @ 379.728
399.01/403.65	c #Conflicts:      73000 | #Constraints:     663214
399.01/403.65	c bounds 552 >= 26 @ 392.899
399.01/403.68	c bounds 552 >= 29 @ 392.919
399.22/403.81	c bounds 552 >= 32 @ 393.044
400.51/405.10	c bounds 552 >= 35 @ 394.318
415.95/420.65	c #Conflicts:      74000 | #Constraints:     664246
415.95/420.65	c #Conflicts:      75000 | #Constraints:     665246
415.95/420.65	c #Conflicts:      76000 | #Constraints:     666246
415.95/420.65	c #Conflicts:      77000 | #Constraints:     667246
415.95/420.65	c #Conflicts:      78000 | #Constraints:     668246
415.95/420.65	c INPROCESSING
415.95/420.65	c GARBAGE COLLECT
415.95/420.65	c rational objective 163.895
426.72/431.41	c bounds 550 >= 35 @ 420.259
427.33/432.06	c bounds 550 >= 37 @ 420.901
454.29/459.25	c #Conflicts:      79000 | #Constraints:     663623
454.29/459.25	c #Conflicts:      80000 | #Constraints:     664623
454.29/459.25	c #Conflicts:      81000 | #Constraints:     665625
454.29/459.25	c #Conflicts:      82000 | #Constraints:     666644
454.29/459.25	c #Conflicts:      83000 | #Constraints:     667653
454.29/459.25	c #Conflicts:      84000 | #Constraints:     668670
454.29/459.25	c INPROCESSING
454.29/459.25	c GARBAGE COLLECT
454.29/459.25	c rational objective 163.895
523.77/528.91	c #Conflicts:      85000 | #Constraints:     663841
523.77/528.91	c #Conflicts:      86000 | #Constraints:     664862
523.77/528.91	c #Conflicts:      87000 | #Constraints:     665875
523.77/528.91	c #Conflicts:      88000 | #Constraints:     666894
523.77/528.91	c #Conflicts:      89000 | #Constraints:     667914
523.77/528.91	c #Conflicts:      90000 | #Constraints:     668931
523.77/528.91	c INPROCESSING
523.77/528.91	c GARBAGE COLLECT
523.77/528.91	c #Conflicts:      91000 | #Constraints:     663864
523.77/528.91	c #Conflicts:      92000 | #Constraints:     664885
523.77/528.91	c #Conflicts:      93000 | #Constraints:     665913
523.77/528.91	c #Conflicts:      94000 | #Constraints:     666937
523.77/528.91	c #Conflicts:      95000 | #Constraints:     667941
523.77/528.91	c #Conflicts:      96000 | #Constraints:     668966
523.77/528.91	c INPROCESSING
523.77/528.91	c GARBAGE COLLECT
523.77/528.91	c rational objective 163.929
558.18/565.12	c #Conflicts:      97000 | #Constraints:     663693
558.18/565.12	c #Conflicts:      98000 | #Constraints:     664696
558.18/565.12	c #Conflicts:      99000 | #Constraints:     665721
558.18/565.12	c #Conflicts:     100000 | #Constraints:     666764
558.18/565.12	c #Conflicts:     101000 | #Constraints:     667772
558.18/565.12	c #Conflicts:     102000 | #Constraints:     668796
558.18/565.12	c #Conflicts:     103000 | #Constraints:     669808
558.18/565.12	c INPROCESSING
558.18/565.12	c GARBAGE COLLECT
558.18/565.12	c bounds 549 >= 37 @ 551.113
564.36/571.39	c #Conflicts:     104000 | #Constraints:     664330
564.36/571.39	c bounds 544 >= 37 @ 557.27
564.46/571.41	c bounds 544 >= 38 @ 557.283
564.46/571.43	c bounds 544 >= 39 @ 557.3
564.46/571.45	c bounds 544 >= 40 @ 557.311
564.46/571.47	c bounds 544 >= 41 @ 557.321
564.46/571.49	c bounds 544 >= 42 @ 557.336
564.56/571.51	c bounds 544 >= 43 @ 557.348
564.56/571.53	c bounds 544 >= 44 @ 557.358
564.56/571.55	c bounds 544 >= 45 @ 557.374
564.56/571.56	c bounds 544 >= 46 @ 557.387
564.56/571.58	c bounds 544 >= 47 @ 557.399
564.66/571.60	c bounds 544 >= 48 @ 557.412
564.66/571.62	c bounds 544 >= 49 @ 557.423
564.66/571.65	c bounds 544 >= 50 @ 557.443
564.66/571.66	c bounds 544 >= 51 @ 557.458
564.66/571.68	c bounds 544 >= 52 @ 557.467
564.76/571.70	c bounds 544 >= 53 @ 557.479
564.76/571.72	c bounds 544 >= 54 @ 557.491
564.76/571.74	c bounds 544 >= 55 @ 557.504
564.76/571.76	c bounds 544 >= 56 @ 557.523
564.76/571.78	c bounds 544 >= 57 @ 557.533
564.76/571.79	c bounds 544 >= 58 @ 557.542
564.86/571.82	c bounds 544 >= 59 @ 557.559
564.86/571.83	c bounds 544 >= 60 @ 557.57
564.86/571.85	c bounds 544 >= 61 @ 557.584
564.86/571.87	c bounds 544 >= 62 @ 557.598
564.86/571.89	c bounds 544 >= 63 @ 557.609
564.96/571.91	c bounds 544 >= 64 @ 557.62
564.96/571.93	c bounds 544 >= 65 @ 557.635
564.96/571.95	c bounds 544 >= 66 @ 557.647
564.96/571.97	c bounds 544 >= 67 @ 557.663
573.54/580.55	c bounds 544 >= 68 @ 566.189
573.64/580.61	c bounds 544 >= 69 @ 566.237
573.64/580.66	c bounds 544 >= 70 @ 566.271
573.74/580.71	c bounds 544 >= 71 @ 566.313
573.74/580.77	c bounds 544 >= 72 @ 566.367
573.84/580.86	c bounds 544 >= 73 @ 566.456
574.04/581.10	c bounds 544 >= 74 @ 566.672
574.43/581.45	c bounds 544 >= 75 @ 567.009
574.94/581.92	c bounds 544 >= 76 @ 567.451
575.34/582.38	c bounds 544 >= 77 @ 567.882
575.93/582.97	c #Conflicts:     105000 | #Constraints:     665650
575.93/582.97	c bounds 544 >= 78 @ 568.456
576.73/583.77	c bounds 544 >= 79 @ 569.233
578.22/585.28	c #Conflicts:     106000 | #Constraints:     666692
578.22/585.28	c bounds 544 >= 80 @ 570.695
580.02/587.09	c bounds 544 >= 81 @ 572.446
582.12/589.15	c #Conflicts:     107000 | #Constraints:     667758
582.12/589.15	c bounds 544 >= 82 @ 574.443
585.80/592.82	c #Conflicts:     108000 | #Constraints:     668785
585.80/592.82	c bounds 544 >= 83 @ 578.029
587.90/594.91	c bounds 543 >= 83 @ 580.073
752.76/760.35	c #Conflicts:     109000 | #Constraints:     669831
752.76/760.35	c #Conflicts:     110000 | #Constraints:     670831
752.76/760.35	c INPROCESSING
752.76/760.35	c GARBAGE COLLECT
752.76/760.35	c bounds 541 >= 83 @ 744.716
752.76/760.37	c bounds 537 >= 83 @ 744.735
752.87/760.40	c bounds 535 >= 83 @ 744.76
752.87/760.42	c bounds 532 >= 83 @ 744.777
755.46/763.06	c bounds 531 >= 83 @ 747.363
756.35/763.92	c bounds 531 >= 84 @ 748.193
763.54/771.15	c #Conflicts:     111000 | #Constraints:     665069
763.54/771.15	c bounds 531 >= 85 @ 755.315
767.72/775.35	c #Conflicts:     112000 | #Constraints:     666099
767.72/775.35	c #Conflicts:     113000 | #Constraints:     667099
767.72/775.35	c bounds 531 >= 86 @ 759.394
780.08/787.75	c #Conflicts:     114000 | #Constraints:     668138
780.08/787.75	c #Conflicts:     115000 | #Constraints:     669138
780.08/787.75	c bounds 531 >= 87 @ 771.503
780.28/787.95	c bounds 530 >= 87 @ 771.69
780.88/788.52	c bounds 526 >= 87 @ 772.253
782.67/790.33	c bounds 525 >= 87 @ 774.02
783.27/790.94	c #Conflicts:     116000 | #Constraints:     670178
783.27/790.94	c bounds 524 >= 87 @ 774.624
790.84/798.56	c #Conflicts:     117000 | #Constraints:     671180
790.84/798.56	c INPROCESSING
790.84/798.56	c GARBAGE COLLECT
790.84/798.56	c rational objective 164.087
806.98/814.71	c #Conflicts:     118000 | #Constraints:     665251
806.98/814.71	c bounds 523 >= 87 @ 797.991
828.62/836.42	c #Conflicts:     119000 | #Constraints:     666263
828.62/836.42	c #Conflicts:     120000 | #Constraints:     667263
828.62/836.42	c #Conflicts:     121000 | #Constraints:     668263
828.62/836.42	c #Conflicts:     122000 | #Constraints:     669263
828.62/836.42	c #Conflicts:     123000 | #Constraints:     670263
828.62/836.42	c bounds 523 >= 88 @ 819.245
837.29/845.11	c #Conflicts:     124000 | #Constraints:     671311
837.29/845.11	c INPROCESSING
837.29/845.11	c GARBAGE COLLECT
837.29/845.11	c rational objective 164.109
863.20/871.11	c #Conflicts:     125000 | #Constraints:     665231
863.20/871.11	c #Conflicts:     126000 | #Constraints:     666231
863.20/871.11	c #Conflicts:     127000 | #Constraints:     667231
863.20/871.11	c bounds 523 >= 89 @ 853.371
864.89/872.82	c bounds 519 >= 89 @ 855.043
864.89/872.84	c bounds 517 >= 89 @ 855.058
869.78/877.71	c #Conflicts:     128000 | #Constraints:     668269
869.78/877.71	c bounds 515 >= 89 @ 859.843
896.48/904.50	c #Conflicts:     129000 | #Constraints:     669270
896.48/904.50	c #Conflicts:     130000 | #Constraints:     670271
896.48/904.50	c #Conflicts:     131000 | #Constraints:     671271
896.48/904.50	c INPROCESSING
896.48/904.50	c GARBAGE COLLECT
896.48/904.50	c rational objective 164.115
912.73/920.87	c #Conflicts:     132000 | #Constraints:     665019
912.73/920.87	c #Conflicts:     133000 | #Constraints:     666019
912.73/920.87	c bounds 515 >= 90 @ 902.184
944.81/953.02	c #Conflicts:     134000 | #Constraints:     667071
944.81/953.02	c #Conflicts:     135000 | #Constraints:     668071
944.81/953.02	c #Conflicts:     136000 | #Constraints:     669071
944.81/953.02	c #Conflicts:     137000 | #Constraints:     670071
944.81/953.02	c bounds 515 >= 91 @ 933.814
1069.02/1077.93	c #Conflicts:     138000 | #Constraints:     671107
1069.02/1077.93	c #Conflicts:     139000 | #Constraints:     672107
1069.02/1077.93	c INPROCESSING
1069.02/1077.93	c GARBAGE COLLECT
1069.02/1077.93	c #Conflicts:     140000 | #Constraints:     665681
1069.02/1077.93	c #Conflicts:     141000 | #Constraints:     666681
1069.02/1077.93	c #Conflicts:     142000 | #Constraints:     667681
1069.02/1077.93	c #Conflicts:     143000 | #Constraints:     668682
1069.02/1077.93	c #Conflicts:     144000 | #Constraints:     669682
1069.02/1077.93	c #Conflicts:     145000 | #Constraints:     670682
1069.02/1077.93	c #Conflicts:     146000 | #Constraints:     671682
1069.02/1077.93	c #Conflicts:     147000 | #Constraints:     672683
1069.02/1077.93	c INPROCESSING
1069.02/1077.93	c GARBAGE COLLECT
1069.02/1077.93	c bounds 515 >= 92 @ 1056.8
1118.38/1127.67	c #Conflicts:     148000 | #Constraints:     666100
1118.38/1127.67	c #Conflicts:     149000 | #Constraints:     667100
1118.38/1127.67	c #Conflicts:     150000 | #Constraints:     668100
1118.38/1127.67	c #Conflicts:     151000 | #Constraints:     669100
1118.38/1127.67	c #Conflicts:     152000 | #Constraints:     670100
1118.38/1127.67	c #Conflicts:     153000 | #Constraints:     671100
1118.38/1127.67	c bounds 515 >= 93 @ 1105.27
1235.77/1245.75	c #Conflicts:     154000 | #Constraints:     672163
1235.77/1245.75	c #Conflicts:     155000 | #Constraints:     673163
1235.77/1245.75	c INPROCESSING
1235.77/1245.75	c GARBAGE COLLECT
1235.77/1245.75	c rational objective 164.116
1241.64/1251.68	c bounds 514 >= 93 @ 1227.89
1241.73/1251.70	c bounds 513 >= 93 @ 1227.9
1241.73/1251.73	c bounds 510 >= 93 @ 1227.94
1249.26/1259.37	c #Conflicts:     156000 | #Constraints:     666325
1249.26/1259.37	c bounds 503 >= 93 @ 1235.38
1302.08/1312.53	c #Conflicts:     157000 | #Constraints:     667328
1302.08/1312.53	c #Conflicts:     158000 | #Constraints:     668328
1302.08/1312.53	c #Conflicts:     159000 | #Constraints:     669328
1302.08/1312.53	c #Conflicts:     160000 | #Constraints:     670328
1302.08/1312.53	c #Conflicts:     161000 | #Constraints:     671328
1302.08/1312.53	c #Conflicts:     162000 | #Constraints:     672328
1302.08/1312.53	c bounds 503 >= 94 @ 1287.14
1302.08/1312.55	c bounds 502 >= 94 @ 1287.16
1502.51/1514.03	c #Conflicts:     163000 | #Constraints:     673386
1502.51/1514.03	c INPROCESSING
1502.51/1514.03	c GARBAGE COLLECT
1502.51/1514.03	c rational objective 164.116
1577.96/1590.10	c #Conflicts:     164000 | #Constraints:     666347
1577.96/1590.10	c #Conflicts:     165000 | #Constraints:     667347
1577.96/1590.10	c #Conflicts:     166000 | #Constraints:     668348
1577.96/1590.10	c #Conflicts:     167000 | #Constraints:     669348
1577.96/1590.10	c #Conflicts:     168000 | #Constraints:     670348
1577.96/1590.10	c #Conflicts:     169000 | #Constraints:     671348
1577.96/1590.10	c #Conflicts:     170000 | #Constraints:     672348
1577.96/1590.10	c bounds 502 >= 95 @ 1561.46
1582.13/1594.21	c #Conflicts:     171000 | #Constraints:     673405
1582.13/1594.21	c bounds 501 >= 95 @ 1565.47
1795.58/1808.48	c INPROCESSING
1795.58/1808.48	c GARBAGE COLLECT
1795.58/1808.48	c #Conflicts:     172000 | #Constraints:     666150
1795.58/1808.48	c #Conflicts:     173000 | #Constraints:     667150
1795.58/1808.48	c #Conflicts:     174000 | #Constraints:     668150
1795.58/1808.48	c #Conflicts:     175000 | #Constraints:     669150
1795.58/1808.48	c #Conflicts:     176000 | #Constraints:     670150
1795.58/1808.48	c #Conflicts:     177000 | #Constraints:     671150
1795.58/1808.48	c #Conflicts:     178000 | #Constraints:     672150
1795.58/1808.48	c #Conflicts:     179000 | #Constraints:     673150
1795.58/1808.48	c bounds 501 >= 96 @ 1777.62
1795.68/1808.50	c bounds 500 >= 96 @ 1777.63
1800.97/1813.81	c #Conflicts:     180000 | #Constraints:     674193
1800.97/1813.81	c INPROCESSING
1800.97/1813.81	c GARBAGE COLLECT
1800.97/1813.81	c rational objective 164.116
1807.75/1820.68	c bounds 499 >= 96 @ 1789.68
1808.05/1821.00	c bounds 490 >= 96 @ 1790
1808.26/1821.11	c bounds 487 >= 96 @ 1790.1
1808.35/1821.21	c bounds 486 >= 96 @ 1790.2
1900.98/1914.16	c #Conflicts:     181000 | #Constraints:     666902
1900.98/1914.16	c #Conflicts:     182000 | #Constraints:     667987
1900.98/1914.16	c #Conflicts:     183000 | #Constraints:     669046
1900.98/1914.16	c #Conflicts:     184000 | #Constraints:     670152
1900.98/1914.16	c #Conflicts:     185000 | #Constraints:     671197
1900.98/1914.16	c #Conflicts:     186000 | #Constraints:     672296
1900.98/1914.16	c bounds 485 >= 96 @ 1881.87
1921.79/1935.08	c #Conflicts:     187000 | #Constraints:     673333
1921.79/1935.08	c #Conflicts:     188000 | #Constraints:     674333
1921.79/1935.08	c #Conflicts:     189000 | #Constraints:     675333
1921.79/1935.08	c INPROCESSING
1921.79/1935.08	c GARBAGE COLLECT
1921.79/1935.08	c rational objective 164.116
2040.51/2054.11	c #Conflicts:     190000 | #Constraints:     667432
2040.51/2054.11	c #Conflicts:     191000 | #Constraints:     668432
2040.51/2054.11	c #Conflicts:     192000 | #Constraints:     669432
2040.51/2054.11	c #Conflicts:     193000 | #Constraints:     670432
2040.51/2054.11	c #Conflicts:     194000 | #Constraints:     671432
2040.51/2054.11	c #Conflicts:     195000 | #Constraints:     672432
2040.51/2054.11	c #Conflicts:     196000 | #Constraints:     673432
2040.51/2054.11	c #Conflicts:     197000 | #Constraints:     674433
2040.51/2054.11	c #Conflicts:     198000 | #Constraints:     675434
2040.51/2054.11	c INPROCESSING
2040.51/2054.11	c GARBAGE COLLECT
2040.51/2054.11	c rational objective 164.116
2049.17/2062.82	c bounds 485 >= 97 @ 2028.58
2330.70/2345.35	c #Conflicts:     199000 | #Constraints:     667533
2330.70/2345.35	c #Conflicts:     200000 | #Constraints:     668534
2330.70/2345.35	c #Conflicts:     201000 | #Constraints:     669534
2330.70/2345.35	c #Conflicts:     202000 | #Constraints:     670534
2330.70/2345.35	c #Conflicts:     203000 | #Constraints:     671535
2330.70/2345.35	c #Conflicts:     204000 | #Constraints:     672535
2330.70/2345.35	c #Conflicts:     205000 | #Constraints:     673536
2330.70/2345.35	c #Conflicts:     206000 | #Constraints:     674536
2330.70/2345.35	c #Conflicts:     207000 | #Constraints:     675536
2330.70/2345.35	c INPROCESSING
2330.70/2345.35	c GARBAGE COLLECT
2330.70/2345.35	c #Conflicts:     208000 | #Constraints:     667445
2330.70/2345.35	c #Conflicts:     209000 | #Constraints:     668445
2330.70/2345.35	c #Conflicts:     210000 | #Constraints:     669445
2330.70/2345.35	c #Conflicts:     211000 | #Constraints:     670445
2330.70/2345.35	c bounds 485 >= 98 @ 2308.6
2458.23/2473.29	c #Conflicts:     212000 | #Constraints:     671499
2458.23/2473.29	c #Conflicts:     213000 | #Constraints:     672499
2458.23/2473.29	c #Conflicts:     214000 | #Constraints:     673499
2458.23/2473.29	c #Conflicts:     215000 | #Constraints:     674499
2458.23/2473.29	c #Conflicts:     216000 | #Constraints:     675499
2458.23/2473.29	c INPROCESSING
2458.23/2473.29	c GARBAGE COLLECT
2458.23/2473.29	c #Conflicts:     217000 | #Constraints:     667249
2458.23/2473.29	c #Conflicts:     218000 | #Constraints:     668249
2458.23/2473.29	c #Conflicts:     219000 | #Constraints:     669249
2458.23/2473.29	c #Conflicts:     220000 | #Constraints:     670249
2458.23/2473.29	c #Conflicts:     221000 | #Constraints:     671250
2458.23/2473.29	c #Conflicts:     222000 | #Constraints:     672250
2458.23/2473.29	c #Conflicts:     223000 | #Constraints:     673250
2458.23/2473.29	c #Conflicts:     224000 | #Constraints:     674250
2458.23/2473.29	c #Conflicts:     225000 | #Constraints:     675251
2458.23/2473.29	c #Conflicts:     226000 | #Constraints:     676251
2458.23/2473.29	c INPROCESSING
2458.23/2473.29	c GARBAGE COLLECT
2458.23/2473.29	c rational objective 164.116
2465.61/2480.67	c bounds 485 >= 99 @ 2441.91
3561.92/3580.12	c #Conflicts:     227000 | #Constraints:     667895
3561.92/3580.12	c #Conflicts:     228000 | #Constraints:     668896
3561.92/3580.12	c #Conflicts:     229000 | #Constraints:     669896
3561.92/3580.12	c #Conflicts:     230000 | #Constraints:     670896
3561.92/3580.12	c #Conflicts:     231000 | #Constraints:     671896
3561.92/3580.12	c #Conflicts:     232000 | #Constraints:     672896
3561.92/3580.12	c #Conflicts:     233000 | #Constraints:     673897
3561.92/3580.12	c #Conflicts:     234000 | #Constraints:     674897
3561.92/3580.12	c #Conflicts:     235000 | #Constraints:     675897
3561.92/3580.12	c #Conflicts:     236000 | #Constraints:     676897
3561.92/3580.12	c INPROCESSING
3561.92/3580.12	c GARBAGE COLLECT
3561.92/3580.12	c #Conflicts:     237000 | #Constraints:     668265
3561.92/3580.12	c #Conflicts:     238000 | #Constraints:     669265
3561.92/3580.12	c #Conflicts:     239000 | #Constraints:     670265
3561.92/3580.12	c #Conflicts:     240000 | #Constraints:     671265
3561.92/3580.12	c #Conflicts:     241000 | #Constraints:     672265
3561.92/3580.12	c #Conflicts:     242000 | #Constraints:     673266
3561.92/3580.12	c #Conflicts:     243000 | #Constraints:     674266
3561.92/3580.12	c #Conflicts:     244000 | #Constraints:     675266
3561.92/3580.12	c #Conflicts:     245000 | #Constraints:     676266
3561.92/3580.12	c #Conflicts:     246000 | #Constraints:     677266
3561.92/3580.12	c INPROCESSING
3561.92/3580.12	c GARBAGE COLLECT
3561.92/3580.12	c #Conflicts:     247000 | #Constraints:     668453
3561.92/3580.12	c #Conflicts:     248000 | #Constraints:     669453
3561.92/3580.12	c #Conflicts:     249000 | #Constraints:     670453
3561.92/3580.12	c #Conflicts:     250000 | #Constraints:     671453
3561.92/3580.12	c #Conflicts:     251000 | #Constraints:     672453
3561.92/3580.12	c #Conflicts:     252000 | #Constraints:     673454
3561.92/3580.12	c #Conflicts:     253000 | #Constraints:     674454
3561.92/3580.12	c #Conflicts:     254000 | #Constraints:     675454
3561.92/3580.12	c #Conflicts:     255000 | #Constraints:     676454
3561.92/3580.12	c #Conflicts:     256000 | #Constraints:     677454
3561.92/3580.12	c INPROCESSING
3561.92/3580.12	c GARBAGE COLLECT
3561.92/3580.12	c #Conflicts:     257000 | #Constraints:     668438
3561.92/3580.12	c #Conflicts:     258000 | #Constraints:     669438
3561.92/3580.12	c #Conflicts:     259000 | #Constraints:     670438
3561.92/3580.12	c #Conflicts:     260000 | #Constraints:     671438
3561.92/3580.12	c #Conflicts:     261000 | #Constraints:     672438
3561.92/3580.12	c #Conflicts:     262000 | #Constraints:     673438
3561.92/3580.12	c #Conflicts:     263000 | #Constraints:     674438
3561.92/3580.12	c #Conflicts:     264000 | #Constraints:     675438
3561.92/3580.12	c #Conflicts:     265000 | #Constraints:     676438
3561.92/3580.12	c #Conflicts:     266000 | #Constraints:     677438
3561.92/3580.12	c INPROCESSING
3561.92/3580.12	c GARBAGE COLLECT
3561.92/3580.12	c rational objective 164.116
3567.80/3586.02	c bounds 484 >= 99 @ 3537.65
3583.15/3601.40	c #Conflicts:     267000 | #Constraints:     668227
3583.15/3601.40	c #Conflicts:     268000 | #Constraints:     669227
3583.15/3601.40	c #Conflicts:     269000 | #Constraints:     670227
3583.15/3601.40	c bounds 483 >= 99 @ 3552.77
3600.00/3618.30	c #Conflicts:     270000 | #Constraints:     671228
3600.00/3618.30	c #Conflicts:     271000 | #Constraints:     672229
3600.00/3618.30	c cpu time 3569.36 s
3600.00/3618.30	c deterministic time 50968126847 5.10e+10
3600.00/3618.30	c optimization time 17.5503 s
3600.00/3618.30	c total solve time 3548.93 s
3600.00/3618.30	c core-guided solve time 2916.04 s
3600.00/3618.30	c propagation time 923.916 s
3600.00/3618.30	c conflict analysis time 677.332 s
3600.00/3618.30	c propagations 66351182
3600.00/3618.30	c resolve steps 4981621
3600.00/3618.30	c decisions 9054233
3600.00/3618.30	c conflicts 271438
3600.00/3618.30	c restarts 637
3600.00/3618.30	c inprocessing phases 43
3600.00/3618.30	c garbage collections 43 ,( 100.00 )
3600.00/3618.30	c input clauses 657263 ,( 99.83 )
3600.00/3618.30	c input cardinalities 435 ,( 0.07 )
3600.00/3618.30	c input general constraints 670 ,( 0.10 )
3600.00/3618.30	c input average constraint length 6.60
3600.00/3618.30	c input average constraint degree 124.11
3600.00/3618.30	c learned clauses 218065 ,( 79.99 )
3600.00/3618.30	c learned cardinalities 22 ,( 0.01 )
3600.00/3618.30	c learned general constraints 54516 ,( 20.00 )
3600.00/3618.30	c learned average constraint length 1669.41
3600.00/3618.30	c learned average constraint degree 21477605469.28
3600.00/3618.30	c watched  CF 32, 64, 128, Arb: 2415 , 0 , 0 , 0
3600.00/3618.30	c counting CF 32, 64, 128, Arb: 52772 , 0 , 0 , 0
3600.00/3618.30	c watched   constraints 2415 ,( 4.38 ) 
3600.00/3618.30	c counting  constraints 52771 ,( 95.62 ) 
3600.00/3618.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 74019403 , 2612570 , 621675038 ,( 15301768 , 606373270 )
3600.00/3618.30	c gcd simplifications 8241
3600.00/3618.30	c detected cardinalities 0
3600.00/3618.30	c weakened non-implied lits 571474436
3600.00/3618.30	c weakened non-implying lits 158740
3600.00/3618.30	c original variables 10000
3600.00/3618.30	c clausal propagations 18076462
3600.00/3618.30	c cardinality propagations 464902
3600.00/3618.30	c watched propagations 53116
3600.00/3618.30	c counting propagations 46621684
3600.00/3618.30	c watch lookups 5610808211
3600.00/3618.30	c watch backjump lookups 0
3600.00/3618.30	c watch checks 3957966601
3600.00/3618.30	c propagation checks 37997740548
3600.00/3618.30	c constraint additions 3250026985
3600.00/3618.30	c trail pops 75667450
3600.00/3618.30	c formula constraints 656900
3600.00/3618.30	c learned constraints 271292
3600.00/3618.30	c bound constraints 235
3600.00/3618.30	c core-guided constraints 1233
3600.00/3618.30	c encountered formula constraints 2311638
3600.00/3618.30	c encountered learned constraints 1804901
3600.00/3618.30	c encountered bound constraints 10559
3600.00/3618.30	c encountered core-guided constraints 1110233
3600.00/3618.30	c LP total time 2498.17 s
3600.00/3618.30	c LP solve time 2346.96 s
3600.00/3618.30	c LP constraints added 656947
3600.00/3618.30	c LP constraints removed 30
3600.00/3618.30	c LP pivots internal 272470
3600.00/3618.30	c LP pivots root 239166
3600.00/3618.30	c LP calls 1400
3600.00/3618.30	c LP optimalities 203
3600.00/3618.30	c LP no pivot count 18
3600.00/3618.30	c LP infeasibilities 1147
3600.00/3618.30	c LP valid Farkas constraints 1143
3600.00/3618.30	c LP learned Farkas constraints 150
3600.00/3618.30	c LP basis resets 48
3600.00/3618.30	c LP cycling count 16
3600.00/3618.30	c LP singular count 14
3600.00/3618.30	c LP no primal count 0
3600.00/3618.30	c LP no farkas count 4
3600.00/3618.30	c LP other issue count 14
3600.00/3618.30	c LP Gomory cuts 18
3600.00/3618.30	c LP learned cuts 29
3600.00/3618.30	c LP deleted cuts 30
3600.00/3618.30	c LP encountered Gomory constraints 4
3600.00/3618.30	c LP encountered Farkas constraints 15457
3600.00/3618.30	c LP encountered learned Farkas constraints 117
3600.00/3618.30	c CG auxiliary variables introduced 435
3600.00/3618.30	c CG solutions found 163
3600.00/3618.30	c CG cores constructed 72
3600.00/3618.30	c CG core cardinality constraints returned 0
3600.00/3618.30	c CG unit cores 0
3600.00/3618.30	c CG single cores 72
3600.00/3618.30	c CG blocks removed during cardinality reduction 0
3600.00/3618.30	c CG first core best 0
3600.00/3618.30	c CG decision core best 0
3600.00/3618.30	c CG core reduction tie 0
3600.00/3618.30	c CG core degree average 1.00
3600.00/3618.30	c CG core slack average 659.11
3600.00/3618.30	c CG core upper bound improvements 109
3600.00/3618.30	c STR number of successful calls 0
3600.00/3618.30	c STR number of unsuccessful calls 0
3600.00/3618.30	c STR number of inconclusive calls 0
3600.00/3618.30	c STR number of successful attempts 0
3600.00/3618.30	c STR number of unsuccessful attempts 0
3600.00/3618.30	c STR number of inconclusive attempts 0
3600.00/3618.30	c STR average degree increase per successful call inf
3600.00/3618.30	c STR average degree increase per successful attempt inf
3600.00/3618.30	c STR total number of conflicts for successful attempts 0
3600.00/3618.30	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3618.30	c STR total number of conflicts for inconclusive attempts 0
3600.00/3618.30	c STR average number of conflicts per successful attempt inf
3600.00/3618.30	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3618.30	c STR average number of conflicts per inconclusive attempt inf
3600.00/3618.30	c AVG.sumWPerc 91.73 
3600.00/3618.30	c bigint constraints 0 
3600.00/3618.30	o 483
3600.00/3618.30	s SATISFIABLE
3600.00/3618.30	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.00/3618.30	c Program interrupted by user.

Verifier Data 

OK	483

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62663 MiB free)
  memory of node 1: 64507 MiB (63084 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=51035, runsolver pid=51032

[startup+0.100057 s]*
/proc/loadavg: 0.91 1.33 2.46 4/257 51045
/proc/meminfo: memFree=128622428/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51038] ppid=51035 vsize=165484 memory=147948 CPUtime=0.08 cores=4,6
/proc/51038/stat : 51038 (pbsuma) R 51035 51035 50997 0 -1 4194304 4568 0 0 0 6 2 0 0 20 0 1 0 52841391 169455616 36987 18446744073709551615 4210688 4653049 140725796642112 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15941632 140725796645091 140725796645426 140725796645426 140725796650991 0
/proc/51038/statm: 41371 36987 960 108 0 38779 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169676 KiB
Current children cumulated memory: 150892 KiB

[startup+0.205565 s]*
/proc/loadavg: 0.91 1.33 2.46 5/271 51070
/proc/meminfo: memFree=128246368/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51038] ppid=51035 vsize=180920 memory=167144 CPUtime=0.18 cores=4,6
/proc/51038/stat : 51038 (pbsuma) R 51035 51035 50997 0 -1 4194304 8768 0 0 0 15 3 0 0 20 0 1 0 52841391 185262080 41786 18446744073709551615 4210688 4653049 140725796642112 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15941632 140725796645091 140725796645426 140725796645426 140725796650991 0
/proc/51038/statm: 45230 41786 960 108 0 42638 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 185112 KiB
Current children cumulated memory: 170088 KiB

[startup+0.305808 s]*
/proc/loadavg: 0.91 1.33 2.46 5/271 51070
/proc/meminfo: memFree=127749828/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51038] ppid=51035 vsize=193992 memory=180492 CPUtime=0.28 cores=4,6
/proc/51038/stat : 51038 (pbsuma) R 51035 51035 50997 0 -1 4194304 11605 0 0 0 24 4 0 0 20 0 1 0 52841391 198647808 45123 18446744073709551615 4210688 4653049 140725796642112 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15941632 140725796645091 140725796645426 140725796645426 140725796650991 0
/proc/51038/statm: 48498 45123 960 108 0 45906 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 198184 KiB
Current children cumulated memory: 183436 KiB

[startup+0.700197 s]
/proc/loadavg: 0.91 1.33 2.46 5/271 51070
/proc/meminfo: memFree=127562384/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51038] ppid=51035 vsize=319208 memory=267544 CPUtime=0.67 cores=4,6
/proc/51038/stat : 51038 (pbsuma) R 51035 51035 50997 0 -1 4194304 23503 0 0 0 59 8 0 0 20 0 1 0 52841391 326868992 66886 18446744073709551615 4210688 4653049 140725796642112 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 15941632 140725796645091 140725796645426 140725796645426 140725796650991 0
/proc/51038/statm: 79802 66886 1024 108 0 77210 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 323400 KiB
Current children cumulated memory: 270488 KiB

[startup+1.50019 s]
/proc/loadavg: 0.91 1.33 2.46 5/271 51071
/proc/meminfo: memFree=127295344/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=77924 memory=33908 CPUtime=0.56 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 6332 0 0 0 44 12 0 0 20 0 1 0 52841482 79794176 8477 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 19481 8477 1952 1147 0 6908 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82116 KiB
Current children cumulated memory: 36852 KiB

[startup+3.10546 s]
/proc/loadavg: 1.16 1.37 2.46 5/271 51073
/proc/meminfo: memFree=127411988/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=149784 memory=98836 CPUtime=2.16 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 20477 0 0 0 169 47 0 0 20 0 1 0 52841482 153378816 24709 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 37446 24709 1952 1147 0 24873 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 153976 KiB
Current children cumulated memory: 101780 KiB

[startup+6.30019 s]
/proc/loadavg: 1.16 1.37 2.46 5/271 51074
/proc/meminfo: memFree=126863756/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=935388 memory=675548 CPUtime=5.34 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 55008 0 0 0 458 76 0 0 20 0 1 0 52841482 957837312 168887 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 233847 168887 2336 1147 0 221274 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 939580 KiB
Current children cumulated memory: 678492 KiB

[startup+12.7002 s]
/proc/loadavg: 1.67 1.48 2.49 5/269 51088
/proc/meminfo: memFree=126773436/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=1086492 memory=762516 CPUtime=11.72 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 61384 0 0 0 1073 99 0 0 20 0 1 0 52841482 1112567808 190629 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 271623 190629 2400 1147 0 259050 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1090684 KiB
Current children cumulated memory: 765460 KiB

[startup+25.5002 s]
/proc/loadavg: 2.03 1.56 2.50 5/269 51136
/proc/meminfo: memFree=126744936/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=1174668 memory=849376 CPUtime=24.48 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 66290 0 0 0 2302 146 0 0 20 0 1 0 52841482 1202860032 212344 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 293667 212344 2400 1147 0 281094 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1178860 KiB
Current children cumulated memory: 852320 KiB

[startup+51.1057 s]
/proc/loadavg: 2.84 1.79 2.56 5/272 51267
/proc/meminfo: memFree=125811272/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=1431164 memory=1108952 CPUtime=49.98 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 105663 0 0 0 4803 195 0 0 20 0 1 0 52841482 1465511936 277238 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 357791 277238 2400 1147 0 345218 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1435356 KiB
Current children cumulated memory: 1111896 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 2.20 2.65 5/268 51393
/proc/meminfo: memFree=125768004/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=1715632 memory=1333876 CPUtime=101.02 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 142527 0 0 0 9848 254 0 0 20 0 1 0 52841482 1756807168 333469 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 428908 333469 2400 1147 0 416335 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1719824 KiB
Current children cumulated memory: 1336820 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.56 2.75 5/273 51511
/proc/meminfo: memFree=123591892/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=1765064 memory=1373080 CPUtime=160.7 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 148764 0 0 0 15764 306 0 0 20 0 1 0 52841482 1807425536 343270 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 441266 343270 2400 1147 0 428693 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 1769256 KiB
Current children cumulated memory: 1376024 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.82 2.83 5/273 51516
/proc/meminfo: memFree=120341968/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=1777896 memory=1398052 CPUtime=220.33 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 150185 0 0 0 21698 335 0 0 20 0 1 0 52841482 1820565504 349513 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0

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

Current children cumulated memory: 2165644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/274 51783
/proc/meminfo: memFree=28399132/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=2479660 memory=2162700 CPUtime=3323.99 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 335772 0 0 0 329634 2765 0 0 20 0 1 0 52841482 2539171840 540675 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 619915 540675 2560 1147 0 607342 0
Current children cumulated CPU time: 3324.88 s
Current children cumulated vsize: 2483852 KiB
Current children cumulated memory: 2165644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.40 4.18 4.09 4/275 51786
/proc/meminfo: memFree=27248836/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=2479660 memory=2162700 CPUtime=3383.82 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 335843 0 0 0 335614 2768 0 0 20 0 1 0 52841482 2539171840 540675 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 619915 540675 2560 1147 0 607342 0
Current children cumulated CPU time: 3384.71 s
Current children cumulated vsize: 2483852 KiB
Current children cumulated memory: 2165644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.09 5/275 51788
/proc/meminfo: memFree=26134484/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=2479660 memory=2162700 CPUtime=3443.63 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 335857 0 0 0 341594 2769 0 0 20 0 1 0 52841482 2539171840 540675 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 619915 540675 2560 1147 0 607342 0
Current children cumulated CPU time: 3444.52 s
Current children cumulated vsize: 2483852 KiB
Current children cumulated memory: 2165644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/275 51794
/proc/meminfo: memFree=24069836/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=2459648 memory=2145164 CPUtime=3503.45 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 341638 0 0 0 347495 2850 0 0 20 0 1 0 52841482 2518679552 536291 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 614912 536291 2560 1147 0 602339 0
Current children cumulated CPU time: 3504.34 s
Current children cumulated vsize: 2463840 KiB
Current children cumulated memory: 2148108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/274 51796
/proc/meminfo: memFree=22145724/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=2458812 memory=2152460 CPUtime=3563.21 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 347305 0 0 0 353395 2926 0 0 20 0 1 0 52841482 2517823488 538115 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 614703 538115 2560 1147 0 602130 0
Current children cumulated CPU time: 3564.1 s
Current children cumulated vsize: 2463004 KiB
Current children cumulated memory: 2155404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/273 51798
/proc/meminfo: memFree=20766200/131249988 swapFree=33010160/33010684
[pid=51035] ppid=51032 vsize=4192 memory=2944 CPUtime=0.89 cores=4,6
/proc/51035/stat : 51035 (run-opt-break-l) S 51032 51035 50997 0 -1 4194304 238 28861 0 0 0 0 79 10 20 0 1 0 52841390 4292608 736 18446744073709551615 94060765880320 94060766774853 140732410327696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94060767013904 94060767061648 94060796772352 140732410329365 140732410329566 140732410329566 140732410335168 0
/proc/51035/statm: 1048 736 672 219 0 110 0
[pid=51071] ppid=51035 vsize=2458812 memory=2152460 CPUtime=3599.11 cores=4,6
/proc/51071/stat : 51071 (roundingsat) R 51035 51035 50997 0 -1 4194304 347319 0 0 0 356936 2975 0 0 20 0 1 0 52841482 2517823488 538115 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 614703 538115 2560 1147 0 602130 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2463004 KiB
Current children cumulated memory: 2155404 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.794969 s, system=0.108715 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.12 4.13 4.09 4/272 51798
/proc/meminfo: memFree=20685988/131249988 swapFree=33010160/33010684
[pid=51071] ppid=51032 vsize=2458812 memory=2152588 CPUtime=3599.49 cores=4,6
/proc/51071/stat : 51071 (roundingsat) D 51032 51035 50997 0 -1 4194304 347322 0 0 0 356936 3013 0 0 20 0 1 0 52841482 2517823488 538147 18446744073709551615 4227072 8923433 140736657748080 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 9
/proc/51071/statm: 614703 538147 2592 1147 0 602130 0
??? kill 51071 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3570.19 s, system=30.4453 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+3619.2 s]
/proc/loadavg: 4.12 4.13 4.09 4/272 51798
/proc/meminfo: memFree=20702116/131249988 swapFree=33010160/33010684
[pid=51071] ppid=51032 vsize=2458812 memory=2152588 CPUtime=3599.49 cores=4,6
/proc/51071/stat : 51071 (roundingsat) D 51032 51035 50997 0 -1 4194304 347322 0 0 0 356936 3013 0 0 20 0 1 0 52841482 2517823488 538147 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 614703 538147 2592 1147 0 602130 0
Current cumulated CPU time of completed processes: 0.903684 s
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 2458812 KiB
Current children cumulated memory: 2152588 KiB

[startup+3620 s]*
/proc/loadavg: 4.12 4.13 4.09 4/272 51798
/proc/meminfo: memFree=20685988/131249988 swapFree=33010160/33010684
[pid=51071] ppid=51032 vsize=2458812 memory=2152588 CPUtime=3599.49 cores=4,6
/proc/51071/stat : 51071 (roundingsat) D 51032 51035 50997 0 -1 4194304 347322 0 0 0 356936 3013 0 0 20 0 1 0 52841482 2517823488 538147 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 614703 538147 2592 1147 0 602130 0
Current cumulated CPU time of completed processes: 0.903684 s
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 2458812 KiB
Current children cumulated memory: 2152588 KiB

[startup+3620.2 s]
/proc/loadavg: 4.12 4.13 4.09 4/272 51798
/proc/meminfo: memFree=20685988/131249988 swapFree=33010160/33010684
[pid=51071] ppid=51032 vsize=2458812 memory=2152588 CPUtime=3599.49 cores=4,6
/proc/51071/stat : 51071 (roundingsat) D 51032 51035 50997 0 -1 4194304 347322 0 0 0 356936 3013 0 0 20 0 1 0 52841482 2517823488 538147 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 614703 538147 2592 1147 0 602130 0
Current cumulated CPU time of completed processes: 0.903684 s
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 2458812 KiB
Current children cumulated memory: 2152588 KiB

[startup+3620.3 s]
/proc/loadavg: 4.12 4.13 4.09 4/272 51798
/proc/meminfo: memFree=20685988/131249988 swapFree=33010160/33010684
[pid=51071] ppid=51032 vsize=2458812 memory=2152588 CPUtime=3599.49 cores=4,6
/proc/51071/stat : 51071 (roundingsat) D 51032 51035 50997 0 -1 4194304 347322 0 0 0 356936 3013 0 0 20 0 1 0 52841482 2517823488 538147 18446744073709551615 4227072 8923433 140736657748080 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 12562432 140736657754388 140736657754664 140736657754664 140736657760234 0
/proc/51071/statm: 614703 538147 2592 1147 0 602130 0
Current cumulated CPU time of completed processes: 0.903684 s
Current children cumulated CPU time: 3599.49 s
Current children cumulated vsize: 2458812 KiB
Current children cumulated memory: 2152588 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3626.1
CPU time (s): 3600.63
CPU user time (s): 3570.19
CPU system time (s): 30.4453
CPU usage (%): 99.2976
Max. virtual memory (cumulated for all children) (KiB): 2578420
Max. memory (cumulated for all children) (KiB): 2261792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.19
system time used= 30.4453
maximum resident set size= 2258848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 52492704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126955
involuntary context switches= 6094


# summary of solver processes directly reported to runsolver:
#   pid: 51035,51071
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3570.19
#   total CPU system time (s): 30.4453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97152 second user time and 17.8872 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-01 14:07:05
IDJOB=4489879
IDBENCH=147565
IDSOLVER=3360
FILE ID=nodeC034/4489879-1751371625
RUNJOBID= nodeC034-1751371625-51008
SLURM_JOB_ID= 9598197
Free space on /tmp= 432848 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.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-4489879-1751371625/watcher-4489879-1751371625 -o /tmp/evaluation-result-4489879-1751371625/solver-4489879-1751371625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51008 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4489879-1751371625.opb PROOFDIR/proof-4489879-1751371625

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1677946427

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128765600 kB
MemAvailable:   129719652 kB
Buffers:            2128 kB
Cached:          1718480 kB
SwapCached:           36 kB
Active:           537596 kB
Inactive:        1278744 kB
Active(anon):     109916 kB
Inactive(anon):     4208 kB
Active(file):     427680 kB
Inactive(file):  1274536 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            166548 kB
Writeback:             0 kB
AnonPages:         99384 kB
Mapped:           103572 kB
Shmem:             18068 kB
KReclaimable:     181752 kB
Slab:             273108 kB
SReclaimable:     181752 kB
SUnreclaim:        91356 kB
KernelStack:        4132 kB
PageTables:         2484 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     357836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC034 at 2025-07-01 15:07:32