Trace number 4462580

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 (3)SAT (TO)355 3600.13 3609.79

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

Verifier Data 

OK	355

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63352 MiB free)
  memory of node 1: 64473 MiB (63988 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462580-1722340764/watcher-4462580-1722340764 -o /tmp/evaluation-result-4462580-1722340764/solver-4462580-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7269 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462580-1722340764 --lp-cut-gomory=0 HOME/instance-4462580-1722340764.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
Current StackSize limit: 8192 KiB

solver pid=7317, runsolver pid=7314

[startup+0.100639 s]*
/proc/loadavg: 0.43 0.15 0.11 4/255 7323
/proc/meminfo: memFree=130373096/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=40828 memory=9584 CPUtime=0.05 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 1633 0 0 0 4 1 0 0 20 0 1 0 676653 41807872 2396 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 10207 2396 1327 992 0 2065 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9584 KiB

[startup+0.205621 s]*
/proc/loadavg: 0.43 0.15 0.11 3/258 7329
/proc/meminfo: memFree=130369496/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=41476 memory=12948 CPUtime=0.15 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 1938 0 0 0 11 4 0 0 20 0 1 0 676653 42471424 3237 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 10369 3237 1327 992 0 2227 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 41476 KiB
Current children cumulated memory: 12948 KiB

[startup+0.30562 s]*
/proc/loadavg: 0.43 0.15 0.11 3/258 7329
/proc/meminfo: memFree=130367184/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=42800 memory=14796 CPUtime=0.25 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 2431 0 0 0 18 7 0 0 20 0 1 0 676653 43827200 3699 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 10700 3699 1327 992 0 2558 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 42800 KiB
Current children cumulated memory: 14796 KiB

[startup+0.700175 s]
/proc/loadavg: 0.43 0.15 0.11 4/253 7337
/proc/meminfo: memFree=130351908/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=56400 memory=26752 CPUtime=0.63 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 4404 0 0 0 45 18 0 0 20 0 1 0 676653 57753600 6688 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 14100 6688 1327 992 0 5958 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 56400 KiB
Current children cumulated memory: 26752 KiB

[startup+1.50017 s]
/proc/loadavg: 0.43 0.15 0.11 4/253 7337
/proc/meminfo: memFree=130320364/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=85092 memory=52052 CPUtime=1.43 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 7630 0 0 0 101 42 0 0 20 0 1 0 676653 87134208 13013 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 21273 13013 1327 992 0 13131 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 85092 KiB
Current children cumulated memory: 52052 KiB

[startup+3.10546 s]
/proc/loadavg: 0.43 0.15 0.11 4/252 7363
/proc/meminfo: memFree=129720036/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=361148 memory=328944 CPUtime=3.03 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 57607 0 0 0 245 58 0 0 20 0 1 0 676653 369815552 82236 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 90287 82236 1677 992 0 82145 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 328944 KiB

[startup+6.30021 s]
/proc/loadavg: 0.71 0.22 0.13 4/252 7600
/proc/meminfo: memFree=129685028/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=364080 memory=321592 CPUtime=6.22 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 58773 0 0 0 544 78 0 0 20 0 1 0 676653 372817920 80398 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 91020 80398 1757 992 0 82878 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 364080 KiB
Current children cumulated memory: 321592 KiB

[startup+12.7002 s]
/proc/loadavg: 0.98 0.28 0.15 5/258 7660
/proc/meminfo: memFree=129304804/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=425928 memory=370068 CPUtime=12.61 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 63250 0 0 0 1131 130 0 0 20 0 1 0 676653 436150272 92517 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 106482 92517 1834 992 0 98340 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 425928 KiB
Current children cumulated memory: 370068 KiB

[startup+25.5002 s]
/proc/loadavg: 1.65 0.46 0.22 5/261 7666
/proc/meminfo: memFree=129088880/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=436512 memory=395176 CPUtime=25.37 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 63929 0 0 0 2384 153 0 0 20 0 1 0 676653 446988288 98794 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 109128 98794 1834 992 0 100986 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 436512 KiB
Current children cumulated memory: 395176 KiB

[startup+51.1056 s]
/proc/loadavg: 2.52 0.77 0.32 5/261 7669
/proc/meminfo: memFree=127833052/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=721748 memory=621064 CPUtime=50.91 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 91399 0 0 0 4894 197 0 0 20 0 1 0 676653 739069952 155266 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 180437 155266 1834 992 0 172295 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 721748 KiB
Current children cumulated memory: 621064 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.27 0.52 5/261 7828
/proc/meminfo: memFree=126734420/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=845640 memory=729496 CPUtime=101.96 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 96526 0 0 0 9949 247 0 0 20 0 1 0 676653 865935360 182374 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 211410 182374 1834 992 0 203268 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 845640 KiB
Current children cumulated memory: 729496 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.78 0.74 5/261 7838
/proc/meminfo: memFree=126290120/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=855904 memory=729784 CPUtime=161.79 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 96748 0 0 0 15854 325 0 0 20 0 1 0 676653 876445696 182446 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 213976 182446 1834 992 0 205834 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 855904 KiB
Current children cumulated memory: 729784 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.22 0.96 5/261 7849
/proc/meminfo: memFree=124786500/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=1005328 memory=792016 CPUtime=221.64 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 99605 0 0 0 21799 365 0 0 20 0 1 0 676653 1029455872 198004 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 251332 198004 1834 992 0 243190 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1005328 KiB
Current children cumulated memory: 792016 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.56 1.16 5/260 7859
/proc/meminfo: memFree=123436948/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=1284784 memory=1190784 CPUtime=281.47 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 147322 0 0 0 27695 452 0 0 20 0 1 0 676653 1315618816 297696 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 321196 297696 1834 992 0 313054 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1284784 KiB
Current children cumulated memory: 1190784 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.84 1.35 5/259 7870
/proc/meminfo: memFree=122573816/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=1611140 memory=1428488 CPUtime=341.32 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 169079 0 0 0 33623 509 0 0 20 0 1 0 676653 1649807360 357122 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 402785 357122 1850 992 0 394643 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1611140 KiB
Current children cumulated memory: 1428488 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.07 1.52 5/258 7881
/proc/meminfo: memFree=122228652/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=1621408 memory=1442128 CPUtime=401.16 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 169570 0 0 0 39548 568 0 0 20 0 1 0 676653 1660321792 360532 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 405352 360532 1850 992 0 397210 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1621408 KiB
Current children cumulated memory: 1442128 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.26 1.68 5/258 7891
/proc/meminfo: memFree=121132164/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=1621408 memory=1450320 CPUtime=461 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 170450 0 0 0 45459 641 0 0 20 0 1 0 676653 1660321792 362580 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 405352 362580 1850 992 0 397210 0

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

Current children cumulated memory: 2679608 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.16 4.03 5/258 8958
/proc/meminfo: memFree=68420004/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3294092 memory=2679608 CPUtime=2914.67 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 335914 0 0 0 289352 2115 0 0 20 0 1 0 676653 3373150208 669902 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 823523 669902 1850 992 0 815381 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 3294092 KiB
Current children cumulated memory: 2679608 KiB

[startup+2982.3 s]
/proc/loadavg: 4.24 4.18 4.04 5/258 8968
/proc/meminfo: memFree=66840144/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3294092 memory=2679608 CPUtime=2974.51 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 337081 0 0 0 295271 2180 0 0 20 0 1 0 676653 3373150208 669902 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 823523 669902 1850 992 0 815381 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 3294092 KiB
Current children cumulated memory: 2679608 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.03 5/258 8978
/proc/meminfo: memFree=65990176/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3294092 memory=2679608 CPUtime=3034.34 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 338232 0 0 0 301217 2217 0 0 20 0 1 0 676653 3373150208 669902 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 823523 669902 1850 992 0 815381 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 3294092 KiB
Current children cumulated memory: 2679608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.05 5/260 8993
/proc/meminfo: memFree=65422912/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3294092 memory=2679608 CPUtime=3094.17 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 339025 0 0 0 307181 2236 0 0 20 0 1 0 676653 3373150208 669902 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 823523 669902 1850 992 0 815381 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 3294092 KiB
Current children cumulated memory: 2679608 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.05 5/260 9003
/proc/meminfo: memFree=64441092/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687952 CPUtime=3154.02 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 341072 0 0 0 313119 2283 0 0 20 0 1 0 676653 3383660544 671988 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671988 1850 992 0 817947 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.05 5/259 9013
/proc/meminfo: memFree=63521080/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687952 CPUtime=3213.84 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 342319 0 0 0 319051 2333 0 0 20 0 1 0 676653 3383660544 671988 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671988 1850 992 0 817947 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/259 9023
/proc/meminfo: memFree=62782896/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687952 CPUtime=3273.68 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 343362 0 0 0 324993 2375 0 0 20 0 1 0 676653 3383660544 671988 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671988 1850 992 0 817947 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.05 5/260 9035
/proc/meminfo: memFree=62418204/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687952 CPUtime=3333.52 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 343743 0 0 0 330969 2383 0 0 20 0 1 0 676653 3383660544 671988 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671988 1850 992 0 817947 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.06 6/259 9428
/proc/meminfo: memFree=61787960/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687960 CPUtime=3393.36 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 345315 0 0 0 336908 2428 0 0 20 0 1 0 676653 3383660544 671990 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671990 1850 992 0 817947 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687960 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.05 5/259 9438
/proc/meminfo: memFree=61336936/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687960 CPUtime=3453.19 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 346349 0 0 0 342843 2476 0 0 20 0 1 0 676653 3383660544 671990 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671990 1850 992 0 817947 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/259 9450
/proc/meminfo: memFree=60881768/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687960 CPUtime=3513.03 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 347432 0 0 0 348778 2525 0 0 20 0 1 0 676653 3383660544 671990 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671990 1850 992 0 817947 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.15 4.08 5/261 9630
/proc/meminfo: memFree=60435152/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687960 CPUtime=3572.86 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 348429 0 0 0 354718 2568 0 0 20 0 1 0 676653 3383660544 671990 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671990 1850 992 0 817947 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.26 4.16 4.08 5/261 9635
/proc/meminfo: memFree=60297396/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687960 CPUtime=3600.09 cores=5,7
/proc/7317/stat : 7317 (roundingsat) R 7314 7317 7255 0 -1 4194304 349063 0 0 0 357420 2589 0 0 20 0 1 0 676653 3383660544 671990 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671990 1850 992 0 817947 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687960 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.21 s, system=25.9191 s

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

[startup+3609.7 s]
/proc/loadavg: 4.26 4.16 4.08 5/261 9635
/proc/meminfo: memFree=60297396/131524600 swapFree=131071996/131071996
[pid=7317] ppid=7314 vsize=3304356 memory=2687960 CPUtime=3600.09 cores=5,7
/proc/7317/stat : 7317 (roundingsat) D 7314 7317 7255 0 -1 4194304 349071 0 1 0 357420 2589 0 0 20 0 1 0 676653 3383660544 671990 134679101440 4194304 8255733 140724483350432 0 0 0 0 0 25182210 0 0 0 17 5 0 0 13 0 0 9037040 9046032 16756736 140724483355486 140724483355748 140724483355748 140724483362761 0
/proc/7317/statm: 826089 671990 1850 992 0 817947 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3304356 KiB
Current children cumulated memory: 2687960 KiB

Child status: 0

Real time (s): 3609.79
CPU time (s): 3600.13
CPU user time (s): 3574.21
CPU system time (s): 25.9191
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 3304356
Max. memory (cumulated for all children) (KiB): 2687960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.21
system time used= 25.9191
maximum resident set size= 2687960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349086
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 32608680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 578
involuntary context switches= 4552


# summary of solver processes directly reported to runsolver:
#   pid: 7317
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3574.21
#   total CPU system time (s): 25.9191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46282 second user time and 16.0103 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-30 13:59:25
IDJOB=4462580
IDBENCH=147553
IDSOLVER=3089
FILE ID=nodeC026/4462580-1722340764
RUNJOBID= nodeC026-1722340763-7269
SLURM_JOB_ID= 8248999
Free space on /tmp= 890052 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-4462580-1722340764/watcher-4462580-1722340764 -o /tmp/evaluation-result-4462580-1722340764/solver-4462580-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7269 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462580-1722340764 --lp-cut-gomory=0 HOME/instance-4462580-1722340764.opb

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

MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e
RANDOM SEED=1492646933

nodeC026.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	: 0xb00002a
cpu MHz		: 1682.872
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.115
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3077.620
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.361
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2241.706
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.854
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3176.387
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3619.258
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130401208 kB
MemAvailable:   129972736 kB
Buffers:           39872 kB
Cached:           318772 kB
SwapCached:            0 kB
Active:           127296 kB
Inactive:         542272 kB
Active(anon):       1480 kB
Inactive(anon):   330832 kB
Active(file):     125816 kB
Inactive(file):   211440 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             42068 kB
Writeback:             0 kB
AnonPages:        311140 kB
Mapped:            90268 kB
Shmem:             21336 kB
KReclaimable:      42280 kB
Slab:             115864 kB
SReclaimable:      42280 kB
SUnreclaim:        73584 kB
KernelStack:        4064 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     700836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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:      178900 kB
DirectMap2M:    10080256 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC026 at 2024-07-30 14:59:34