Trace number 4463913

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
FiberSCIP 2024-07-30SAT6348759 3586.33 3598.56

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1599918681646
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1599918681646
Number of bits of the biggest sum of numbers41
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 The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.07	c Default LC presolving (default).
0.00/0.07	c ** Before presolving: virtualMemUsedAtLc = 44920832, getVmSize() = 44920832, SCIPgetMemUsed() = 19920706, SCIPgetMemTotal() = 23072058, SCIPgetMemExternEstim() = 7555304
0.00/0.07	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.21/0.27	c ** Estimated virtualMemUsedAtSolver = 38143317, getVmSize() = 69509120, SCIPgetMemUsed() = 29989396, SCIPgetMemTotal() = 46284252, SCIPgetMemExternEstim() = 7555304
0.21/0.27	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.27	c Original Problem   :
0.21/0.27	c   Problem name     : instance-4463913-1722378594
0.21/0.27	c   Variables        : 8060 (8060 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.27	c   Constraints      : 296
0.21/0.27	c   Objective sense  : minimize
0.21/0.27	c Presolved Problem  :
0.21/0.27	c   Variables        : 3830 (3830 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.27	c   Constraints      : 1292
0.21/0.27	c Constraints        : Number
0.21/0.27	c   knapsack         : 181 
0.21/0.27	c   setppc           : 1075 
0.21/0.27	c   linear           : 36 
0.21/0.27	c ** Instance transfer method used: 0
0.21/0.29	c ** ParaScipInstance copy does not increase the number of variables. **
0.21/0.30	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.21/0.30	c                                Nodes    Active                                            
0.21/0.30	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
10.82/10.90	c *      11              0           1         1     8702502.0000                -          -
10.82/10.90	c        11              0           1         1     8702502.0000                -          -
17.01/17.19	c        17              5           4         1     8702502.0000     4046573.5884    115.06%
23.17/23.33	c        23             11          10         1     8702502.0000     4046573.5884    115.06%
28.36/28.57	c        29             17          16         1     8702502.0000     4046573.5884    115.06%
33.73/33.95	c        34             33          32         1     8702502.0000     4046573.5884    115.06%
39.82/40.04	c        40             81          80         1     8702502.0000     4050435.2869    114.85%
44.89/45.15	c        45            111         110         1     8702502.0000     4050435.2869    114.85%
51.16/51.40	c        51            157         156         1     8702502.0000     4050435.2869    114.85%
53.35/53.66	c *      54            157         156         1     8444076.0000     4050435.2869    108.47%
56.75/57.01	c        57            185         182         1     8444076.0000     4078274.5681    107.05%
62.12/62.45	c        62            227         224         1     8444076.0000     4079130.9709    107.01%
67.40/67.76	c        68            282         279         1     8444076.0000     4082081.0098    106.86%
73.57/73.92	c        74            323         320         1     8444076.0000     4082081.0098    106.86%
76.97/77.37	c *      77            360         351         1     8012948.0000     4082081.0098     96.30%
78.95/79.31	c        79            381         372         1     8012948.0000     4082081.0098     96.30%
84.83/85.28	c        85            436         427         1     8012948.0000     4082081.0098     96.30%
91.81/92.23	c        92            481         472         1     8012948.0000     4082081.0098     96.30%
97.29/97.70	c        98            516         507         1     8012948.0000     4086331.2751     96.09%
103.07/103.52	c       104            560         553         1     8012948.0000     4086331.2751     96.09%
104.96/105.42	c *     105            577         568         1     7882900.0000     4086331.2751     92.91%
108.44/108.95	c       109            623         614         1     7882900.0000     4090101.4510     92.73%
113.83/114.33	c       114            659         650         1     7882900.0000     4090101.4510     92.73%
119.52/120.04	c       120            707         698         1     7882900.0000     4090101.4510     92.73%
124.49/125.10	c       125            738         729         1     7882900.0000     4094139.4591     92.54%
130.66/131.27	c       131            797         788         1     7882900.0000     4094139.4591     92.54%
136.55/137.18	c       137            817         808         1     7882900.0000     4094139.4591     92.54%
141.92/142.59	c       143            853         844         1     7882900.0000     4094139.4591     92.54%
147.71/148.38	c       148            868         859         1     7882900.0000     4094139.4591     92.54%
152.89/153.53	c       154            929         920         1     7882900.0000     4094139.4591     92.54%
157.97/158.69	c       159            954         945         1     7882900.0000     4094139.4591     92.54%
163.15/163.88	c       164            985         976         1     7882900.0000     4094139.4591     92.54%
169.12/169.86	c       170           1034        1025         1     7882900.0000     4094139.4591     92.54%
176.60/177.34	c       177           1050           0         1     7882900.0000     4094139.4591     92.54%
182.18/182.98	c       183           1062          12         1     7882900.0000     4094139.4591     92.54%
188.06/188.85	c       189           1090          40         1     7882900.0000     4094139.4591     92.54%
193.25/194.02	c       194           1164         114         1     7882900.0000     4094139.4591     92.54%
198.23/199.06	c       199           1199         149         1     7882900.0000     4094139.4591     92.54%
204.20/205.10	c       205           1291         241         1     7882900.0000     4094139.4591     92.54%
210.19/211.06	c       211           1316         266         1     7882900.0000     4094139.4591     92.54%
216.55/217.45	c       217           1358         308         1     7882900.0000     4094139.4591     92.54%
221.72/222.63	c       223           1384         334         1     7882900.0000     4094139.4591     92.54%
227.90/228.82	c       229           1442         392         1     7882900.0000     4094139.4591     92.54%
234.28/235.26	c       235           1475         425         1     7882900.0000     4094139.4591     92.54%
240.08/241.06	c       241           1514         464         1     7882900.0000     4094139.4591     92.54%
247.15/248.17	c       248           1545         495         1     7882900.0000     4094139.4591     92.54%
253.02/254.06	c       254           1571         521         1     7882900.0000     4094139.4591     92.54%
259.59/260.69	c       261           1629         579         1     7882900.0000     4094139.4591     92.54%
264.67/265.74	c       266           1657         607         1     7882900.0000     4094139.4591     92.54%
271.06/272.15	c       272           1693         643         1     7882900.0000     4094139.4591     92.54%
277.32/278.46	c       278           1730         680         1     7882900.0000     4094139.4591     92.54%
282.91/284.07	c       284           1771         721         1     7882900.0000     4094139.4591     92.54%
288.38/289.52	c       290           1796         746         1     7882900.0000     4094139.4591     92.54%
293.75/294.91	c       295           1843         793         1     7882900.0000     4094139.4591     92.54%
299.85/301.11	c       301           1883         833         1     7882900.0000     4094139.4591     92.54%
304.93/306.14	c       306           1935         885         1     7882900.0000     4094139.4591     92.54%
310.70/311.99	c       312           1984         934         1     7882900.0000     4094139.4591     92.54%
315.89/317.13	c       317           2018         968         1     7882900.0000     4094139.4591     92.54%
321.46/322.79	c       323           2074        1024         1     7882900.0000     4094139.4591     92.54%
326.94/328.25	c       328           2110        1060         1     7882900.0000     4094139.4591     92.54%
332.13/333.42	c       333           2135        1085         1     7882900.0000     4094139.4591     92.54%
337.51/338.89	c       339           2170        1120         1     7882900.0000     4094139.4591     92.54%
343.09/344.48	c       344           2200        1150         1     7882900.0000     4094139.4591     92.54%
348.27/349.61	c       350           2219        1169         1     7882900.0000     4094139.4591     92.54%
353.95/355.34	c       355           2247        1197         1     7882900.0000     4094139.4591     92.54%
360.83/362.21	c       362           2277        1227         1     7882900.0000     4094139.4591     92.54%
367.01/368.49	c       368           2316        1266         1     7882900.0000     4094139.4591     92.54%
372.10/373.59	c       374           2327        1277         1     7882900.0000     4094139.4591     92.54%
377.38/378.80	c       379           2354        1304         1     7882900.0000     4094139.4591     92.54%
383.86/385.30	c       385           2384        1334         1     7882900.0000     4094139.4591     92.54%
390.03/391.54	c       392           2425        1375         1     7882900.0000     4094139.4591     92.54%
395.91/397.48	c       397           2469        1419         1     7882900.0000     4094139.4591     92.54%
402.19/403.70	c       404           2487        1437         1     7882900.0000     4094139.4591     92.54%
407.68/409.28	c       409           2508        1458         1     7882900.0000     4094139.4591     92.54%
413.67/415.22	c       415           2555        1505         1     7882900.0000     4094139.4591     92.54%
419.84/421.49	c       422           2603        1553         1     7882900.0000     4094139.4591     92.54%
425.12/426.75	c       427           2641        1591         1     7882900.0000     4094139.4591     92.54%
431.60/433.20	c       433           2683        1633         1     7882900.0000     4094139.4591     92.54%
436.78/438.44	c       438           2714        1664         1     7882900.0000     4094139.4591     92.54%
442.06/443.77	c       444           2753        1703         1     7882900.0000     4094139.4591     92.54%
447.95/449.63	c       450           2792        1742         1     7882900.0000     4094139.4591     92.54%
453.23/454.96	c       455           2826        1776         1     7882900.0000     4094139.4591     92.54%
459.01/460.76	c       461           2883        1833         1     7882900.0000     4094139.4591     92.54%
464.50/466.27	c       466           2916        1866         1     7882900.0000     4094139.4591     92.54%
470.08/471.88	c       472           2941        1891         1     7882900.0000     4094139.4591     92.54%
476.06/477.81	c       478           2972        1922         1     7882900.0000     4094139.4591     92.54%
481.14/482.93	c       483           3015        1965         1     7882900.0000     4094139.4591     92.54%
487.23/489.03	c       489           3064        2014         1     7882900.0000     4094139.4591     92.54%
493.31/495.13	c       495           3106        2056         1     7882900.0000     4094139.4591     92.54%
498.88/500.74	c       501           3149        2099         1     7882900.0000     4094139.4591     92.54%
504.47/506.30	c       506           3180        2130         1     7882900.0000     4094139.4591     92.54%
509.45/511.33	c       511           3210        2160         1     7882900.0000     4094139.4591     92.54%
514.44/516.34	c       516           3243        2193         1     7882900.0000     4094139.4591     92.54%
520.71/522.64	c       523           3289        2239         1     7882900.0000     4094139.4591     92.54%
525.99/527.93	c       528           3312        2262         1     7882900.0000     4094139.4591     92.54%
531.48/533.46	c       533           3361        2311         1     7882900.0000     4094150.3714     92.54%
537.25/539.26	c       539           3409        2359         1     7882900.0000     4094150.3714     92.54%
542.24/544.27	c       544           3444        2394         1     7882900.0000     4094605.0696     92.52%
547.72/549.75	c       550           3494        2444         1     7882900.0000     4094605.0696     92.52%
553.70/555.72	c       556           3545        2495         1     7882900.0000     4094638.4479     92.52%
559.68/561.73	c       562           3606        2556         1     7882900.0000     4094827.0342     92.51%
565.16/567.28	c       567           3650        2600         1     7882900.0000     4095010.0238     92.50%
570.54/572.60	c       573           3679        2629         1     7882900.0000     4095010.0238     92.50%
576.14/578.24	c       578           3716        2666         1     7882900.0000     4095010.0238     92.50%
581.72/583.83	c       584           3753        2703         1     7882900.0000     4095010.5884     92.50%
587.70/589.89	c       590           3823        2773         1     7882900.0000     4095010.5884     92.50%
593.18/595.31	c       595           3898        2848         1     7882900.0000     4095010.5884     92.50%
598.86/601.06	c       601           3973        2923         1     7882900.0000     4095010.5884     92.50%
604.53/606.77	c       607           4006        2956         1     7882900.0000     4095010.5884     92.50%
611.01/613.22	c       613           4058        3008         1     7882900.0000     4095285.3205     92.49%
616.19/618.45	c       618           4101        3051         1     7882900.0000     4095498.7220     92.48%
621.78/624.05	c       624           4148        3098         1     7882900.0000     4095498.7220     92.48%
628.36/630.60	c       631           4202        3152         1     7882900.0000     4095890.3784     92.46%
634.24/636.50	c       637           4260        3210         1     7882900.0000     4095894.1977     92.46%
639.62/641.96	c       642           4378        3328         1     7882900.0000     4095894.1977     92.46%
644.60/646.97	c       647           4401        3351         1     7882900.0000     4095990.8779     92.45%
650.38/652.74	c       653           4433        3383         1     7882900.0000     4096751.6380     92.42%
655.36/657.78	c       658           4475        3425         1     7882900.0000     4096751.6380     92.42%
660.65/663.01	c       663           4509        3459         1     7882900.0000     4097143.6274     92.40%
666.13/668.52	c       669           4559        3509         1     7882900.0000     4097143.6274     92.40%
672.62/675.01	c       675           4648        3598         1     7882900.0000     4097143.6274     92.40%
677.99/680.43	c       680           4734        3684         1     7882900.0000     4097143.6274     92.40%
683.77/686.23	c       686           4816        3766         1     7882900.0000     4097294.2746     92.39%
689.25/691.76	c       692           4884        3834         1     7882900.0000     4097294.2746     92.39%
695.33/697.83	c       698           4950        3900         1     7882900.0000     4097294.2746     92.39%
702.01/704.58	c       705           4997        3947         1     7882900.0000     4097294.2746     92.39%
707.19/709.78	c       710           5055        4005         1     7882900.0000     4098033.0030     92.36%
713.27/715.80	c       716           5092        4042         1     7882900.0000     4098033.0030     92.36%
718.84/721.45	c       721           5152        4102         1     7882900.0000     4098033.0030     92.36%
724.44/727.01	c       727           5187        4137         1     7882900.0000     4098083.3459     92.36%
730.21/732.87	c       733           5254        4204         1     7882900.0000     4098083.3459     92.36%
736.40/739.05	c       739           5336        4286         1     7882900.0000     4098083.3459     92.36%
741.87/744.50	c       745           5389        4339         1     7882900.0000     4099315.0008     92.30%
747.47/750.17	c       750           5447        4397         1     7882900.0000     4099315.0008     92.30%
753.14/755.88	c       756           5503        4453         1     7882900.0000     4099315.0008     92.30%
760.32/763.01	c       763           5561        4511         1     7882900.0000     4099315.0008     92.30%
766.19/768.99	c       769           5609        4559         1     7882900.0000     4099315.0008     92.30%
771.78/774.57	c       775           5667        4617         1     7882900.0000     4100037.9874     92.26%
777.27/780.04	c       780           5734        4684         1     7882900.0000     4100529.8935     92.24%
783.13/785.90	c       786           5788        4738         1     7882900.0000     4100529.8935     92.24%
788.82/791.64	c       792           5860        4810         1     7882900.0000     4100529.9645     92.24%
794.31/797.15	c       797           5934        4884         1     7882900.0000     4100529.9645     92.24%
799.88/802.76	c       803           6030        4980         1     7882900.0000     4100529.9645     92.24%
805.07/807.96	c       808           6064        5014         1     7882900.0000     4101153.7266     92.21%
811.54/814.43	c       814           6100        5050         1     7882900.0000     4101153.7266     92.21%
817.52/820.40	c       820           6183        5133         1     7882900.0000     4101153.7266     92.21%
822.60/825.57	c       826           6284        5234         1     7882900.0000     4101339.5228     92.20%
827.79/830.76	c       831           6340        5290         1     7882900.0000     4103060.8493     92.12%
833.27/836.23	c       836           6380        5330         1     7882900.0000     4104166.4089     92.07%
838.95/841.97	c       842           6406        5356         1     7882900.0000     4105680.9437     92.00%
844.05/847.05	c       847           6431        5381         1     7882900.0000     4105878.7321     91.99%
849.62/852.60	c       853           6462        5412         1     7882900.0000     4106480.6754     91.96%
855.79/858.83	c       859           6493        5443         1     7882900.0000     4107697.2525     91.91%
860.88/863.91	c       864           6531        5481         1     7882900.0000     4108605.9258     91.86%
866.07/869.13	c       869           6551        5501         1     7882900.0000     4109445.9542     91.82%
871.14/874.28	c       874           6580        5530         1     7882900.0000     4110011.6158     91.80%
877.22/880.38	c       880           6603        5553         1     7882900.0000     4110702.6077     91.77%
883.50/886.66	c       887           6650        5600         1     7882900.0000     4112227.9452     91.69%
889.78/892.99	c       893           6690        5640         1     7882900.0000     4113741.0965     91.62%
895.56/898.77	c       899           6720        5670         1     7882900.0000     4114729.4586     91.58%
900.86/904.05	c       904           6751        5701         1     7882900.0000     4116026.7019     91.52%
906.72/910.01	c       910           6781        5731         1     7882900.0000     4117237.8121     91.46%
911.82/915.06	c       915           6817        5767         1     7882900.0000     4117474.8328     91.45%
916.80/920.09	c       920           6841        5791         1     7882900.0000     4118219.1233     91.42%
923.16/926.46	c       926           6880        5830         1     7882900.0000     4119637.1187     91.35%
928.76/932.07	c       932           6921        5871         1     7882900.0000     4120466.5950     91.31%
934.23/937.58	c       938           6950        5900         1     7882900.0000     4120519.0333     91.31%
939.61/942.97	c       943           6980        5930         1     7882900.0000     4122274.9133     91.23%
945.19/948.54	c       949           7010        5960         1     7882900.0000     4122809.1697     91.20%
951.07/954.43	c       954           7039        5989         1     7882900.0000     4122889.7630     91.20%
956.16/959.58	c       960           7071        6021         1     7882900.0000     4123264.0842     91.18%
961.44/964.85	c       965           7101        6051         1     7882900.0000     4123497.1321     91.17%
966.42/969.87	c       970           7131        6081         1     7882900.0000     4123721.2810     91.16%
972.72/976.16	c       976           7170        6120         1     7882900.0000     4124532.9292     91.12%
978.70/982.13	c       982           7213        6163         1     7882900.0000     4125191.6686     91.09%
984.07/987.55	c       988           7240        6190         1     7882900.0000     4125380.8527     91.08%
989.94/993.48	c       993           7280        6230         1     7882900.0000     4126367.8433     91.04%
995.03/998.54	c       999           7312        6262         1     7882900.0000     4126727.4388     91.02%
1000.41/1003.94	c      1004           7351        6301         1     7882900.0000     4127015.4232     91.01%
1005.99/1009.52	c      1010           7391        6341         1     7882900.0000     4127498.4934     90.98%
1011.27/1014.80	c      1015           7420        6370         1     7882900.0000     4127693.5339     90.98%
1017.26/1020.80	c      1021           7444        6394         1     7882900.0000     4128153.5888     90.95%
1023.13/1026.73	c      1027           7480        6430         1     7882900.0000     4128434.4122     90.94%
1028.12/1031.78	c      1032           7511        6461         1     7882900.0000     4128710.6948     90.93%
1033.70/1037.37	c      1037           7543        6493         1     7882900.0000     4129024.9679     90.91%
1038.99/1042.65	c      1043           7570        6520         1     7882900.0000     4129236.4967     90.90%
1045.16/1048.84	c      1049           7614        6564         1     7882900.0000     4129383.8763     90.90%
1050.36/1054.05	c      1054           7729        6679         1     7882900.0000     4129383.8763     90.90%
1055.34/1059.06	c      1059           7825        6775         1     7882900.0000     4129506.8466     90.89%
1060.71/1064.49	c      1064           7929        6879         1     7882900.0000     4129509.7361     90.89%
1066.09/1069.87	c      1070           8056        7006         1     7882900.0000     4129509.7361     90.89%
1071.57/1075.34	c      1075           8138        7088         1     7882900.0000     4129775.8651     90.88%
1076.76/1080.50	c      1080           8261        7211         1     7882900.0000     4130120.5626     90.86%
1081.75/1085.58	c      1086           8341        7291         1     7882900.0000     4130497.1321     90.85%
1087.63/1091.46	c      1091           8433        7383         1     7882900.0000     4130516.9795     90.85%
1093.11/1096.93	c      1097           8556        7506         1     7882900.0000     4130547.0078     90.84%
1098.59/1102.40	c      1102           8701        7651         1     7882900.0000     4130554.5205     90.84%
1103.97/1107.84	c      1108           8811        7761         1     7882900.0000     4130557.7043     90.84%
1109.16/1113.08	c      1113           8948        7898         1     7882900.0000     4130557.9392     90.84%
1114.83/1118.73	c      1119           9053        8003         1     7882900.0000     4130817.0138     90.83%
1119.92/1123.89	c      1124           9187        8137         1     7882900.0000     4130817.0138     90.83%
1125.60/1129.53	c      1130           9284        8234         1     7882900.0000     4130843.2395     90.83%
1130.98/1135.01	c      1135           9488        8438         1     7882900.0000     4130844.4080     90.83%
1136.76/1140.77	c      1141           9574        8524         1     7882900.0000     4130983.6066     90.82%
1141.94/1145.99	c      1146           9697        8647         1     7882900.0000     4130983.6066     90.82%
1147.72/1151.74	c      1152           9849        8799         1     7882900.0000     4130983.6066     90.82%
1153.11/1157.13	c      1157          10044        8994         1     7882900.0000     4131007.5688     90.82%
1158.18/1162.27	c      1162          10183        9133         1     7882900.0000     4131007.5688     90.82%
1163.47/1167.59	c      1168          10371        9321         1     7882900.0000     4131185.4754     90.81%
1168.85/1172.90	c      1173          10468        9418         1     7882900.0000     4131248.5000     90.81%
1174.23/1178.37	c      1178          10573        9523         1     7882900.0000     4131248.5000     90.81%
1179.61/1183.70	c      1184          10625        9575         1     7882900.0000     4131248.5000     90.81%
1185.91/1190.04	c      1190          10710        9660         1     7882900.0000     4131248.5000     90.81%
1191.58/1195.78	c      1196          10795        9745         1     7882900.0000     4131264.2769     90.81%
1196.87/1201.06	c      1201          10881        9831         1     7882900.0000     4131338.9642     90.81%
1202.14/1206.32	c      1206          10968        9918         1     7882900.0000     4131338.9642     90.81%
1207.42/1211.66	c      1212          11084       10034         1     7882900.0000     4131427.2131     90.80%
1213.10/1217.30	c      1217          11211       10159         1     7882900.0000     4131590.0568     90.80%
1218.80/1223.03	c      1223          11300       10248         1     7882900.0000     4131603.8222     90.80%
1223.97/1228.23	c      1228          11372       10320         1     7882900.0000     4131616.7941     90.79%
1229.86/1234.18	c      1234          11453       10401         1     7882900.0000     4131616.7941     90.79%
1235.13/1239.46	c      1239          11510       10458         1     7882900.0000     4131927.7976     90.78%
1240.21/1244.59	c      1245          11579       10527         1     7882900.0000     4131937.9884     90.78%
1245.99/1250.36	c      1250          11676       10624         1     7882900.0000     4131937.9884     90.78%
1251.86/1256.23	c      1256          11767       10715         1     7882900.0000     4131940.5176     90.78%
1256.85/1261.27	c      1261          11827       10775         1     7882900.0000     4131942.8262     90.78%
1262.93/1267.32	c      1267          11881       10829         1     7882900.0000     4131990.6088     90.78%
1268.41/1272.84	c      1273          11919       10867         1     7882900.0000     4131990.6088     90.78%
1274.50/1278.97	c      1279          11970       10918         1     7882900.0000     4131990.6088     90.78%
1279.88/1284.30	c      1284          12020       10968         1     7882900.0000     4131990.6088     90.78%
1284.96/1289.44	c      1289          12103       11051         1     7882900.0000     4132147.2929     90.77%
1290.34/1294.80	c      1295          12246       11194         1     7882900.0000     4132147.2929     90.77%
1295.81/1300.31	c      1300          12383       11331         1     7882900.0000     4132176.3112     90.77%
1300.90/1305.45	c      1305          12511       11459         1     7882900.0000     4132176.3112     90.77%
1306.59/1311.12	c      1311          12642       11590         1     7882900.0000     4132627.5364     90.75%
1311.66/1316.27	c      1316          12781       11729         1     7882900.0000     4132636.7845     90.75%
1316.94/1321.52	c      1322          12919       11867         1     7882900.0000     4132636.7845     90.75%
1322.82/1327.46	c      1327          13013       11961         1     7882900.0000     4132703.6894     90.74%
1328.42/1333.08	c      1333          13100       12048         1     7882900.0000     4132705.9413     90.74%
1333.69/1338.38	c      1338          13236       12184         1     7882900.0000     4132765.7203     90.74%
1339.27/1343.94	c      1344          13343       12291         1     7882900.0000     4132765.7203     90.74%
1344.85/1349.56	c      1350          13463       12411         1     7882900.0000     4132769.4997     90.74%
1350.73/1355.49	c      1355          13567       12515         1     7882900.0000     4132818.3767     90.74%
1356.02/1360.75	c      1361          13638       12586         1     7882900.0000     4132818.3767     90.74%
1361.90/1366.69	c      1367          13716       12664         1     7882900.0000     4132818.3767     90.74%
1367.08/1371.81	c      1372          13809       12757         1     7882900.0000     4133742.8567     90.70%
1372.27/1377.02	c      1377          13904       12852         1     7882900.0000     4133742.8567     90.70%
1377.74/1382.51	c      1383          13977       12925         1     7882900.0000     4133782.7562     90.69%
1383.23/1388.01	c      1388          14072       13020         1     7882900.0000     4133782.7562     90.69%
1389.00/1393.81	c      1394          14160       13108         1     7882900.0000     4133782.7562     90.69%
1394.08/1398.91	c      1399          14256       13204         1     7882900.0000     4133790.0215     90.69%
1399.76/1404.61	c      1405          14392       13340         1     7882900.0000     4133801.4896     90.69%
1405.34/1410.20	c      1410          14501       13449         1     7882900.0000     4134131.0164     90.68%
1410.72/1415.69	c      1416          14558       13506         1     7882900.0000     4134131.0164     90.68%
1415.90/1420.87	c      1421          14623       13571         1     7882900.0000     4134131.0164     90.68%
1421.00/1425.95	c      1426          14677       13625         1     7882900.0000     4134440.9133     90.66%
1426.48/1431.47	c      1431          14737       13685         1     7882900.0000     4134512.5941     90.66%
1431.76/1436.78	c      1437          14804       13752         1     7882900.0000     4134512.5941     90.66%
1436.93/1441.95	c      1442          14838       13786         1     7882900.0000     4134512.5941     90.66%
1442.52/1447.51	c      1448          14894       13842         1     7882900.0000     4134638.3730     90.66%
1447.70/1452.73	c      1453          14942       13890         1     7882900.0000     4134638.3730     90.66%
1453.38/1458.41	c      1458          15009       13957         1     7882900.0000     4134638.3730     90.66%
1458.86/1463.92	c      1464          15046       13994         1     7882900.0000     4134638.3730     90.66%
1464.34/1469.47	c      1469          15095       14043         1     7882900.0000     4134640.9147     90.66%
1469.54/1474.66	c      1475          15166       14114         1     7882900.0000     4134640.9147     90.66%
1470.13/1475.27	c *    1475          15166       14114         1     6890859.0000     4134640.9147     66.66%
1475.51/1480.60	c      1481          15272       14220         1     6890859.0000     4134640.9147     66.66%
1481.01/1486.16	c      1486          15392       14340         1     6890859.0000     4134640.9147     66.66%
1487.27/1492.47	c      1492          15484       14432         1     6890859.0000     4134741.7782     66.66%
1492.86/1498.04	c      1498          15551       14499         1     6890859.0000     4134894.5848     66.65%
1497.95/1503.11	c      1503          15620       14568         1     6890859.0000     4134894.5848     66.65%
1503.62/1508.83	c      1509          15708       14656         1     6890859.0000     4134914.3748     66.65%
1508.92/1514.11	c      1514          15767       14715         1     6890859.0000     4134914.3748     66.65%
1514.09/1519.39	c      1519          15813       14761         1     6890859.0000     4134914.3748     66.65%
1520.07/1525.33	c      1525          15883       14831         1     6890859.0000     4134914.3748     66.65%
1525.86/1531.13	c      1531          15954       14902         1     6890859.0000     4134914.3748     66.65%
1531.84/1537.17	c      1537          16007       14955         1     6890859.0000     4134914.3748     66.65%
1538.21/1543.58	c      1544          16057       15005         1     6890859.0000     4134914.3748     66.65%
1544.09/1549.46	c      1549          16115       15063         1     6890859.0000     4135485.0101     66.63%
1549.69/1555.04	c      1555          16181       15129         1     6890859.0000     4135547.9471     66.63%
1554.95/1560.35	c      1560          16247       15195         1     6890859.0000     4135637.6730     66.62%
1560.43/1565.89	c      1566          16336       15284         1     6890859.0000     4135637.6730     66.62%
1566.21/1571.64	c      1572          16453       15401         1     6890859.0000     4135637.6730     66.62%
1571.49/1577.01	c      1577          16557       15505         1     6890859.0000     4135637.6730     66.62%
1576.88/1582.38	c      1582          16655       15603         1     6890859.0000     4135638.2666     66.62%
1582.16/1587.60	c      1588          16752       15700         1     6890859.0000     4135638.2666     66.62%
1587.94/1593.47	c      1593          16858       15806         1     6890859.0000     4135639.7198     66.62%
1593.31/1598.88	c      1599          16966       15914         1     6890859.0000     4135757.9821     66.62%
1598.80/1604.34	c      1604          17039       15987         1     6890859.0000     4135757.9821     66.62%
1604.18/1609.72	c      1610          17141       16089         1     6890859.0000     4135833.7397     66.61%
1609.96/1615.54	c      1616          17249       16197         1     6890859.0000     4135833.7397     66.61%
1614.95/1620.59	c      1621          17327       16275         1     6890859.0000     4136048.3449     66.60%
1620.33/1626.01	c      1626          17418       16366         1     6890859.0000     4136048.3449     66.60%
1626.11/1631.77	c      1632          17545       16493         1     6890859.0000     4136371.8053     66.59%
1631.10/1636.79	c      1637          17608       16556         1     6890859.0000     4136410.9419     66.59%
1636.39/1642.03	c      1642          17695       16643         1     6890859.0000     4136410.9419     66.59%
1642.47/1648.11	c      1648          17793       16741         1     6890859.0000     4136485.2357     66.59%
1647.54/1653.26	c      1653          17882       16830         1     6890859.0000     4136485.2357     66.59%
1652.62/1658.35	c      1658          17956       16904         1     6890859.0000     4136545.3055     66.58%
1658.10/1663.83	c      1664          18047       16995         1     6890859.0000     4136545.3055     66.58%
1663.68/1669.43	c      1669          18121       17069         1     6890859.0000     4136835.8852     66.57%
1669.07/1674.84	c      1675          18217       17165         1     6890859.0000     4136835.8852     66.57%
1674.95/1680.74	c      1681          18323       17271         1     6890859.0000     4136862.5129     66.57%
1680.44/1686.24	c      1686          18429       17377         1     6890859.0000     4136929.7653     66.57%
1685.52/1691.32	c      1691          18551       17499         1     6890859.0000     4136936.9876     66.57%
1691.31/1697.12	c      1697          18643       17591         1     6890859.0000     4136936.9876     66.57%
1696.68/1702.50	c      1703          18741       17689         1     6890859.0000     4137000.1643     66.57%
1701.86/1707.74	c      1708          18851       17799         1     6890859.0000     4137000.1643     66.57%
1708.15/1714.06	c      1714          18965       17913         1     6890859.0000     4137281.5755     66.56%
1714.02/1719.90	c      1720          19066       18014         1     6890859.0000     4137325.2424     66.55%
1719.40/1725.38	c      1725          19152       18100         1     6890859.0000     4137325.2424     66.55%
1724.89/1730.84	c      1731          19206       18154         1     6890859.0000     4137325.2424     66.55%
1731.67/1737.67	c      1738          19256       18204         1     6890859.0000     4137325.2424     66.55%
1736.75/1742.73	c      1743          19308       18256         1     6890859.0000     4137325.2424     66.55%
1742.43/1748.44	c      1748          19364       18312         1     6890859.0000     4137438.9957     66.55%
1748.12/1754.13	c      1754          19452       18400         1     6890859.0000     4137438.9957     66.55%
1753.29/1759.35	c      1759          19519       18467         1     6890859.0000     4137638.6961     66.54%
1758.67/1764.76	c      1765          19594       18542         1     6890859.0000     4137638.6961     66.54%
1764.16/1770.28	c      1770          19661       18609         1     6890859.0000     4137638.6961     66.54%
1769.74/1775.89	c      1776          19754       18702         1     6890859.0000     4137732.4393     66.54%
1775.42/1781.52	c      1782          19874       18822         1     6890859.0000     4137890.3195     66.53%
1780.50/1786.68	c      1787          19975       18923         1     6890859.0000     4138013.8385     66.53%
1785.89/1792.03	c      1792          20100       19048         1     6890859.0000     4138013.8385     66.53%
1790.88/1797.09	c      1797          20223       19171         1     6890859.0000     4138631.4870     66.50%
1796.15/1802.33	c      1802          20381       19327         1     6890859.0000     4138929.9723     66.49%
1801.34/1807.54	c      1808          20537       19483         1     6890859.0000     4138940.0011     66.49%
1806.31/1812.57	c      1813          20741       19687         1     6890859.0000     4139117.0353     66.48%
1811.40/1817.69	c      1818          20965       19909         1     6890859.0000     4139117.0353     66.48%
1817.08/1823.36	c      1823          21088       20032         1     6890859.0000     4139747.2005     66.46%
1822.26/1828.54	c      1829          21201       20145         1     6890859.0000     4140060.6365     66.44%
1827.86/1834.16	c      1834          21402       20346         1     6890859.0000     4140310.5318     66.43%
1833.03/1839.34	c      1839          21490       20434         1     6890859.0000     4140310.5318     66.43%
1838.51/1844.87	c      1845          21598       20542         1     6890859.0000     4140310.5318     66.43%
1844.19/1850.50	c      1851          21666       20610         1     6890859.0000     4140310.5318     66.43%
1849.78/1856.13	c      1856          21732       20676         1     6890859.0000     4140310.9137     66.43%
1854.95/1861.35	c      1861          21789       20733         1     6890859.0000     4140310.9137     66.43%
1860.04/1866.44	c      1866          21948       20884         1     6890859.0000     4140397.4798     66.43%
1865.82/1872.25	c      1872          22244       21178         1     6890859.0000     4140593.1649     66.42%
1871.10/1877.57	c      1878          22541       21469         1     6890859.0000     4141575.4190     66.38%
1876.69/1883.18	c      1883          22749       21677         1     6890859.0000     4141617.5489     66.38%
1881.77/1888.29	c      1888          22971       21893         1     6890859.0000     4141708.6022     66.38%
1886.95/1893.43	c      1893          23192       22110         1     6890859.0000     4141708.6022     66.38%
1892.23/1898.74	c      1899          23342       22260         1     6890859.0000     4141857.6650     66.37%
1897.71/1904.20	c      1904          23526       22444         1     6890859.0000     4142212.0009     66.36%
1903.29/1909.88	c      1910          23747       22661         1     6890859.0000     4142216.6281     66.36%
1908.97/1915.51	c      1916          23902       22814         1     6890859.0000     4142342.5198     66.35%
1914.35/1920.97	c      1921          24044       22956         1     6890859.0000     4142359.5232     66.35%
1920.14/1926.73	c      1927          24278       23186         1     6890859.0000     4142594.3799     66.34%
1926.11/1932.79	c      1933          24520       23422         1     6890859.0000     4142662.7395     66.34%
1931.30/1937.98	c      1938          24681       23575         1     6890859.0000     4142723.5654     66.34%
1936.98/1943.67	c      1944          24866       23752         1     6890859.0000     4142775.2682     66.33%
1942.47/1949.17	c      1949          25114       23992         1     6890859.0000     4142775.2682     66.33%
1947.95/1954.65	c      1955          25293       24171         1     6890859.0000     4142896.9448     66.33%
1953.63/1960.36	c      1960          25529       24407         1     6890859.0000     4142896.9448     66.33%
1958.91/1965.68	c      1966          25704       24582         1     6890859.0000     4142896.9448     66.33%
1964.40/1971.12	c      1971          25882       24758         1     6890859.0000     4143013.4430     66.32%
1969.57/1976.33	c      1976          26212       25058         1     6890859.0000     4143013.4430     66.32%
1975.05/1981.87	c      1982          26388       25230         1     6890859.0000     4143301.0610     66.31%
1980.93/1987.71	c      1988          26557       25399         1     6890859.0000     4143301.0610     66.31%
1986.71/1993.52	c      1994          26688       25530         1     6890859.0000     4143476.9707     66.31%
1992.00/1998.83	c      1999          26980       25810         1     6890859.0000     4143476.9707     66.31%
1997.29/2004.12	c      2004          27167       25995         1     6890859.0000     4143476.9707     66.31%
2003.27/2010.11	c      2010          27359       26187         1     6890859.0000     4143799.3593     66.29%
2009.03/2015.91	c      2016          27549       26375         1     6890859.0000     4144022.4387     66.28%
2015.23/2022.17	c      2022          27718       26542         1     6890859.0000     4144214.6021     66.28%
2020.50/2027.48	c      2027          27867       26691         1     6890859.0000     4144391.5175     66.27%
2026.19/2033.19	c      2033          28095       26911         1     6890859.0000     4144391.5175     66.27%
2032.45/2039.48	c      2039          28261       27073         1     6890859.0000     4145043.8296     66.24%
2037.74/2044.78	c      2045          28497       27299         1     6890859.0000     4145043.8296     66.24%
2043.72/2050.70	c      2051          28608       27404         1     6890859.0000     4145202.4129     66.24%
2049.02/2056.04	c      2056          28754       27546         1     6890859.0000     4145300.0233     66.23%
2054.78/2061.82	c      2062          28918       27710         1     6890859.0000     4145303.7763     66.23%
2060.56/2067.63	c      2068          29089       27881         1     6890859.0000     4145688.7701     66.22%
2066.06/2073.15	c      2073          29268       28052         1     6890859.0000     4145815.7361     66.21%
2071.23/2078.38	c      2078          29406       28190         1     6890859.0000     4145815.9826     66.21%
2076.31/2083.44	c      2083          29527       28305         1     6890859.0000     4145827.1263     66.21%
2081.50/2088.67	c      2089          29691       28465         1     6890859.0000     4145827.1263     66.21%
2087.17/2094.35	c      2094          29859       28621         1     6890859.0000     4145841.6021     66.21%
2092.55/2099.73	c      2100          30041       28797         1     6890859.0000     4145850.2907     66.21%
2097.74/2105.01	c      2105          30169       28905         1     6890859.0000     4145851.3913     66.21%
2102.93/2110.11	c      2110          30307       29037         1     6890859.0000     4146372.1981     66.19%
2108.30/2115.59	c      2116          30485       29211         1     6890859.0000     4146425.0379     66.19%
2115.47/2122.71	c      2123          30678       29390         1     6890859.0000     4146609.5653     66.18%
2121.05/2128.32	c      2128          30856       29566         1     6890859.0000     4146609.5653     66.18%
2126.94/2134.22	c      2134          31038       29742         1     6890859.0000     4146804.3630     66.17%
2132.12/2139.46	c      2139          31168       29872         1     6890859.0000     4146843.6863     66.17%
2137.31/2144.65	c      2145          31296       29990         1     6890859.0000     4147070.1181     66.16%
2142.59/2149.93	c      2150          31497       30181         1     6890859.0000     4147070.1181     66.16%
2148.27/2155.60	c      2156          31623       30301         1     6890859.0000     4147070.3380     66.16%
2154.05/2161.42	c      2161          31792       30470         1     6890859.0000     4147175.0471     66.16%
2160.23/2167.66	c      2168          31970       30648         1     6890859.0000     4147175.0471     66.16%
2165.51/2172.92	c      2173          32101       30779         1     6890859.0000     4147175.0471     66.16%
2170.71/2178.17	c      2178          32248       30926         1     6890859.0000     4147175.0471     66.16%
2176.07/2183.53	c      2184          32413       31091         1     6890859.0000     4147175.0471     66.16%
2181.16/2188.60	c      2189          32537       31211         1     6890859.0000     4147230.0543     66.16%
2186.55/2194.03	c      2194          32762       31414         1     6890859.0000     4147230.0543     66.16%
2192.12/2199.61	c      2200          32914       31558         1     6890859.0000     4147230.1039     66.16%
2198.00/2205.52	c      2206          33053       31697         1     6890859.0000     4147418.6047     66.15%
2203.08/2210.67	c      2211          33128       31772         1     6890859.0000     4147418.6047     66.15%
2205.28/2212.89	c *    2213          33144       31788         1     6483959.0000     4147418.6047     56.34%
2208.96/2216.50	c      2217          33271       31560         1     6483959.0000     4147418.6047     56.34%
2214.25/2221.85	c      2222          33388       31669         1     6483959.0000     4147594.0778     56.33%
2219.54/2227.19	c      2227          33573       31836         1     6483959.0000     4147594.0778     56.33%
2225.61/2233.21	c      2233          33741       31998         1     6483959.0000     4147643.3403     56.33%
2226.31/2233.90	c *    2234          33741       31998         1     6348759.0000     4147643.3403     53.07%
2230.69/2238.31	c      2238          33866       31932         1     6348759.0000     4147643.3403     53.07%
2235.88/2243.59	c      2244          33961       32015         1     6348759.0000     4147734.2041     53.07%
2241.16/2248.86	c      2249          34138       32182         1     6348759.0000     4147734.2041     53.07%
2247.04/2254.73	c      2255          34264       32302         1     6348759.0000     4147748.7277     53.07%
2252.72/2260.44	c      2260          34424       32450         1     6348759.0000     4147748.7277     53.07%
2258.10/2265.86	c      2266          34572       32598         1     6348759.0000     4147789.5788     53.06%
2263.39/2271.16	c      2271          34723       32749         1     6348759.0000     4147789.5788     53.06%
2268.57/2276.30	c      2276          34873       32899         1     6348759.0000     4147789.5788     53.06%
2275.14/2282.99	c      2283          35014       33040         1     6348759.0000     4147806.2354     53.06%
2280.24/2288.04	c      2288          35181       33207         1     6348759.0000     4148042.0235     53.05%
2286.10/2293.94	c      2294          35319       33345         1     6348759.0000     4148105.3855     53.05%
2291.39/2299.26	c      2299          35408       33434         1     6348759.0000     4148105.3855     53.05%
2296.47/2304.34	c      2304          35481       33507         1     6348759.0000     4148177.8752     53.05%
2302.16/2310.07	c      2310          35537       33563         1     6348759.0000     4148177.8752     53.05%
2307.83/2315.74	c      2316          35605       33631         1     6348759.0000     4148177.8752     53.05%
2313.61/2321.56	c      2322          35654       33680         1     6348759.0000     4148177.8752     53.05%
2319.29/2327.25	c      2327          35698       33724         1     6348759.0000     4148225.0209     53.05%
2324.48/2332.48	c      2332          35792       33816         1     6348759.0000     4148225.0209     53.05%
2329.96/2337.91	c      2338          35916       33940         1     6348759.0000     4148371.1124     53.04%
2335.94/2343.91	c      2344          36123       34147         1     6348759.0000     4148397.5085     53.04%
2341.82/2349.85	c      2350          36338       34362         1     6348759.0000     4148447.6404     53.04%
2346.91/2355.01	c      2355          36532       34556         1     6348759.0000     4148447.6404     53.04%
2352.19/2360.24	c      2360          36749       34773         1     6348759.0000     4148447.6404     53.04%
2358.27/2366.37	c      2366          36929       34953         1     6348759.0000     4148588.4902     53.03%
2363.45/2371.52	c      2372          37058       35082         1     6348759.0000     4148612.5592     53.03%
2368.63/2376.79	c      2377          37218       35242         1     6348759.0000     4148640.5193     53.03%
2373.81/2381.92	c      2382          37371       35395         1     6348759.0000     4148760.2918     53.03%
2379.19/2387.36	c      2387          37574       35598         1     6348759.0000     4148760.2918     53.03%
2384.27/2392.49	c      2392          37765       35789         1     6348759.0000     4148760.2918     53.03%
2390.15/2398.30	c      2398          37947       35971         1     6348759.0000     4148881.3466     53.02%
2395.64/2403.87	c      2404          38084       36108         1     6348759.0000     4149031.5239     53.02%
2401.62/2409.85	c      2410          38240       36264         1     6348759.0000     4149067.8574     53.02%
2407.00/2415.23	c      2415          38461       36483         1     6348759.0000     4149067.8574     53.02%
2412.09/2420.33	c      2420          38630       36652         1     6348759.0000     4149067.8574     53.02%
2417.17/2425.46	c      2425          38812       36834         1     6348759.0000     4149067.8574     53.02%
2422.65/2431.01	c      2431          38953       36975         1     6348759.0000     4149068.7613     53.02%
2427.84/2436.12	c      2436          39168       37190         1     6348759.0000     4149068.7613     53.02%
2433.51/2441.87	c      2442          39378       37398         1     6348759.0000     4149069.0056     53.02%
2439.89/2448.22	c      2448          39517       37535         1     6348759.0000     4149193.0498     53.01%
2445.78/2454.18	c      2454          39654       37672         1     6348759.0000     4149197.8613     53.01%
2451.55/2459.95	c      2460          39730       37748         1     6348759.0000     4149199.0892     53.01%
2456.64/2465.04	c      2465          39789       37807         1     6348759.0000     4149250.2970     53.01%
2461.73/2470.17	c      2470          39878       37896         1     6348759.0000     4149291.9740     53.01%
2467.40/2475.85	c      2476          39968       37986         1     6348759.0000     4149291.9857     53.01%
2473.28/2481.70	c      2482          40069       38087         1     6348759.0000     4149396.9513     53.00%
2478.75/2487.25	c      2487          40233       38251         1     6348759.0000     4149400.0416     53.00%
2483.93/2492.44	c      2492          40453       38471         1     6348759.0000     4149400.0416     53.00%
2489.02/2497.59	c      2498          40642       38658         1     6348759.0000     4149400.0416     53.00%
2494.70/2503.22	c      2503          40809       38825         1     6348759.0000     4149502.6330     53.00%
2500.38/2508.94	c      2509          41023       39037         1     6348759.0000     4149551.5041     53.00%
2505.47/2514.10	c      2514          41210       39222         1     6348759.0000     4149551.5041     53.00%
2511.34/2519.96	c      2520          41359       39371         1     6348759.0000     4149694.6009     52.99%
2516.82/2525.45	c      2525          41490       39502         1     6348759.0000     4150220.1952     52.97%
2522.30/2530.95	c      2531          41661       39671         1     6348759.0000     4150256.7159     52.97%
2528.28/2536.92	c      2537          41866       39876         1     6348759.0000     4150323.2406     52.97%
2533.48/2542.17	c      2542          42059       40069         1     6348759.0000     4150323.2406     52.97%
2538.74/2547.48	c      2547          42221       40231         1     6348759.0000     4150323.2406     52.97%
2543.92/2552.60	c      2553          42417       40427         1     6348759.0000     4150323.2406     52.97%
2549.10/2557.85	c      2558          42588       40596         1     6348759.0000     4150327.6364     52.97%
2554.89/2563.60	c      2564          42765       40773         1     6348759.0000     4150441.0660     52.97%
2559.87/2568.65	c      2569          42973       40979         1     6348759.0000     4150441.0660     52.97%
2564.95/2573.79	c      2574          43140       41146         1     6348759.0000     4150441.0660     52.97%
2570.43/2579.24	c      2579          43315       41321         1     6348759.0000     4150482.7894     52.96%
2576.22/2585.07	c      2585          43492       41498         1     6348759.0000     4150562.0510     52.96%
2582.20/2591.07	c      2591          43652       41658         1     6348759.0000     4150675.7101     52.96%
2587.77/2596.63	c      2597          43845       41851         1     6348759.0000     4150731.4238     52.96%
2593.86/2602.75	c      2603          44058       42062         1     6348759.0000     4150942.9900     52.95%
2599.15/2608.03	c      2608          44228       42232         1     6348759.0000     4150942.9900     52.95%
2604.31/2613.28	c      2613          44408       42410         1     6348759.0000     4150942.9900     52.95%
2609.49/2618.40	c      2618          44587       42589         1     6348759.0000     4150942.9900     52.95%
2614.97/2624.01	c      2624          44784       42786         1     6348759.0000     4150942.9900     52.95%
2620.95/2629.97	c      2630          44970       42972         1     6348759.0000     4150971.5480     52.95%
2626.06/2635.07	c      2635          45139       43141         1     6348759.0000     4150989.2713     52.95%
2631.32/2640.37	c      2640          45381       43383         1     6348759.0000     4150989.8284     52.95%
2637.01/2646.04	c      2646          45581       43583         1     6348759.0000     4151078.9928     52.94%
2642.28/2651.34	c      2651          45754       43756         1     6348759.0000     4151078.9928     52.94%
2647.36/2656.46	c      2656          45931       43929         1     6348759.0000     4151078.9928     52.94%
2652.66/2661.76	c      2662          46109       44105         1     6348759.0000     4151186.9354     52.94%
2658.44/2667.58	c      2668          46291       44285         1     6348759.0000     4151235.9994     52.94%
2663.62/2672.78	c      2673          46461       44455         1     6348759.0000     4151235.9994     52.94%
2669.50/2678.64	c      2679          46685       44677         1     6348759.0000     4151336.2967     52.93%
2674.68/2683.86	c      2684          46846       44838         1     6348759.0000     4151336.2967     52.93%
2680.26/2689.42	c      2689          47059       45049         1     6348759.0000     4151336.2967     52.93%
2685.74/2694.91	c      2695          47275       45265         1     6348759.0000     4151336.2967     52.93%
2690.84/2700.08	c      2700          47511       45501         1     6348759.0000     4151336.7453     52.93%
2696.01/2705.28	c      2705          47654       45644         1     6348759.0000     4151338.4624     52.93%
2701.39/2710.60	c      2711          47877       45867         1     6348759.0000     4151338.4624     52.93%
2706.79/2716.04	c      2716          47984       45972         1     6348759.0000     4151431.8208     52.93%
2712.76/2722.03	c      2722          48148       46136         1     6348759.0000     4151768.6039     52.92%
2718.33/2727.62	c      2728          48275       46263         1     6348759.0000     4151777.3147     52.92%
2723.73/2733.08	c      2733          48496       46482         1     6348759.0000     4151934.9023     52.91%
2728.90/2738.23	c      2738          48669       46655         1     6348759.0000     4151934.9023     52.91%
2734.58/2743.90	c      2744          48862       46848         1     6348759.0000     4151934.9023     52.91%
2739.78/2749.11	c      2749          49062       47048         1     6348759.0000     4151934.9023     52.91%
2744.84/2754.26	c      2754          49249       47235         1     6348759.0000     4151934.9023     52.91%
2750.03/2759.40	c      2759          49427       47413         1     6348759.0000     4151934.9023     52.91%
2755.31/2764.78	c      2765          49602       47588         1     6348759.0000     4151934.9023     52.91%
2760.40/2769.84	c      2770          49716       47702         1     6348759.0000     4151969.8785     52.91%
2765.78/2775.29	c      2775          49891       47877         1     6348759.0000     4151969.8785     52.91%
2771.68/2781.18	c      2781          50056       48042         1     6348759.0000     4152004.1537     52.91%
2777.14/2786.68	c      2787          50218       48204         1     6348759.0000     4152074.7620     52.91%
2782.23/2791.78	c      2792          50441       48427         1     6348759.0000     4152074.7620     52.91%
2787.31/2796.87	c      2797          50611       48597         1     6348759.0000     4152163.5214     52.90%
2793.39/2802.91	c      2803          50807       48789         1     6348759.0000     4152221.9529     52.90%
2799.36/2808.96	c      2809          50981       48955         1     6348759.0000     4152466.3534     52.89%
2804.65/2814.20	c      2814          51127       49101         1     6348759.0000     4152558.9398     52.89%
2810.14/2819.75	c      2820          51285       49259         1     6348759.0000     4152701.1692     52.88%
2815.61/2825.28	c      2825          51431       49405         1     6348759.0000     4152714.9575     52.88%
2821.00/2830.69	c      2831          51605       49579         1     6348759.0000     4152780.9108     52.88%
2826.50/2836.15	c      2836          51697       49671         1     6348759.0000     4152828.3537     52.88%
2832.06/2841.77	c      2842          51787       49761         1     6348759.0000     4152995.8665     52.87%
2837.24/2846.92	c      2847          51927       49901         1     6348759.0000     4153075.2408     52.87%
2843.12/2852.84	c      2853          52160       50134         1     6348759.0000     4153119.5766     52.87%
2848.20/2858.01	c      2858          52394       50368         1     6348759.0000     4153119.5766     52.87%
2853.40/2863.17	c      2863          52628       50602         1     6348759.0000     4153119.5766     52.87%
2859.07/2868.84	c      2869          52794       50768         1     6348759.0000     4153363.4487     52.86%
2864.36/2874.15	c      2874          52947       50921         1     6348759.0000     4153363.4487     52.86%
2869.54/2879.38	c      2879          53095       51069         1     6348759.0000     4153363.4487     52.86%
2874.72/2884.59	c      2885          53288       51262         1     6348759.0000     4153363.4487     52.86%
2880.10/2889.99	c      2890          53451       51425         1     6348759.0000     4153363.4487     52.86%
2885.29/2895.18	c      2895          53636       51610         1     6348759.0000     4153363.4487     52.86%
2890.47/2900.30	c      2900          53856       51830         1     6348759.0000     4153363.4487     52.86%
2895.55/2905.46	c      2905          54057       52029         1     6348759.0000     4153363.4487     52.86%
2901.14/2911.06	c      2911          54230       52202         1     6348759.0000     4153547.6274     52.85%
2906.12/2916.06	c      2916          54377       52349         1     6348759.0000     4153787.4659     52.84%
2912.21/2922.15	c      2922          54518       52486         1     6348759.0000     4153933.6568     52.84%
2917.48/2927.44	c      2927          54681       52649         1     6348759.0000     4153959.9251     52.84%
2923.46/2933.41	c      2933          54853       52821         1     6348759.0000     4154135.8519     52.83%
2928.64/2938.64	c      2939          55062       53024         1     6348759.0000     4154135.8519     52.83%
2933.82/2943.86	c      2944          55244       53206         1     6348759.0000     4154135.8519     52.83%
2938.90/2948.94	c      2949          55419       53379         1     6348759.0000     4154135.8519     52.83%
2944.00/2954.02	c      2954          55603       53557         1     6348759.0000     4154135.8519     52.83%
2949.17/2959.20	c      2959          55826       53776         1     6348759.0000     4154135.8519     52.83%
2954.35/2964.49	c      2964          56030       53980         1     6348759.0000     4154135.8519     52.83%
2959.43/2969.54	c      2970          56184       54128         1     6348759.0000     4154151.7596     52.83%
2965.41/2975.50	c      2976          56328       54272         1     6348759.0000     4154303.7288     52.82%
2971.30/2981.42	c      2981          56556       54500         1     6348759.0000     4154532.3535     52.82%
2977.07/2987.29	c      2987          56742       54686         1     6348759.0000     4154786.4700     52.81%
2982.87/2993.03	c      2993          56944       54888         1     6348759.0000     4154892.2600     52.80%
2988.44/2998.60	c      2999          57079       55023         1     6348759.0000     4155110.4750     52.79%
2993.52/3003.74	c      3004          57178       55122         1     6348759.0000     4155122.6308     52.79%
2999.30/3009.57	c      3010          57304       55248         1     6348759.0000     4155122.7532     52.79%
3004.58/3014.86	c      3015          57451       55395         1     6348759.0000     4155159.2451     52.79%
3009.78/3020.05	c      3020          57476       55420         1     6348759.0000     4155159.2451     52.79%
3015.45/3025.71	c      3026          57646       55590         1     6348759.0000     4155283.6151     52.79%
3021.13/3031.49	c      3032          57835       55779         1     6348759.0000     4155484.8757     52.78%
3027.21/3037.54	c      3038          58007       55951         1     6348759.0000     4155560.3922     52.78%
3032.90/3043.21	c      3043          58135       56079         1     6348759.0000     4155654.6474     52.77%
3038.58/3048.92	c      3049          58358       56300         1     6348759.0000     4155849.1131     52.77%
3043.77/3054.16	c      3054          58580       56522         1     6348759.0000     4155849.1131     52.77%
3049.03/3059.40	c      3059          58789       56727         1     6348759.0000     4155849.1131     52.77%
3054.02/3064.48	c      3064          59020       56954         1     6348759.0000     4155849.1131     52.77%
3059.21/3069.64	c      3070          59149       57081         1     6348759.0000     4155938.3312     52.76%
3064.89/3075.39	c      3075          59234       57166         1     6348759.0000     4155971.5790     52.76%
3070.57/3081.02	c      3081          59399       57331         1     6348759.0000     4155999.4080     52.76%
3076.14/3086.67	c      3087          59544       57474         1     6348759.0000     4156000.7900     52.76%
3081.32/3091.85	c      3092          59688       57618         1     6348759.0000     4156087.2674     52.76%
3086.51/3097.02	c      3097          59923       57853         1     6348759.0000     4156087.2674     52.76%
3091.68/3102.25	c      3102          60168       58096         1     6348759.0000     4156087.2674     52.76%
3097.66/3108.25	c      3108          60387       58315         1     6348759.0000     4156099.3809     52.76%
3103.04/3113.69	c      3114          60591       58519         1     6348759.0000     4156099.3809     52.76%
3108.24/3118.81	c      3119          60802       58730         1     6348759.0000     4156099.3809     52.76%
3114.21/3124.80	c      3125          60938       58866         1     6348759.0000     4156120.9345     52.76%
3119.41/3130.05	c      3130          61101       59029         1     6348759.0000     4156143.6535     52.76%
3124.67/3135.38	c      3135          61208       59136         1     6348759.0000     4156143.6535     52.76%
3129.96/3140.60	c      3141          61366       59292         1     6348759.0000     4156225.4320     52.75%
3135.64/3146.39	c      3146          61532       59458         1     6348759.0000     4156240.2064     52.75%
3140.82/3151.54	c      3152          61661       59587         1     6348759.0000     4156248.9805     52.75%
3146.11/3156.85	c      3157          61751       59677         1     6348759.0000     4156297.1563     52.75%
3151.98/3162.73	c      3163          61958       59884         1     6348759.0000     4156302.0340     52.75%
3157.46/3168.21	c      3168          62151       60077         1     6348759.0000     4156364.0812     52.75%
3162.86/3173.67	c      3174          62331       60257         1     6348759.0000     4156471.7225     52.74%
3168.63/3179.46	c      3179          62532       60458         1     6348759.0000     4156474.7660     52.74%
3173.72/3184.58	c      3185          62731       60657         1     6348759.0000     4156474.7660     52.74%
3179.40/3190.26	c      3190          62940       60866         1     6348759.0000     4156474.7660     52.74%
3184.58/3195.45	c      3195          63137       61063         1     6348759.0000     4156479.2577     52.74%
3189.76/3200.60	c      3201          63328       61254         1     6348759.0000     4156480.1203     52.74%
3195.45/3206.37	c      3206          63506       61432         1     6348759.0000     4156679.9436     52.74%
3202.02/3212.90	c      3213          63708       61630         1     6348759.0000     4156761.1745     52.73%
3207.22/3218.14	c      3218          63851       61769         1     6348759.0000     4156809.8811     52.73%
3212.49/3223.48	c      3223          63959       61869         1     6348759.0000     4156810.4375     52.73%
3218.37/3229.34	c      3229          64137       62047         1     6348759.0000     4156820.4045     52.73%
3223.74/3234.79	c      3235          64371       62281         1     6348759.0000     4156820.4045     52.73%
3228.82/3239.86	c      3240          64607       62511         1     6348759.0000     4156820.4045     52.73%
3234.11/3245.18	c      3245          64841       62739         1     6348759.0000     4156820.4045     52.73%
3240.09/3251.18	c      3251          64988       62884         1     6348759.0000     4156993.7960     52.72%
3245.85/3257.01	c      3257          65165       63061         1     6348759.0000     4157071.6183     52.72%
3251.73/3262.87	c      3263          65352       63248         1     6348759.0000     4157122.3786     52.72%
3257.51/3268.60	c      3269          65557       63451         1     6348759.0000     4157146.0600     52.72%
3262.49/3273.65	c      3274          65770       63664         1     6348759.0000     4157146.0600     52.72%
3267.57/3278.79	c      3279          65971       63861         1     6348759.0000     4157146.0600     52.72%
3272.65/3283.86	c      3284          66182       64068         1     6348759.0000     4157146.0600     52.72%
3277.86/3289.11	c      3289          66346       64232         1     6348759.0000     4157147.1527     52.72%
3283.72/3294.99	c      3295          66498       64384         1     6348759.0000     4157215.8692     52.72%
3289.21/3300.43	c      3300          66678       64556         1     6348759.0000     4157260.3581     52.71%
3294.39/3305.69	c      3306          66831       64705         1     6348759.0000     4157337.5721     52.71%
3299.47/3310.71	c      3311          66944       64818         1     6348759.0000     4157352.9774     52.71%
3304.95/3316.21	c      3316          67088       64960         1     6348759.0000     4157540.7414     52.70%
3310.93/3322.28	c      3322          67224       65092         1     6348759.0000     4157581.1605     52.70%
3316.02/3327.30	c      3327          67318       65186         1     6348759.0000     4157599.9084     52.70%
3321.10/3332.45	c      3332          67447       65315         1     6348759.0000     4157604.1957     52.70%
3326.58/3337.95	c      3338          67596       65464         1     6348759.0000     4157687.5888     52.70%
3331.97/3343.39	c      3343          67758       65626         1     6348759.0000     4157812.8363     52.69%
3338.24/3349.64	c      3350          67858       65724         1     6348759.0000     4157829.2771     52.69%
3343.43/3354.81	c      3355          68002       65868         1     6348759.0000     4157847.1773     52.69%
3348.51/3359.91	c      3360          68151       66009         1     6348759.0000     4157908.9886     52.69%
3354.08/3365.50	c      3366          68309       66167         1     6348759.0000     4157908.9886     52.69%
3359.27/3370.70	c      3371          68518       66374         1     6348759.0000     4157931.8233     52.69%
3364.66/3376.13	c      3376          68744       66600         1     6348759.0000     4157931.8233     52.69%
3369.93/3381.46	c      3381          68934       66790         1     6348759.0000     4158061.2937     52.69%
3375.53/3387.10	c      3387          69062       66918         1     6348759.0000     4158146.2929     52.68%
3381.19/3392.76	c      3393          69261       67117         1     6348759.0000     4158200.5001     52.68%
3386.49/3398.03	c      3398          69408       67264         1     6348759.0000     4158216.5368     52.68%
3391.76/3403.38	c      3403          69605       67461         1     6348759.0000     4158216.8562     52.68%
3396.95/3408.52	c      3409          69771       67627         1     6348759.0000     4158216.8562     52.68%
3402.33/3414.01	c      3414          69918       67774         1     6348759.0000     4158345.3842     52.68%
3408.01/3419.67	c      3420          70082       67938         1     6348759.0000     4158345.3842     52.68%
3413.19/3424.82	c      3425          70211       68065         1     6348759.0000     4158436.9746     52.67%
3418.49/3430.13	c      3430          70318       68172         1     6348759.0000     4158502.2622     52.67%
3424.75/3436.44	c      3436          70408       68262         1     6348759.0000     4158508.5385     52.67%
3430.94/3442.62	c      3443          70573       68427         1     6348759.0000     4158512.5817     52.67%
3436.22/3447.91	c      3448          70676       68530         1     6348759.0000     4158531.6739     52.67%
3442.20/3453.91	c      3454          70826       68680         1     6348759.0000     4158546.1270     52.67%
3447.39/3459.11	c      3459          70992       68844         1     6348759.0000     4158547.9184     52.67%
3452.95/3464.74	c      3465          71119       68971         1     6348759.0000     4158705.5220     52.66%
3458.05/3469.85	c      3470          71249       69101         1     6348759.0000     4158705.5220     52.66%
3463.43/3475.25	c      3475          71451       69303         1     6348759.0000     4158705.5220     52.66%
3469.22/3481.04	c      3481          71638       69490         1     6348759.0000     4158722.1028     52.66%
3474.78/3486.69	c      3487          71825       69677         1     6348759.0000     4158722.1028     52.66%
3480.07/3491.92	c      3492          71997       69849         1     6348759.0000     4158722.1028     52.66%
3485.85/3497.78	c      3498          72127       69979         1     6348759.0000     4158763.7455     52.66%
3491.03/3502.98	c      3503          72268       70120         1     6348759.0000     4158763.7455     52.66%
3496.31/3508.21	c      3508          72425       70277         1     6348759.0000     4158763.7983     52.66%
3501.59/3513.50	c      3514          72671       70523         1     6348759.0000     4158763.7983     52.66%
3507.56/3519.59	c      3520          72822       70674         1     6348759.0000     4158794.3528     52.66%
3512.94/3524.95	c      3525          72940       70792         1     6348759.0000     4158827.0490     52.66%
3518.33/3530.38	c      3530          73038       70890         1     6348759.0000     4158840.6774     52.66%
3523.91/3535.94	c      3536          73241       71093         1     6348759.0000     4158908.7832     52.65%
3529.18/3541.25	c      3541          73333       71185         1     6348759.0000     4158981.4199     52.65%
3534.46/3546.52	c      3547          73451       71303         1     6348759.0000     4158981.4199     52.65%
3539.74/3551.81	c      3552          73608       71460         1     6348759.0000     4159076.6296     52.65%
3545.22/3557.32	c      3557          73778       71630         1     6348759.0000     4159107.2877     52.65%
3550.50/3562.68	c      3563          73898       71750         1     6348759.0000     4159198.0023     52.64%
3555.90/3568.07	c      3568          74034       71886         1     6348759.0000     4159198.0023     52.64%
3561.46/3573.62	c      3574          74201       72051         1     6348759.0000     4159575.8988     52.63%
3566.64/3578.82	c      3579          74397       72247         1     6348759.0000     4159575.8988     52.63%
3571.72/3583.91	c      3584          74603       72453         1     6348759.0000     4159575.8988     52.63%
3576.81/3589.02	c      3589          74760       72610         1     6348759.0000     4159710.0440     52.63%
3582.38/3594.66	c      3595          74941       72791         1     6348759.0000     4159729.1881     52.62%
3586.26/3598.52	c SCIP Status        : c solving was interrupted [hard time limit reached]
3586.26/3598.52	c Total Time         : 3598.53
3586.26/3598.52	c   solving          : 3598.53
3586.26/3598.52	c   presolving       : 0.20 (included in solving)
3586.26/3598.52	c B&B Tree           :
3586.26/3598.52	c   nodes (total)    : 1
3586.26/3598.52	c Solution           :
3586.26/3598.52	c   Solutions found  : 7
3586.26/3598.52	c   Primal Bound     : +6.34875900000000e+06
3586.26/3598.52	c   Dual Bound       : +4.15981350238376e+06
3586.26/3598.52	c Gap                : 52.62124 %
3586.26/3598.52	c * Warning: final gap: 5.26212e-01 is greater than SCIPepsilon: 1.00000e-09
3586.26/3598.52	o 6348759
3586.26/3598.52	s SATISFIABLE
3586.26/3598.52	v -x7979 -x7978 -x7977 x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7968 -x7967 -x7966 -x7965 x7964 -x7963 -x7962 x7961 -x7960 
3586.26/3598.52	v -x7959 -x7957 -x7956 -x7955 -x7954 x7953 x7952 -x7951 -x7950 x7949 -x7948 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 
3586.26/3598.52	v x7939 -x7938 -x7937 -x7935 -x7934 -x7933 -x7932 x7931 -x7930 -x7929 -x7928 x7927 -x7926 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 
3586.26/3598.52	v -x7918 -x7917 x7916 -x7915 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 x7905 -x7904 -x7903 -x7901 -x7900 -x7899 -x7898 
3586.26/3598.52	v -x7897 x7896 -x7895 -x7894 x7893 -x7892 -x7890 -x7889 -x7888 x7887 -x7886 -x7885 -x7884 -x7883 x7882 -x7881 -x7879 -x7878 
3586.26/3598.52	v -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 
3586.26/3598.52	v -x7857 x7856 x7855 x7854 -x7853 x7852 -x7851 -x7850 -x7849 -x7848 x7846 -x7845 -x7844 -x7843 x7842 -x7841 -x7840 -x7839 -x7838 
3586.26/3598.52	v -x7837 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7824 -x7823 x7822 x7821 -x7820 -x7819 -x7818 
3586.26/3598.52	v -x7817 -x7816 x7815 -x7813 x7812 -x7811 -x7810 -x7809 -x7808 -x7807 x7806 -x7805 -x7804 x8060 -x8059 -x8058 -x8057 -x8056 
3586.26/3598.52	v -x8055 -x8054 x8053 -x8052 -x8051 -x8049 -x8048 -x8047 x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8038 -x8037 -x8036 
3586.26/3598.52	v -x8035 -x8034 x8033 -x8032 -x8031 -x8030 -x8029 -x8027 -x8026 -x8025 x8024 -x8023 -x8022 x8021 -x8020 x8019 -x8018 -x8016 -x8015 
3586.26/3598.52	v -x8014 -x8013 x8012 -x8011 -x8010 x8009 -x8008 -x8007 -x8005 -x8004 -x8003 -x8002 -x8001 x8000 -x7999 -x7998 -x7997 -x7996 
3586.26/3598.52	v -x7994 -x7993 x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7983 -x7982 -x7981 x7980 -x7969 -x7958 -x7947 x7936 
3586.26/3598.52	v -x7925 -x7914 -x7902 -x7891 -x7880 -x7869 -x7858 -x7847 -x7836 -x7825 -x7814 -x7803 x8050 -x8039 -x8028 -x8017 x8006 x7995 -x7984 
3586.26/3598.52	v -x7913 -x7802 -x7801 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 
3586.26/3598.52	v -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 
3586.26/3598.52	v -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 
3586.26/3598.52	v -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 
3586.26/3598.52	v -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 
3586.26/3598.52	v -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 
3586.26/3598.52	v -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 x5260 x5259 x5258 x5257 x5256 x5255 x5254 x5253 -x5252 -x5251 -x5250 -x5249 -x5248 
3586.26/3598.52	v -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 
3586.26/3598.52	v -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 
3586.26/3598.52	v -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 
3586.26/3598.52	v -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 
3586.26/3598.52	v -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 
3586.26/3598.52	v -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 
3586.26/3598.52	v -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 
3586.26/3598.52	v -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 
3586.26/3598.52	v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 
3586.26/3598.52	v -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5040 
3586.26/3598.52	v -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 
3586.26/3598.52	v -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 
3586.26/3598.52	v -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 
3586.26/3598.52	v -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 
3586.26/3598.52	v -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 
3586.26/3598.52	v -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 
3586.26/3598.52	v -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 
3586.26/3598.52	v -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 x4905 x4904 x4903 -x4902 x4901 -x4900 x4899 x4898 x4897 x4896 
3586.26/3598.52	v x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 
3586.26/3598.52	v -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 
3586.26/3598.52	v -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 
3586.26/3598.52	v -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 
3586.26/3598.52	v -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 x4811 -x4810 -x4809 -x4808 -x4807 -x4806 
3586.26/3598.52	v -x4805 -x4804 -x4803 -x4802 x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 
3586.26/3598.52	v -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 
3586.26/3598.52	v -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 
3586.26/3598.52	v -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 
3586.26/3598.52	v -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 
3586.26/3598.52	v -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 
3586.26/3598.52	v -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 
3586.26/3598.52	v -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 
3586.26/3598.52	v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 
3586.26/3598.52	v -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 
3586.26/3598.52	v -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 
3586.26/3598.52	v -x4578 -x4577 -x4576 -x4575 x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 
3586.26/3598.52	v -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 x4545 -x4544 x4543 
3586.26/3598.52	v -x4542 -x4541 x4540 -x4539 -x4538 -x4537 -x4536 x4535 -x4534 -x4533 x4532 x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 
3586.26/3598.52	v -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 
3586.26/3598.52	v -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 
3586.26/3598.52	v -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 
3586.26/3598.52	v -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 x4453 
3586.26/3598.52	v -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 
3586.26/3598.52	v -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 
3586.26/3598.52	v -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 
3586.26/3598.52	v -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 
3586.26/3598.52	v -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 
3586.26/3598.52	v -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 
3586.26/3598.52	v -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 
3586.26/3598.52	v -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 
3586.26/3598.52	v -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 
3586.26/3598.52	v -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 
3586.26/3598.52	v -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 
3586.26/3598.52	v -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 
3586.26/3598.52	v -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 
3586.26/3598.52	v -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 
3586.26/3598.52	v -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 
3586.26/3598.52	v -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 x4141 -x4140 -x4139 -x4138 -x4137 
3586.26/3598.52	v -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 
3586.26/3598.52	v -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 
3586.26/3598.52	v -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 
3586.26/3598.52	v -x4083 -x4082 -x4081 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 
3586.26/3598.52	v -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 
3586.26/3598.52	v -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 
3586.26/3598.52	v -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 
3586.26/3598.52	v -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 
3586.26/3598.52	v -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 
3586.26/3598.52	v -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 
3586.26/3598.52	v -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 x3913 x3912 -x3911 
3586.26/3598.52	v -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 
3586.26/3598.52	v -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 
3586.26/3598.52	v -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 
3586.26/3598.52	v -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 
3586.26/3598.52	v -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 
3586.26/3598.52	v -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 
3586.26/3598.52	v -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 x3793 x3792 x3791 x3790 x3789 x3788 x3787 x3786 x3785 x3784 
3586.26/3598.52	v x3783 x3782 x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 
3586.26/3598.52	v -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3720 -x3719 -x3718 
3586.26/3598.52	v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 
3586.26/3598.52	v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 
3586.26/3598.52	v -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 
3586.26/3598.52	v -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 
3586.26/3598.52	v -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 
3586.26/3598.52	v -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 
3586.26/3598.52	v -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 
3586.26/3598.52	v -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 
3586.26/3598.52	v -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 
3586.26/3598.52	v -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 
3586.26/3598.52	v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 
3586.26/3598.52	v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 
3586.26/3598.52	v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
3586.26/3598.52	v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 
3586.26/3598.52	v -x3467 -x3466 -x3465 x3464 -x3463 x3462 x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 
3586.26/3598.52	v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 
3586.26/3598.52	v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 
3586.26/3598.52	v -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 
3586.26/3598.52	v -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 
3586.26/3598.52	v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 
3586.26/3598.52	v -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 
3586.26/3598.52	v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 
3586.26/3598.52	v -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 
3586.26/3598.52	v -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 
3586.26/3598.52	v -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 
3586.26/3598.52	v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 
3586.26/3598.52	v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 
3586.26/3598.52	v -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 
3586.26/3598.52	v -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 
3586.26/3598.52	v -x3139 -x3138 -x3137 -x3136 x3135 x3134 x3133 -x3132 x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 
3586.26/3598.52	v -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 
3586.26/3598.52	v -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 
3586.26/3598.52	v -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 
3586.26/3598.52	v -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 
3586.26/3598.52	v -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 
3586.26/3598.52	v -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 
3586.26/3598.52	v -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 
3586.26/3598.52	v -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 
3586.26/3598.52	v -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 
3586.26/3598.52	v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 
3586.26/3598.52	v -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
3586.26/3598.52	v -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 
3586.26/3598.52	v -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 x2864 x2863 x2862 -x2861 -x2860 -x2859 
3586.26/3598.52	v -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 
3586.26/3598.52	v -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 
3586.26/3598.52	v -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 
3586.26/3598.52	v -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 
3586.26/3598.52	v -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 x2772 x2771 -x2770 -x2769 
3586.26/3598.52	v -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 
3586.26/3598.52	v -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 
3586.26/3598.52	v -x2733 -x2732 -x2731 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 
3586.26/3598.52	v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 
3586.26/3598.52	v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 
3586.26/3598.52	v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 
3586.26/3598.52	v -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 
3586.26/3598.52	v -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 
3586.26/3598.52	v -x2595 -x2594 x2593 x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 
3586.26/3598.52	v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 
3586.26/3598.52	v -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
3586.26/3598.52	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
3586.26/3598.52	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
3586.26/3598.52	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
3586.26/3598.52	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
3586.26/3598.52	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
3586.26/3598.52	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
3586.26/3598.52	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
3586.26/3598.52	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2370 
3586.26/3598.52	v -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 
3586.26/3598.52	v -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 
3586.26/3598.52	v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 
3586.26/3598.52	v -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 
3586.26/3598.52	v -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 
3586.26/3598.52	v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 
3586.26/3598.52	v -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 
3586.26/3598.52	v -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 
3586.26/3598.52	v -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 
3586.26/3598.52	v -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 
3586.26/3598.52	v -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 
3586.26/3598.52	v -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 
3586.26/3598.52	v -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 
3586.26/3598.52	v -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 
3586.26/3598.52	v -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 
3586.26/3598.52	v -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 
3586.26/3598.52	v -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2040 -x2039 -x2038 -x2037 -x2036 
3586.26/3598.52	v -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 
3586.26/3598.52	v -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 
3586.26/3598.52	v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 
3586.26/3598.52	v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 
3586.26/3598.52	v -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 
3586.26/3598.52	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 
3586.26/3598.52	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 
3586.26/3598.52	v -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 
3586.26/3598.52	v -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 
3586.26/3598.52	v -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 
3586.26/3598.52	v -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 
3586.26/3598.52	v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 
3586.26/3598.52	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
3586.26/3598.52	v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
3586.26/3598.52	v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 
3586.26/3598.52	v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 
3586.26/3598.52	v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
3586.26/3598.52	v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 
3586.26/3598.52	v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
3586.26/3598.52	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 x1652 -x1651 -x1650 -x1649 
3586.26/3598.52	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 -x1633 -x1632 -x1631 
3586.26/3598.52	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 
3586.26/3598.52	v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 
3586.26/3598.52	v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 
3586.26/3598.52	v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 
3586.26/3598.52	v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 x1544 -x1543 -x1542 -x1541 
3586.26/3598.52	v x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533 -x1532 x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
3586.26/3598.52	v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 
3586.26/3598.52	v -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 
3586.26/3598.52	v -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 
3586.26/3598.52	v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 
3586.26/3598.52	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 
3586.26/3598.52	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 
3586.26/3598.52	v -x1414 -x1413 -x1412 -x1411 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 
3586.26/3598.52	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 x1351 -x1350 -x1349 
3586.26/3598.52	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
3586.26/3598.52	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
3586.26/3598.52	v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 
3586.26/3598.52	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 
3586.26/3598.52	v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
3586.26/3598.52	v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 
3586.26/3598.52	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
3586.26/3598.52	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 
3586.26/3598.52	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 
3586.26/3598.52	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
3586.26/3598.52	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 
3586.26/3598.52	v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
3586.26/3598.52	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 
3586.26/3598.52	v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 
3586.26/3598.52	v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 
3586.26/3598.52	v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 
3586.26/3598.52	v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 
3586.26/3598.52	v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 
3586.26/3598.52	v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 
3586.26/3598.52	v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 
3586.26/3598.52	v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 
3586.26/3598.52	v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 
3586.26/3598.52	v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 
3586.26/3598.52	v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 
3586.26/3598.52	v -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 
3586.26/3598.52	v -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 
3586.26/3598.52	v -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 
3586.26/3598.52	v -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 
3586.26/3598.52	v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 
3586.26/3598.52	v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x720 -x719 -x718 -x717 
3586.26/3598.52	v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 
3586.26/3598.52	v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 
3586.26/3598.52	v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 
3586.26/3598.52	v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 
3586.26/3598.52	v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 
3586.26/3598.52	v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 
3586.26/3598.52	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 
3586.26/3598.52	v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 
3586.26/3598.52	v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 
3586.26/3598.52	v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 
3586.26/3598.52	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
3586.26/3598.52	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 
3586.26/3598.52	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 
3586.26/3598.52	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 
3586.26/3598.52	v -x423 -x422 -x421 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
3586.26/3598.52	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
3586.26/3598.52	v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
3586.26/3598.52	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
3586.26/3598.52	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
3586.26/3598.52	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
3586.26/3598.52	v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 
3586.26/3598.52	v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 
3586.26/3598.52	v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 
3586.26/3598.52	v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 
3586.26/3598.52	v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 
3586.26/3598.52	v -x164 x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 
3586.26/3598.52	v -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 
3586.26/3598.52	v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 
3586.26/3598.52	v -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 
3586.26/3598.52	v -x7790 -x7789 -x7788 -x7787 -x7786 x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 
3586.26/3598.52	v -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 
3586.26/3598.52	v -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 
3586.26/3598.52	v -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 
3586.26/3598.52	v -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 
3586.26/3598.52	v -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 
3586.26/3598.52	v -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 
3586.26/3598.52	v -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 
3586.26/3598.52	v -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 
3586.26/3598.52	v -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 
3586.26/3598.52	v -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 
3586.26/3598.52	v -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 
3586.26/3598.52	v -x7576 -x7575 -x7574 -x7573 x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 x7561 -x7560 -x7559 
3586.26/3598.52	v -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 
3586.26/3598.52	v -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 
3586.26/3598.52	v -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 
3586.26/3598.52	v -x7504 -x7503 -x7502 -x7501 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 
3586.26/3598.52	v -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 
3586.26/3598.52	v -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422 
3586.26/3598.52	v -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 -x7404 
3586.26/3598.52	v -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 
3586.26/3598.52	v -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 
3586.26/3598.52	v -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 x7360 x7359 x7358 x7357 x7356 x7355 x7354 x7353 x7352 x7351 -x7350 -x7349 
3586.26/3598.52	v -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 
3586.26/3598.52	v -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 
3586.26/3598.52	v -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 
3586.26/3598.52	v -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 
3586.26/3598.52	v -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 
3586.26/3598.52	v -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 
3586.26/3598.52	v -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 
3586.26/3598.52	v -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 
3586.26/3598.52	v -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 
3586.26/3598.52	v -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7140 
3586.26/3598.52	v -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 
3586.26/3598.52	v -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 
3586.26/3598.52	v -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 
3586.26/3598.52	v -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 
3586.26/3598.52	v -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 
3586.26/3598.52	v -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 
3586.26/3598.52	v -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 
3586.26/3598.52	v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 
3586.26/3598.52	v -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 
3586.26/3598.52	v -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 x6963 -x6962 
3586.26/3598.52	v -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 
3586.26/3598.52	v -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 
3586.26/3598.52	v -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 
3586.26/3598.52	v -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 
3586.26/3598.52	v -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 
3586.26/3598.52	v -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 
3586.26/3598.52	v -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6810 -x6809 -x6808 -x6807 
3586.26/3598.52	v -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 
3586.26/3598.52	v -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 
3586.26/3598.52	v -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 
3586.26/3598.52	v -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 
3586.26/3598.52	v -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 
3586.26/3598.52	v -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 
3586.26/3598.52	v -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 
3586.26/3598.52	v -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 
3586.26/3598.52	v -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 
3586.26/3598.52	v -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 
3586.26/3598.52	v -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 x6615 x6614 -x6613 -x6612 x6611 x6610 -x6609 
3586.26/3598.52	v -x6608 -x6607 -x6606 x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 
3586.26/3598.52	v -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 
3586.26/3598.52	v -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 
3586.26/3598.52	v -x6555 -x6554 -x6553 -x6552 -x6551 x6550 x6549 x6548 x6547 x6546 x6545 x6544 x6543 x6542 x6541 -x6540 -x6539 -x6538 -x6537 -x6536 
3586.26/3598.52	v -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 
3586.26/3598.52	v -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 
3586.26/3598.52	v -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 
3586.26/3598.52	v -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 
3586.26/3598.52	v -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 
3586.26/3598.52	v -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 
3586.26/3598.52	v -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 
3586.26/3598.52	v -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 
3586.26/3598.52	v -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 
3586.26/3598.52	v -x6345 -x6344 -x6343 x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 x6331 -x6330 -x6329 -x6328 
3586.26/3598.52	v -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 
3586.26/3598.52	v -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 
3586.26/3598.52	v -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 
3586.26/3598.52	v -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 
3586.26/3598.52	v -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 x6249 x6248 x6247 x6246 -x6245 x6244 -x6243 x6242 x6241 -x6240 -x6239 -x6238 -x6237 
3586.26/3598.52	v -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 
3586.26/3598.52	v -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 
3586.26/3598.52	v -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 
3586.26/3598.52	v -x6183 -x6182 -x6181 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 
3586.26/3598.52	v -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 
3586.26/3598.52	v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 
3586.26/3598.52	v -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 
3586.26/3598.52	v -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 
3586.26/3598.52	v -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 
3586.26/3598.52	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 
3586.26/3598.52	v -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 
3586.26/3598.52	v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 
3586.26/3598.52	v -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 x5985 x5984 x5983 -x5982 x5981 x5980 x5979 x5978 x5977 x5976 x5975 x5974 
3586.26/3598.52	v x5973 x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 
3586.26/3598.52	v -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 
3586.26/3598.52	v -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 
3586.26/3598.52	v -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 
3586.26/3598.52	v -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 
3586.26/3598.52	v -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 
3586.26/3598.52	v -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5820 -x5819 -x5818 
3586.26/3598.52	v -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 
3586.26/3598.52	v -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 
3586.26/3598.52	v -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 
3586.26/3598.52	v -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 
3586.26/3598.52	v -x5746 -x5745 -x5744 -x5743 -x5742 x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 
3586.26/3598.52	v -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 
3586.26/3598.52	v -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 
3586.26/3598.52	v -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 
3586.26/3598.52	v -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 
3586.26/3598.52	v -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 
3586.26/3598.52	v -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 
3586.26/3598.52	v -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
3586.26/3598.52	v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 
3586.26/3598.52	v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
3586.26/3598.52	v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 
3586.26/3598.52	v -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 
3586.26/3598.52	v -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 
3586.26/3598.52	v -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 
3586.26/3598.52	v -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 
3586.26/3598.52	v -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 
3586.26/3598.52	v -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 
3586.26/3598.52	v -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 
3586.26/3598.52	v -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 
3586.26/3598.52	v -x5376 -x5375 -x5374 -x5373 x5372 -x5371 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 
3586.26/3598.52	v -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
3586.26/3598.52	v -x5041 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 
3586.26/3598.52	v -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4410 -x4409 -x4408 -x4407 -x4406 
3586.26/3598.52	v -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 
3586.26/3598.52	v -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 
3586.26/3598.52	v -x4069 -x4068 -x4067 x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 
3586.26/3598.52	v -x4051 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 
3586.26/3598.52	v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3420 -x3419 -x3418 -x3417 -x3416 
3586.26/3598.52	v -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 
3586.26/3598.52	v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 
3586.26/3598.52	v -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 
3586.26/3598.52	v -x3032 -x3031 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 
3586.26/3598.52	v -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2400 -x2399 -x2398 -x2397 
3586.26/3598.52	v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 
3586.26/3598.52	v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
3586.26/3598.52	v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 
3586.26/3598.54	v -x2043 -x2042 -x2041 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
3586.26/3598.54	v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1410 -x1409 -x1408 
3586.26/3598.54	v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 
3586.26/3598.54	v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 
3586.26/3598.54	v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 
3586.26/3598.54	v -x1053 -x1052 -x1051 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 
3586.26/3598.54	v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
3586.26/3598.54	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 
3586.26/3598.54	v -x391 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 
3586.26/3598.54	v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 
3586.26/3598.54	v -x7487 -x7486 -x7485 -x7484 x7483 x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7170 
3586.26/3598.54	v -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 
3586.26/3598.54	v -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 
3586.26/3598.54	v -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 
3586.26/3598.54	v -x6815 -x6814 -x6813 -x6812 -x6811 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 
3586.26/3598.54	v -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6180 
3586.26/3598.54	v -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 x6165 -x6164 -x6163 -x6162 
3586.26/3598.54	v x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 
3586.26/3598.54	v -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 x5832 x5831 -x5830 -x5829 -x5828 -x5827 -x5826 
3586.26/3598.54	v -x5825 -x5824 -x5823 -x5822 -x5821 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 
3586.26/3598.54	v -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 
3586.26/3598.54	v -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 
3586.26/3598.54	v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 
3586.26/3598.54	v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 
3586.26/3598.54	v -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 

Verifier Data

OK	6348759

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61358 MiB free)
  memory of node 1: 64473 MiB (58021 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463913-1722378594/watcher-4463913-1722378594 -o /tmp/evaluation-result-4463913-1722378594/solver-4463913-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30827 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463913-1722378594.opb -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30876, runsolver pid=30870
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 0.16 0.12 0.13 7/248 30894
/proc/meminfo: memFree=122179024/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=46816 memory=35532 CPUtime=0.11 cores=0,2
/proc/30876/stat : 30876 (fscip) R 30870 30876 30817 0 -1 4194304 6552 0 0 0 9 2 0 0 20 0 1 0 4455935 47939584 8883 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 11704 8883 2630 3035 0 8100 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 46816 KiB
Current children cumulated memory: 35532 KiB

[startup+0.21488 s]*
/proc/loadavg: 0.16 0.12 0.13 5/246 30896
/proc/meminfo: memFree=122139040/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=59672 memory=47744 CPUtime=0.21 cores=0,2
/proc/30876/stat : 30876 (fscip) R 30870 30876 30817 0 -1 4194304 10057 0 0 0 19 2 0 0 20 0 1 0 4455935 61104128 11936 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 14918 11936 2774 3035 0 11314 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59672 KiB
Current children cumulated memory: 47744 KiB

[startup+0.314029 s]*
/proc/loadavg: 0.16 0.12 0.13 4/246 30907
/proc/meminfo: memFree=122107236/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=157344 memory=64700 CPUtime=0.3 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 15249 0 0 0 26 4 0 0 20 0 3 0 4455935 161120256 16175 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 39336 16175 2806 3035 0 21199 0
[pid=30876/tid=30901] ppid=30870 vsize=157344 memory=8128096374640514710 CPUtime=0.01 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 2827 0 0 0 1 0 0 0 20 0 3 0 4455963 161120256 16175 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=157344 memory=8039887049847963813 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455966 161120256 16175 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 157344 KiB
Current children cumulated memory: 64700 KiB

[startup+0.70036 s]
/proc/loadavg: 0.16 0.12 0.13 4/247 30908
/proc/meminfo: memFree=122059308/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=165996 memory=98760 CPUtime=0.66 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 25243 0 0 0 58 8 0 0 20 0 3 0 4455935 169979904 24690 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 41499 24690 2934 3035 0 31406 0
[pid=30876/tid=30901] ppid=30870 vsize=165996 memory=2316 CPUtime=0.37 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 12821 0 0 0 33 4 0 0 20 0 3 0 4455963 169979904 24690 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=165996 memory=225 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455966 169979904 24690 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 165996 KiB
Current children cumulated memory: 98760 KiB

[startup+1.50042 s]
/proc/loadavg: 0.16 0.12 0.13 5/249 30910
/proc/meminfo: memFree=122004052/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=167792 memory=119812 CPUtime=1.45 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 39926 0 0 0 135 10 0 0 20 0 3 0 4455935 171819008 29953 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 41948 29953 2950 3035 0 36654 0
[pid=30876/tid=30901] ppid=30870 vsize=167792 memory=0 CPUtime=1.16 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 27504 0 0 0 110 6 0 0 20 0 3 0 4455963 171819008 29953 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=167792 memory=2316 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455966 171819008 29953 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 167792 KiB
Current children cumulated memory: 119812 KiB

[startup+3.11389 s]
/proc/loadavg: 0.16 0.12 0.13 5/256 30950
/proc/meminfo: memFree=121855848/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=168980 memory=131156 CPUtime=3.05 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 45099 0 0 0 294 11 0 0 20 0 3 0 4455935 173035520 32789 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 42245 32789 2950 3035 0 38477 0
[pid=30876/tid=30901] ppid=30870 vsize=168980 memory=12036 CPUtime=2.76 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 32674 0 0 0 269 7 0 0 20 0 3 0 4455963 173035520 32789 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=168980 memory=0 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4455966 173035520 32789 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 168980 KiB
Current children cumulated memory: 131156 KiB

[startup+6.30037 s]
/proc/loadavg: 0.55 0.20 0.16 5/256 30952
/proc/meminfo: memFree=121770492/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=236596 memory=146592 CPUtime=6.23 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 63941 0 0 0 610 13 0 0 20 0 3 0 4455935 242274304 36648 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 59149 36648 2950 3035 0 42516 0
[pid=30876/tid=30901] ppid=30870 vsize=236596 memory=0 CPUtime=5.94 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 51516 0 0 0 585 9 0 0 20 0 3 0 4455963 242274304 36648 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=236596 memory=144260 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4455966 242274304 36648 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 236596 KiB
Current children cumulated memory: 146592 KiB

[startup+12.7004 s]
/proc/loadavg: 0.82 0.26 0.18 6/259 31011
/proc/meminfo: memFree=121673816/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=236868 memory=174632 CPUtime=12.61 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 87885 0 0 0 1246 15 0 0 20 0 3 0 4455935 242552832 43658 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 59217 43658 2998 3035 0 49822 0
[pid=30876/tid=30901] ppid=30870 vsize=236868 memory=14824 CPUtime=12.32 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 74544 0 0 0 1221 11 0 0 20 0 3 0 4455963 242552832 43658 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=236868 memory=5548 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4455966 242552832 43658 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 236868 KiB
Current children cumulated memory: 174632 KiB

[startup+25.5004 s]
/proc/loadavg: 1.53 0.45 0.24 5/259 31014
/proc/meminfo: memFree=121648508/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=236868 memory=174912 CPUtime=25.36 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 116935 0 0 0 2520 16 0 0 20 0 3 0 4455935 242552832 43728 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 59217 43728 2998 3035 0 49822 0
[pid=30876/tid=30901] ppid=30870 vsize=236868 memory=174912 CPUtime=25.07 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 103477 0 0 0 2495 12 0 0 20 0 3 0 4455963 242552832 43728 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=236868 memory=174708 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4455966 242552832 43728 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 236868 KiB
Current children cumulated memory: 174912 KiB

[startup+51.114 s]
/proc/loadavg: 2.43 0.75 0.35 5/259 31017
/proc/meminfo: memFree=121577588/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=236868 memory=191884 CPUtime=50.88 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 177063 0 0 0 5067 21 0 0 20 0 3 0 4455935 242552832 47971 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 59217 47971 3334 3035 0 54551 0
[pid=30876/tid=30901] ppid=30870 vsize=236868 memory=180536 CPUtime=50.58 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 163497 0 0 0 5041 17 0 0 20 0 3 0 4455963 242552832 47971 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=236868 memory=0 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4455966 242552832 47971 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 236868 KiB
Current children cumulated memory: 191884 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.55 5/259 31025
/proc/meminfo: memFree=121471180/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=302404 memory=215064 CPUtime=101.86 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 249644 0 0 0 10159 27 0 0 20 0 3 0 4455935 309661696 53766 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 75601 53766 3334 3035 0 59774 0
[pid=30876/tid=30901] ppid=30870 vsize=302404 memory=0 CPUtime=101.57 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 234190 0 0 0 10134 23 0 0 20 0 3 0 4455963 309661696 53766 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=302404 memory=211656 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4455966 309661696 53766 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 302404 KiB
Current children cumulated memory: 215064 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 1.83 0.78 5/259 31037
/proc/meminfo: memFree=121348172/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=302404 memory=221008 CPUtime=161.66 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 301698 0 0 0 16134 32 0 0 20 0 3 0 4455935 309661696 55252 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 75601 55252 3334 3035 0 60947 0
[pid=30876/tid=30901] ppid=30870 vsize=302404 memory=220132 CPUtime=161.34 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 285290 0 0 0 16107 27 0 0 20 0 3 0 4455963 309661696 55252 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=302404 memory=12036 CPUtime=0 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 4455966 309661696 55252 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 302404 KiB
Current children cumulated memory: 221008 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.24 0.99 5/257 31047
/proc/meminfo: memFree=121265516/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=300608 memory=249448 CPUtime=221.42 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 356230 0 0 0 22105 37 0 0 20 0 3 0 4455935 307822592 62362 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 75152 62362 3334 3035 0 67863 0

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

/proc/30876/statm: 174848 167583 3366 3035 0 170504 0
[pid=30876/tid=30901] ppid=30870 vsize=699392 memory=1804 CPUtime=3449.92 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1097716 0 0 0 344844 148 0 0 20 0 3 0 4455963 716177408 167583 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=699392 memory=669240 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 196 0 0 0 1 4 0 0 20 0 3 0 4455966 716177408 167583 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3450.57 s
Current children cumulated vsize: 699392 KiB
Current children cumulated memory: 670332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/253 32787
/proc/meminfo: memFree=119793056/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=674236 CPUtime=3510.35 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1125212 0 0 0 350868 167 0 0 20 0 3 0 4455935 783286272 168559 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 168559 3366 3035 0 171608 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=669240 CPUtime=3509.71 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1107420 0 0 0 350821 150 0 0 20 0 3 0 4455963 783286272 168559 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=674212 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 198 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 168559 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3510.35 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 674236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/253 32798
/proc/meminfo: memFree=119786396/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=678820 CPUtime=3570.12 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1140855 0 0 0 356842 170 0 0 20 0 3 0 4455935 783286272 169705 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169705 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=669240 CPUtime=3569.47 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1123048 0 0 0 356794 153 0 0 20 0 3 0 4455963 783286272 169705 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=12036 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169705 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 678820 KiB

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

# cumulated CPU time of all completed processes:  user=3584.59 s, system=1.74249 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.09 6/253 32798
/proc/meminfo: memFree=119786360/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=678820 CPUtime=3571.84 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1140989 0 0 0 357013 171 0 0 20 0 3 0 4455935 783286272 169705 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169705 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=-7020104135748969084 CPUtime=3571.18 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1123175 0 0 0 356965 153 0 0 20 0 3 0 4455963 783286272 169705 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=4715715883094929052 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169705 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 678820 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.09 5/253 32800
/proc/meminfo: memFree=119786208/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=678836 CPUtime=3578.2 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1141225 0 0 0 357649 171 0 0 20 0 3 0 4455935 783286272 169709 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169709 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=678820 CPUtime=3577.55 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1123411 0 0 0 357601 154 0 0 20 0 3 0 4455963 783286272 169709 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=-7092161729786898041 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169709 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3578.2 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 678836 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32800
/proc/meminfo: memFree=119786232/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=678836 CPUtime=3581.38 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1141283 0 0 0 357967 171 0 0 20 0 3 0 4455935 783286272 169709 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169709 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=678836 CPUtime=3580.73 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1123469 0 0 0 357919 154 0 0 20 0 3 0 4455963 783286272 169709 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=678836 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169709 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3581.38 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 678836 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119785188/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=679764 CPUtime=3584.57 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1141658 0 0 0 358286 171 0 0 20 0 3 0 4455935 783286272 169941 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169941 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=678752 CPUtime=3583.92 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1123844 0 0 0 358238 154 0 0 20 0 3 0 4455963 783286272 169941 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=14824 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169941 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3584.57 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 679764 KiB

[startup+3597.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119785168/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=679764 CPUtime=3585.37 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1141672 0 0 0 358366 171 0 0 20 0 3 0 4455935 783286272 169941 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169941 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=357246 CPUtime=3584.72 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1123858 0 0 0 358318 154 0 0 20 0 3 0 4455963 783286272 169941 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=15860 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169941 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 679764 KiB

[startup+3598 s]*
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119784848/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=679780 CPUtime=3585.78 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1142588 0 0 0 358407 171 0 0 20 0 3 0 4455935 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169945 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=4736 CPUtime=3585.13 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1124773 0 0 0 358359 154 0 0 20 0 3 0 4455963 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=592444 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 679780 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119784848/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=679780 CPUtime=3586.16 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1154339 0 0 0 358444 172 0 0 20 0 3 0 4455935 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169945 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=679764 CPUtime=3585.51 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1136524 0 0 0 358396 155 0 0 20 0 3 0 4455963 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=2688 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 679780 KiB

[startup+3598.5 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119784848/131655788 swapFree=131071996/131071996
[pid=30876] ppid=30870 vsize=764928 memory=679780 CPUtime=3586.26 cores=0,2
/proc/30876/stat : 30876 (fscip) S 30870 30876 30817 0 -1 1077936128 1155065 0 0 0 358454 172 0 0 20 0 3 0 4455935 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
/proc/30876/statm: 191232 169945 3366 3035 0 175381 0
[pid=30876/tid=30901] ppid=30870 vsize=764928 memory=12036 CPUtime=3585.61 cores=0,2
/proc/30876/task/30901/stat : 30901 (fscip) R 30870 30876 30817 0 -1 4194368 1137250 0 0 0 358406 155 0 0 20 0 3 0 4455963 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
[pid=30876/tid=30907] ppid=30870 vsize=764928 memory=679764 CPUtime=0.05 cores=0,2
/proc/30876/task/30907/stat : 30907 (fscip) S 30870 30876 30817 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4455966 783286272 169945 134679101440 4194304 16623229 140736367705520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54767616 140736367711254 140736367711370 140736367711370 140736367718384 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 764928 KiB
Current children cumulated memory: 679780 KiB

Child status: 0

Real time (s): 3598.56
CPU time (s): 3586.33
CPU user time (s): 3584.59
CPU system time (s): 1.74249
CPU usage (%): 99.6603
Max. virtual memory (cumulated for all children) (KiB): 764928
Max. memory (cumulated for all children) (KiB): 687744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.59
system time used= 1.74249
maximum resident set size= 687744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1155629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10540
involuntary context switches= 24559


# summary of solver processes directly reported to runsolver:
#   pid: 30876
#   total CPU time (s): 3586.33
#   total CPU user time (s): 3584.59
#   total CPU system time (s): 1.74249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.301 second user time and 37.3876 second system time

The end

Launcher Data

Begin job on nodeC006 at 2024-07-31 00:29:54
IDJOB=4463913
IDBENCH=146743
IDSOLVER=3092
FILE ID=nodeC006/4463913-1722378594
RUNJOBID= nodeC006-1722378594-30827
SLURM_JOB_ID= 8249836
Free space on /tmp= 723784 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463913-1722378594/watcher-4463913-1722378594 -o /tmp/evaluation-result-4463913-1722378594/solver-4463913-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30827 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463913-1722378594.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=1497379858

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122245576 kB
MemAvailable:   129913320 kB
Buffers:           89872 kB
Cached:          8347592 kB
SwapCached:            0 kB
Active:           258508 kB
Inactive:        8576076 kB
Active(anon):       1304 kB
Inactive(anon):   417456 kB
Active(file):     257204 kB
Inactive(file):  8158620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114000 kB
Writeback:             4 kB
AnonPages:        397008 kB
Mapped:            87984 kB
Shmem:             21320 kB
KReclaimable:     184240 kB
Slab:             271144 kB
SReclaimable:     184240 kB
SUnreclaim:        86904 kB
KernelStack:        3744 kB
PageTables:         9668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     743956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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:      232264 kB
DirectMap2M:    16449536 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC006 at 2024-07-31 01:29:53