Trace number 4435874

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
pb-oll-rs 2024-07-02SAT (TO)301 3600.09 3609.47

DiagnosticValue
AM1LB0
LOWERBOUND11
NAM1S0
NCORES2
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

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 benchmark3558.15
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
2.48/2.55	c [STEP] solving
2.48/2.55	c #variables 10000 #constraints 656900
2.48/2.55	c SMALL=int, LARGE=long long
2.48/2.55	c bounds - >= 0 @ 1.80306
2.48/2.55	c stratification level: 98
2.68/2.74	c bounds 6492 >= 0 @ 1.97397
2.68/2.74	c stratification level: 97
2.68/2.75	c bounds 6467 >= 0 @ 1.97933
2.68/2.75	c stratification level: 96
2.68/2.77	c bounds 6382 >= 0 @ 1.99269
2.68/2.77	c stratification level: 95
2.68/2.78	c bounds 5963 >= 0 @ 2.00011
2.68/2.78	c stratification level: 94
2.68/2.79	c bounds 5916 >= 0 @ 2.00612
2.68/2.79	c stratification level: 93
2.68/2.80	c bounds 5870 >= 0 @ 2.01179
2.68/2.80	c stratification level: 92
2.78/2.80	c bounds 5691 >= 0 @ 2.01683
2.78/2.80	c stratification level: 91
2.78/2.81	c bounds 5601 >= 0 @ 2.02101
2.78/2.81	c stratification level: 90
2.78/2.82	c bounds 5533 >= 0 @ 2.02666
2.78/2.82	c stratification level: 89
2.78/2.83	c bounds 5522 >= 0 @ 2.03202
2.78/2.83	c stratification level: 88
2.78/2.84	c bounds 5446 >= 0 @ 2.03795
2.78/2.84	c stratification level: 87
2.78/2.84	c bounds 5327 >= 0 @ 2.04537
2.78/2.84	c stratification level: 86
2.78/2.85	c bounds 5163 >= 0 @ 2.05171
2.78/2.85	c stratification level: 85
2.78/2.86	c bounds 5078 >= 0 @ 2.05726
2.78/2.86	c stratification level: 84
2.78/2.87	c bounds 5076 >= 0 @ 2.0648
2.78/2.87	c stratification level: 83
2.78/2.88	c bounds 4923 >= 0 @ 2.06998
2.78/2.88	c stratification level: 82
2.78/2.89	c bounds 4879 >= 0 @ 2.07616
2.78/2.89	c stratification level: 81
2.88/2.90	c bounds 4841 >= 0 @ 2.0826
2.88/2.90	c stratification level: 80
2.88/2.91	c bounds 4761 >= 0 @ 2.08721
2.88/2.91	c stratification level: 79
2.88/2.92	c bounds 4749 >= 0 @ 2.09299
2.88/2.92	c stratification level: 78
2.88/2.99	c bounds 4738 >= 0 @ 2.15937
2.88/2.99	c stratification level: 77
2.88/3.00	c bounds 4702 >= 0 @ 2.16648
2.88/3.00	c stratification level: 76
2.99/3.01	c bounds 4693 >= 0 @ 2.17255
2.99/3.01	c stratification level: 75
2.99/3.02	c bounds 4611 >= 0 @ 2.17726
2.99/3.02	c stratification level: 74
2.99/3.03	c bounds 4608 >= 0 @ 2.1871
2.99/3.03	c stratification level: 73
2.99/3.04	c bounds 4601 >= 0 @ 2.19366
2.99/3.04	c stratification level: 72
2.99/3.05	c bounds 4556 >= 0 @ 2.20073
2.99/3.05	c stratification level: 71
2.99/3.05	c bounds 4536 >= 0 @ 2.20471
2.99/3.05	c stratification level: 70
2.99/3.06	c bounds 4512 >= 0 @ 2.21098
2.99/3.06	c stratification level: 69
2.99/3.07	c bounds 4443 >= 0 @ 2.21931
2.99/3.07	c stratification level: 68
2.99/3.08	c bounds 4317 >= 0 @ 2.22578
2.99/3.08	c stratification level: 67
2.99/3.09	c bounds 4271 >= 0 @ 2.23213
2.99/3.09	c stratification level: 66
2.99/3.10	c bounds 3894 >= 0 @ 2.2376
2.99/3.10	c stratification level: 65
2.99/3.10	c bounds 3871 >= 0 @ 2.24301
2.99/3.10	c stratification level: 64
3.09/3.12	c bounds 3867 >= 0 @ 2.25575
3.09/3.12	c stratification level: 63
3.09/3.14	c bounds 3823 >= 0 @ 2.27419
3.09/3.14	c stratification level: 62
3.09/3.15	c bounds 3742 >= 0 @ 2.28026
3.09/3.15	c stratification level: 61
3.09/3.16	c bounds 3609 >= 0 @ 2.28584
3.09/3.16	c stratification level: 60
3.18/3.20	c bounds 3592 >= 0 @ 2.32659
3.18/3.20	c stratification level: 59
3.18/3.23	c bounds 3555 >= 0 @ 2.3559
3.18/3.23	c stratification level: 58
3.18/3.25	c bounds 3552 >= 0 @ 2.36844
3.18/3.25	c stratification level: 57
3.18/3.26	c bounds 3435 >= 0 @ 2.37528
3.18/3.26	c stratification level: 56
3.18/3.27	c bounds 3424 >= 0 @ 2.38164
3.18/3.27	c stratification level: 55
3.18/3.28	c bounds 3328 >= 0 @ 2.38637
3.18/3.28	c stratification level: 54
3.18/3.29	c bounds 3201 >= 0 @ 2.39486
3.18/3.29	c stratification level: 53
3.38/3.42	c bounds 3187 >= 0 @ 2.5172
3.38/3.42	c stratification level: 52
3.38/3.43	c bounds 3185 >= 0 @ 2.52304
3.38/3.43	c stratification level: 51
3.38/3.44	c bounds 3079 >= 0 @ 2.53016
3.38/3.44	c stratification level: 50
3.38/3.45	c bounds 3075 >= 0 @ 2.53853
3.38/3.45	c stratification level: 49
3.38/3.46	c bounds 3040 >= 0 @ 2.54388
3.38/3.46	c stratification level: 48
4.48/4.57	c #Conflicts:       1000 | #Constraints:     657949
4.48/4.57	c bounds 3026 >= 0 @ 3.62947
4.48/4.57	c stratification level: 47
4.58/4.61	c bounds 3025 >= 0 @ 3.66921
4.58/4.61	c stratification level: 46
4.58/4.62	c bounds 3014 >= 0 @ 3.67451
4.58/4.62	c stratification level: 45
4.58/4.63	c bounds 2877 >= 0 @ 3.67873
4.58/4.63	c stratification level: 44
4.58/4.64	c bounds 2856 >= 0 @ 3.68529
4.58/4.64	c stratification level: 43
4.58/4.65	c bounds 2847 >= 0 @ 3.69203
4.58/4.65	c stratification level: 42
4.58/4.66	c bounds 2805 >= 0 @ 3.69864
4.58/4.66	c stratification level: 41
4.58/4.67	c bounds 2739 >= 0 @ 3.7071
4.58/4.67	c stratification level: 40
4.58/4.68	c bounds 2615 >= 0 @ 3.7147
4.58/4.68	c stratification level: 39
4.68/4.70	c bounds 2545 >= 0 @ 3.72088
4.68/4.70	c stratification level: 38
4.68/4.71	c bounds 2469 >= 0 @ 3.7295
4.68/4.71	c stratification level: 37
4.68/4.72	c bounds 2322 >= 0 @ 3.7366
4.68/4.72	c stratification level: 36
4.68/4.73	c bounds 2315 >= 0 @ 3.74558
4.68/4.73	c stratification level: 35
4.68/4.74	c bounds 2220 >= 0 @ 3.75503
4.68/4.74	c stratification level: 34
4.68/4.75	c bounds 2124 >= 0 @ 3.76172
4.68/4.75	c stratification level: 33
4.68/4.76	c bounds 2111 >= 0 @ 3.76998
4.68/4.76	c stratification level: 32
4.68/4.78	c bounds 2069 >= 0 @ 3.7772
4.68/4.78	c stratification level: 31
4.68/4.79	c bounds 1975 >= 0 @ 3.78368
4.68/4.79	c stratification level: 30
4.78/4.80	c bounds 1968 >= 0 @ 3.79433
4.78/4.80	c stratification level: 29
4.78/4.82	c bounds 1904 >= 0 @ 3.80515
4.78/4.82	c stratification level: 28
4.78/4.84	c bounds 1779 >= 0 @ 3.82084
4.78/4.84	c stratification level: 27
4.78/4.85	c bounds 1527 >= 0 @ 3.82848
4.78/4.85	c stratification level: 26
4.78/4.86	c bounds 1451 >= 0 @ 3.83694
4.78/4.86	c stratification level: 25
4.78/4.89	c bounds 1389 >= 0 @ 3.84838
4.78/4.89	c stratification level: 24
4.88/4.90	c bounds 1263 >= 0 @ 3.85591
4.88/4.90	c stratification level: 23
4.88/4.91	c bounds 1240 >= 0 @ 3.86032
4.88/4.91	c stratification level: 22
4.88/4.92	c bounds 1168 >= 0 @ 3.86886
4.88/4.92	c stratification level: 21
4.88/4.94	c bounds 1161 >= 0 @ 3.87501
4.88/4.94	c stratification level: 20
4.88/4.95	c bounds 1091 >= 0 @ 3.88347
4.88/4.95	c stratification level: 19
4.88/4.97	c bounds 1028 >= 0 @ 3.88948
4.88/4.97	c stratification level: 18
4.99/5.07	c bounds 1021 >= 0 @ 3.98016
4.99/5.07	c stratification level: 17
4.99/5.09	c bounds 993 >= 0 @ 3.98798
4.99/5.09	c stratification level: 16
5.09/5.17	c bounds 964 >= 0 @ 4.06083
5.09/5.17	c stratification level: 15
5.18/5.24	c bounds 820 >= 0 @ 4.12187
5.18/5.24	c stratification level: 14
5.98/6.02	c #Conflicts:       2000 | #Constraints:     658983
5.98/6.02	c INPROCESSING
5.98/6.02	c GARBAGE COLLECT
5.98/6.02	c bounds 819 >= 0 @ 4.85703
5.98/6.02	c stratification level: 13
6.28/6.35	c bounds 760 >= 0 @ 5.17819
6.28/6.35	c stratification level: 12
7.67/7.78	c #Conflicts:       3000 | #Constraints:     658909
7.67/7.78	c bounds 666 >= 0 @ 6.55504
7.67/7.78	c stratification level: 11
8.17/8.27	c #Conflicts:       4000 | #Constraints:     659910
8.17/8.27	c INPROCESSING
8.17/8.27	c GARBAGE COLLECT
8.17/8.27	c bounds 596 >= 0 @ 7.01996
8.17/8.27	c stratification level: 10
8.27/8.37	c bounds 518 >= 0 @ 7.11034
8.27/8.37	c stratification level: 9
8.98/9.03	c #Conflicts:       5000 | #Constraints:     659317
8.98/9.03	c bounds 492 >= 0 @ 7.7237
8.98/9.03	c stratification level: 8
23.84/23.96	c #Conflicts:       6000 | #Constraints:     660318
23.84/23.96	c INPROCESSING
23.84/23.96	c GARBAGE COLLECT
23.84/23.96	c #Conflicts:       7000 | #Constraints:     659322
23.84/23.96	c #Conflicts:       8000 | #Constraints:     660322
23.84/23.96	c #Conflicts:       9000 | #Constraints:     661322
23.84/23.96	c INPROCESSING
23.84/23.96	c GARBAGE COLLECT
23.84/23.96	c #Conflicts:      10000 | #Constraints:     660022
23.84/23.96	c #Conflicts:      11000 | #Constraints:     661022
23.84/23.96	c #Conflicts:      12000 | #Constraints:     662022
23.84/23.96	c INPROCESSING
23.84/23.96	c GARBAGE COLLECT
23.84/23.96	c #Conflicts:      13000 | #Constraints:     660475
23.84/23.96	c #Conflicts:      14000 | #Constraints:     661475
23.84/23.96	c #Conflicts:      15000 | #Constraints:     662475
23.84/23.96	c INPROCESSING
23.84/23.96	c GARBAGE COLLECT
23.84/23.96	c #Conflicts:      16000 | #Constraints:     660703
23.84/23.96	c #Conflicts:      17000 | #Constraints:     661703
23.84/23.96	c #Conflicts:      18000 | #Constraints:     662703
23.84/23.96	c INPROCESSING
23.84/23.96	c GARBAGE COLLECT
23.84/23.96	c bounds 407 >= 0 @ 22.3252
23.84/23.96	c stratification level: 7
41.29/41.41	c #Conflicts:      19000 | #Constraints:     660730
41.29/41.41	c #Conflicts:      20000 | #Constraints:     661730
41.29/41.41	c #Conflicts:      21000 | #Constraints:     662730
41.29/41.41	c INPROCESSING
41.29/41.41	c GARBAGE COLLECT
41.29/41.41	c #Conflicts:      22000 | #Constraints:     660535
41.29/41.41	c #Conflicts:      23000 | #Constraints:     661535
41.29/41.41	c #Conflicts:      24000 | #Constraints:     662535
41.29/41.41	c #Conflicts:      25000 | #Constraints:     663535
41.29/41.41	c INPROCESSING
41.29/41.41	c GARBAGE COLLECT
41.29/41.41	c #Conflicts:      26000 | #Constraints:     661141
41.29/41.41	c #Conflicts:      27000 | #Constraints:     662141
41.29/41.41	c #Conflicts:      28000 | #Constraints:     663141
41.29/41.41	c #Conflicts:      29000 | #Constraints:     664141
41.29/41.41	c INPROCESSING
41.29/41.41	c GARBAGE COLLECT
41.29/41.41	c #Conflicts:      30000 | #Constraints:     661543
41.29/41.41	c #Conflicts:      31000 | #Constraints:     662543
41.29/41.41	c #Conflicts:      32000 | #Constraints:     663543
41.29/41.41	c #Conflicts:      33000 | #Constraints:     664543
41.29/41.41	c INPROCESSING
41.29/41.41	c GARBAGE COLLECT
41.29/41.41	c bounds 319 >= 0 @ 39.2494
41.29/41.41	c stratification level: 6
136.84/137.20	c bounds 319 >= 6 @ 39.2545
136.84/137.20	c #Conflicts:      34000 | #Constraints:     661747
136.84/137.20	c #Conflicts:      35000 | #Constraints:     662747
136.84/137.20	c #Conflicts:      36000 | #Constraints:     663747
136.84/137.20	c #Conflicts:      37000 | #Constraints:     664747
136.84/137.20	c INPROCESSING
136.84/137.20	c GARBAGE COLLECT
136.84/137.20	c #Conflicts:      38000 | #Constraints:     661756
136.84/137.20	c #Conflicts:      39000 | #Constraints:     662756
136.84/137.20	c #Conflicts:      40000 | #Constraints:     663756
136.84/137.20	c #Conflicts:      41000 | #Constraints:     664756
136.84/137.20	c INPROCESSING
136.84/137.20	c GARBAGE COLLECT
136.84/137.20	c #Conflicts:      42000 | #Constraints:     661558
136.84/137.20	c #Conflicts:      43000 | #Constraints:     662558
136.84/137.20	c #Conflicts:      44000 | #Constraints:     663558
136.84/137.20	c #Conflicts:      45000 | #Constraints:     664558
136.84/137.20	c #Conflicts:      46000 | #Constraints:     665558
136.84/137.20	c INPROCESSING
136.84/137.20	c GARBAGE COLLECT
136.84/137.20	c #Conflicts:      47000 | #Constraints:     662153
136.84/137.20	c #Conflicts:      48000 | #Constraints:     663153
136.84/137.20	c #Conflicts:      49000 | #Constraints:     664153
136.84/137.20	c #Conflicts:      50000 | #Constraints:     665153
136.84/137.20	c #Conflicts:      51000 | #Constraints:     666153
136.84/137.20	c INPROCESSING
136.84/137.20	c GARBAGE COLLECT
136.84/137.20	c #Conflicts:      52000 | #Constraints:     662563
136.84/137.20	c #Conflicts:      53000 | #Constraints:     663563
136.84/137.20	c #Conflicts:      54000 | #Constraints:     664563
136.84/137.20	c #Conflicts:      55000 | #Constraints:     665563
136.84/137.20	c #Conflicts:      56000 | #Constraints:     666563
136.84/137.20	c INPROCESSING
136.84/137.20	c GARBAGE COLLECT
136.84/137.20	c #Conflicts:      57000 | #Constraints:     662753
136.84/137.20	c #Conflicts:      58000 | #Constraints:     663753
136.84/137.20	c #Conflicts:      59000 | #Constraints:     664753
136.84/137.20	c #Conflicts:      60000 | #Constraints:     665753
136.84/137.20	c #Conflicts:      61000 | #Constraints:     666753
136.84/137.20	c INPROCESSING
136.84/137.20	c GARBAGE COLLECT
136.84/137.20	c #Conflicts:      62000 | #Constraints:     662764
136.84/137.20	c #Conflicts:      63000 | #Constraints:     663764
136.84/137.20	c #Conflicts:      64000 | #Constraints:     664764
136.84/137.20	c #Conflicts:      65000 | #Constraints:     665764
136.84/137.20	c #Conflicts:      66000 | #Constraints:     666764
136.84/137.20	c INPROCESSING
136.84/137.20	c GARBAGE COLLECT
136.84/137.20	c #Conflicts:      67000 | #Constraints:     662572
136.84/137.20	c #Conflicts:      68000 | #Constraints:     663572
136.84/137.21	c #Conflicts:      69000 | #Constraints:     664572
136.84/137.21	c #Conflicts:      70000 | #Constraints:     665572
136.84/137.21	c #Conflicts:      71000 | #Constraints:     666572
136.84/137.21	c #Conflicts:      72000 | #Constraints:     667572
136.84/137.21	c INPROCESSING
136.84/137.21	c GARBAGE COLLECT
136.84/137.21	c #Conflicts:      73000 | #Constraints:     663167
136.84/137.21	c #Conflicts:      74000 | #Constraints:     664167
136.84/137.21	c #Conflicts:      75000 | #Constraints:     665167
136.84/137.21	c #Conflicts:      76000 | #Constraints:     666167
136.84/137.21	c #Conflicts:      77000 | #Constraints:     667167
136.84/137.21	c #Conflicts:      78000 | #Constraints:     668167
136.84/137.21	c INPROCESSING
136.84/137.21	c GARBAGE COLLECT
136.84/137.21	c #Conflicts:      79000 | #Constraints:     663566
136.84/137.21	c #Conflicts:      80000 | #Constraints:     664566
136.84/137.21	c #Conflicts:      81000 | #Constraints:     665566
136.84/137.21	c #Conflicts:      82000 | #Constraints:     666566
136.84/137.21	c #Conflicts:      83000 | #Constraints:     667566
136.84/137.21	c #Conflicts:      84000 | #Constraints:     668566
136.84/137.21	c INPROCESSING
136.84/137.21	c GARBAGE COLLECT
136.84/137.21	c #Conflicts:      85000 | #Constraints:     663771
136.84/137.21	c #Conflicts:      86000 | #Constraints:     664771
136.84/137.21	c #Conflicts:      87000 | #Constraints:     665771
136.84/137.21	c #Conflicts:      88000 | #Constraints:     666771
136.84/137.21	c #Conflicts:      89000 | #Constraints:     667771
136.84/137.21	c #Conflicts:      90000 | #Constraints:     668771
136.84/137.21	c INPROCESSING
136.84/137.21	c GARBAGE COLLECT
136.84/137.21	c #Conflicts:      91000 | #Constraints:     663776
136.84/137.21	c #Conflicts:      92000 | #Constraints:     664776
136.84/137.21	c #Conflicts:      93000 | #Constraints:     665776
136.84/137.21	c #Conflicts:      94000 | #Constraints:     666776
136.84/137.21	c #Conflicts:      95000 | #Constraints:     667776
136.84/137.21	c #Conflicts:      96000 | #Constraints:     668776
136.84/137.21	c INPROCESSING
136.84/137.21	c GARBAGE COLLECT
136.84/137.21	c #Conflicts:      97000 | #Constraints:     663581
136.84/137.21	c #Conflicts:      98000 | #Constraints:     664581
136.84/137.21	c #Conflicts:      99000 | #Constraints:     665581
136.84/137.21	c #Conflicts:     100000 | #Constraints:     666581
136.84/137.21	c #Conflicts:     101000 | #Constraints:     667581
136.84/137.21	c #Conflicts:     102000 | #Constraints:     668581
136.84/137.21	c #Conflicts:     103000 | #Constraints:     669581
136.84/137.21	c INPROCESSING
136.84/137.21	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     104000 | #Constraints:     664183
238.26/238.93	c #Conflicts:     105000 | #Constraints:     665183
238.26/238.93	c #Conflicts:     106000 | #Constraints:     666183
238.26/238.93	c #Conflicts:     107000 | #Constraints:     667183
238.26/238.93	c #Conflicts:     108000 | #Constraints:     668183
238.26/238.93	c #Conflicts:     109000 | #Constraints:     669183
238.26/238.93	c #Conflicts:     110000 | #Constraints:     670183
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     111000 | #Constraints:     664583
238.26/238.93	c #Conflicts:     112000 | #Constraints:     665583
238.26/238.93	c #Conflicts:     113000 | #Constraints:     666583
238.26/238.93	c #Conflicts:     114000 | #Constraints:     667583
238.26/238.93	c #Conflicts:     115000 | #Constraints:     668583
238.26/238.93	c #Conflicts:     116000 | #Constraints:     669583
238.26/238.93	c #Conflicts:     117000 | #Constraints:     670583
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     118000 | #Constraints:     664776
238.26/238.93	c #Conflicts:     119000 | #Constraints:     665776
238.26/238.93	c #Conflicts:     120000 | #Constraints:     666776
238.26/238.93	c #Conflicts:     121000 | #Constraints:     667776
238.26/238.93	c #Conflicts:     122000 | #Constraints:     668776
238.26/238.93	c #Conflicts:     123000 | #Constraints:     669776
238.26/238.93	c #Conflicts:     124000 | #Constraints:     670776
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     125000 | #Constraints:     664778
238.26/238.93	c #Conflicts:     126000 | #Constraints:     665778
238.26/238.93	c #Conflicts:     127000 | #Constraints:     666778
238.26/238.93	c #Conflicts:     128000 | #Constraints:     667778
238.26/238.93	c #Conflicts:     129000 | #Constraints:     668778
238.26/238.93	c #Conflicts:     130000 | #Constraints:     669778
238.26/238.93	c #Conflicts:     131000 | #Constraints:     670778
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     132000 | #Constraints:     664575
238.26/238.93	c #Conflicts:     133000 | #Constraints:     665575
238.26/238.93	c #Conflicts:     134000 | #Constraints:     666575
238.26/238.93	c #Conflicts:     135000 | #Constraints:     667575
238.26/238.93	c #Conflicts:     136000 | #Constraints:     668575
238.26/238.93	c #Conflicts:     137000 | #Constraints:     669575
238.26/238.93	c #Conflicts:     138000 | #Constraints:     670575
238.26/238.93	c #Conflicts:     139000 | #Constraints:     671575
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     140000 | #Constraints:     665186
238.26/238.93	c #Conflicts:     141000 | #Constraints:     666186
238.26/238.93	c #Conflicts:     142000 | #Constraints:     667186
238.26/238.93	c #Conflicts:     143000 | #Constraints:     668186
238.26/238.93	c #Conflicts:     144000 | #Constraints:     669186
238.26/238.93	c #Conflicts:     145000 | #Constraints:     670186
238.26/238.93	c #Conflicts:     146000 | #Constraints:     671186
238.26/238.93	c #Conflicts:     147000 | #Constraints:     672186
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     148000 | #Constraints:     665583
238.26/238.93	c #Conflicts:     149000 | #Constraints:     666583
238.26/238.93	c #Conflicts:     150000 | #Constraints:     667583
238.26/238.93	c #Conflicts:     151000 | #Constraints:     668583
238.26/238.93	c #Conflicts:     152000 | #Constraints:     669583
238.26/238.93	c #Conflicts:     153000 | #Constraints:     670583
238.26/238.93	c #Conflicts:     154000 | #Constraints:     671583
238.26/238.93	c #Conflicts:     155000 | #Constraints:     672583
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     156000 | #Constraints:     665777
238.26/238.93	c #Conflicts:     157000 | #Constraints:     666777
238.26/238.93	c #Conflicts:     158000 | #Constraints:     667777
238.26/238.93	c #Conflicts:     159000 | #Constraints:     668777
238.26/238.93	c #Conflicts:     160000 | #Constraints:     669777
238.26/238.93	c #Conflicts:     161000 | #Constraints:     670777
238.26/238.93	c #Conflicts:     162000 | #Constraints:     671777
238.26/238.93	c #Conflicts:     163000 | #Constraints:     672777
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     164000 | #Constraints:     665782
238.26/238.93	c #Conflicts:     165000 | #Constraints:     666782
238.26/238.93	c #Conflicts:     166000 | #Constraints:     667782
238.26/238.93	c #Conflicts:     167000 | #Constraints:     668782
238.26/238.93	c #Conflicts:     168000 | #Constraints:     669782
238.26/238.93	c #Conflicts:     169000 | #Constraints:     670782
238.26/238.93	c #Conflicts:     170000 | #Constraints:     671782
238.26/238.93	c #Conflicts:     171000 | #Constraints:     672782
238.26/238.93	c INPROCESSING
238.26/238.93	c GARBAGE COLLECT
238.26/238.93	c #Conflicts:     172000 | #Constraints:     665577
238.26/238.93	c #Conflicts:     173000 | #Constraints:     666577
238.26/238.93	c #Conflicts:     174000 | #Constraints:     667577
238.26/238.93	c #Conflicts:     175000 | #Constraints:     668577
238.26/238.93	c #Conflicts:     176000 | #Constraints:     669577
238.26/238.93	c #Conflicts:     177000 | #Constraints:     670577
349.91/350.84	c #Conflicts:     178000 | #Constraints:     671577
349.91/350.84	c #Conflicts:     179000 | #Constraints:     672577
349.91/350.84	c #Conflicts:     180000 | #Constraints:     673577
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     181000 | #Constraints:     666182
349.91/350.84	c #Conflicts:     182000 | #Constraints:     667182
349.91/350.84	c #Conflicts:     183000 | #Constraints:     668182
349.91/350.84	c #Conflicts:     184000 | #Constraints:     669182
349.91/350.84	c #Conflicts:     185000 | #Constraints:     670182
349.91/350.84	c #Conflicts:     186000 | #Constraints:     671182
349.91/350.84	c #Conflicts:     187000 | #Constraints:     672182
349.91/350.84	c #Conflicts:     188000 | #Constraints:     673182
349.91/350.84	c #Conflicts:     189000 | #Constraints:     674182
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     190000 | #Constraints:     666605
349.91/350.84	c #Conflicts:     191000 | #Constraints:     667605
349.91/350.84	c #Conflicts:     192000 | #Constraints:     668605
349.91/350.84	c #Conflicts:     193000 | #Constraints:     669605
349.91/350.84	c #Conflicts:     194000 | #Constraints:     670605
349.91/350.84	c #Conflicts:     195000 | #Constraints:     671605
349.91/350.84	c #Conflicts:     196000 | #Constraints:     672605
349.91/350.84	c #Conflicts:     197000 | #Constraints:     673605
349.91/350.84	c #Conflicts:     198000 | #Constraints:     674605
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     199000 | #Constraints:     666797
349.91/350.84	c #Conflicts:     200000 | #Constraints:     667797
349.91/350.84	c #Conflicts:     201000 | #Constraints:     668797
349.91/350.84	c #Conflicts:     202000 | #Constraints:     669797
349.91/350.84	c #Conflicts:     203000 | #Constraints:     670797
349.91/350.84	c #Conflicts:     204000 | #Constraints:     671797
349.91/350.84	c #Conflicts:     205000 | #Constraints:     672797
349.91/350.84	c #Conflicts:     206000 | #Constraints:     673797
349.91/350.84	c #Conflicts:     207000 | #Constraints:     674797
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     208000 | #Constraints:     666790
349.91/350.84	c #Conflicts:     209000 | #Constraints:     667790
349.91/350.84	c #Conflicts:     210000 | #Constraints:     668790
349.91/350.84	c #Conflicts:     211000 | #Constraints:     669790
349.91/350.84	c #Conflicts:     212000 | #Constraints:     670790
349.91/350.84	c #Conflicts:     213000 | #Constraints:     671790
349.91/350.84	c #Conflicts:     214000 | #Constraints:     672790
349.91/350.84	c #Conflicts:     215000 | #Constraints:     673790
349.91/350.84	c #Conflicts:     216000 | #Constraints:     674790
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     217000 | #Constraints:     666594
349.91/350.84	c #Conflicts:     218000 | #Constraints:     667594
349.91/350.84	c #Conflicts:     219000 | #Constraints:     668594
349.91/350.84	c #Conflicts:     220000 | #Constraints:     669594
349.91/350.84	c #Conflicts:     221000 | #Constraints:     670594
349.91/350.84	c #Conflicts:     222000 | #Constraints:     671594
349.91/350.84	c #Conflicts:     223000 | #Constraints:     672594
349.91/350.84	c #Conflicts:     224000 | #Constraints:     673594
349.91/350.84	c #Conflicts:     225000 | #Constraints:     674594
349.91/350.84	c #Conflicts:     226000 | #Constraints:     675594
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     227000 | #Constraints:     667190
349.91/350.84	c #Conflicts:     228000 | #Constraints:     668190
349.91/350.84	c #Conflicts:     229000 | #Constraints:     669190
349.91/350.84	c #Conflicts:     230000 | #Constraints:     670190
349.91/350.84	c #Conflicts:     231000 | #Constraints:     671190
349.91/350.84	c #Conflicts:     232000 | #Constraints:     672190
349.91/350.84	c #Conflicts:     233000 | #Constraints:     673190
349.91/350.84	c #Conflicts:     234000 | #Constraints:     674190
349.91/350.84	c #Conflicts:     235000 | #Constraints:     675190
349.91/350.84	c #Conflicts:     236000 | #Constraints:     676190
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     237000 | #Constraints:     667588
349.91/350.84	c #Conflicts:     238000 | #Constraints:     668588
349.91/350.84	c #Conflicts:     239000 | #Constraints:     669588
349.91/350.84	c #Conflicts:     240000 | #Constraints:     670588
349.91/350.84	c #Conflicts:     241000 | #Constraints:     671588
349.91/350.84	c #Conflicts:     242000 | #Constraints:     672588
349.91/350.84	c #Conflicts:     243000 | #Constraints:     673588
349.91/350.84	c #Conflicts:     244000 | #Constraints:     674588
349.91/350.84	c #Conflicts:     245000 | #Constraints:     675588
349.91/350.84	c #Conflicts:     246000 | #Constraints:     676588
349.91/350.84	c INPROCESSING
349.91/350.84	c GARBAGE COLLECT
349.91/350.84	c #Conflicts:     247000 | #Constraints:     667799
349.91/350.84	c #Conflicts:     248000 | #Constraints:     668799
349.91/350.84	c #Conflicts:     249000 | #Constraints:     669799
349.91/350.84	c #Conflicts:     250000 | #Constraints:     670799
454.64/455.88	c #Conflicts:     251000 | #Constraints:     671799
454.64/455.88	c #Conflicts:     252000 | #Constraints:     672799
454.64/455.88	c #Conflicts:     253000 | #Constraints:     673799
454.64/455.88	c #Conflicts:     254000 | #Constraints:     674799
454.64/455.88	c #Conflicts:     255000 | #Constraints:     675799
454.64/455.88	c #Conflicts:     256000 | #Constraints:     676799
454.64/455.88	c INPROCESSING
454.64/455.88	c GARBAGE COLLECT
454.64/455.88	c #Conflicts:     257000 | #Constraints:     667798
454.64/455.88	c #Conflicts:     258000 | #Constraints:     668798
454.64/455.88	c #Conflicts:     259000 | #Constraints:     669798
454.64/455.88	c #Conflicts:     260000 | #Constraints:     670798
454.64/455.88	c #Conflicts:     261000 | #Constraints:     671798
454.64/455.88	c #Conflicts:     262000 | #Constraints:     672798
454.64/455.88	c #Conflicts:     263000 | #Constraints:     673798
454.64/455.88	c #Conflicts:     264000 | #Constraints:     674798
454.64/455.88	c #Conflicts:     265000 | #Constraints:     675798
454.64/455.88	c #Conflicts:     266000 | #Constraints:     676798
454.64/455.88	c INPROCESSING
454.64/455.88	c GARBAGE COLLECT
454.64/455.88	c #Conflicts:     267000 | #Constraints:     667603
454.64/455.88	c #Conflicts:     268000 | #Constraints:     668603
454.64/455.88	c #Conflicts:     269000 | #Constraints:     669603
454.64/455.88	c #Conflicts:     270000 | #Constraints:     670603
454.64/455.88	c #Conflicts:     271000 | #Constraints:     671603
454.64/455.88	c #Conflicts:     272000 | #Constraints:     672603
454.64/455.88	c #Conflicts:     273000 | #Constraints:     673603
454.64/455.88	c #Conflicts:     274000 | #Constraints:     674603
454.64/455.88	c #Conflicts:     275000 | #Constraints:     675603
454.64/455.88	c #Conflicts:     276000 | #Constraints:     676603
454.64/455.88	c #Conflicts:     277000 | #Constraints:     677603
454.64/455.88	c INPROCESSING
454.64/455.88	c GARBAGE COLLECT
454.64/455.88	c #Conflicts:     278000 | #Constraints:     668194
454.64/455.88	c #Conflicts:     279000 | #Constraints:     669194
454.64/455.88	c #Conflicts:     280000 | #Constraints:     670194
454.64/455.88	c #Conflicts:     281000 | #Constraints:     671194
454.64/455.88	c #Conflicts:     282000 | #Constraints:     672194
454.64/455.88	c #Conflicts:     283000 | #Constraints:     673194
454.64/455.88	c #Conflicts:     284000 | #Constraints:     674194
454.64/455.88	c #Conflicts:     285000 | #Constraints:     675194
454.64/455.88	c #Conflicts:     286000 | #Constraints:     676194
454.64/455.88	c #Conflicts:     287000 | #Constraints:     677194
454.64/455.88	c #Conflicts:     288000 | #Constraints:     678194
454.64/455.88	c INPROCESSING
454.64/455.88	c GARBAGE COLLECT
454.64/455.88	c #Conflicts:     289000 | #Constraints:     668596
454.64/455.88	c #Conflicts:     290000 | #Constraints:     669596
454.64/455.88	c #Conflicts:     291000 | #Constraints:     670596
454.64/455.88	c #Conflicts:     292000 | #Constraints:     671596
454.64/455.88	c #Conflicts:     293000 | #Constraints:     672596
454.64/455.88	c #Conflicts:     294000 | #Constraints:     673596
454.64/455.88	c #Conflicts:     295000 | #Constraints:     674596
454.64/455.88	c #Conflicts:     296000 | #Constraints:     675596
454.64/455.88	c #Conflicts:     297000 | #Constraints:     676596
454.64/455.88	c #Conflicts:     298000 | #Constraints:     677596
454.64/455.88	c #Conflicts:     299000 | #Constraints:     678596
454.64/455.88	c INPROCESSING
454.64/455.88	c GARBAGE COLLECT
454.64/455.88	c #Conflicts:     300000 | #Constraints:     668803
454.64/455.88	c #Conflicts:     301000 | #Constraints:     669803
454.64/455.88	c #Conflicts:     302000 | #Constraints:     670803
454.64/455.88	c #Conflicts:     303000 | #Constraints:     671803
454.64/455.88	c #Conflicts:     304000 | #Constraints:     672803
454.64/455.88	c #Conflicts:     305000 | #Constraints:     673803
454.64/455.88	c #Conflicts:     306000 | #Constraints:     674803
454.64/455.88	c #Conflicts:     307000 | #Constraints:     675803
454.64/455.88	c #Conflicts:     308000 | #Constraints:     676803
454.64/455.88	c #Conflicts:     309000 | #Constraints:     677803
454.64/455.88	c #Conflicts:     310000 | #Constraints:     678803
454.64/455.88	c INPROCESSING
454.64/455.88	c GARBAGE COLLECT
454.64/455.88	c #Conflicts:     311000 | #Constraints:     668810
454.64/455.88	c #Conflicts:     312000 | #Constraints:     669810
454.64/455.88	c #Conflicts:     313000 | #Constraints:     670810
454.64/455.88	c #Conflicts:     314000 | #Constraints:     671810
454.64/455.88	c #Conflicts:     315000 | #Constraints:     672810
454.64/455.88	c #Conflicts:     316000 | #Constraints:     673810
454.64/455.88	c #Conflicts:     317000 | #Constraints:     674810
454.64/455.88	c #Conflicts:     318000 | #Constraints:     675810
454.64/455.88	c #Conflicts:     319000 | #Constraints:     676810
454.64/455.88	c #Conflicts:     320000 | #Constraints:     677810
454.64/455.88	c #Conflicts:     321000 | #Constraints:     678810
454.64/455.88	c INPROCESSING
454.64/455.88	c GARBAGE COLLECT
454.64/455.88	c #Conflicts:     322000 | #Constraints:     668614
454.64/455.88	c #Conflicts:     323000 | #Constraints:     669614
454.64/455.88	c #Conflicts:     324000 | #Constraints:     670614
454.64/455.88	c #Conflicts:     325000 | #Constraints:     671614
562.75/564.26	c #Conflicts:     326000 | #Constraints:     672614
562.75/564.26	c #Conflicts:     327000 | #Constraints:     673614
562.75/564.26	c #Conflicts:     328000 | #Constraints:     674614
562.75/564.26	c #Conflicts:     329000 | #Constraints:     675614
562.75/564.26	c #Conflicts:     330000 | #Constraints:     676614
562.75/564.26	c #Conflicts:     331000 | #Constraints:     677614
562.75/564.26	c #Conflicts:     332000 | #Constraints:     678614
562.75/564.26	c #Conflicts:     333000 | #Constraints:     679614
562.75/564.26	c INPROCESSING
562.75/564.26	c GARBAGE COLLECT
562.75/564.26	c #Conflicts:     334000 | #Constraints:     669214
562.75/564.26	c #Conflicts:     335000 | #Constraints:     670214
562.75/564.26	c #Conflicts:     336000 | #Constraints:     671214
562.75/564.26	c #Conflicts:     337000 | #Constraints:     672214
562.75/564.26	c #Conflicts:     338000 | #Constraints:     673214
562.75/564.26	c #Conflicts:     339000 | #Constraints:     674214
562.75/564.26	c #Conflicts:     340000 | #Constraints:     675214
562.75/564.26	c #Conflicts:     341000 | #Constraints:     676214
562.75/564.26	c #Conflicts:     342000 | #Constraints:     677214
562.75/564.26	c #Conflicts:     343000 | #Constraints:     678214
562.75/564.26	c #Conflicts:     344000 | #Constraints:     679214
562.75/564.26	c #Conflicts:     345000 | #Constraints:     680214
562.75/564.26	c INPROCESSING
562.75/564.26	c GARBAGE COLLECT
562.75/564.26	c #Conflicts:     346000 | #Constraints:     669612
562.75/564.26	c #Conflicts:     347000 | #Constraints:     670612
562.75/564.26	c #Conflicts:     348000 | #Constraints:     671612
562.75/564.26	c #Conflicts:     349000 | #Constraints:     672612
562.75/564.26	c #Conflicts:     350000 | #Constraints:     673612
562.75/564.26	c #Conflicts:     351000 | #Constraints:     674612
562.75/564.26	c #Conflicts:     352000 | #Constraints:     675612
562.75/564.26	c #Conflicts:     353000 | #Constraints:     676612
562.75/564.26	c #Conflicts:     354000 | #Constraints:     677612
562.75/564.26	c #Conflicts:     355000 | #Constraints:     678612
562.75/564.26	c #Conflicts:     356000 | #Constraints:     679612
562.75/564.26	c #Conflicts:     357000 | #Constraints:     680612
562.75/564.26	c INPROCESSING
562.75/564.26	c GARBAGE COLLECT
562.75/564.26	c #Conflicts:     358000 | #Constraints:     669788
562.75/564.26	c #Conflicts:     359000 | #Constraints:     670788
562.75/564.26	c #Conflicts:     360000 | #Constraints:     671788
562.75/564.26	c #Conflicts:     361000 | #Constraints:     672788
562.75/564.26	c #Conflicts:     362000 | #Constraints:     673788
562.75/564.26	c #Conflicts:     363000 | #Constraints:     674788
562.75/564.26	c #Conflicts:     364000 | #Constraints:     675788
562.75/564.26	c #Conflicts:     365000 | #Constraints:     676788
562.75/564.26	c #Conflicts:     366000 | #Constraints:     677788
562.75/564.26	c #Conflicts:     367000 | #Constraints:     678788
562.75/564.26	c #Conflicts:     368000 | #Constraints:     679788
562.75/564.26	c #Conflicts:     369000 | #Constraints:     680788
562.75/564.26	c INPROCESSING
562.75/564.26	c GARBAGE COLLECT
562.75/564.26	c #Conflicts:     370000 | #Constraints:     669799
562.75/564.26	c #Conflicts:     371000 | #Constraints:     670799
562.75/564.26	c #Conflicts:     372000 | #Constraints:     671799
562.75/564.26	c #Conflicts:     373000 | #Constraints:     672799
562.75/564.26	c #Conflicts:     374000 | #Constraints:     673799
562.75/564.26	c #Conflicts:     375000 | #Constraints:     674799
562.75/564.26	c #Conflicts:     376000 | #Constraints:     675799
562.75/564.26	c #Conflicts:     377000 | #Constraints:     676799
562.75/564.26	c #Conflicts:     378000 | #Constraints:     677799
562.75/564.26	c #Conflicts:     379000 | #Constraints:     678799
562.75/564.26	c #Conflicts:     380000 | #Constraints:     679799
562.75/564.26	c #Conflicts:     381000 | #Constraints:     680799
562.75/564.26	c INPROCESSING
562.75/564.26	c GARBAGE COLLECT
562.75/564.26	c #Conflicts:     382000 | #Constraints:     669589
562.75/564.26	c #Conflicts:     383000 | #Constraints:     670589
562.75/564.26	c #Conflicts:     384000 | #Constraints:     671589
562.75/564.26	c #Conflicts:     385000 | #Constraints:     672589
562.75/564.26	c #Conflicts:     386000 | #Constraints:     673589
562.75/564.26	c #Conflicts:     387000 | #Constraints:     674589
562.75/564.26	c #Conflicts:     388000 | #Constraints:     675589
562.75/564.26	c #Conflicts:     389000 | #Constraints:     676589
562.75/564.26	c #Conflicts:     390000 | #Constraints:     677589
562.75/564.26	c #Conflicts:     391000 | #Constraints:     678589
562.75/564.26	c #Conflicts:     392000 | #Constraints:     679589
562.75/564.26	c #Conflicts:     393000 | #Constraints:     680589
562.75/564.26	c #Conflicts:     394000 | #Constraints:     681589
562.75/564.26	c INPROCESSING
562.75/564.26	c GARBAGE COLLECT
562.75/564.26	c #Conflicts:     395000 | #Constraints:     670209
562.75/564.26	c #Conflicts:     396000 | #Constraints:     671209
562.75/564.26	c #Conflicts:     397000 | #Constraints:     672209
562.75/564.26	c #Conflicts:     398000 | #Constraints:     673209
562.75/564.26	c #Conflicts:     399000 | #Constraints:     674209
562.75/564.26	c #Conflicts:     400000 | #Constraints:     675209
676.14/677.99	c #Conflicts:     401000 | #Constraints:     676209
676.14/677.99	c #Conflicts:     402000 | #Constraints:     677209
676.14/677.99	c #Conflicts:     403000 | #Constraints:     678209
676.14/677.99	c #Conflicts:     404000 | #Constraints:     679209
676.14/677.99	c #Conflicts:     405000 | #Constraints:     680209
676.14/677.99	c #Conflicts:     406000 | #Constraints:     681209
676.14/677.99	c #Conflicts:     407000 | #Constraints:     682209
676.14/677.99	c INPROCESSING
676.14/677.99	c GARBAGE COLLECT
676.14/677.99	c #Conflicts:     408000 | #Constraints:     670609
676.14/677.99	c #Conflicts:     409000 | #Constraints:     671609
676.14/677.99	c #Conflicts:     410000 | #Constraints:     672609
676.14/677.99	c #Conflicts:     411000 | #Constraints:     673609
676.14/677.99	c #Conflicts:     412000 | #Constraints:     674609
676.14/677.99	c #Conflicts:     413000 | #Constraints:     675609
676.14/677.99	c #Conflicts:     414000 | #Constraints:     676609
676.14/677.99	c #Conflicts:     415000 | #Constraints:     677609
676.14/677.99	c #Conflicts:     416000 | #Constraints:     678609
676.14/677.99	c #Conflicts:     417000 | #Constraints:     679609
676.14/677.99	c #Conflicts:     418000 | #Constraints:     680609
676.14/677.99	c #Conflicts:     419000 | #Constraints:     681609
676.14/677.99	c #Conflicts:     420000 | #Constraints:     682609
676.14/677.99	c INPROCESSING
676.14/677.99	c GARBAGE COLLECT
676.14/677.99	c #Conflicts:     421000 | #Constraints:     670802
676.14/677.99	c #Conflicts:     422000 | #Constraints:     671802
676.14/677.99	c #Conflicts:     423000 | #Constraints:     672802
676.14/677.99	c #Conflicts:     424000 | #Constraints:     673802
676.14/677.99	c #Conflicts:     425000 | #Constraints:     674802
676.14/677.99	c #Conflicts:     426000 | #Constraints:     675802
676.14/677.99	c #Conflicts:     427000 | #Constraints:     676802
676.14/677.99	c #Conflicts:     428000 | #Constraints:     677802
676.14/677.99	c #Conflicts:     429000 | #Constraints:     678802
676.14/677.99	c #Conflicts:     430000 | #Constraints:     679802
676.14/677.99	c #Conflicts:     431000 | #Constraints:     680802
676.14/677.99	c #Conflicts:     432000 | #Constraints:     681802
676.14/677.99	c #Conflicts:     433000 | #Constraints:     682802
676.14/677.99	c INPROCESSING
676.14/677.99	c GARBAGE COLLECT
676.14/677.99	c #Conflicts:     434000 | #Constraints:     670820
676.14/677.99	c #Conflicts:     435000 | #Constraints:     671820
676.14/677.99	c #Conflicts:     436000 | #Constraints:     672820
676.14/677.99	c #Conflicts:     437000 | #Constraints:     673820
676.14/677.99	c #Conflicts:     438000 | #Constraints:     674820
676.14/677.99	c #Conflicts:     439000 | #Constraints:     675820
676.14/677.99	c #Conflicts:     440000 | #Constraints:     676820
676.14/677.99	c #Conflicts:     441000 | #Constraints:     677820
676.14/677.99	c #Conflicts:     442000 | #Constraints:     678820
676.14/677.99	c #Conflicts:     443000 | #Constraints:     679820
676.14/677.99	c #Conflicts:     444000 | #Constraints:     680820
676.14/677.99	c #Conflicts:     445000 | #Constraints:     681820
676.14/677.99	c #Conflicts:     446000 | #Constraints:     682820
676.14/677.99	c INPROCESSING
676.14/677.99	c GARBAGE COLLECT
676.14/677.99	c #Conflicts:     447000 | #Constraints:     670623
676.14/677.99	c #Conflicts:     448000 | #Constraints:     671623
676.14/677.99	c #Conflicts:     449000 | #Constraints:     672623
676.14/677.99	c #Conflicts:     450000 | #Constraints:     673623
676.14/677.99	c #Conflicts:     451000 | #Constraints:     674623
676.14/677.99	c #Conflicts:     452000 | #Constraints:     675623
676.14/677.99	c #Conflicts:     453000 | #Constraints:     676623
676.14/677.99	c #Conflicts:     454000 | #Constraints:     677623
676.14/677.99	c #Conflicts:     455000 | #Constraints:     678623
676.14/677.99	c #Conflicts:     456000 | #Constraints:     679623
676.14/677.99	c #Conflicts:     457000 | #Constraints:     680623
676.14/677.99	c #Conflicts:     458000 | #Constraints:     681623
676.14/677.99	c #Conflicts:     459000 | #Constraints:     682623
676.14/677.99	c #Conflicts:     460000 | #Constraints:     683623
676.14/677.99	c INPROCESSING
676.14/677.99	c GARBAGE COLLECT
676.14/677.99	c #Conflicts:     461000 | #Constraints:     671220
676.14/677.99	c #Conflicts:     462000 | #Constraints:     672220
676.14/677.99	c #Conflicts:     463000 | #Constraints:     673220
676.14/677.99	c #Conflicts:     464000 | #Constraints:     674220
676.14/677.99	c #Conflicts:     465000 | #Constraints:     675220
676.14/677.99	c #Conflicts:     466000 | #Constraints:     676220
676.14/677.99	c #Conflicts:     467000 | #Constraints:     677220
676.14/677.99	c #Conflicts:     468000 | #Constraints:     678220
676.14/677.99	c #Conflicts:     469000 | #Constraints:     679220
676.14/677.99	c #Conflicts:     470000 | #Constraints:     680220
676.14/677.99	c #Conflicts:     471000 | #Constraints:     681220
676.14/677.99	c #Conflicts:     472000 | #Constraints:     682220
676.14/677.99	c #Conflicts:     473000 | #Constraints:     683220
676.14/677.99	c #Conflicts:     474000 | #Constraints:     684220
676.14/677.99	c INPROCESSING
676.14/677.99	c GARBAGE COLLECT
678.24/680.05	c #Conflicts:     475000 | #Constraints:     671622
678.24/680.05	c finalizing WCE round: reformulating cores
678.24/680.07	c bounds 302 >= 6 @ 668.142
678.24/680.07	c bounds 301 >= 6 @ 668.149
678.24/680.07	c stratification level: 5
877.98/880.38	c #Conflicts:     476000 | #Constraints:     672627
877.98/880.38	c #Conflicts:     477000 | #Constraints:     673627
877.98/880.38	c #Conflicts:     478000 | #Constraints:     674627
877.98/880.38	c #Conflicts:     479000 | #Constraints:     675627
877.98/880.38	c #Conflicts:     480000 | #Constraints:     676627
877.98/880.38	c #Conflicts:     481000 | #Constraints:     677627
877.98/880.38	c #Conflicts:     482000 | #Constraints:     678627
877.98/880.38	c #Conflicts:     483000 | #Constraints:     679627
877.98/880.38	c #Conflicts:     484000 | #Constraints:     680627
877.98/880.38	c #Conflicts:     485000 | #Constraints:     681627
877.98/880.38	c #Conflicts:     486000 | #Constraints:     682627
877.98/880.38	c #Conflicts:     487000 | #Constraints:     683627
877.98/880.38	c #Conflicts:     488000 | #Constraints:     684627
877.98/880.38	c INPROCESSING
877.98/880.38	c GARBAGE COLLECT
877.98/880.38	c #Conflicts:     489000 | #Constraints:     671810
877.98/880.38	c #Conflicts:     490000 | #Constraints:     672810
877.98/880.38	c #Conflicts:     491000 | #Constraints:     673810
877.98/880.38	c #Conflicts:     492000 | #Constraints:     674810
877.98/880.38	c #Conflicts:     493000 | #Constraints:     675810
877.98/880.38	c #Conflicts:     494000 | #Constraints:     676810
877.98/880.38	c #Conflicts:     495000 | #Constraints:     677810
877.98/880.38	c #Conflicts:     496000 | #Constraints:     678810
877.98/880.38	c #Conflicts:     497000 | #Constraints:     679810
877.98/880.38	c #Conflicts:     498000 | #Constraints:     680810
877.98/880.38	c #Conflicts:     499000 | #Constraints:     681810
877.98/880.38	c #Conflicts:     500000 | #Constraints:     682810
877.98/880.38	c #Conflicts:     501000 | #Constraints:     683810
877.98/880.38	c #Conflicts:     502000 | #Constraints:     684810
877.98/880.38	c INPROCESSING
877.98/880.38	c GARBAGE COLLECT
877.98/880.38	c #Conflicts:     503000 | #Constraints:     671811
877.98/880.38	c #Conflicts:     504000 | #Constraints:     672811
877.98/880.38	c #Conflicts:     505000 | #Constraints:     673811
877.98/880.38	c #Conflicts:     506000 | #Constraints:     674811
877.98/880.38	c #Conflicts:     507000 | #Constraints:     675811
877.98/880.38	c #Conflicts:     508000 | #Constraints:     676811
877.98/880.38	c #Conflicts:     509000 | #Constraints:     677811
877.98/880.38	c #Conflicts:     510000 | #Constraints:     678811
877.98/880.38	c #Conflicts:     511000 | #Constraints:     679811
877.98/880.38	c #Conflicts:     512000 | #Constraints:     680811
877.98/880.38	c #Conflicts:     513000 | #Constraints:     681811
877.98/880.38	c #Conflicts:     514000 | #Constraints:     682811
877.98/880.38	c #Conflicts:     515000 | #Constraints:     683811
877.98/880.38	c #Conflicts:     516000 | #Constraints:     684811
877.98/880.38	c INPROCESSING
877.98/880.38	c GARBAGE COLLECT
877.98/880.38	c #Conflicts:     517000 | #Constraints:     671618
877.98/880.38	c #Conflicts:     518000 | #Constraints:     672618
877.98/880.38	c #Conflicts:     519000 | #Constraints:     673618
877.98/880.38	c #Conflicts:     520000 | #Constraints:     674618
877.98/880.38	c #Conflicts:     521000 | #Constraints:     675618
877.98/880.38	c #Conflicts:     522000 | #Constraints:     676618
877.98/880.38	c #Conflicts:     523000 | #Constraints:     677618
877.98/880.38	c #Conflicts:     524000 | #Constraints:     678618
877.98/880.38	c #Conflicts:     525000 | #Constraints:     679618
877.98/880.38	c #Conflicts:     526000 | #Constraints:     680618
877.98/880.38	c #Conflicts:     527000 | #Constraints:     681618
877.98/880.38	c #Conflicts:     528000 | #Constraints:     682618
877.98/880.38	c #Conflicts:     529000 | #Constraints:     683618
877.98/880.38	c #Conflicts:     530000 | #Constraints:     684618
877.98/880.38	c #Conflicts:     531000 | #Constraints:     685618
877.98/880.38	c INPROCESSING
877.98/880.38	c GARBAGE COLLECT
877.98/880.38	c #Conflicts:     532000 | #Constraints:     672212
877.98/880.38	c #Conflicts:     533000 | #Constraints:     673212
877.98/880.38	c #Conflicts:     534000 | #Constraints:     674212
877.98/880.38	c #Conflicts:     535000 | #Constraints:     675212
877.98/880.38	c #Conflicts:     536000 | #Constraints:     676212
877.98/880.38	c #Conflicts:     537000 | #Constraints:     677212
877.98/880.38	c #Conflicts:     538000 | #Constraints:     678212
877.98/880.38	c #Conflicts:     539000 | #Constraints:     679212
877.98/880.38	c #Conflicts:     540000 | #Constraints:     680212
877.98/880.38	c #Conflicts:     541000 | #Constraints:     681212
877.98/880.38	c #Conflicts:     542000 | #Constraints:     682212
877.98/880.38	c #Conflicts:     543000 | #Constraints:     683212
877.98/880.38	c #Conflicts:     544000 | #Constraints:     684212
877.98/880.38	c #Conflicts:     545000 | #Constraints:     685212
877.98/880.38	c #Conflicts:     546000 | #Constraints:     686212
877.98/880.38	c INPROCESSING
877.98/880.38	c GARBAGE COLLECT
877.98/880.38	c #Conflicts:     547000 | #Constraints:     672609
877.98/880.38	c #Conflicts:     548000 | #Constraints:     673609
877.98/880.38	c #Conflicts:     549000 | #Constraints:     674609
877.98/880.38	c #Conflicts:     550000 | #Constraints:     675609
877.98/880.38	c #Conflicts:     551000 | #Constraints:     676609
1130.94/1133.91	c #Conflicts:     552000 | #Constraints:     677609
1130.94/1133.91	c #Conflicts:     553000 | #Constraints:     678609
1130.94/1133.91	c #Conflicts:     554000 | #Constraints:     679609
1130.94/1133.91	c #Conflicts:     555000 | #Constraints:     680609
1130.94/1133.91	c #Conflicts:     556000 | #Constraints:     681609
1130.94/1133.91	c #Conflicts:     557000 | #Constraints:     682609
1130.94/1133.91	c #Conflicts:     558000 | #Constraints:     683609
1130.94/1133.91	c #Conflicts:     559000 | #Constraints:     684609
1130.94/1133.91	c #Conflicts:     560000 | #Constraints:     685609
1130.94/1133.91	c #Conflicts:     561000 | #Constraints:     686609
1130.94/1133.91	c INPROCESSING
1130.94/1133.91	c GARBAGE COLLECT
1130.94/1133.91	c #Conflicts:     562000 | #Constraints:     672808
1130.94/1133.91	c #Conflicts:     563000 | #Constraints:     673808
1130.94/1133.91	c #Conflicts:     564000 | #Constraints:     674808
1130.94/1133.91	c #Conflicts:     565000 | #Constraints:     675808
1130.94/1133.91	c #Conflicts:     566000 | #Constraints:     676808
1130.94/1133.91	c #Conflicts:     567000 | #Constraints:     677808
1130.94/1133.91	c #Conflicts:     568000 | #Constraints:     678808
1130.94/1133.91	c #Conflicts:     569000 | #Constraints:     679808
1130.94/1133.91	c #Conflicts:     570000 | #Constraints:     680808
1130.94/1133.91	c #Conflicts:     571000 | #Constraints:     681808
1130.94/1133.91	c #Conflicts:     572000 | #Constraints:     682808
1130.94/1133.91	c #Conflicts:     573000 | #Constraints:     683808
1130.94/1133.91	c #Conflicts:     574000 | #Constraints:     684808
1130.94/1133.91	c #Conflicts:     575000 | #Constraints:     685808
1130.94/1133.91	c #Conflicts:     576000 | #Constraints:     686808
1130.94/1133.91	c INPROCESSING
1130.94/1133.91	c GARBAGE COLLECT
1130.94/1133.91	c #Conflicts:     577000 | #Constraints:     672802
1130.94/1133.91	c #Conflicts:     578000 | #Constraints:     673802
1130.94/1133.91	c #Conflicts:     579000 | #Constraints:     674802
1130.94/1133.91	c #Conflicts:     580000 | #Constraints:     675802
1130.94/1133.91	c #Conflicts:     581000 | #Constraints:     676802
1130.94/1133.91	c #Conflicts:     582000 | #Constraints:     677802
1130.94/1133.91	c #Conflicts:     583000 | #Constraints:     678802
1130.94/1133.91	c #Conflicts:     584000 | #Constraints:     679802
1130.94/1133.91	c #Conflicts:     585000 | #Constraints:     680802
1130.94/1133.91	c #Conflicts:     586000 | #Constraints:     681802
1130.94/1133.91	c #Conflicts:     587000 | #Constraints:     682802
1130.94/1133.91	c #Conflicts:     588000 | #Constraints:     683802
1130.94/1133.91	c #Conflicts:     589000 | #Constraints:     684802
1130.94/1133.91	c #Conflicts:     590000 | #Constraints:     685802
1130.94/1133.91	c #Conflicts:     591000 | #Constraints:     686802
1130.94/1133.91	c INPROCESSING
1130.94/1133.91	c GARBAGE COLLECT
1130.94/1133.91	c #Conflicts:     592000 | #Constraints:     672614
1130.94/1133.91	c #Conflicts:     593000 | #Constraints:     673614
1130.94/1133.91	c #Conflicts:     594000 | #Constraints:     674614
1130.94/1133.91	c #Conflicts:     595000 | #Constraints:     675614
1130.94/1133.91	c #Conflicts:     596000 | #Constraints:     676614
1130.94/1133.91	c #Conflicts:     597000 | #Constraints:     677614
1130.94/1133.91	c #Conflicts:     598000 | #Constraints:     678614
1130.94/1133.91	c #Conflicts:     599000 | #Constraints:     679614
1130.94/1133.91	c #Conflicts:     600000 | #Constraints:     680614
1130.94/1133.91	c #Conflicts:     601000 | #Constraints:     681614
1130.94/1133.91	c #Conflicts:     602000 | #Constraints:     682614
1130.94/1133.91	c #Conflicts:     603000 | #Constraints:     683614
1130.94/1133.91	c #Conflicts:     604000 | #Constraints:     684614
1130.94/1133.91	c #Conflicts:     605000 | #Constraints:     685614
1130.94/1133.91	c #Conflicts:     606000 | #Constraints:     686614
1130.94/1133.91	c #Conflicts:     607000 | #Constraints:     687614
1130.94/1133.91	c INPROCESSING
1130.94/1133.91	c GARBAGE COLLECT
1130.94/1133.91	c #Conflicts:     608000 | #Constraints:     673214
1130.94/1133.91	c #Conflicts:     609000 | #Constraints:     674214
1130.94/1133.91	c #Conflicts:     610000 | #Constraints:     675214
1130.94/1133.91	c #Conflicts:     611000 | #Constraints:     676214
1130.94/1133.91	c #Conflicts:     612000 | #Constraints:     677214
1130.94/1133.91	c #Conflicts:     613000 | #Constraints:     678214
1130.94/1133.91	c #Conflicts:     614000 | #Constraints:     679214
1130.94/1133.91	c #Conflicts:     615000 | #Constraints:     680214
1130.94/1133.91	c #Conflicts:     616000 | #Constraints:     681214
1130.94/1133.91	c #Conflicts:     617000 | #Constraints:     682214
1130.94/1133.91	c #Conflicts:     618000 | #Constraints:     683214
1130.94/1133.91	c #Conflicts:     619000 | #Constraints:     684214
1130.94/1133.91	c #Conflicts:     620000 | #Constraints:     685214
1130.94/1133.91	c #Conflicts:     621000 | #Constraints:     686214
1130.94/1133.91	c #Conflicts:     622000 | #Constraints:     687214
1130.94/1133.91	c #Conflicts:     623000 | #Constraints:     688214
1130.94/1133.91	c INPROCESSING
1130.94/1133.91	c GARBAGE COLLECT
1130.94/1133.91	c #Conflicts:     624000 | #Constraints:     673611
1130.94/1133.91	c #Conflicts:     625000 | #Constraints:     674611
1130.94/1133.91	c #Conflicts:     626000 | #Constraints:     675611
1130.94/1133.91	c #Conflicts:     627000 | #Constraints:     676611
1409.71/1413.45	c #Conflicts:     628000 | #Constraints:     677611
1409.71/1413.45	c #Conflicts:     629000 | #Constraints:     678611
1409.71/1413.45	c #Conflicts:     630000 | #Constraints:     679611
1409.71/1413.45	c #Conflicts:     631000 | #Constraints:     680611
1409.71/1413.45	c #Conflicts:     632000 | #Constraints:     681611
1409.71/1413.45	c #Conflicts:     633000 | #Constraints:     682611
1409.71/1413.45	c #Conflicts:     634000 | #Constraints:     683611
1409.71/1413.45	c #Conflicts:     635000 | #Constraints:     684611
1409.71/1413.45	c #Conflicts:     636000 | #Constraints:     685611
1409.71/1413.45	c #Conflicts:     637000 | #Constraints:     686611
1409.71/1413.45	c #Conflicts:     638000 | #Constraints:     687611
1409.71/1413.45	c #Conflicts:     639000 | #Constraints:     688611
1409.71/1413.45	c INPROCESSING
1409.71/1413.45	c GARBAGE COLLECT
1409.71/1413.45	c #Conflicts:     640000 | #Constraints:     673823
1409.71/1413.45	c #Conflicts:     641000 | #Constraints:     674823
1409.71/1413.45	c #Conflicts:     642000 | #Constraints:     675823
1409.71/1413.45	c #Conflicts:     643000 | #Constraints:     676823
1409.71/1413.45	c #Conflicts:     644000 | #Constraints:     677823
1409.71/1413.45	c #Conflicts:     645000 | #Constraints:     678823
1409.71/1413.45	c #Conflicts:     646000 | #Constraints:     679823
1409.71/1413.45	c #Conflicts:     647000 | #Constraints:     680823
1409.71/1413.45	c #Conflicts:     648000 | #Constraints:     681823
1409.71/1413.45	c #Conflicts:     649000 | #Constraints:     682823
1409.71/1413.45	c #Conflicts:     650000 | #Constraints:     683823
1409.71/1413.45	c #Conflicts:     651000 | #Constraints:     684823
1409.71/1413.45	c #Conflicts:     652000 | #Constraints:     685823
1409.71/1413.45	c #Conflicts:     653000 | #Constraints:     686823
1409.71/1413.45	c #Conflicts:     654000 | #Constraints:     687823
1409.71/1413.45	c #Conflicts:     655000 | #Constraints:     688823
1409.71/1413.45	c INPROCESSING
1409.71/1413.45	c GARBAGE COLLECT
1409.71/1413.45	c #Conflicts:     656000 | #Constraints:     673836
1409.71/1413.45	c #Conflicts:     657000 | #Constraints:     674836
1409.71/1413.45	c #Conflicts:     658000 | #Constraints:     675836
1409.71/1413.45	c #Conflicts:     659000 | #Constraints:     676836
1409.71/1413.45	c #Conflicts:     660000 | #Constraints:     677836
1409.71/1413.45	c #Conflicts:     661000 | #Constraints:     678836
1409.71/1413.45	c #Conflicts:     662000 | #Constraints:     679836
1409.71/1413.45	c #Conflicts:     663000 | #Constraints:     680836
1409.71/1413.45	c #Conflicts:     664000 | #Constraints:     681836
1409.71/1413.45	c #Conflicts:     665000 | #Constraints:     682836
1409.71/1413.45	c #Conflicts:     666000 | #Constraints:     683836
1409.71/1413.45	c #Conflicts:     667000 | #Constraints:     684836
1409.71/1413.45	c #Conflicts:     668000 | #Constraints:     685836
1409.71/1413.45	c #Conflicts:     669000 | #Constraints:     686836
1409.71/1413.45	c #Conflicts:     670000 | #Constraints:     687836
1409.71/1413.45	c #Conflicts:     671000 | #Constraints:     688836
1409.71/1413.45	c INPROCESSING
1409.71/1413.45	c GARBAGE COLLECT
1409.71/1413.45	c #Conflicts:     672000 | #Constraints:     673640
1409.71/1413.45	c #Conflicts:     673000 | #Constraints:     674640
1409.71/1413.45	c #Conflicts:     674000 | #Constraints:     675640
1409.71/1413.45	c #Conflicts:     675000 | #Constraints:     676640
1409.71/1413.45	c #Conflicts:     676000 | #Constraints:     677640
1409.71/1413.45	c #Conflicts:     677000 | #Constraints:     678640
1409.71/1413.45	c #Conflicts:     678000 | #Constraints:     679640
1409.71/1413.45	c #Conflicts:     679000 | #Constraints:     680640
1409.71/1413.45	c #Conflicts:     680000 | #Constraints:     681640
1409.71/1413.45	c #Conflicts:     681000 | #Constraints:     682640
1409.71/1413.45	c #Conflicts:     682000 | #Constraints:     683640
1409.71/1413.45	c #Conflicts:     683000 | #Constraints:     684640
1409.71/1413.45	c #Conflicts:     684000 | #Constraints:     685640
1409.71/1413.45	c #Conflicts:     685000 | #Constraints:     686640
1409.71/1413.45	c #Conflicts:     686000 | #Constraints:     687640
1409.71/1413.45	c #Conflicts:     687000 | #Constraints:     688640
1409.71/1413.45	c #Conflicts:     688000 | #Constraints:     689640
1409.71/1413.45	c INPROCESSING
1409.71/1413.45	c GARBAGE COLLECT
1409.71/1413.45	c #Conflicts:     689000 | #Constraints:     674243
1409.71/1413.45	c #Conflicts:     690000 | #Constraints:     675243
1409.71/1413.45	c #Conflicts:     691000 | #Constraints:     676243
1409.71/1413.45	c #Conflicts:     692000 | #Constraints:     677243
1409.71/1413.45	c #Conflicts:     693000 | #Constraints:     678243
1409.71/1413.45	c #Conflicts:     694000 | #Constraints:     679243
1409.71/1413.45	c #Conflicts:     695000 | #Constraints:     680243
1409.71/1413.45	c #Conflicts:     696000 | #Constraints:     681243
1409.71/1413.45	c #Conflicts:     697000 | #Constraints:     682243
1409.71/1413.45	c #Conflicts:     698000 | #Constraints:     683243
1409.71/1413.45	c #Conflicts:     699000 | #Constraints:     684243
1409.71/1413.45	c #Conflicts:     700000 | #Constraints:     685243
1409.71/1413.45	c #Conflicts:     701000 | #Constraints:     686243
1409.71/1413.45	c #Conflicts:     702000 | #Constraints:     687243
1409.71/1413.45	c #Conflicts:     703000 | #Constraints:     688243
1909.86/1914.99	c #Conflicts:     704000 | #Constraints:     689243
1909.86/1914.99	c #Conflicts:     705000 | #Constraints:     690243
1909.86/1914.99	c INPROCESSING
1909.86/1914.99	c GARBAGE COLLECT
1909.86/1914.99	c #Conflicts:     706000 | #Constraints:     674640
1909.86/1914.99	c #Conflicts:     707000 | #Constraints:     675640
1909.86/1914.99	c #Conflicts:     708000 | #Constraints:     676640
1909.86/1914.99	c #Conflicts:     709000 | #Constraints:     677640
1909.86/1914.99	c #Conflicts:     710000 | #Constraints:     678640
1909.86/1914.99	c #Conflicts:     711000 | #Constraints:     679640
1909.86/1914.99	c #Conflicts:     712000 | #Constraints:     680640
1909.86/1914.99	c #Conflicts:     713000 | #Constraints:     681640
1909.86/1914.99	c #Conflicts:     714000 | #Constraints:     682640
1909.86/1914.99	c #Conflicts:     715000 | #Constraints:     683640
1909.86/1914.99	c #Conflicts:     716000 | #Constraints:     684640
1909.86/1914.99	c #Conflicts:     717000 | #Constraints:     685640
1909.86/1914.99	c #Conflicts:     718000 | #Constraints:     686640
1909.86/1914.99	c bounds 301 >= 11 @ 1453.23
1909.86/1914.99	c #Conflicts:     719000 | #Constraints:     687641
1909.86/1914.99	c #Conflicts:     720000 | #Constraints:     688641
1909.86/1914.99	c #Conflicts:     721000 | #Constraints:     689641
1909.86/1914.99	c #Conflicts:     722000 | #Constraints:     690641
1909.86/1914.99	c INPROCESSING
1909.86/1914.99	c GARBAGE COLLECT
1909.86/1914.99	c #Conflicts:     723000 | #Constraints:     674816
1909.86/1914.99	c #Conflicts:     724000 | #Constraints:     675816
1909.86/1914.99	c #Conflicts:     725000 | #Constraints:     676816
1909.86/1914.99	c #Conflicts:     726000 | #Constraints:     677816
1909.86/1914.99	c #Conflicts:     727000 | #Constraints:     678816
1909.86/1914.99	c #Conflicts:     728000 | #Constraints:     679816
1909.86/1914.99	c #Conflicts:     729000 | #Constraints:     680816
1909.86/1914.99	c #Conflicts:     730000 | #Constraints:     681816
1909.86/1914.99	c #Conflicts:     731000 | #Constraints:     682816
1909.86/1914.99	c #Conflicts:     732000 | #Constraints:     683816
1909.86/1914.99	c #Conflicts:     733000 | #Constraints:     684816
1909.86/1914.99	c #Conflicts:     734000 | #Constraints:     685816
1909.86/1914.99	c #Conflicts:     735000 | #Constraints:     686816
1909.86/1914.99	c #Conflicts:     736000 | #Constraints:     687816
1909.86/1914.99	c #Conflicts:     737000 | #Constraints:     688816
1909.86/1914.99	c #Conflicts:     738000 | #Constraints:     689816
1909.86/1914.99	c #Conflicts:     739000 | #Constraints:     690816
1909.86/1914.99	c INPROCESSING
1909.86/1914.99	c GARBAGE COLLECT
1909.86/1914.99	c #Conflicts:     740000 | #Constraints:     674790
1909.86/1914.99	c #Conflicts:     741000 | #Constraints:     675790
1909.86/1914.99	c #Conflicts:     742000 | #Constraints:     676790
1909.86/1914.99	c #Conflicts:     743000 | #Constraints:     677790
1909.86/1914.99	c #Conflicts:     744000 | #Constraints:     678790
1909.86/1914.99	c #Conflicts:     745000 | #Constraints:     679790
1909.86/1914.99	c #Conflicts:     746000 | #Constraints:     680790
1909.86/1914.99	c #Conflicts:     747000 | #Constraints:     681790
1909.86/1914.99	c #Conflicts:     748000 | #Constraints:     682790
1909.86/1914.99	c #Conflicts:     749000 | #Constraints:     683790
1909.86/1914.99	c #Conflicts:     750000 | #Constraints:     684790
1909.86/1914.99	c #Conflicts:     751000 | #Constraints:     685790
1909.86/1914.99	c #Conflicts:     752000 | #Constraints:     686790
1909.86/1914.99	c #Conflicts:     753000 | #Constraints:     687790
1909.86/1914.99	c #Conflicts:     754000 | #Constraints:     688790
1909.86/1914.99	c #Conflicts:     755000 | #Constraints:     689790
1909.86/1914.99	c #Conflicts:     756000 | #Constraints:     690790
1909.86/1914.99	c INPROCESSING
1909.86/1914.99	c #Conflicts:     757000 | #Constraints:     674566
1909.86/1914.99	c #Conflicts:     758000 | #Constraints:     675566
1909.86/1914.99	c #Conflicts:     759000 | #Constraints:     676566
1909.86/1914.99	c #Conflicts:     760000 | #Constraints:     677566
1909.86/1914.99	c #Conflicts:     761000 | #Constraints:     678566
1909.86/1914.99	c #Conflicts:     762000 | #Constraints:     679566
1909.86/1914.99	c #Conflicts:     763000 | #Constraints:     680566
1909.86/1914.99	c #Conflicts:     764000 | #Constraints:     681566
1909.86/1914.99	c #Conflicts:     765000 | #Constraints:     682566
1909.86/1914.99	c #Conflicts:     766000 | #Constraints:     683566
1909.86/1914.99	c #Conflicts:     767000 | #Constraints:     684566
1909.86/1914.99	c #Conflicts:     768000 | #Constraints:     685566
1909.86/1914.99	c #Conflicts:     769000 | #Constraints:     686566
1909.86/1914.99	c #Conflicts:     770000 | #Constraints:     687566
1909.86/1914.99	c #Conflicts:     771000 | #Constraints:     688566
1909.86/1914.99	c #Conflicts:     772000 | #Constraints:     689566
1909.86/1914.99	c #Conflicts:     773000 | #Constraints:     690566
1909.86/1914.99	c #Conflicts:     774000 | #Constraints:     691566
1909.86/1914.99	c INPROCESSING
1909.86/1914.99	c GARBAGE COLLECT
1909.86/1914.99	c #Conflicts:     775000 | #Constraints:     675152
1909.86/1914.99	c #Conflicts:     776000 | #Constraints:     676152
1909.86/1914.99	c #Conflicts:     777000 | #Constraints:     677152
1909.86/1914.99	c #Conflicts:     778000 | #Constraints:     678152
3308.75/3317.41	c #Conflicts:     779000 | #Constraints:     679152
3308.75/3317.41	c #Conflicts:     780000 | #Constraints:     680152
3308.75/3317.41	c #Conflicts:     781000 | #Constraints:     681152
3308.75/3317.41	c #Conflicts:     782000 | #Constraints:     682152
3308.75/3317.41	c #Conflicts:     783000 | #Constraints:     683152
3308.75/3317.41	c #Conflicts:     784000 | #Constraints:     684152
3308.75/3317.41	c #Conflicts:     785000 | #Constraints:     685152
3308.75/3317.41	c #Conflicts:     786000 | #Constraints:     686152
3308.75/3317.41	c #Conflicts:     787000 | #Constraints:     687152
3308.75/3317.41	c #Conflicts:     788000 | #Constraints:     688152
3308.75/3317.41	c #Conflicts:     789000 | #Constraints:     689152
3308.75/3317.41	c #Conflicts:     790000 | #Constraints:     690152
3308.75/3317.41	c #Conflicts:     791000 | #Constraints:     691152
3308.75/3317.41	c #Conflicts:     792000 | #Constraints:     692152
3308.75/3317.41	c INPROCESSING
3308.75/3317.41	c GARBAGE COLLECT
3308.75/3317.41	c #Conflicts:     793000 | #Constraints:     675540
3308.75/3317.41	c #Conflicts:     794000 | #Constraints:     676540
3308.75/3317.41	c #Conflicts:     795000 | #Constraints:     677540
3308.75/3317.41	c #Conflicts:     796000 | #Constraints:     678540
3308.75/3317.41	c #Conflicts:     797000 | #Constraints:     679540
3308.75/3317.41	c #Conflicts:     798000 | #Constraints:     680540
3308.75/3317.41	c #Conflicts:     799000 | #Constraints:     681540
3308.75/3317.41	c #Conflicts:     800000 | #Constraints:     682540
3308.75/3317.41	c #Conflicts:     801000 | #Constraints:     683540
3308.75/3317.41	c #Conflicts:     802000 | #Constraints:     684540
3308.75/3317.41	c #Conflicts:     803000 | #Constraints:     685540
3308.75/3317.41	c #Conflicts:     804000 | #Constraints:     686540
3308.75/3317.41	c #Conflicts:     805000 | #Constraints:     687540
3308.75/3317.41	c #Conflicts:     806000 | #Constraints:     688540
3308.75/3317.41	c #Conflicts:     807000 | #Constraints:     689540
3308.75/3317.41	c #Conflicts:     808000 | #Constraints:     690540
3308.75/3317.41	c #Conflicts:     809000 | #Constraints:     691540
3308.75/3317.41	c #Conflicts:     810000 | #Constraints:     692540
3308.75/3317.41	c INPROCESSING
3308.75/3317.41	c GARBAGE COLLECT
3308.75/3317.41	c #Conflicts:     811000 | #Constraints:     675736
3308.75/3317.41	c #Conflicts:     812000 | #Constraints:     676736
3308.75/3317.41	c #Conflicts:     813000 | #Constraints:     677736
3308.75/3317.41	c #Conflicts:     814000 | #Constraints:     678736
3308.75/3317.41	c #Conflicts:     815000 | #Constraints:     679736
3308.75/3317.41	c #Conflicts:     816000 | #Constraints:     680736
3308.75/3317.41	c #Conflicts:     817000 | #Constraints:     681736
3308.75/3317.41	c #Conflicts:     818000 | #Constraints:     682736
3308.75/3317.41	c #Conflicts:     819000 | #Constraints:     683736
3308.75/3317.41	c #Conflicts:     820000 | #Constraints:     684736
3308.75/3317.41	c #Conflicts:     821000 | #Constraints:     685736
3308.75/3317.41	c #Conflicts:     822000 | #Constraints:     686736
3308.75/3317.41	c #Conflicts:     823000 | #Constraints:     687736
3308.75/3317.41	c #Conflicts:     824000 | #Constraints:     688736
3308.75/3317.41	c #Conflicts:     825000 | #Constraints:     689736
3308.75/3317.41	c #Conflicts:     826000 | #Constraints:     690736
3308.75/3317.41	c #Conflicts:     827000 | #Constraints:     691736
3308.75/3317.41	c #Conflicts:     828000 | #Constraints:     692736
3308.75/3317.41	c INPROCESSING
3308.75/3317.41	c GARBAGE COLLECT
3308.75/3317.41	c #Conflicts:     829000 | #Constraints:     675739
3308.75/3317.41	c #Conflicts:     830000 | #Constraints:     676739
3308.75/3317.41	c #Conflicts:     831000 | #Constraints:     677739
3308.75/3317.41	c #Conflicts:     832000 | #Constraints:     678739
3308.75/3317.41	c #Conflicts:     833000 | #Constraints:     679739
3308.75/3317.41	c #Conflicts:     834000 | #Constraints:     680739
3308.75/3317.41	c #Conflicts:     835000 | #Constraints:     681739
3308.75/3317.41	c #Conflicts:     836000 | #Constraints:     682739
3308.75/3317.41	c #Conflicts:     837000 | #Constraints:     683739
3308.75/3317.41	c #Conflicts:     838000 | #Constraints:     684739
3308.75/3317.41	c #Conflicts:     839000 | #Constraints:     685739
3308.75/3317.41	c #Conflicts:     840000 | #Constraints:     686739
3308.75/3317.41	c #Conflicts:     841000 | #Constraints:     687739
3308.75/3317.41	c #Conflicts:     842000 | #Constraints:     688739
3308.75/3317.41	c #Conflicts:     843000 | #Constraints:     689739
3308.75/3317.41	c #Conflicts:     844000 | #Constraints:     690739
3308.75/3317.41	c #Conflicts:     845000 | #Constraints:     691739
3308.75/3317.41	c #Conflicts:     846000 | #Constraints:     692739
3308.75/3317.41	c INPROCESSING
3308.75/3317.41	c GARBAGE COLLECT
3308.75/3317.41	c #Conflicts:     847000 | #Constraints:     675526
3308.75/3317.41	c #Conflicts:     848000 | #Constraints:     676526
3308.75/3317.41	c #Conflicts:     849000 | #Constraints:     677526
3308.75/3317.41	c #Conflicts:     850000 | #Constraints:     678526
3308.75/3317.41	c #Conflicts:     851000 | #Constraints:     679526
3308.75/3317.41	c #Conflicts:     852000 | #Constraints:     680526
3308.75/3317.41	c #Conflicts:     853000 | #Constraints:     681526
3308.75/3317.41	c #Conflicts:     854000 | #Constraints:     682526
3308.75/3317.41	c #Conflicts:     855000 | #Constraints:     683526
3600.01/3609.41	c #Conflicts:     856000 | #Constraints:     684526
3600.01/3609.41	c #Conflicts:     857000 | #Constraints:     685526
3600.01/3609.41	c #Conflicts:     858000 | #Constraints:     686526
3600.01/3609.41	c #Conflicts:     859000 | #Constraints:     687526
3600.01/3609.41	c #Conflicts:     860000 | #Constraints:     688526
3600.01/3609.41	c #Conflicts:     861000 | #Constraints:     689526
3600.01/3609.41	c #Conflicts:     862000 | #Constraints:     690526
3600.01/3609.41	c #Conflicts:     863000 | #Constraints:     691526
3600.01/3609.41	c #Conflicts:     864000 | #Constraints:     692526
3600.01/3609.41	c #Conflicts:     865000 | #Constraints:     693526
3600.01/3609.41	c INPROCESSING
3600.01/3609.41	c GARBAGE COLLECT
3600.01/3609.41	c #Conflicts:     866000 | #Constraints:     676131
3600.01/3609.41	c #Conflicts:     867000 | #Constraints:     677131
3600.01/3609.41	c #Conflicts:     868000 | #Constraints:     678131
3600.01/3609.41	c #Conflicts:     869000 | #Constraints:     679131
3600.01/3609.41	c #Conflicts:     870000 | #Constraints:     680131
3600.01/3609.41	c #Conflicts:     871000 | #Constraints:     681131
3600.01/3609.41	c Program interrupted by user.
3600.01/3609.41	c cpu time 3577.89 s
3600.01/3609.41	c deterministic time 529370947236 5.29e+11
3600.01/3609.41	c optimization time 91.3598 s
3600.01/3609.41	c total solve time 3484.73 s
3600.01/3609.41	c core-guided solve time 3484.73 s
3600.01/3609.41	c propagation time 2000.18 s
3600.01/3609.41	c conflict analysis time 1397 s
3600.01/3609.41	c propagations 108113417
3600.01/3609.41	c resolve steps 21031714
3600.01/3609.41	c decisions 20822428
3600.01/3609.41	c conflicts 871444
3600.01/3609.41	c restarts 1881
3600.01/3609.41	c inprocessing phases 84
3600.01/3609.41	c input clauses 656900
3600.01/3609.41	c input cardinalities 1
3600.01/3609.41	c input general constraints 98
3600.01/3609.41	c input average constraint length 3.51
3600.01/3609.41	c input average constraint degree 72.48
3600.01/3609.41	c learned clauses 754408
3600.01/3609.41	c learned cardinalities 0
3600.01/3609.41	c learned general constraints 117036
3600.01/3609.41	c learned average constraint length 4230.39
3600.01/3609.41	c learned average constraint degree 439124.28
3600.01/3609.41	c watched constraints 13700
3600.01/3609.41	c counting constraints 103434
3600.01/3609.41	c gcd simplifications 2063
3600.01/3609.41	c detected cardinalities 0
3600.01/3609.41	c weakened non-implied lits 319505663
3600.01/3609.41	c weakened non-implying lits 81644
3600.01/3609.41	c original variables 10000
3600.01/3609.41	c clausal propagations 89777875
3600.01/3609.41	c cardinality propagations 23604
3600.01/3609.41	c watched propagations 116918
3600.01/3609.41	c counting propagations 16889549
3600.01/3609.41	c watch lookups 16060241571
3600.01/3609.41	c watch backjump lookups 15210675309
3600.01/3609.41	c watch checks 102059241714
3600.01/3609.41	c propagation checks 387674798799
3600.01/3609.41	c constraint additions 8107256399
3600.01/3609.41	c trail pops 129797598
3600.01/3609.41	c formula constraints 656900
3600.01/3609.41	c learned constraints 871444
3600.01/3609.41	c bound constraints 97
3600.01/3609.41	c core-guided constraints 2
3600.01/3609.41	c encountered formula constraints 15331439
3600.01/3609.41	c encountered learned constraints 6551983
3600.01/3609.41	c encountered bound constraints 9009
3600.01/3609.41	c encountered core-guided constraints 10727
3600.01/3609.41	c LP total time 0 s
3600.01/3609.41	c LP solve time 0 s
3600.01/3609.41	c LP constraints added 0
3600.01/3609.41	c LP constraints removed 0
3600.01/3609.41	c LP pivots internal 0
3600.01/3609.41	c LP pivots root 0
3600.01/3609.41	c LP calls 0
3600.01/3609.41	c LP optimalities 0
3600.01/3609.41	c LP no pivot count 0
3600.01/3609.41	c LP infeasibilities 0
3600.01/3609.41	c LP valid Farkas constraints 0
3600.01/3609.41	c LP learned Farkas constraints 0
3600.01/3609.41	c LP basis resets 0
3600.01/3609.41	c LP cycling count 0
3600.01/3609.41	c LP singular count 0
3600.01/3609.41	c LP no primal count 0
3600.01/3609.41	c LP no farkas count 0
3600.01/3609.41	c LP other issue count 0
3600.01/3609.41	c LP Gomory cuts 0
3600.01/3609.41	c LP learned cuts 0
3600.01/3609.41	c LP deleted cuts 0
3600.01/3609.41	c LP encountered Gomory constraints 0
3600.01/3609.41	c LP encountered Farkas constraints 0
3600.01/3609.41	c LP encountered learned Farkas constraints 0
3600.01/3609.41	c CG auxiliary variables introduced 1
3600.01/3609.41	c CG solutions found 94
3600.01/3609.41	c CG cores constructed 2
3600.01/3609.41	c CG core cardinality constraints returned 0
3600.01/3609.41	c CG unit cores 0
3600.01/3609.41	c CG single cores 2
3600.01/3609.41	c CG blocks removed during cardinality reduction 0
3600.01/3609.41	c CG first core best 0
3600.01/3609.41	c CG decision core best 0
3600.01/3609.41	c CG core reduction tie 0
3600.01/3609.41	c CG core degree average 1.00
3600.01/3609.41	c CG core slack average 4782.50
3600.01/3609.41	c CG exhausted 0
3600.01/3609.41	c CG exhaust time 0.003197 s
3600.01/3609.41	c CG trimmed 0
3600.01/3609.41	c CG trim time 0.011284 s
3600.01/3609.41	c CG minimized 0
3600.01/3609.41	c CG minimize time 0 s
3600.01/3609.41	c CG am1 prop time 0.013697 s
3600.01/3609.41	c CG # am1s reformulated 0
3600.01/3609.41	c CG lower bound derived from am1s 0
3600.01/3609.41	c CG # clausal cores 2
3600.01/3609.41	c CG # cardinality cores 0
3600.01/3609.41	c CG # pb cores 0
3600.01/3609.41	c CG # pb reforms 0
3600.01/3609.41	c CG # cores discarded because of pb reform 0
3600.01/3609.41	d LOWERBOUND 11
3600.01/3609.41	d NCORES 2
3600.01/3609.41	d NPBCORES 0
3600.01/3609.41	d NPBREFORM 0
3600.01/3609.41	d NTRIMMED 0
3600.01/3609.41	d NEXHAUSTED 0
3600.01/3609.41	d NAM1S 0
3600.01/3609.41	d AM1LB 0
3600.01/3609.41	o 301
3600.01/3609.41	s SATISFIABLE
3600.01/3609.41	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

Verifier Data 

OK	301

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: 64059 MiB (63159 MiB free)
  memory of node 1: 64510 MiB (62658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435874-1721102540/watcher-4435874-1721102540 -o /tmp/evaluation-result-4435874-1721102540/solver-4435874-1721102540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829786 --watchdog 3760 pb-oll-rs HOME/instance-4435874-1721102540.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=829835, runsolver pid=829832
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 3.92 4.09 4.15 6/241 829836
/proc/meminfo: memFree=128822972/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=44044 memory=8252 CPUtime=0.1 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 1455 0 0 0 8 2 0 0 20 0 1 0 162410181 45101056 2063 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 11011 2063 1143 291 0 2545 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44044 KiB
Current children cumulated memory: 8252 KiB

[startup+0.213745 s]*
/proc/loadavg: 3.92 4.09 4.15 6/239 829836
/proc/meminfo: memFree=128823048/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=44440 memory=9308 CPUtime=0.21 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 1720 0 0 0 17 4 0 0 20 0 1 0 162410181 45506560 2327 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 11110 2327 1143 291 0 2644 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44440 KiB
Current children cumulated memory: 9308 KiB

[startup+0.313236 s]*
/proc/loadavg: 3.92 4.09 4.15 6/239 829836
/proc/meminfo: memFree=128816824/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=44704 memory=11880 CPUtime=0.31 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 1898 0 0 0 24 7 0 0 20 0 1 0 162410181 45776896 2970 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 11176 2970 1143 291 0 2710 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44704 KiB
Current children cumulated memory: 11880 KiB

[startup+0.700292 s]
/proc/loadavg: 3.92 4.09 4.15 6/245 829847
/proc/meminfo: memFree=128806184/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=46156 memory=13728 CPUtime=0.69 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 2329 0 0 0 51 18 0 0 20 0 1 0 162410181 47263744 3432 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 11539 3432 1143 291 0 3073 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46156 KiB
Current children cumulated memory: 13728 KiB

[startup+1.5003 s]
/proc/loadavg: 3.92 4.09 4.15 6/245 829847
/proc/meminfo: memFree=128789832/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=57652 memory=25980 CPUtime=1.49 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 4406 0 0 0 107 42 0 0 20 0 1 0 162410181 59035648 6495 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 14413 6495 1143 291 0 5947 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57652 KiB
Current children cumulated memory: 25980 KiB

[startup+3.11255 s]
/proc/loadavg: 4.17 4.14 4.17 7/245 829849
/proc/meminfo: memFree=128677828/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=114596 memory=65032 CPUtime=3.09 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 10516 0 0 0 224 85 0 0 20 0 1 0 162410181 117346304 16258 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 28649 16258 1316 291 0 20183 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114596 KiB
Current children cumulated memory: 65032 KiB

[startup+6.30027 s]
/proc/loadavg: 4.17 4.14 4.17 7/241 829877
/proc/meminfo: memFree=128590336/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=186400 memory=129964 CPUtime=6.28 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 22727 0 0 0 512 116 0 0 20 0 1 0 162410181 190873600 32491 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 46600 32491 1316 291 0 38134 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 186400 KiB
Current children cumulated memory: 129964 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.14 4.17 6/245 829941
/proc/meminfo: memFree=128544176/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=192340 memory=147428 CPUtime=12.66 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 24526 0 0 0 1132 134 0 0 20 0 1 0 162410181 196956160 36857 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 48085 36857 1377 291 0 39619 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 192340 KiB
Current children cumulated memory: 147428 KiB

[startup+25.5003 s]
/proc/loadavg: 4.34 4.18 4.18 6/245 830082
/proc/meminfo: memFree=128477204/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=192604 memory=161316 CPUtime=25.43 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 24950 0 0 0 2382 161 0 0 20 0 1 0 162410181 197226496 40329 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 48151 40329 1377 291 0 39685 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 192604 KiB
Current children cumulated memory: 161316 KiB

[startup+51.1125 s]
/proc/loadavg: 4.36 4.20 4.19 6/243 830223
/proc/meminfo: memFree=128582396/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=243088 memory=175920 CPUtime=50.98 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 25597 0 0 0 4884 214 0 0 20 0 1 0 162410181 248922112 43980 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 60772 43980 1377 291 0 52306 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 243088 KiB
Current children cumulated memory: 175920 KiB

[startup+102.3 s]
/proc/loadavg: 4.47 4.26 4.21 6/243 830231
/proc/meminfo: memFree=128531452/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=243484 memory=194980 CPUtime=102.03 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 25734 0 0 0 9888 315 0 0 20 0 1 0 162410181 249327616 48745 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 60871 48745 1377 291 0 52405 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 243484 KiB
Current children cumulated memory: 194980 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.24 4.20 6/243 830242
/proc/meminfo: memFree=128462196/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=325400 memory=228168 CPUtime=161.87 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 26417 0 0 0 15807 380 0 0 20 0 1 0 162410181 333209600 57042 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 81350 57042 1377 291 0 72884 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 325400 KiB
Current children cumulated memory: 228168 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.19 4.18 6/241 830253
/proc/meminfo: memFree=128440696/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=325664 memory=238684 CPUtime=221.7 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 26560 0 0 0 21686 484 0 0 20 0 1 0 162410181 333479936 59671 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 81416 59671 1377 291 0 72950 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 325664 KiB
Current children cumulated memory: 238684 KiB

[startup+282.3 s]
/proc/loadavg: 4.49 4.27 4.21 6/242 830264
/proc/meminfo: memFree=128365508/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=325796 memory=271684 CPUtime=281.55 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 26666 0 0 0 27609 546 0 0 20 0 1 0 162410181 333615104 67921 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 81449 67921 1377 291 0 72983 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 325796 KiB
Current children cumulated memory: 271684 KiB

[startup+342.3 s]
/proc/loadavg: 5.12 4.50 4.29 6/242 830274
/proc/meminfo: memFree=128351120/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=326192 memory=276040 CPUtime=341.42 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 26895 0 0 0 33537 605 0 0 20 0 1 0 162410181 334020608 69010 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 81548 69010 1377 291 0 73082 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 326192 KiB
Current children cumulated memory: 276040 KiB

[startup+402.3 s]
/proc/loadavg: 4.78 4.54 4.32 6/242 830285
/proc/meminfo: memFree=128320568/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=326456 memory=278340 CPUtime=401.27 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 26946 0 0 0 39426 701 0 0 20 0 1 0 162410181 334290944 69585 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 81614 69585 1377 291 0 73148 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 326456 KiB
Current children cumulated memory: 278340 KiB

[startup+462.3 s]
/proc/loadavg: 4.35 4.45 4.30 6/244 830299
/proc/meminfo: memFree=128310720/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=326588 memory=284644 CPUtime=461.12 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 27117 0 0 0 45337 775 0 0 20 0 1 0 162410181 334426112 71161 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 81647 71161 1377 291 0 73181 0

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

Current children cumulated memory: 5530660 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.15 6/245 831348
/proc/meminfo: memFree=119546048/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5599444 CPUtime=2854.82 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 871257 0 0 0 283410 2072 0 0 20 0 1 0 162410181 6695845888 1399861 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1399861 1377 291 0 1626262 0
Current children cumulated CPU time: 2854.82 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5599444 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.14 6/245 831358
/proc/meminfo: memFree=119474052/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5601860 CPUtime=2914.66 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 873592 0 0 0 289389 2077 0 0 20 0 1 0 162410181 6695845888 1400465 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1400465 1377 291 0 1626262 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5601860 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.13 6/245 831368
/proc/meminfo: memFree=119391960/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5608756 CPUtime=2974.5 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 875799 0 0 0 295366 2084 0 0 20 0 1 0 162410181 6695845888 1402189 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1402189 1377 291 0 1626262 0
Current children cumulated CPU time: 2974.5 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5608756 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.13 7/245 831379
/proc/meminfo: memFree=119278524/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5624168 CPUtime=3034.36 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 878040 0 0 0 301346 2090 0 0 20 0 1 0 162410181 6695845888 1406042 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1406042 1377 291 0 1626262 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5624168 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.13 6/245 831389
/proc/meminfo: memFree=119121380/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5656416 CPUtime=3094.19 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 880433 0 0 0 307326 2093 0 0 20 0 1 0 162410181 6695845888 1414104 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1414104 1377 291 0 1626262 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5656416 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.13 7/247 831558
/proc/meminfo: memFree=119072152/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5702416 CPUtime=3154.04 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 882883 0 0 0 313306 2098 0 0 20 0 1 0 162410181 6695845888 1425604 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1425604 1377 291 0 1626262 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5702416 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.12 6/243 831795
/proc/meminfo: memFree=119017388/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5748744 CPUtime=3213.89 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 886803 0 0 0 319275 2114 0 0 20 0 1 0 162410181 6695845888 1437186 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1437186 1377 291 0 1626262 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5748744 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.11 6/243 831805
/proc/meminfo: memFree=118909664/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5795204 CPUtime=3273.74 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 888852 0 0 0 325244 2130 0 0 20 0 1 0 162410181 6695845888 1448801 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1448801 1377 291 0 1626262 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5795204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.12 7/251 831977
/proc/meminfo: memFree=118762800/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5833660 CPUtime=3333.59 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 891465 0 0 0 331214 2145 0 0 20 0 1 0 162410181 6695845888 1458415 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1458415 1377 291 0 1626262 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5833660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.11 6/245 831996
/proc/meminfo: memFree=118553144/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5880248 CPUtime=3393.44 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 894180 0 0 0 337183 2161 0 0 20 0 1 0 162410181 6695845888 1470062 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1470062 1377 291 0 1626262 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5880248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.10 6/245 832008
/proc/meminfo: memFree=117737620/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6538912 memory=5926876 CPUtime=3453.29 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 896829 0 0 0 343161 2168 0 0 20 0 1 0 162410181 6695845888 1481719 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1634728 1481719 1377 291 0 1626262 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5926876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.10 6/244 832029
/proc/meminfo: memFree=116970140/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6939308 memory=6301548 CPUtime=3513.13 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 957308 0 0 0 349129 2184 0 0 20 0 1 0 162410181 7105851392 1575387 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1734827 1575387 1377 291 0 1726361 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 6939308 KiB
Current children cumulated memory: 6301548 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.10 7/244 832039
/proc/meminfo: memFree=116810580/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6939308 memory=6346172 CPUtime=3572.98 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 959845 0 0 0 355093 2205 0 0 20 0 1 0 162410181 7105851392 1586543 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1734827 1586543 1377 291 0 1726361 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 6939308 KiB
Current children cumulated memory: 6346172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.13 4.11 4.10 6/244 832046
/proc/meminfo: memFree=116787864/131655788 swapFree=131071996/131071996
[pid=829835] ppid=829832 vsize=6939308 memory=6368824 CPUtime=3600.01 cores=1,3
/proc/829835/stat : 829835 (pb-oll-rs) R 829832 829835 829774 0 -1 4194304 961227 0 0 0 357788 2213 0 0 20 0 1 0 162410181 7105851392 1592206 134679101440 4194304 5384005 140736864816224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11345920 140736864818199 140736864818276 140736864818276 140736864825291 0
/proc/829835/statm: 1734827 1592206 1377 291 0 1726361 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6939308 KiB
Current children cumulated memory: 6368824 KiB

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

[startup+3609.47 s]
# the end of solver process 829835 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3577.9 s, system=22.1917 s

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

Child status: 0

Real time (s): 3609.47
CPU time (s): 3600.09
CPU user time (s): 3577.9
CPU system time (s): 22.1917
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 6950992
Max. memory (cumulated for all children) (KiB): 6368824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.9
system time used= 22.1917
maximum resident set size= 6369132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961245
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295
involuntary context switches= 2769


# summary of solver processes directly reported to runsolver:
#   pid: 829835
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3577.9
#   total CPU system time (s): 22.1917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6741 second user time and 32.9797 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-16 06:02:33
IDJOB=4435874
IDBENCH=147565
IDSOLVER=3067
FILE ID=nodeC003/4435874-1721102540
RUNJOBID= nodeC003-1721102552-829786
SLURM_JOB_ID= 7505615
Free space on /tmp= 723668 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435874-1721102540/watcher-4435874-1721102540 -o /tmp/evaluation-result-4435874-1721102540/solver-4435874-1721102540 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829786 --watchdog 3760  pb-oll-rs HOME/instance-4435874-1721102540.opb

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1790896958

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3192.673
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.246
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.426
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128844940 kB
MemAvailable:   129916524 kB
Buffers:          402688 kB
Cached:          1502080 kB
SwapCached:            0 kB
Active:           617896 kB
Inactive:        1650560 kB
Active(anon):       1436 kB
Inactive(anon):   399976 kB
Active(file):     616460 kB
Inactive(file):  1250584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            121716 kB
Writeback:             0 kB
AnonPages:        363788 kB
Mapped:           105260 kB
Shmem:             37704 kB
KReclaimable:      89140 kB
Slab:             184584 kB
SReclaimable:      89140 kB
SUnreclaim:        95444 kB
KernelStack:        3776 kB
PageTables:        10004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     790836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51744 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228168 kB
DirectMap2M:    14356480 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC003 at 2024-07-16 07:02:42