Trace number 4460190

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)No Cert. 3600.12 3630.24

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
MD5SUM0cfe35c6a899c796e17247c8eb2f096e
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 benchmark241
Best CPU time to get the best result obtained on this benchmark3558.02
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 493167
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 493167
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 
2.99/3.07	c #variables 10000 #constraints 656900
4.77/4.84	c bounds - >= 0 @ 2.3176
4.77/4.84	c rational objective 174.399
56.30/56.53	c bounds 6467 >= 0 @ 4.63427
56.30/56.53	c bounds 6255 >= 0 @ 4.64085
56.30/56.53	c bounds 6172 >= 0 @ 4.6521
56.30/56.53	c bounds 6132 >= 0 @ 4.65762
56.30/56.53	c bounds 6038 >= 0 @ 4.6628
56.30/56.53	c bounds 5924 >= 0 @ 4.66703
56.30/56.53	c bounds 5824 >= 0 @ 4.67052
56.30/56.53	c bounds 5802 >= 0 @ 4.68549
56.30/56.53	c bounds 5744 >= 0 @ 4.68917
56.30/56.53	c bounds 5669 >= 0 @ 4.69873
56.30/56.53	c bounds 5448 >= 0 @ 4.70272
56.30/56.53	c bounds 5399 >= 0 @ 4.70821
56.30/56.53	c bounds 5320 >= 0 @ 4.71494
56.30/56.53	c bounds 5263 >= 0 @ 4.72587
56.30/56.53	c bounds 5208 >= 0 @ 4.73161
56.30/56.53	c bounds 5206 >= 0 @ 4.73406
56.30/56.53	c bounds 5143 >= 0 @ 4.73868
56.30/56.53	c bounds 5137 >= 0 @ 4.74541
56.30/56.53	c bounds 5129 >= 0 @ 4.749
56.30/56.53	c bounds 5121 >= 0 @ 4.75669
56.30/56.53	c bounds 5116 >= 0 @ 4.90906
56.30/56.53	c bounds 4993 >= 0 @ 4.91493
56.30/56.53	c bounds 4979 >= 0 @ 5.00023
56.30/56.53	c bounds 4965 >= 0 @ 5.00964
56.30/56.53	c bounds 4794 >= 0 @ 5.03984
56.30/56.53	c bounds 4744 >= 0 @ 5.04917
56.30/56.53	c bounds 4592 >= 0 @ 5.05532
56.30/56.53	c bounds 4591 >= 0 @ 5.07209
56.30/56.53	c bounds 4543 >= 0 @ 5.08336
56.30/56.53	c bounds 4442 >= 0 @ 5.08804
56.30/56.53	c bounds 4429 >= 0 @ 5.12717
56.30/56.53	c bounds 4364 >= 0 @ 5.13734
56.30/56.53	c bounds 4361 >= 0 @ 5.14345
56.30/56.53	c bounds 4360 >= 0 @ 5.14872
56.30/56.53	c bounds 4356 >= 0 @ 5.15844
56.30/56.53	c bounds 4293 >= 0 @ 5.16764
56.30/56.53	c bounds 4225 >= 0 @ 5.1732
56.30/56.53	c bounds 4189 >= 0 @ 5.20165
56.30/56.53	c bounds 4165 >= 0 @ 5.20514
56.30/56.53	c bounds 4056 >= 0 @ 5.21285
56.30/56.53	c bounds 4030 >= 0 @ 5.21676
56.30/56.53	c bounds 4009 >= 0 @ 5.22545
56.30/56.53	c bounds 3993 >= 0 @ 5.23207
56.30/56.53	c bounds 3987 >= 0 @ 5.23669
56.30/56.53	c bounds 3959 >= 0 @ 5.24266
56.30/56.53	c bounds 3923 >= 0 @ 5.24766
56.30/56.53	c bounds 3720 >= 0 @ 5.25324
56.30/56.53	c bounds 3706 >= 0 @ 5.55454
56.30/56.53	c bounds 3682 >= 0 @ 5.56126
56.30/56.53	c bounds 3597 >= 0 @ 5.56647
56.30/56.53	c bounds 3545 >= 0 @ 5.57367
56.30/56.53	c bounds 3541 >= 0 @ 5.58171
56.30/56.53	c bounds 3528 >= 0 @ 5.58765
56.30/56.53	c bounds 3462 >= 0 @ 5.59589
56.30/56.53	c bounds 3376 >= 0 @ 5.60272
56.30/56.53	c bounds 3253 >= 0 @ 5.60918
56.30/56.53	c bounds 3234 >= 0 @ 5.70663
56.30/56.53	c bounds 3205 >= 0 @ 5.7161
56.30/56.53	c bounds 3132 >= 0 @ 5.72128
56.30/56.53	c bounds 3086 >= 0 @ 5.73032
56.30/56.53	c bounds 3080 >= 0 @ 5.73618
56.30/56.53	c bounds 3048 >= 0 @ 5.74721
56.30/56.53	c bounds 3004 >= 0 @ 5.75582
56.30/56.53	c bounds 2972 >= 0 @ 5.76286
56.30/56.53	c bounds 2808 >= 0 @ 5.76959
56.30/56.53	c bounds 2793 >= 0 @ 5.77773
56.30/56.53	c bounds 2658 >= 0 @ 5.78588
56.30/56.53	c bounds 2637 >= 0 @ 6.39258
56.30/56.53	c bounds 2561 >= 0 @ 6.48462
56.30/56.53	c bounds 2459 >= 0 @ 6.49288
56.30/56.53	c bounds 2439 >= 0 @ 6.49779
56.30/56.53	c bounds 2328 >= 0 @ 6.50433
56.30/56.53	c bounds 2321 >= 0 @ 6.51278
56.30/56.53	c bounds 2291 >= 0 @ 6.51833
56.30/56.53	c bounds 2138 >= 0 @ 6.52497
56.30/56.53	c bounds 1995 >= 0 @ 6.53344
56.30/56.53	c bounds 1994 >= 0 @ 6.55039
56.30/56.53	c bounds 1931 >= 0 @ 6.55623
56.30/56.53	c bounds 1900 >= 0 @ 6.56225
56.30/56.53	c bounds 1866 >= 0 @ 6.56914
56.30/56.53	c bounds 1687 >= 0 @ 6.5774
56.30/56.53	c bounds 1606 >= 0 @ 6.68107
56.30/56.53	c bounds 1445 >= 0 @ 6.68794
56.30/56.53	c bounds 1383 >= 0 @ 6.69635
56.30/56.53	c bounds 1347 >= 0 @ 6.70149
56.30/56.53	c bounds 1331 >= 0 @ 6.74808
56.30/56.53	c bounds 1302 >= 0 @ 6.75669
56.30/56.53	c bounds 1223 >= 0 @ 6.76337
56.30/56.53	c bounds 1219 >= 0 @ 6.88029
56.30/56.53	c bounds 1176 >= 0 @ 6.89014
56.30/56.53	c bounds 1083 >= 0 @ 6.89785
56.30/56.53	c bounds 1082 >= 0 @ 6.90629
56.30/56.53	c bounds 1075 >= 0 @ 7.09501
56.30/56.53	c bounds 1021 >= 0 @ 7.10559
56.30/56.53	c bounds 971 >= 0 @ 7.26333
56.30/56.53	c bounds 888 >= 0 @ 7.27389
56.30/56.53	c bounds 763 >= 0 @ 7.30237
56.30/56.53	c #Conflicts:       1000 | #Constraints:     658001
56.30/56.53	c bounds 755 >= 0 @ 8.00801
56.30/56.53	c bounds 752 >= 0 @ 8.02042
56.30/56.53	c bounds 740 >= 0 @ 8.02542
56.30/56.53	c bounds 734 >= 0 @ 8.14792
56.30/56.53	c bounds 665 >= 0 @ 8.2203
56.30/56.53	c bounds 612 >= 0 @ 8.239
56.30/56.53	c bounds 512 >= 0 @ 8.29129
56.30/56.53	c #Conflicts:       2000 | #Constraints:     659008
56.30/56.53	c INPROCESSING
56.30/56.53	c GARBAGE COLLECT
56.30/56.53	c bounds 506 >= 0 @ 10.4747
56.30/56.53	c bounds 503 >= 0 @ 12.0999
56.30/56.53	c #Conflicts:       3000 | #Constraints:     658918
56.30/56.53	c #Conflicts:       4000 | #Constraints:     659918
56.30/56.53	c INPROCESSING
56.30/56.53	c GARBAGE COLLECT
56.30/56.53	c #Conflicts:       5000 | #Constraints:     659318
56.30/56.53	c #Conflicts:       6000 | #Constraints:     660318
56.30/56.53	c INPROCESSING
56.30/56.53	c GARBAGE COLLECT
56.30/56.53	c bounds 502 >= 0 @ 28.3655
56.30/56.53	c #Conflicts:       7000 | #Constraints:     659332
56.30/56.53	c #Conflicts:       8000 | #Constraints:     660345
56.30/56.53	c bounds 500 >= 0 @ 45.8089
56.30/56.53	c #Conflicts:       9000 | #Constraints:     661350
56.30/56.53	c INPROCESSING
56.30/56.53	c GARBAGE COLLECT
56.30/56.53	c rational objective 174.399
71.66/71.90	c #Conflicts:      10000 | #Constraints:     660038
71.66/71.90	c #Conflicts:      11000 | #Constraints:     661038
71.66/71.90	c #Conflicts:      12000 | #Constraints:     662038
71.66/71.90	c INPROCESSING
71.66/71.90	c rational objective 174.57
98.86/99.23	c #Conflicts:      13000 | #Constraints:     660479
98.86/99.23	c #Conflicts:      14000 | #Constraints:     661479
98.86/99.23	c #Conflicts:      15000 | #Constraints:     662479
98.86/99.23	c INPROCESSING
98.86/99.23	c GARBAGE COLLECT
98.86/99.23	c #Conflicts:      16000 | #Constraints:     660710
98.86/99.23	c #Conflicts:      17000 | #Constraints:     661710
98.86/99.23	c #Conflicts:      18000 | #Constraints:     662710
98.86/99.23	c INPROCESSING
98.86/99.23	c GARBAGE COLLECT
98.86/99.23	c rational objective 174.693
116.50/116.99	c #Conflicts:      19000 | #Constraints:     660741
116.50/116.99	c #Conflicts:      20000 | #Constraints:     661741
116.50/116.99	c #Conflicts:      21000 | #Constraints:     662741
116.50/116.99	c INPROCESSING
116.50/116.99	c GARBAGE COLLECT
116.50/116.99	c rational objective 174.723
134.74/135.24	c #Conflicts:      22000 | #Constraints:     660540
134.74/135.24	c #Conflicts:      23000 | #Constraints:     661540
134.74/135.24	c #Conflicts:      24000 | #Constraints:     662540
134.74/135.24	c #Conflicts:      25000 | #Constraints:     663540
134.74/135.24	c INPROCESSING
134.74/135.24	c GARBAGE COLLECT
134.74/135.24	c rational objective 174.755
152.18/152.79	c #Conflicts:      26000 | #Constraints:     661140
152.18/152.79	c #Conflicts:      27000 | #Constraints:     662140
152.18/152.79	c #Conflicts:      28000 | #Constraints:     663140
152.18/152.79	c #Conflicts:      29000 | #Constraints:     664140
152.18/152.79	c INPROCESSING
152.18/152.79	c GARBAGE COLLECT
152.18/152.79	c rational objective 175.334
172.11/172.78	c #Conflicts:      30000 | #Constraints:     661548
172.11/172.78	c #Conflicts:      31000 | #Constraints:     662548
172.11/172.78	c #Conflicts:      32000 | #Constraints:     663548
172.11/172.78	c #Conflicts:      33000 | #Constraints:     664548
172.11/172.78	c INPROCESSING
172.11/172.78	c GARBAGE COLLECT
172.11/172.78	c rational objective 175.335
198.44/199.17	c #Conflicts:      34000 | #Constraints:     661746
198.44/199.17	c #Conflicts:      35000 | #Constraints:     662746
198.44/199.17	c #Conflicts:      36000 | #Constraints:     663746
198.44/199.17	c #Conflicts:      37000 | #Constraints:     664746
198.44/199.17	c INPROCESSING
198.44/199.17	c GARBAGE COLLECT
198.44/199.17	c rational objective 175.335
250.85/251.73	c #Conflicts:      38000 | #Constraints:     661758
250.85/251.73	c #Conflicts:      39000 | #Constraints:     662758
250.85/251.73	c #Conflicts:      40000 | #Constraints:     663758
250.85/251.73	c bounds 382 >= 0 @ 208.918
250.85/251.73	c bounds 377 >= 0 @ 208.953
250.85/251.73	c bounds 376 >= 0 @ 208.987
250.85/251.73	c #Conflicts:      41000 | #Constraints:     664765
250.85/251.73	c INPROCESSING
250.85/251.73	c GARBAGE COLLECT
250.85/251.73	c #Conflicts:      42000 | #Constraints:     661560
250.85/251.73	c #Conflicts:      43000 | #Constraints:     662560
250.85/251.73	c #Conflicts:      44000 | #Constraints:     663560
250.85/251.73	c #Conflicts:      45000 | #Constraints:     664560
250.85/251.73	c #Conflicts:      46000 | #Constraints:     665560
250.85/251.73	c INPROCESSING
250.85/251.73	c GARBAGE COLLECT
250.85/251.73	c rational objective 175.335
343.65/344.80	c bounds 374 >= 0 @ 247.992
343.65/344.80	c #Conflicts:      47000 | #Constraints:     662166
343.65/344.80	c #Conflicts:      48000 | #Constraints:     663182
343.65/344.80	c #Conflicts:      49000 | #Constraints:     664193
343.65/344.80	c #Conflicts:      50000 | #Constraints:     665209
343.65/344.80	c bounds 372 >= 0 @ 329.735
343.65/344.80	c bounds 372 >= 5 @ 329.79
343.65/344.80	c bounds 372 >= 10 @ 330.106
343.65/344.80	c #Conflicts:      51000 | #Constraints:     666229
343.65/344.80	c INPROCESSING
343.65/344.80	c GARBAGE COLLECT
343.65/344.80	c rational objective 175.681
455.68/457.22	c #Conflicts:      52000 | #Constraints:     662593
455.68/457.22	c #Conflicts:      53000 | #Constraints:     663593
455.68/457.22	c #Conflicts:      54000 | #Constraints:     664593
455.68/457.22	c bounds 372 >= 15 @ 400.333
455.68/457.22	c #Conflicts:      55000 | #Constraints:     665602
455.68/457.22	c #Conflicts:      56000 | #Constraints:     666602
455.68/457.22	c INPROCESSING
455.68/457.22	c GARBAGE COLLECT
455.68/457.22	c rational objective 175.7
583.08/585.06	c #Conflicts:      57000 | #Constraints:     662783
583.08/585.06	c #Conflicts:      58000 | #Constraints:     663783
583.08/585.06	c #Conflicts:      59000 | #Constraints:     664783
583.08/585.06	c #Conflicts:      60000 | #Constraints:     665783
583.08/585.06	c #Conflicts:      61000 | #Constraints:     666783
583.08/585.06	c INPROCESSING
583.08/585.06	c GARBAGE COLLECT
583.08/585.06	c rational objective 175.7
758.68/761.20	c #Conflicts:      62000 | #Constraints:     662786
758.68/761.20	c #Conflicts:      63000 | #Constraints:     663794
758.68/761.20	c #Conflicts:      64000 | #Constraints:     664802
758.68/761.20	c bounds 371 >= 15 @ 603.748
758.68/761.20	c bounds 369 >= 15 @ 603.897
758.68/761.20	c #Conflicts:      65000 | #Constraints:     665832
758.68/761.20	c #Conflicts:      66000 | #Constraints:     666846
758.68/761.20	c INPROCESSING
758.68/761.20	c GARBAGE COLLECT
758.68/761.20	c bounds 369 >= 19 @ 697.881
758.68/761.20	c #Conflicts:      67000 | #Constraints:     662605
758.68/761.20	c #Conflicts:      68000 | #Constraints:     663605
758.68/761.20	c #Conflicts:      69000 | #Constraints:     664605
758.68/761.20	c #Conflicts:      70000 | #Constraints:     665605
758.68/761.20	c #Conflicts:      71000 | #Constraints:     666605
758.68/761.20	c #Conflicts:      72000 | #Constraints:     667605
758.68/761.20	c INPROCESSING
758.68/761.20	c GARBAGE COLLECT
758.68/761.20	c rational objective 175.7
950.35/953.58	c #Conflicts:      73000 | #Constraints:     663184
950.35/953.58	c #Conflicts:      74000 | #Constraints:     664198
950.35/953.58	c #Conflicts:      75000 | #Constraints:     665209
950.35/953.58	c #Conflicts:      76000 | #Constraints:     666222
950.35/953.58	c #Conflicts:      77000 | #Constraints:     667231
950.35/953.58	c #Conflicts:      78000 | #Constraints:     668240
950.35/953.58	c INPROCESSING
950.35/953.58	c GARBAGE COLLECT
950.35/953.58	c rational objective 175.768
1010.55/1014.00	c #Conflicts:      79000 | #Constraints:     663602
1010.55/1014.00	c #Conflicts:      80000 | #Constraints:     664602
1010.55/1014.00	c #Conflicts:      81000 | #Constraints:     665602
1010.55/1014.00	c #Conflicts:      82000 | #Constraints:     666602
1010.55/1014.00	c #Conflicts:      83000 | #Constraints:     667602
1010.55/1014.00	c #Conflicts:      84000 | #Constraints:     668602
1010.55/1014.00	c INPROCESSING
1010.55/1014.00	c GARBAGE COLLECT
1010.55/1014.00	c rational objective 175.773
1075.83/1079.43	c #Conflicts:      85000 | #Constraints:     663779
1075.83/1079.43	c #Conflicts:      86000 | #Constraints:     664779
1075.83/1079.43	c #Conflicts:      87000 | #Constraints:     665779
1075.83/1079.43	c #Conflicts:      88000 | #Constraints:     666779
1075.83/1079.43	c #Conflicts:      89000 | #Constraints:     667779
1075.83/1079.43	c #Conflicts:      90000 | #Constraints:     668779
1075.83/1079.43	c INPROCESSING
1075.83/1079.43	c GARBAGE COLLECT
1075.83/1079.43	c rational objective 175.773
1149.38/1153.29	c #Conflicts:      91000 | #Constraints:     663762
1149.38/1153.29	c #Conflicts:      92000 | #Constraints:     664762
1149.38/1153.29	c #Conflicts:      93000 | #Constraints:     665762
1149.38/1153.29	c #Conflicts:      94000 | #Constraints:     666762
1149.38/1153.29	c #Conflicts:      95000 | #Constraints:     667762
1149.38/1153.29	c #Conflicts:      96000 | #Constraints:     668762
1149.38/1153.29	c INPROCESSING
1149.38/1153.29	c GARBAGE COLLECT
1149.38/1153.29	c rational objective 175.773
1223.24/1227.39	c #Conflicts:      97000 | #Constraints:     663569
1223.24/1227.39	c #Conflicts:      98000 | #Constraints:     664569
1223.24/1227.39	c #Conflicts:      99000 | #Constraints:     665569
1223.24/1227.39	c #Conflicts:     100000 | #Constraints:     666569
1223.24/1227.39	c #Conflicts:     101000 | #Constraints:     667569
1223.24/1227.39	c #Conflicts:     102000 | #Constraints:     668569
1223.24/1227.39	c #Conflicts:     103000 | #Constraints:     669569
1223.24/1227.39	c INPROCESSING
1223.24/1227.39	c GARBAGE COLLECT
1223.24/1227.39	c rational objective 175.773
1309.06/1313.43	c #Conflicts:     104000 | #Constraints:     664168
1309.06/1313.43	c #Conflicts:     105000 | #Constraints:     665168
1309.06/1313.43	c #Conflicts:     106000 | #Constraints:     666168
1309.06/1313.43	c #Conflicts:     107000 | #Constraints:     667168
1309.06/1313.43	c #Conflicts:     108000 | #Constraints:     668168
1309.06/1313.43	c #Conflicts:     109000 | #Constraints:     669168
1309.06/1313.43	c #Conflicts:     110000 | #Constraints:     670168
1309.06/1313.43	c INPROCESSING
1309.06/1313.43	c GARBAGE COLLECT
1309.06/1313.43	c rational objective 175.773
1396.18/1400.86	c #Conflicts:     111000 | #Constraints:     664566
1396.18/1400.86	c #Conflicts:     112000 | #Constraints:     665566
1396.18/1400.86	c #Conflicts:     113000 | #Constraints:     666566
1396.18/1400.86	c #Conflicts:     114000 | #Constraints:     667566
1396.18/1400.86	c #Conflicts:     115000 | #Constraints:     668566
1396.18/1400.86	c #Conflicts:     116000 | #Constraints:     669566
1396.18/1400.86	c #Conflicts:     117000 | #Constraints:     670566
1396.18/1400.86	c INPROCESSING
1396.18/1400.86	c GARBAGE COLLECT
1396.18/1400.86	c rational objective 175.773
1484.51/1489.40	c #Conflicts:     118000 | #Constraints:     664771
1484.51/1489.40	c #Conflicts:     119000 | #Constraints:     665771
1484.51/1489.40	c #Conflicts:     120000 | #Constraints:     666771
1484.51/1489.40	c #Conflicts:     121000 | #Constraints:     667771
1484.51/1489.40	c #Conflicts:     122000 | #Constraints:     668771
1484.51/1489.40	c #Conflicts:     123000 | #Constraints:     669771
1484.51/1489.40	c #Conflicts:     124000 | #Constraints:     670771
1484.51/1489.40	c INPROCESSING
1484.51/1489.40	c GARBAGE COLLECT
1484.51/1489.40	c rational objective 175.773
1662.00/1667.48	c #Conflicts:     125000 | #Constraints:     664764
1662.00/1667.48	c #Conflicts:     126000 | #Constraints:     665778
1662.00/1667.48	c #Conflicts:     127000 | #Constraints:     666789
1662.00/1667.48	c #Conflicts:     128000 | #Constraints:     667800
1662.00/1667.48	c #Conflicts:     129000 | #Constraints:     668814
1662.00/1667.48	c #Conflicts:     130000 | #Constraints:     669822
1662.00/1667.48	c #Conflicts:     131000 | #Constraints:     670830
1662.00/1667.48	c bounds 367 >= 19 @ 1631.89
1662.00/1667.48	c bounds 367 >= 22 @ 1632
1662.00/1667.48	c INPROCESSING
1662.00/1667.48	c GARBAGE COLLECT
1662.00/1667.48	c rational objective 175.903
1771.61/1777.38	c #Conflicts:     132000 | #Constraints:     664588
1771.61/1777.38	c #Conflicts:     133000 | #Constraints:     665594
1771.61/1777.38	c #Conflicts:     134000 | #Constraints:     666598
1771.61/1777.38	c #Conflicts:     135000 | #Constraints:     667607
1771.61/1777.38	c #Conflicts:     136000 | #Constraints:     668614
1771.61/1777.38	c #Conflicts:     137000 | #Constraints:     669620
1771.61/1777.38	c #Conflicts:     138000 | #Constraints:     670627
1771.61/1777.38	c #Conflicts:     139000 | #Constraints:     671636
1771.61/1777.38	c INPROCESSING
1771.61/1777.38	c GARBAGE COLLECT
1771.61/1777.38	c rational objective 175.913
1880.69/1886.73	c #Conflicts:     140000 | #Constraints:     665196
1880.69/1886.73	c #Conflicts:     141000 | #Constraints:     666196
1880.69/1886.73	c #Conflicts:     142000 | #Constraints:     667203
1880.69/1886.73	c #Conflicts:     143000 | #Constraints:     668209
1880.69/1886.73	c #Conflicts:     144000 | #Constraints:     669217
1880.69/1886.73	c #Conflicts:     145000 | #Constraints:     670223
1880.69/1886.73	c #Conflicts:     146000 | #Constraints:     671230
1880.69/1886.73	c #Conflicts:     147000 | #Constraints:     672237
1880.69/1886.73	c INPROCESSING
1880.69/1886.73	c GARBAGE COLLECT
1880.69/1886.73	c rational objective 175.913
2008.23/2014.65	c #Conflicts:     148000 | #Constraints:     665607
2008.23/2014.65	c #Conflicts:     149000 | #Constraints:     666610
2008.23/2014.65	c #Conflicts:     150000 | #Constraints:     667614
2008.23/2014.65	c #Conflicts:     151000 | #Constraints:     668619
2008.23/2014.65	c #Conflicts:     152000 | #Constraints:     669621
2008.23/2014.65	c #Conflicts:     153000 | #Constraints:     670625
2008.23/2014.65	c #Conflicts:     154000 | #Constraints:     671631
2008.23/2014.65	c #Conflicts:     155000 | #Constraints:     672637
2008.23/2014.65	c INPROCESSING
2008.23/2014.65	c GARBAGE COLLECT
2008.23/2014.65	c rational objective 175.913
2172.48/2179.39	c #Conflicts:     156000 | #Constraints:     665802
2172.48/2179.39	c #Conflicts:     157000 | #Constraints:     666808
2172.48/2179.39	c #Conflicts:     158000 | #Constraints:     667812
2172.48/2179.39	c #Conflicts:     159000 | #Constraints:     668821
2172.48/2179.39	c #Conflicts:     160000 | #Constraints:     669823
2172.48/2179.39	c #Conflicts:     161000 | #Constraints:     670828
2172.48/2179.39	c #Conflicts:     162000 | #Constraints:     671834
2172.48/2179.39	c #Conflicts:     163000 | #Constraints:     672842
2172.48/2179.39	c INPROCESSING
2172.48/2179.39	c GARBAGE COLLECT
2172.48/2179.39	c rational objective 175.913
2310.31/2317.58	c #Conflicts:     164000 | #Constraints:     665802
2310.31/2317.58	c #Conflicts:     165000 | #Constraints:     666810
2310.31/2317.58	c #Conflicts:     166000 | #Constraints:     667819
2310.31/2317.58	c #Conflicts:     167000 | #Constraints:     668827
2310.31/2317.58	c #Conflicts:     168000 | #Constraints:     669832
2310.31/2317.58	c #Conflicts:     169000 | #Constraints:     670835
2310.31/2317.58	c #Conflicts:     170000 | #Constraints:     671840
2310.31/2317.58	c #Conflicts:     171000 | #Constraints:     672844
2310.31/2317.58	c INPROCESSING
2310.31/2317.58	c GARBAGE COLLECT
2310.31/2317.58	c rational objective 175.913
2433.47/2441.03	c #Conflicts:     172000 | #Constraints:     665608
2433.47/2441.03	c #Conflicts:     173000 | #Constraints:     666612
2433.47/2441.03	c #Conflicts:     174000 | #Constraints:     667615
2433.47/2441.03	c #Conflicts:     175000 | #Constraints:     668623
2433.47/2441.03	c #Conflicts:     176000 | #Constraints:     669628
2433.47/2441.03	c #Conflicts:     177000 | #Constraints:     670631
2433.47/2441.03	c #Conflicts:     178000 | #Constraints:     671636
2433.47/2441.03	c #Conflicts:     179000 | #Constraints:     672642
2433.47/2441.03	c #Conflicts:     180000 | #Constraints:     673645
2433.47/2441.03	c INPROCESSING
2433.47/2441.03	c GARBAGE COLLECT
2433.47/2441.03	c rational objective 175.913
2609.28/2617.32	c #Conflicts:     181000 | #Constraints:     666201
2609.28/2617.32	c #Conflicts:     182000 | #Constraints:     667208
2609.28/2617.32	c #Conflicts:     183000 | #Constraints:     668213
2609.28/2617.32	c #Conflicts:     184000 | #Constraints:     669216
2609.28/2617.32	c #Conflicts:     185000 | #Constraints:     670223
2609.28/2617.32	c #Conflicts:     186000 | #Constraints:     671228
2609.28/2617.32	c #Conflicts:     187000 | #Constraints:     672233
2609.28/2617.32	c #Conflicts:     188000 | #Constraints:     673243
2609.28/2617.32	c #Conflicts:     189000 | #Constraints:     674251
2609.28/2617.32	c INPROCESSING
2609.28/2617.32	c GARBAGE COLLECT
2609.28/2617.32	c rational objective 175.913
2810.25/2818.89	c bounds 366 >= 22 @ 2589.43
2810.25/2818.89	c bounds 364 >= 22 @ 2589.56
2810.25/2818.89	c bounds 362 >= 22 @ 2595.52
2810.25/2818.89	c bounds 360 >= 22 @ 2597.35
2810.25/2818.89	c bounds 359 >= 22 @ 2597.52
2810.25/2818.89	c bounds 356 >= 22 @ 2599.69
2810.25/2818.89	c #Conflicts:     190000 | #Constraints:     666630
2810.25/2818.89	c #Conflicts:     191000 | #Constraints:     667643
2810.25/2818.89	c #Conflicts:     192000 | #Constraints:     668652
2810.25/2818.89	c #Conflicts:     193000 | #Constraints:     669655
2810.25/2818.89	c #Conflicts:     194000 | #Constraints:     670665
2810.25/2818.89	c bounds 355 >= 22 @ 2667.22
2810.25/2818.89	c bounds 355 >= 24 @ 2667.32
2810.25/2818.89	c bounds 355 >= 26 @ 2668.01
2810.25/2818.89	c #Conflicts:     195000 | #Constraints:     671678
2810.25/2818.89	c #Conflicts:     196000 | #Constraints:     672678
2810.25/2818.89	c #Conflicts:     197000 | #Constraints:     673678
2810.25/2818.89	c #Conflicts:     198000 | #Constraints:     674678
2810.25/2818.89	c INPROCESSING
2810.25/2818.89	c GARBAGE COLLECT
2810.25/2818.89	c rational objective 175.913
3049.34/3058.52	c bounds 354 >= 26 @ 2788.05
3049.34/3058.52	c #Conflicts:     199000 | #Constraints:     666876
3049.34/3058.52	c bounds 353 >= 26 @ 2809.9
3049.34/3058.52	c #Conflicts:     200000 | #Constraints:     667887
3049.34/3058.52	c #Conflicts:     201000 | #Constraints:     668890
3049.34/3058.52	c #Conflicts:     202000 | #Constraints:     669902
3049.34/3058.52	c #Conflicts:     203000 | #Constraints:     670912
3049.34/3058.52	c #Conflicts:     204000 | #Constraints:     671921
3049.34/3058.52	c bounds 351 >= 26 @ 2908.05
3049.34/3058.52	c bounds 351 >= 27 @ 2908.12
3049.34/3058.52	c bounds 351 >= 28 @ 2908.24
3049.34/3058.52	c bounds 351 >= 29 @ 2908.31
3049.34/3058.52	c bounds 351 >= 30 @ 2908.39
3049.34/3058.52	c bounds 351 >= 31 @ 2908.46
3049.34/3058.52	c bounds 351 >= 32 @ 2908.54
3049.34/3058.52	c bounds 351 >= 33 @ 2908.62
3049.34/3058.52	c bounds 351 >= 34 @ 2908.71
3049.34/3058.52	c bounds 351 >= 35 @ 2908.81
3049.34/3058.52	c bounds 351 >= 36 @ 2908.9
3049.34/3058.52	c bounds 351 >= 37 @ 2908.99
3049.34/3058.52	c bounds 351 >= 38 @ 2909.08
3049.34/3058.52	c bounds 351 >= 39 @ 2909.19
3049.34/3058.52	c bounds 351 >= 40 @ 2909.29
3049.34/3058.52	c bounds 351 >= 41 @ 2909.39
3049.34/3058.52	c bounds 351 >= 42 @ 2909.5
3049.34/3058.52	c bounds 351 >= 43 @ 2909.6
3049.34/3058.52	c bounds 351 >= 44 @ 2909.71
3049.34/3058.52	c bounds 351 >= 45 @ 2909.82
3049.34/3058.52	c bounds 351 >= 46 @ 2909.92
3049.34/3058.52	c bounds 351 >= 47 @ 2910.03
3049.34/3058.52	c bounds 351 >= 48 @ 2910.13
3049.34/3058.52	c bounds 351 >= 49 @ 2910.3
3049.34/3058.52	c bounds 351 >= 50 @ 2910.54
3049.34/3058.52	c bounds 351 >= 51 @ 2910.72
3049.34/3058.52	c bounds 351 >= 52 @ 2913.35
3049.34/3058.52	c bounds 351 >= 53 @ 2913.78
3049.34/3058.52	c bounds 351 >= 54 @ 2914.1
3049.34/3058.52	c bounds 351 >= 55 @ 2914.75
3049.34/3058.52	c bounds 351 >= 56 @ 2915.54
3049.34/3058.52	c #Conflicts:     205000 | #Constraints:     673129
3049.34/3058.52	c bounds 351 >= 57 @ 2918.13
3049.34/3058.52	c bounds 351 >= 58 @ 2920.22
3049.34/3058.52	c bounds 351 >= 59 @ 2928.53
3049.34/3058.52	c bounds 351 >= 60 @ 2936.67
3049.34/3058.52	c #Conflicts:     206000 | #Constraints:     674210
3049.34/3058.52	c bounds 351 >= 61 @ 2943.65
3049.34/3058.52	c bounds 351 >= 62 @ 2959.67
3049.34/3058.52	c bounds 351 >= 63 @ 2970.32
3049.34/3058.52	c #Conflicts:     207000 | #Constraints:     675279
3049.34/3058.52	c INPROCESSING
3049.34/3058.52	c GARBAGE COLLECT
3049.34/3058.52	c rational objective 175.913
3223.96/3233.66	c bounds 351 >= 64 @ 3027.86
3223.96/3233.66	c #Conflicts:     208000 | #Constraints:     667196
3223.96/3233.66	c bounds 351 >= 65 @ 3042.2
3223.96/3233.66	c #Conflicts:     209000 | #Constraints:     668235
3223.96/3233.66	c #Conflicts:     210000 | #Constraints:     669235
3223.96/3233.66	c bounds 351 >= 66 @ 3072.8
3223.96/3233.66	c #Conflicts:     211000 | #Constraints:     670271
3223.96/3233.66	c #Conflicts:     212000 | #Constraints:     671271
3223.96/3233.66	c #Conflicts:     213000 | #Constraints:     672271
3223.96/3233.66	c bounds 351 >= 67 @ 3102.89
3223.96/3233.66	c #Conflicts:     214000 | #Constraints:     673298
3223.96/3233.66	c #Conflicts:     215000 | #Constraints:     674298
3223.96/3233.66	c bounds 351 >= 68 @ 3133.56
3223.96/3233.66	c #Conflicts:     216000 | #Constraints:     675325
3223.96/3233.66	c INPROCESSING
3223.96/3233.66	c GARBAGE COLLECT
3223.96/3233.66	c rational objective 175.913
3388.61/3398.75	c bounds 349 >= 68 @ 3196.41
3388.61/3398.75	c bounds 348 >= 68 @ 3197.78
3388.61/3398.75	c #Conflicts:     217000 | #Constraints:     667114
3388.61/3398.75	c #Conflicts:     218000 | #Constraints:     668131
3388.61/3398.75	c #Conflicts:     219000 | #Constraints:     669144
3388.61/3398.75	c #Conflicts:     220000 | #Constraints:     670156
3388.61/3398.75	c bounds 347 >= 68 @ 3257.17
3388.61/3398.75	c #Conflicts:     221000 | #Constraints:     671163
3388.61/3398.75	c #Conflicts:     222000 | #Constraints:     672163
3388.61/3398.75	c bounds 347 >= 69 @ 3286.34
3388.61/3398.75	c #Conflicts:     223000 | #Constraints:     673181
3388.61/3398.75	c #Conflicts:     224000 | #Constraints:     674181
3388.61/3398.75	c bounds 347 >= 70 @ 3314.45
3388.61/3398.75	c #Conflicts:     225000 | #Constraints:     675208
3388.61/3398.75	c #Conflicts:     226000 | #Constraints:     676208
3388.61/3398.75	c INPROCESSING
3388.61/3398.75	c GARBAGE COLLECT
3388.61/3398.75	c rational objective 175.913
3598.65/3609.35	c #Conflicts:     227000 | #Constraints:     667764
3598.65/3609.35	c bounds 347 >= 71 @ 3366.51
3598.65/3609.35	c #Conflicts:     228000 | #Constraints:     668800
3598.65/3609.35	c #Conflicts:     229000 | #Constraints:     669800
3598.65/3609.35	c #Conflicts:     230000 | #Constraints:     670800
3598.65/3609.35	c bounds 347 >= 72 @ 3401.86
3598.65/3609.35	c #Conflicts:     231000 | #Constraints:     671849
3598.65/3609.35	c bounds 346 >= 72 @ 3419.16
3598.65/3609.35	c bounds 343 >= 72 @ 3419.88
3598.65/3609.35	c bounds 341 >= 72 @ 3419.98
3598.65/3609.35	c #Conflicts:     232000 | #Constraints:     672865
3598.65/3609.35	c #Conflicts:     233000 | #Constraints:     673865
3598.65/3609.35	c #Conflicts:     234000 | #Constraints:     674865
3598.65/3609.35	c #Conflicts:     235000 | #Constraints:     675865
3598.65/3609.35	c bounds 341 >= 73 @ 3471.86
3598.65/3609.35	c bounds 338 >= 73 @ 3471.98
3598.65/3609.35	c #Conflicts:     236000 | #Constraints:     676905
3598.65/3609.35	c INPROCESSING
3598.65/3609.35	c GARBAGE COLLECT
3598.65/3609.35	c rational objective 175.913
3600.04/3610.73	c Program interrupted by user.
3600.04/3610.73	c cpu time 3568.37 s
3600.04/3610.73	c deterministic time 307211521373 3.07e+11
3600.04/3610.73	c optimization time 1.93456 s
3600.04/3610.73	c total solve time 3564.11 s
3600.04/3610.73	c core-guided solve time 2542.47 s
3600.04/3610.73	c propagation time 1970.1 s
3600.04/3610.73	c conflict analysis time 798.762 s
3600.04/3610.73	c propagations 43646757
3600.04/3610.73	c resolve steps 4366476
3600.04/3610.73	c decisions 10198320
3600.04/3610.73	c conflicts 236177
3600.04/3610.73	c restarts 539
3600.04/3610.73	c inprocessing phases 40
3600.04/3610.73	c input clauses 657074
3600.04/3610.73	c input cardinalities 54
3600.04/3610.73	c input general constraints 589
3600.04/3610.73	c input average constraint length 5.61
3600.04/3610.73	c input average constraint degree 100.55
3600.04/3610.73	c learned clauses 128038
3600.04/3610.73	c learned cardinalities 9
3600.04/3610.73	c learned general constraints 108993
3600.04/3610.73	c learned average constraint length 4222.47
3600.04/3610.73	c learned average constraint degree 122894612825.02
3600.04/3610.73	c watched constraints 12279
3600.04/3610.73	c counting constraints 97303
3600.04/3610.73	c gcd simplifications 2560
3600.04/3610.73	c detected cardinalities 0
3600.04/3610.73	c weakened non-implied lits 228674887
3600.04/3610.73	c weakened non-implying lits 81782
3600.04/3610.73	c original variables 10000
3600.04/3610.73	c clausal propagations 23680599
3600.04/3610.73	c cardinality propagations 22984
3600.04/3610.73	c watched propagations 568450
3600.04/3610.73	c counting propagations 18924011
3600.04/3610.74	c watch lookups 23706692539
3600.04/3610.74	c watch backjump lookups 23587139472
3600.04/3610.74	c watch checks 48513017917
3600.04/3610.74	c propagation checks 208347137009
3600.04/3610.74	c constraint additions 2949184627
3600.04/3610.74	c trail pops 54070755
3600.04/3610.74	c formula constraints 656900
3600.04/3610.74	c learned constraints 235324
3600.04/3610.74	c bound constraints 187
3600.04/3610.74	c core-guided constraints 630
3600.04/3610.74	c encountered formula constraints 3539188
3600.04/3610.74	c encountered learned constraints 924874
3600.04/3610.74	c encountered bound constraints 2700
3600.04/3610.74	c encountered core-guided constraints 68025
3600.04/3610.74	c LP total time 1085.83 s
3600.04/3610.74	c LP solve time 1026.2 s
3600.04/3610.74	c LP constraints added 656941
3600.04/3610.74	c LP constraints removed 29
3600.04/3610.74	c LP pivots internal 236664
3600.04/3610.74	c LP pivots root 197312
3600.04/3610.74	c LP calls 1168
3600.04/3610.74	c LP optimalities 306
3600.04/3610.74	c LP no pivot count 15
3600.04/3610.74	c LP infeasibilities 858
3600.04/3610.74	c LP valid Farkas constraints 858
3600.04/3610.74	c LP learned Farkas constraints 858
3600.04/3610.74	c LP basis resets 0
3600.04/3610.74	c LP cycling count 0
3600.04/3610.74	c LP singular count 0
3600.04/3610.74	c LP no primal count 0
3600.04/3610.74	c LP no farkas count 0
3600.04/3610.74	c LP other issue count 0
3600.04/3610.74	c LP Gomory cuts 0
3600.04/3610.74	c LP learned cuts 41
3600.04/3610.74	c LP deleted cuts 29
3600.04/3610.74	c LP encountered Gomory constraints 0
3600.04/3610.74	c LP encountered Farkas constraints 63163
3600.04/3610.74	c LP encountered learned Farkas constraints 3845
3600.04/3610.74	c CG auxiliary variables introduced 228
3600.04/3610.74	c CG solutions found 133
3600.04/3610.74	c CG cores constructed 54
3600.04/3610.74	c CG core cardinality constraints returned 0
3600.04/3610.74	c CG unit cores 0
3600.04/3610.74	c CG single cores 54
3600.04/3610.74	c CG blocks removed during cardinality reduction 0
3600.04/3610.74	c CG first core best 0
3600.04/3610.74	c CG decision core best 0
3600.04/3610.74	c CG core reduction tie 0
3600.04/3610.74	c CG core degree average 1.00
3600.04/3610.74	c CG core slack average 836.69
3600.04/3610.74	s SATISFIABLE
3600.04/3610.74	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 -

Verifier Data 

ERROR: no interpretation found !

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: 64096 MiB (60299 MiB free)
  memory of node 1: 64473 MiB (60491 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460190-1722064838/watcher-4460190-1722064838 -o /tmp/evaluation-result-4460190-1722064838/solver-4460190-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360037 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460190-1722064838 --lp-cut-gomory=0 HOME/instance-4460190-1722064838.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=360088, runsolver pid=360085
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 0.06 0.08 0.09 6/241 360099
/proc/meminfo: memFree=123675316/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=40828 memory=9208 CPUtime=0.1 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 1525 0 0 0 7 3 0 0 20 0 1 0 42473689 41807872 2302 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 10207 2302 1367 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9208 KiB

[startup+0.212894 s]*
/proc/loadavg: 0.06 0.08 0.09 6/241 360099
/proc/meminfo: memFree=123671484/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=40828 memory=10000 CPUtime=0.21 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 1697 0 0 0 16 5 0 0 20 0 1 0 42473689 41807872 2500 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 10207 2500 1367 992 0 2065 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 10000 KiB

[startup+0.311039 s]*
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123664700/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=41212 memory=12312 CPUtime=0.31 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 1801 0 0 0 22 9 0 0 20 0 1 0 42473689 42201088 3078 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 10303 3078 1367 992 0 2161 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 12312 KiB

[startup+0.700255 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123655424/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=42668 memory=14156 CPUtime=0.69 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 2264 0 0 0 50 19 0 0 20 0 1 0 42473689 43692032 3539 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 10667 3539 1367 992 0 2525 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 14156 KiB

[startup+1.50027 s]
/proc/loadavg: 0.06 0.08 0.09 6/241 360099
/proc/meminfo: memFree=123633056/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=56400 memory=26908 CPUtime=1.48 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 4922 0 0 0 107 41 0 0 20 0 1 0 42473689 57753600 6727 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 14100 6727 1367 992 0 5958 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56400 KiB
Current children cumulated memory: 26908 KiB

[startup+3.11294 s]
/proc/loadavg: 0.06 0.08 0.09 6/241 360099
/proc/meminfo: memFree=122905808/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=353292 memory=311420 CPUtime=3.09 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 44715 0 0 0 233 76 0 0 20 0 1 0 42473689 361771008 77855 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 88323 77855 1734 992 0 80181 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 353292 KiB
Current children cumulated memory: 311420 KiB

[startup+6.30029 s]
/proc/loadavg: 0.38 0.15 0.11 6/244 360102
/proc/meminfo: memFree=122644524/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=380116 memory=338020 CPUtime=6.27 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 58614 0 0 0 528 99 0 0 20 0 1 0 42473689 389238784 84505 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 95029 84505 1813 992 0 86887 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 380116 KiB
Current children cumulated memory: 338020 KiB

[startup+12.7003 s]
/proc/loadavg: 0.67 0.21 0.13 6/244 360103
/proc/meminfo: memFree=122205052/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=425928 memory=370560 CPUtime=12.65 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 63630 0 0 0 1113 152 0 0 20 0 1 0 42473689 436150272 92640 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 106482 92640 1892 992 0 98340 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 425928 KiB
Current children cumulated memory: 370560 KiB

[startup+25.5003 s]
/proc/loadavg: 1.41 0.40 0.19 6/244 360105
/proc/meminfo: memFree=121770876/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=436512 memory=395420 CPUtime=25.41 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 64352 0 0 0 2362 179 0 0 20 0 1 0 42473689 446988288 98855 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 109128 98855 1892 992 0 100986 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 436512 KiB
Current children cumulated memory: 395420 KiB

[startup+51.1134 s]
/proc/loadavg: 2.35 0.70 0.30 6/245 360111
/proc/meminfo: memFree=120423252/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=721748 memory=623572 CPUtime=50.94 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 91299 0 0 0 4868 226 0 0 20 0 1 0 42473689 739069952 155893 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 180437 155893 1892 992 0 172295 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 721748 KiB
Current children cumulated memory: 623572 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.24 0.51 6/245 360120
/proc/meminfo: memFree=119242984/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=845640 memory=727284 CPUtime=101.95 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 95801 0 0 0 9917 278 0 0 20 0 1 0 42473689 865935360 181821 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 211410 181821 1892 992 0 203268 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 845640 KiB
Current children cumulated memory: 727284 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.76 0.73 6/245 360130
/proc/meminfo: memFree=118121824/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=855904 memory=727452 CPUtime=161.75 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 95980 0 0 0 15824 351 0 0 20 0 1 0 42473689 876445696 181863 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 213976 181863 1892 992 0 205834 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 855904 KiB
Current children cumulated memory: 727452 KiB

[startup+222.3 s]
/proc/loadavg: 4.41 2.30 0.98 6/245 360141
/proc/meminfo: memFree=115888804/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=998588 memory=789156 CPUtime=221.55 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 98315 0 0 0 21753 402 0 0 20 0 1 0 42473689 1022554112 197289 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 249647 197289 1892 992 0 241505 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 998588 KiB
Current children cumulated memory: 789156 KiB

[startup+282.3 s]
/proc/loadavg: 4.61 2.76 1.23 6/244 360535
/proc/meminfo: memFree=114901168/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=1204124 memory=1068536 CPUtime=281.35 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 134618 0 0 0 27663 472 0 0 20 0 1 0 42473689 1233022976 267134 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 301031 267134 1892 992 0 292889 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1204124 KiB
Current children cumulated memory: 1068536 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 3.03 1.42 6/243 360545
/proc/meminfo: memFree=113144848/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=1611440 memory=1412940 CPUtime=341.16 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 166719 0 0 0 33577 539 0 0 20 0 1 0 42473689 1650114560 353235 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 402860 353235 1908 992 0 394718 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1611440 KiB
Current children cumulated memory: 1412940 KiB

[startup+402.3 s]
/proc/loadavg: 4.33 3.26 1.60 6/248 360561
/proc/meminfo: memFree=112046544/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=1616576 memory=1419324 CPUtime=400.96 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 167439 0 0 0 39497 599 0 0 20 0 1 0 42473689 1655373824 354831 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 404144 354831 1908 992 0 396002 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1616576 KiB
Current children cumulated memory: 1419324 KiB

[startup+462.3 s]
/proc/loadavg: 4.42 3.49 1.78 6/254 360745
/proc/meminfo: memFree=111136752/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=1631176 memory=1446596 CPUtime=460.76 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 169346 0 0 0 45424 652 0 0 20 0 1 0 42473689 1670324224 361649 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 407794 361649 1908 992 0 399652 0

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


[startup+3162.3 s]
/proc/loadavg: 4.26 4.20 4.09 5/258 361933
/proc/meminfo: memFree=13334496/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3289368 memory=2687460 CPUtime=3152.85 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 336550 0 0 0 312514 2771 0 0 20 0 1 0 42473689 3368312832 671865 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 822342 671865 1908 992 0 814200 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 3289368 KiB
Current children cumulated memory: 2687460 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.21 4.09 5/266 361951
/proc/meminfo: memFree=11070152/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3289368 memory=2689508 CPUtime=3212.69 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 337126 0 0 0 318459 2810 0 0 20 0 1 0 42473689 3368312832 672377 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 822342 672377 1908 992 0 814200 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 3289368 KiB
Current children cumulated memory: 2689508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/266 361963
/proc/meminfo: memFree=7553836/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3293564 memory=2693512 CPUtime=3272.53 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 339401 0 0 0 324375 2878 0 0 20 0 1 0 42473689 3372609536 673378 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 823391 673378 1908 992 0 815249 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 3293564 KiB
Current children cumulated memory: 2693512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/266 361973
/proc/meminfo: memFree=4611904/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3293564 memory=2693512 CPUtime=3332.36 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 340407 0 0 0 330301 2935 0 0 20 0 1 0 42473689 3372609536 673378 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 823391 673378 1908 992 0 815249 0
Current children cumulated CPU time: 3332.36 s
Current children cumulated vsize: 3293564 KiB
Current children cumulated memory: 2693512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/268 361985
/proc/meminfo: memFree=2156684/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3293564 memory=2697608 CPUtime=3392.2 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 341781 0 0 0 336237 2983 0 0 20 0 1 0 42473689 3372609536 674402 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 823391 674402 1908 992 0 815249 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 3293564 KiB
Current children cumulated memory: 2697608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/270 361998
/proc/meminfo: memFree=585228/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3295496 memory=2697712 CPUtime=3452.03 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 342889 0 0 0 342137 3066 0 0 20 0 1 0 42473689 3374587904 674428 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 823874 674428 1908 992 0 815732 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 3295496 KiB
Current children cumulated memory: 2697712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/270 362009
/proc/meminfo: memFree=673256/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3295496 memory=2697712 CPUtime=3511.86 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 344074 0 0 0 348031 3155 0 0 20 0 1 0 42473689 3374587904 674428 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 823874 674428 1908 992 0 815732 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 3295496 KiB
Current children cumulated memory: 2697712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.09 6/272 362023
/proc/meminfo: memFree=621912/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3295496 memory=2701300 CPUtime=3571.72 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 345540 0 0 0 354011 3161 0 0 20 0 1 0 42473689 3374587904 675325 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 823874 675325 1908 992 0 815732 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 3295496 KiB
Current children cumulated memory: 2701300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.23 4.17 4.10 5/272 362028
/proc/meminfo: memFree=637280/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3304452 memory=2702336 CPUtime=3600.04 cores=5,7
/proc/360088/stat : 360088 (roundingsat) R 360085 360088 360024 0 -1 4194304 346818 0 0 0 356836 3168 0 0 20 0 1 0 42473689 3383758848 675584 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 826113 675584 1908 992 0 817971 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2702336 KiB

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

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

[startup+0 s]*
/proc/loadavg: 4.23 4.17 4.10 2/271 362028
/proc/meminfo: memFree=581640/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3304452 memory=2702336 CPUtime=3600.05 cores=5,7
/proc/360088/stat : 360088 (roundingsat) D 360085 360088 360024 0 -1 4194304 346824 0 1 0 356837 3168 0 0 20 0 1 0 42473689 3383758848 675584 134679101440 4194304 8254357 140723299654064 0 0 256 0 0 25182210 0 0 0 17 5 0 0 3 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 826113 675584 1908 992 0 817971 0
??? kill 360088 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3568.37 s, system=31.7495 s

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

[startup+3611.3 s]
/proc/loadavg: 4.23 4.17 4.10 4/272 362028
/proc/meminfo: memFree=603156/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3304452 memory=2702336 CPUtime=3600.05 cores=5,7
/proc/360088/stat : 360088 (roundingsat) D 360085 360088 360024 0 -1 4194304 346824 0 1 0 356837 3168 0 0 20 0 1 0 42473689 3383758848 675584 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 3 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 826113 675584 1908 992 0 817971 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2702336 KiB

[startup+3612.1 s]*
/proc/loadavg: 4.23 4.17 4.10 4/271 362028
/proc/meminfo: memFree=586228/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3304452 memory=2702336 CPUtime=3600.05 cores=5,7
/proc/360088/stat : 360088 (roundingsat) D 360085 360088 360024 0 -1 4194304 346824 0 1 0 356837 3168 0 0 20 0 1 0 42473689 3383758848 675584 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 3 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 826113 675584 1908 992 0 817971 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2702336 KiB

[startup+3612.5 s]
/proc/loadavg: 4.23 4.17 4.10 4/271 362028
/proc/meminfo: memFree=586228/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3304452 memory=2702336 CPUtime=3600.05 cores=5,7
/proc/360088/stat : 360088 (roundingsat) D 360085 360088 360024 0 -1 4194304 346824 0 1 0 356837 3168 0 0 20 0 1 0 42473689 3383758848 675584 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 3 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 826113 675584 1908 992 0 817971 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2702336 KiB

[startup+3612.7 s]
/proc/loadavg: 4.23 4.17 4.10 4/271 362028
/proc/meminfo: memFree=586228/131655788 swapFree=131061684/131071996
[pid=360088] ppid=360085 vsize=3304452 memory=2702336 CPUtime=3600.05 cores=5,7
/proc/360088/stat : 360088 (roundingsat) D 360085 360088 360024 0 -1 4194304 346824 0 1 0 356837 3168 0 0 20 0 1 0 42473689 3383758848 675584 134679101440 4194304 8254357 140723299654064 0 0 0 0 0 25182210 0 0 0 17 5 0 0 3 0 0 9037040 9046032 27545600 140723299660639 140723299660901 140723299660901 140723299667913 0
/proc/360088/statm: 826113 675584 1908 992 0 817971 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2702336 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3630.24
CPU time (s): 3600.12
CPU user time (s): 3568.37
CPU system time (s): 31.7495
CPU usage (%): 99.1703
Max. virtual memory (cumulated for all children) (KiB): 3304452
Max. memory (cumulated for all children) (KiB): 2702336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.37
system time used= 31.7495
maximum resident set size= 2702736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346824
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 53825152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 944
involuntary context switches= 7917


# summary of solver processes directly reported to runsolver:
#   pid: 360088
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3568.37
#   total CPU system time (s): 31.7495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1028 second user time and 39.6424 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-27 09:20:38
IDJOB=4460190
IDBENCH=147553
IDSOLVER=3086
FILE ID=nodeC011/4460190-1722064838
RUNJOBID= nodeC011-1722064838-360037
SLURM_JOB_ID= 8248113
Free space on /tmp= 723728 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460190-1722064838/watcher-4460190-1722064838 -o /tmp/evaluation-result-4460190-1722064838/solver-4460190-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360037 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460190-1722064838 --lp-cut-gomory=0 HOME/instance-4460190-1722064838.opb

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

MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e
RANDOM SEED=1957297555

nodeC011.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		: 1197.359
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	: 6984.36
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.320
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.35
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.319
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	: 6984.36
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.338
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.35
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.320
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	: 6984.36
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.350
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.35
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.383
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	: 6984.36
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.319
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123696540 kB
MemAvailable:   130007000 kB
Buffers:          357964 kB
Cached:          6781760 kB
SwapCached:          164 kB
Active:          1892548 kB
Inactive:        5523968 kB
Active(anon):       2072 kB
Inactive(anon):   327700 kB
Active(file):    1890476 kB
Inactive(file):  5196268 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061684 kB
Dirty:             67800 kB
Writeback:             0 kB
AnonPages:        276596 kB
Mapped:           102628 kB
Shmem:             52980 kB
KReclaimable:     127832 kB
Slab:             233136 kB
SReclaimable:     127832 kB
SUnreclaim:       105304 kB
KernelStack:        3680 kB
PageTables:         9796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     644592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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:      424776 kB
DirectMap2M:    46665728 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC011 at 2024-07-27 10:21:09