Trace number 4463915

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-30SAT438304 3586.51 3598.33

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-seymour1.opb
MD5SUM0695af47158b7a843c4563178a14696e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark424072
Best CPU time to get the best result obtained on this benchmark72001
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10582
Total number of constraints5865
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198
Number of terms in the objective function 10582
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2347111
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2347111
Number of bits of the biggest sum of numbers22
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.31/0.38	c Default LC presolving (default).
0.31/0.38	c ** Before presolving: virtualMemUsedAtLc = 99510258, getVmSize() = 95920128, SCIPgetMemUsed() = 57257781, SCIPgetMemTotal() = 73413645, SCIPgetMemExternEstim() = 26096613
0.31/0.38	c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
2.78/2.82	c ** Estimated virtualMemUsedAtSolver = 220955272, getVmSize() = 333209600, SCIPgetMemUsed() = 208112928, SCIPgetMemTotal() = 305336296, SCIPgetMemExternEstim() = 26096613
2.78/2.82	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.78/2.82	c Original Problem   :
2.78/2.82	c   Problem name     : instance-4463915-1722378594
2.78/2.82	c   Variables        : 10582 (10582 binary, 0 integer, 0 implicit integer, 0 continuous)
2.78/2.82	c   Constraints      : 5865
2.78/2.82	c   Objective sense  : minimize
2.78/2.82	c Presolved Problem  :
2.78/2.82	c   Variables        : 9804 (9804 binary, 0 integer, 0 implicit integer, 0 continuous)
2.78/2.82	c   Constraints      : 13341
2.78/2.82	c Constraints        : Number
2.78/2.82	c   knapsack         : 4183 
2.78/2.82	c   setppc           : 8867 
2.78/2.82	c   logicor          : 291 
2.78/2.82	c ** Instance transfer method used: 0
2.78/2.89	c ** ParaScipInstance copy does not increase the number of variables. **
2.98/3.04	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.98/3.05	c                                Nodes    Active                                            
2.98/3.05	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
6.96/7.09	c *       7              0           1         1     1159334.0000                -          -
6.96/7.09	c         7              0           1         1     1159334.0000                -          -
7.06/7.19	c *       7              0           1         1      997464.0000                -          -
7.25/7.31	c *       7              0           1         1      518144.0000                -          -
82.04/82.38	c *      82              0           1         1      465532.0000                -          -
82.04/82.38	c        82              0           1         1      465532.0000                -          -
104.88/105.24	c *     105              0           1         1      446035.0000                -          -
104.88/105.24	c       105              0           1         1      446035.0000                -          -
104.99/105.37	c *     105              0           1         1      445295.0000                -          -
105.09/105.40	c *     105              0           1         1      443853.0000                -          -
116.05/116.46	c       116              2           1         1      443853.0000      416140.9102      6.66%
125.82/126.28	c       126              4           3         1      443853.0000      416489.3303      6.57%
132.11/132.56	c       133              5           4         1      443853.0000      416489.3303      6.57%
140.28/140.71	c       141              7           6         1      443853.0000      416904.7745      6.46%
149.25/149.76	c       150              9           8         1      443853.0000      416904.7745      6.46%
155.93/156.49	c       156             12          11         1      443853.0000      416904.7745      6.46%
161.53/162.11	c       162             14          13         1      443853.0000      416904.7745      6.46%
167.80/168.31	c       168             18          17         1      443853.0000      416904.7745      6.46%
174.28/174.84	c       175             21          20         1      443853.0000      416909.7543      6.46%
180.57/181.18	c       181             25          24         1      443853.0000      416909.7543      6.46%
186.46/187.01	c       187             28          27         1      443853.0000      416909.7543      6.46%
191.92/192.53	c       193             32          31         1      443853.0000      416909.7543      6.46%
197.90/198.50	c       198             36          35         1      443853.0000      416909.7543      6.46%
204.09/204.75	c       205             39          38         1      443853.0000      416909.7543      6.46%
209.77/210.47	c       210             43          42         1      443853.0000      417164.9965      6.40%
215.37/216.08	c       216             48          47         1      443853.0000      417164.9965      6.40%
220.45/221.15	c       221             52          51         1      443853.0000      417164.9965      6.40%
226.03/226.78	c       227             57          56         1      443853.0000      417164.9965      6.40%
231.12/231.87	c       232             59          58         1      443853.0000      417164.9965      6.40%
237.41/238.19	c       238             67          66         1      443853.0000      417164.9965      6.40%
240.09/240.89	c *     241             68          67         1      442029.0000      417164.9965      5.96%
240.19/240.96	c *     241             68          67         1      440113.0000      417164.9965      5.50%
240.19/240.98	c *     241             68          67         1      439985.0000      417164.9965      5.47%
240.31/241.03	c *     241             69          68         1      439728.0000      417164.9965      5.41%
244.79/245.56	c       246             74          73         1      439728.0000      417164.9965      5.41%
254.06/254.81	c       255             80          79         1      439728.0000      417164.9965      5.41%
262.74/263.50	c       263             83          82         1      439728.0000      417164.9965      5.41%
268.12/268.91	c       269             86          85         1      439728.0000      417164.9965      5.41%
273.70/274.53	c       275             94          93         1      439728.0000      417164.9965      5.41%
288.77/289.68	c       290             96          95         1      439728.0000      417164.9965      5.41%
304.02/304.94	c       305             98          97         1      439728.0000      417164.9965      5.41%
309.22/310.19	c       310            101         100         1      439728.0000      417164.9965      5.41%
315.20/316.17	c       316            108         107         1      439728.0000      417290.5557      5.38%
322.08/323.04	c       323            111         110         1      439728.0000      417290.5557      5.38%
328.44/329.45	c       329            118         117         1      439728.0000      417290.5557      5.38%
336.42/337.45	c       337            125         124         1      439728.0000      417290.5557      5.38%
345.79/346.86	c       347            131         130         1      439728.0000      417290.5557      5.38%
351.47/352.52	c       353            142         141         1      439728.0000      417294.7553      5.38%
357.46/358.51	c       359            148         147         1      439728.0000      417294.7553      5.38%
363.23/364.33	c       364            157         156         1      439728.0000      417294.7553      5.38%
369.32/370.40	c       370            163         162         1      439728.0000      417435.4133      5.34%
377.30/378.41	c       378            167         166         1      439728.0000      417435.4133      5.34%
382.78/383.94	c       384            170         169         1      439728.0000      417435.4133      5.34%
388.16/389.38	c       389            176         175         1      439728.0000      417435.4133      5.34%
398.23/399.42	c       399            182         181         1      439728.0000      417435.4133      5.34%
404.51/405.72	c       406            190         189         1      439728.0000      417435.4133      5.34%
409.81/411.10	c       411            196         195         1      439728.0000      417523.4948      5.32%
415.48/416.76	c       417            205         204         1      439728.0000      417523.4948      5.32%
422.56/423.87	c       424            210         209         1      439728.0000      417523.4948      5.32%
429.34/430.70	c       431            221         220         1      439728.0000      417523.4948      5.32%
435.12/436.48	c       436            231         230         1      439728.0000      417776.2233      5.25%
440.21/441.60	c       442            235         234         1      439728.0000      417776.2233      5.25%
446.49/447.87	c       448            244         243         1      439728.0000      417776.2233      5.25%
451.69/453.06	c       453            252         251         1      439728.0000      417836.2922      5.24%
457.77/459.19	c       459            259         258         1      439728.0000      417836.2922      5.24%
463.94/465.33	c       465            265         264         1      439728.0000      417836.2922      5.24%
470.82/472.23	c       472            269         270         1      439728.0000      417836.2922      5.24%
471.62/473.02	c *     473            269         270         1      439336.0000      417836.2922      5.15%
471.62/473.05	c *     473            269         270         1      439328.0000      417836.2922      5.14%
476.11/477.57	c       478            272         271         1      439328.0000      417836.2922      5.14%
481.89/483.39	c       483            275         274         1      439328.0000      417836.2922      5.14%
487.37/488.80	c       489            282         281         1      439328.0000      417852.7810      5.14%
492.45/493.96	c       494            287         286         1      439328.0000      417852.7810      5.14%
498.34/499.88	c       500            291         290         1      439328.0000      417852.7810      5.14%
503.42/504.96	c       505            295         294         1      439328.0000      417852.7810      5.14%
518.38/520.01	c       520            301         300         1      439328.0000      417852.7810      5.14%
524.66/526.29	c       526            307         306         1      439328.0000      417866.4468      5.14%
531.84/533.49	c       533            310         309         1      439328.0000      417866.4468      5.14%
537.44/539.07	c       539            319         318         1      439328.0000      417866.4468      5.14%
544.30/545.99	c       546            324         323         1      439328.0000      417866.4468      5.14%
560.16/561.89	c       562            332         331         1      439328.0000      417866.4468      5.14%
574.91/576.62	c       577            336         335         1      439328.0000      417866.4468      5.14%
580.10/581.83	c       582            343         342         1      439328.0000      417866.4468      5.14%
607.52/609.32	c       609            348         347         1      439328.0000      417866.4468      5.14%
617.49/619.32	c       619            352         351         1      439328.0000      417866.4468      5.14%
623.88/625.73	c       626            361         360         1      439328.0000      417866.4468      5.14%
629.96/631.89	c       632            365         364         1      439328.0000      417909.5171      5.13%
635.84/637.77	c       638            371         370         1      439328.0000      417909.5171      5.13%
641.02/642.95	c       643            378         377         1      439328.0000      418040.6512      5.09%
646.31/648.23	c       648            380         379         1      439328.0000      418040.6512      5.09%
651.69/653.66	c       654            387         388         1      439328.0000      418040.6512      5.09%
657.57/659.51	c       660            393         392         1      439328.0000      418040.6512      5.09%
670.44/672.47	c       672            399         398         1      439328.0000      418040.6512      5.09%
675.82/677.87	c       678            406         405         1      439328.0000      418040.6512      5.09%
681.12/683.15	c       683            413         412         1      439328.0000      418040.6512      5.09%
688.88/690.97	c       691            414         413         1      439328.0000      418040.6512      5.09%
694.67/696.79	c       697            423         422         1      439328.0000      418040.6512      5.09%
700.37/702.49	c       702            428         427         1      439328.0000      418040.6512      5.09%
707.33/709.41	c       709            434         433         1      439328.0000      418040.6512      5.09%
713.51/715.60	c       716            442         441         1      439328.0000      418040.6512      5.09%
718.80/720.91	c       721            452         451         1      439328.0000      418040.6512      5.09%
725.68/727.81	c       728            454         453         1      439328.0000      418040.6512      5.09%
731.16/733.32	c       733            466         465         1      439328.0000      418040.6512      5.09%
733.15/735.31	c *     735            468         467         1      438304.0000      418040.6512      4.85%
738.14/740.37	c       740            473         472         1      438304.0000      418040.6512      4.85%
743.42/745.61	c       746            485         484         1      438304.0000      418040.6512      4.85%
749.70/751.99	c       752            490         489         1      438304.0000      418040.6512      4.85%
754.80/757.06	c       757            501         500         1      438304.0000      418040.6512      4.85%
762.17/764.43	c       764            503         502         1      438304.0000      418040.6512      4.85%
774.13/776.49	c       776            508         507         1      438304.0000      418040.6512      4.85%
779.83/782.12	c       782            516         515         1      438304.0000      418040.6512      4.85%
786.30/788.69	c       789            518         517         1      438304.0000      418040.6512      4.85%
791.58/793.92	c       794            527         526         1      438304.0000      418040.6512      4.85%
797.06/799.47	c       799            536         535         1      438304.0000      418040.6512      4.85%
802.75/805.14	c       805            541         540         1      438304.0000      418040.6512      4.85%
807.92/810.34	c       810            547         546         1      438304.0000      418040.6512      4.85%
813.31/815.71	c       816            555         554         1      438304.0000      418040.6512      4.85%
819.29/821.78	c       822            565         564         1      438304.0000      418040.6512      4.85%
824.87/827.39	c       827            570         569         1      438304.0000      418040.6512      4.85%
832.95/835.43	c       835            575         574         1      438304.0000      418040.6512      4.85%
838.73/841.22	c       841            580         579         1      438304.0000      418040.6512      4.85%
846.00/848.59	c       849            585         584         1      438304.0000      418040.6512      4.85%
852.08/854.64	c       855            589         588         1      438304.0000      418040.6512      4.85%
857.26/859.80	c       860            596         595         1      438304.0000      418040.6512      4.85%
862.45/865.06	c       865            603         602         1      438304.0000      418095.9084      4.83%
868.43/871.04	c       871            608         607         1      438304.0000      418095.9084      4.83%
874.60/877.22	c       877            614         613         1      438304.0000      418140.8965      4.82%
880.28/882.92	c       883            622         621         1      438304.0000      418144.6615      4.82%
886.06/888.73	c       889            629         628         1      438304.0000      418144.6615      4.82%
891.84/894.56	c       895            636         635         1      438304.0000      418144.6615      4.82%
901.00/903.70	c       904            643         642         1      438304.0000      418144.6615      4.82%
910.86/913.63	c       914            649         648         1      438304.0000      418144.6615      4.82%
916.36/919.13	c       919            658         657         1      438304.0000      418144.6615      4.82%
923.52/926.38	c       926            665         664         1      438304.0000      418202.5817      4.81%
928.60/931.41	c       931            671         670         1      438304.0000      418202.5817      4.81%
934.48/937.30	c       937            679         678         1      438304.0000      418202.5817      4.81%
939.87/942.73	c       943            688         687         1      438304.0000      418202.5817      4.81%
946.04/948.98	c       949            694         693         1      438304.0000      418227.5250      4.80%
952.62/955.54	c       956            701         700         1      438304.0000      418227.5250      4.80%
957.70/960.69	c       961            708         707         1      438304.0000      418227.5250      4.80%
963.09/966.05	c       966            714         715         1      438304.0000      418227.5250      4.80%
968.95/971.93	c       972            722         721         1      438304.0000      418227.5250      4.80%
975.43/978.49	c       978            730         729         1      438304.0000      418227.5250      4.80%
980.51/983.51	c       984            734         733         1      438304.0000      418279.1235      4.79%
985.89/988.90	c       989            740         739         1      438304.0000      418279.1235      4.79%
991.28/994.33	c       994            749         748         1      438304.0000      418279.1235      4.79%
997.15/1000.20	c      1000            757         756         1      438304.0000      418279.1235      4.79%
1004.13/1007.24	c      1007            765         764         1      438304.0000      418279.1235      4.79%
1010.02/1013.19	c      1013            772         771         1      438304.0000      418279.1235      4.79%
1024.46/1027.63	c      1028            777         776         1      438304.0000      418279.1235      4.79%
1029.44/1032.66	c      1033            783         782         1      438304.0000      418279.1235      4.79%
1034.93/1038.18	c      1038            792         791         1      438304.0000      418279.1235      4.79%
1040.80/1044.01	c      1044            801         800         1      438304.0000      418279.1235      4.79%
1046.27/1049.54	c      1050            811         812         1      438304.0000      418279.1235      4.79%
1051.45/1054.77	c      1055            820         819         1      438304.0000      418279.1235      4.79%
1057.23/1060.51	c      1061            832         831         1      438304.0000      418279.1235      4.79%
1072.17/1075.53	c      1076            838         837         1      438304.0000      418279.1235      4.79%
1077.67/1081.06	c      1081            850         849         1      438304.0000      418279.1235      4.79%
1083.93/1087.31	c      1087            863         862         1      438304.0000      418279.1235      4.79%
1089.72/1093.17	c      1093            871         870         1      438304.0000      418279.1235      4.79%
1094.99/1098.46	c      1098            882         881         1      438304.0000      418279.1235      4.79%
1101.17/1104.63	c      1105            896         895         1      438304.0000      418279.1235      4.79%
1107.15/1110.60	c      1111            914         913         1      438304.0000      418279.1235      4.79%
1112.33/1115.85	c      1116            927         926         1      438304.0000      418279.1235      4.79%
1118.52/1122.03	c      1122            942         941         1      438304.0000      418279.1235      4.79%
1123.69/1127.22	c      1127            956         955         1      438304.0000      418279.1235      4.79%
1129.17/1132.79	c      1133            967         966         1      438304.0000      418279.1235      4.79%
1134.56/1138.12	c      1138            978         977         1      438304.0000      418279.1235      4.79%
1139.73/1143.32	c      1143            991         990         1      438304.0000      418279.1235      4.79%
1145.61/1149.28	c      1149           1009        1008         1      438304.0000      418279.1235      4.79%
1151.69/1155.37	c      1155           1025        1024         1      438304.0000      418279.1235      4.79%
1157.97/1161.69	c      1162           1041        1040         1      438304.0000      418279.1235      4.79%
1791.51/1797.51	c      1798           1050           0         1      438304.0000      418279.1235      4.79%
1818.20/1824.38	c      1824           1051           1         1      438304.0000      418279.1235      4.79%
1826.98/1833.16	c      1833           1053           3         1      438304.0000      418279.1235      4.79%
1835.43/1841.60	c      1842           1055           5         1      438304.0000      418279.1235      4.79%
1844.49/1850.74	c      1851           1057           7         1      438304.0000      418279.1235      4.79%
1851.37/1857.65	c      1858           1059           9         1      438304.0000      418279.1235      4.79%
1860.64/1867.01	c      1867           1060          10         1      438304.0000      418279.1235      4.79%
1870.71/1877.01	c      1877           1061          11         1      438304.0000      418279.1235      4.79%
1883.36/1889.76	c      1890           1063          13         1      438304.0000      418279.1235      4.79%
1897.02/1903.46	c      1903           1064          14         1      438304.0000      418279.1235      4.79%
1908.70/1915.19	c      1915           1065          15         1      438304.0000      418279.1235      4.79%
1949.07/1955.66	c      1956           1066          16         1      438304.0000      418279.1235      4.79%
1956.04/1962.63	c      1963           1068          18         1      438304.0000      418279.1235      4.79%
1986.25/1992.95	c      1993           1069          19         1      438304.0000      418279.1235      4.79%
2049.72/2056.65	c      2057           1071          21         1      438304.0000      418279.1235      4.79%
2055.81/2062.73	c      2063           1072          22         1      438304.0000      418279.1235      4.79%
2078.22/2085.20	c      2085           1073          23         1      438304.0000      418279.1235      4.79%
2086.29/2093.39	c      2093           1074          24         1      438304.0000      418279.1235      4.79%
2135.10/2142.32	c      2142           1075          25         1      438304.0000      418279.1235      4.79%
2143.67/2150.91	c      2151           1076          26         1      438304.0000      418279.1235      4.79%
2165.18/2172.60	c      2173           1077          27         1      438304.0000      418279.1235      4.79%
2173.35/2180.73	c      2181           1079          29         1      438304.0000      418279.1235      4.79%
2188.08/2195.50	c      2196           1081          31         1      438304.0000      418279.1235      4.79%
2198.55/2206.04	c      2206           1082          32         1      438304.0000      418279.1235      4.79%
2209.90/2217.41	c      2217           1084          34         1      438304.0000      418279.1235      4.79%
2221.67/2229.22	c      2229           1086          36         1      438304.0000      418279.1235      4.79%
2229.24/2236.84	c      2237           1088          38         1      438304.0000      418279.1235      4.79%
2243.09/2250.77	c      2251           1090          40         1      438304.0000      418279.1235      4.79%
2248.38/2256.10	c      2256           1091          41         1      438304.0000      418279.1235      4.79%
2256.84/2264.57	c      2265           1093          43         1      438304.0000      418279.1235      4.79%
2271.40/2279.11	c      2279           1094          44         1      438304.0000      418279.1235      4.79%
2286.04/2293.83	c      2294           1095          45         1      438304.0000      418279.1235      4.79%
2292.11/2300.01	c      2300           1096          46         1      438304.0000      418279.1235      4.79%
2297.79/2305.64	c      2306           1097          47         1      438304.0000      418279.1235      4.79%
2303.28/2311.17	c      2311           1098          48         1      438304.0000      418279.1235      4.79%
2312.83/2320.76	c      2321           1099          49         1      438304.0000      418279.1235      4.79%
2329.96/2337.95	c      2338           1101          51         1      438304.0000      418279.1235      4.79%
2343.81/2351.81	c      2352           1102          52         1      438304.0000      418279.1235      4.79%
2389.04/2397.26	c      2397           1103          53         1      438304.0000      418279.1235      4.79%
2398.02/2406.26	c      2406           1104          54         1      438304.0000      418279.1235      4.79%
2407.79/2416.01	c      2416           1105          55         1      438304.0000      418279.1235      4.79%
2416.75/2425.01	c      2425           1108          58         1      438304.0000      418279.1235      4.79%
2436.80/2445.18	c      2445           1109          59         1      438304.0000      418279.1235      4.79%
2442.47/2450.83	c      2451           1110          60         1      438304.0000      418279.1235      4.79%
2455.04/2463.41	c      2463           1113          63         1      438304.0000      418279.1235      4.79%
2464.92/2473.33	c      2473           1115          65         1      438304.0000      418279.1235      4.79%
2477.18/2485.63	c      2486           1118          68         1      438304.0000      418279.1235      4.79%
2487.66/2496.19	c      2496           1120          70         1      438304.0000      418279.1235      4.79%
2503.52/2512.03	c      2512           1121          71         1      438304.0000      418279.1235      4.79%
2515.87/2524.43	c      2524           1122          72         1      438304.0000      418279.1235      4.79%
2524.25/2532.86	c      2533           1124          74         1      438304.0000      418279.1235      4.79%
2537.21/2545.89	c      2546           1125          75         1      438304.0000      418279.1235      4.79%
2560.65/2569.35	c      2569           1126          76         1      438304.0000      418279.1235      4.79%
2574.62/2583.33	c      2583           1127          77         1      438304.0000      418279.1235      4.79%
2581.99/2590.73	c      2591           1128          78         1      438304.0000      418279.1235      4.79%
2589.97/2598.74	c      2599           1129          79         1      438304.0000      418279.1235      4.79%
2595.16/2603.94	c      2604           1131          81         1      438304.0000      418279.1235      4.79%
2609.33/2618.14	c      2618           1133          83         1      438304.0000      418279.1235      4.79%
2629.47/2638.40	c      2638           1134          84         1      438304.0000      418279.1235      4.79%
2640.34/2649.20	c      2649           1136          86         1      438304.0000      418279.1235      4.79%
2651.81/2660.72	c      2661           1137          87         1      438304.0000      418279.1235      4.79%
2662.98/2671.96	c      2672           1138          88         1      438304.0000      418279.1235      4.79%
2691.01/2700.06	c      2700           1139          89         1      438304.0000      418279.1235      4.79%
2708.46/2717.54	c      2718           1140          90         1      438304.0000      418279.1235      4.79%
2724.42/2733.53	c      2734           1141          91         1      438304.0000      418279.1235      4.79%
2733.90/2743.07	c      2743           1142          92         1      438304.0000      418279.1235      4.79%
2738.99/2748.14	c      2748           1143          93         1      438304.0000      418279.1235      4.79%
2747.56/2756.78	c      2757           1144          94         1      438304.0000      418279.1235      4.79%
2758.23/2767.45	c      2767           1146          96         1      438304.0000      418279.1235      4.79%
2769.10/2778.31	c      2778           1147          97         1      438304.0000      418279.1235      4.79%
2781.77/2791.01	c      2791           1148          98         1      438304.0000      418279.1235      4.79%
2797.83/2807.11	c      2807           1149          99         1      438304.0000      418279.1235      4.79%
2817.86/2827.24	c      2827           1150         100         1      438304.0000      418279.1235      4.79%
2830.53/2840.01	c      2840           1151         101         1      438304.0000      418279.1235      4.79%
2839.61/2849.06	c      2849           1152         102         1      438304.0000      418279.1235      4.79%
2846.18/2855.68	c      2856           1153         103         1      438304.0000      418279.1235      4.79%
2857.85/2867.39	c      2867           1155         105         1      438304.0000      418279.1235      4.79%
2864.73/2874.22	c      2874           1156         106         1      438304.0000      418279.1235      4.79%
2890.47/2900.06	c      2900           1157         107         1      438304.0000      418279.1235      4.79%
2904.73/2914.37	c      2914           1158         108         1      438304.0000      418279.1235      4.79%
2919.19/2928.84	c      2929           1159         109         1      438304.0000      418279.1235      4.79%
2927.66/2937.33	c      2937           1160         110         1      438304.0000      418279.1235      4.79%
2932.65/2942.34	c      2942           1161         111         1      438304.0000      418279.1235      4.79%
2944.33/2954.04	c      2954           1162         112         1      438304.0000      418279.1235      4.79%
2954.89/2964.64	c      2965           1163         113         1      438304.0000      418279.1235      4.79%
2965.28/2975.10	c      2975           1164         114         1      438304.0000      418279.1235      4.79%
2971.96/2981.76	c      2982           1165         115         1      438304.0000      418279.1235      4.79%
2980.13/2989.97	c      2990           1166         116         1      438304.0000      418279.1235      4.79%
3011.35/3021.26	c      3021           1167         117         1      438304.0000      418279.1235      4.79%
3028.90/3038.86	c      3039           1168         118         1      438304.0000      418279.1235      4.79%
3041.07/3051.06	c      3051           1169         119         1      438304.0000      418279.1235      4.79%
3057.22/3067.29	c      3067           1171         121         1      438304.0000      418279.1235      4.79%
3070.00/3080.04	c      3080           1172         122         1      438304.0000      418279.1235      4.79%
3076.58/3086.66	c      3087           1174         124         1      438304.0000      418279.1235      4.79%
3088.75/3098.83	c      3099           1175         125         1      438304.0000      418279.1235      4.79%
3103.80/3113.97	c      3114           1176         126         1      438304.0000      418279.1235      4.79%
3110.90/3121.08	c      3121           1177         127         1      438304.0000      418279.1235      4.79%
3125.15/3135.33	c      3135           1178         128         1      438304.0000      418279.1235      4.79%
3142.10/3152.37	c      3152           1179         129         1      438304.0000      418279.1235      4.79%
3156.36/3166.63	c      3167           1180         130         1      438304.0000      418279.1235      4.79%
3165.84/3176.17	c      3176           1181         131         1      438304.0000      418279.1235      4.79%
3183.96/3194.39	c      3194           1182         132         1      438304.0000      418279.1235      4.79%
3195.52/3205.98	c      3206           1183         133         1      438304.0000      418279.1235      4.79%
3217.25/3227.79	c      3228           1185         135         1      438304.0000      418279.1235      4.79%
3230.62/3241.19	c      3241           1186         136         1      438304.0000      418279.1235      4.79%
3244.47/3255.01	c      3255           1187         137         1      438304.0000      418279.1235      4.79%
3255.71/3266.34	c      3266           1188         138         1      438304.0000      418279.1235      4.79%
3265.27/3275.90	c      3276           1189         139         1      438304.0000      418279.1235      4.79%
3279.43/3290.15	c      3290           1190         140         1      438304.0000      418279.1235      4.79%
3290.08/3300.87	c      3301           1191         141         1      438304.0000      418279.1235      4.79%
3303.83/3314.66	c      3315           1192         142         1      438304.0000      418279.1235      4.79%
3313.90/3324.77	c      3325           1193         143         1      438304.0000      418279.1235      4.79%
3331.03/3341.99	c      3342           1194         144         1      438304.0000      418279.1235      4.79%
3349.46/3360.41	c      3360           1195         145         1      438304.0000      418279.1235      4.79%
3358.24/3369.26	c      3369           1197         147         1      438304.0000      418279.1235      4.79%
3378.86/3389.93	c      3390           1198         148         1      438304.0000      418279.1235      4.79%
3387.73/3398.87	c      3399           1199         149         1      438304.0000      418279.1235      4.79%
3400.78/3411.95	c      3412           1200         150         1      438304.0000      418279.1235      4.79%
3417.02/3428.27	c      3428           1201         151         1      438304.0000      418279.1235      4.79%
3433.66/3444.96	c      3445           1203         153         1      438304.0000      418279.1235      4.79%
3444.21/3455.57	c      3456           1204         154         1      438304.0000      418279.1235      4.79%
3456.27/3467.68	c      3468           1205         155         1      438304.0000      418279.1235      4.79%
3472.72/3484.18	c      3484           1206         156         1      438304.0000      418279.1235      4.79%
3492.14/3503.60	c      3504           1207         157         1      438304.0000      418279.1235      4.79%
3500.20/3511.80	c      3512           1208         158         1      438304.0000      418279.1235      4.79%
3518.44/3530.02	c      3530           1210         160         1      438304.0000      418279.1235      4.79%
3529.29/3540.99	c      3541           1211         161         1      438304.0000      418279.1235      4.79%
3538.25/3549.97	c      3550           1212         162         1      438304.0000      418279.1235      4.79%
3561.16/3573.01	c      3573           1213         163         1      438304.0000      418279.1235      4.79%
3576.41/3588.22	c      3588           1214         164         1      438304.0000      418279.1235      4.79%
3583.19/3595.10	c      3595           1215         165         1      438304.0000      418279.1235      4.79%
3586.28/3598.16	c SCIP Status        : c solving was interrupted [hard time limit reached]
3586.28/3598.16	c Total Time         : 3598.16
3586.28/3598.16	c   solving          : 3598.16
3586.28/3598.16	c   presolving       : 2.44 (included in solving)
3586.28/3598.16	c B&B Tree           :
3586.28/3598.16	c   nodes (total)    : 1
3586.28/3598.16	c Solution           :
3586.28/3598.16	c   Solutions found  : 14
3586.28/3598.16	c   Primal Bound     : +4.38304000000000e+05
3586.28/3598.16	c   Dual Bound       : +4.18279123541079e+05
3586.28/3598.16	c Gap                : 4.78744 %
3586.28/3598.16	c * Warning: final gap: 4.78744e-02 is greater than SCIPepsilon: 1.00000e-09
3586.28/3598.18	o 438304
3586.28/3598.18	s SATISFIABLE
3586.28/3598.18	v -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 
3586.28/3598.18	v -x4117 -x4116 -x4115 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 
3586.28/3598.18	v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 
3586.28/3598.18	v -x4081 x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 x4069 -x4068 -x4067 -x4066 -x4065 -x4064 
3586.28/3598.18	v -x4063 -x4062 -x4061 -x4060 -x4059 x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 x4047 -x4046 -x4045 
3586.28/3598.18	v -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 
3586.28/3598.18	v -x4027 -x4026 x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 
3586.28/3598.18	v -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 
3586.28/3598.18	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 
3586.28/3598.18	v -x3972 -x3971 -x3970 x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 
3586.28/3598.18	v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 
3586.28/3598.18	v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 
3586.28/3598.18	v -x3918 -x3917 -x3916 -x3915 x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 
3586.28/3598.18	v -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 
3586.28/3598.18	v -x3881 x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 
3586.28/3598.18	v -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 
3586.28/3598.18	v -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 
3586.28/3598.18	v -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 
3586.28/3598.18	v -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 
3586.28/3598.18	v -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 
3586.28/3598.18	v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 
3586.28/3598.18	v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 
3586.28/3598.18	v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 
3586.28/3598.18	v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 
3586.28/3598.18	v -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 
3586.28/3598.18	v -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3669 -x3668 -x3667 -x3666 -x3665 
3586.28/3598.18	v -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 
3586.28/3598.18	v -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 
3586.28/3598.18	v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 
3586.28/3598.18	v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 
3586.28/3598.18	v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 
3586.28/3598.18	v -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558 -x3557 
3586.28/3598.18	v -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 
3586.28/3598.18	v -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 
3586.28/3598.18	v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 
3586.28/3598.18	v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 x3489 -x3488 -x3487 -x3486 
3586.28/3598.18	v -x3485 -x3484 -x3483 -x3482 -x3481 x3480 x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 x3467 
3586.28/3598.18	v -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 
3586.28/3598.18	v -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 
3586.28/3598.18	v -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 x3413 x3412 
3586.28/3598.18	v x3411 x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
3586.28/3598.18	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 x3381 -x3380 -x3379 -x3378 -x3377 -x3376 
3586.28/3598.18	v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 
3586.28/3598.18	v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
3586.28/3598.18	v -x3339 -x3338 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 
3586.28/3598.18	v -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 
3586.28/3598.18	v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 
3586.28/3598.18	v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 
3586.28/3598.18	v -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 
3586.28/3598.18	v -x3248 x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 
3586.28/3598.18	v -x3230 -x3229 -x3228 -x3227 -x3226 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 x3213 -x3212 
3586.28/3598.18	v -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 
3586.28/3598.18	v -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 
3586.28/3598.18	v -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 
3586.28/3598.18	v -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 
3586.28/3598.18	v -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 
3586.28/3598.18	v -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 
3586.28/3598.18	v -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 x3091 -x3090 -x3089 -x3088 -x3087 -x3086 
3586.28/3598.18	v -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 
3586.28/3598.18	v -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 
3586.28/3598.18	v -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 
3586.28/3598.18	v -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 
3586.28/3598.18	v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 
3586.28/3598.18	v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 
3586.28/3598.18	v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 
3586.28/3598.18	v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 
3586.28/3598.18	v -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 
3586.28/3598.18	v -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 
3586.28/3598.18	v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2891 -x2890 -x2889 -x2888 -x2887 
3586.28/3598.18	v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 
3586.28/3598.18	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 
3586.28/3598.18	v -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 
3586.28/3598.18	v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
3586.28/3598.18	v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 
3586.28/3598.18	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2780 -x2779 
3586.28/3598.18	v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 
3586.28/3598.18	v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 
3586.28/3598.18	v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 x2725 
3586.28/3598.18	v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 
3586.28/3598.18	v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 
3586.28/3598.18	v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 
3586.28/3598.18	v -x2671 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 
3586.28/3598.18	v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 
3586.28/3598.18	v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 
3586.28/3598.18	v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 x2603 -x2602 -x2601 -x2600 -x2599 
3586.28/3598.18	v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 
3586.28/3598.18	v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 
3586.28/3598.18	v -x2562 -x2561 -x2560 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
3586.28/3598.18	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 
3586.28/3598.18	v x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 
3586.28/3598.18	v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 
3586.28/3598.18	v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
3586.28/3598.18	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 x2459 -x2458 -x2457 -x2456 -x2455 
3586.28/3598.18	v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 
3586.28/3598.18	v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 
3586.28/3598.18	v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 
3586.28/3598.18	v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 
3586.28/3598.18	v -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 
3586.28/3598.18	v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 
3586.28/3598.18	v -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
3586.28/3598.18	v -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 
3586.28/3598.18	v -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 
3586.28/3598.18	v -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 
3586.28/3598.18	v -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 x2259 -x2258 -x2257 -x2256 
3586.28/3598.18	v -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 
3586.28/3598.18	v x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 
3586.28/3598.18	v -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 
3586.28/3598.18	v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 
3586.28/3598.18	v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 
3586.28/3598.18	v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 
3586.28/3598.18	v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 
3586.28/3598.18	v -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2113 -x2112 -x2111 -x2110 
3586.28/3598.18	v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 
3586.28/3598.18	v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 
3586.28/3598.18	v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 x2058 -x2057 -x2056 
3586.28/3598.18	v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 
3586.28/3598.18	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 
3586.28/3598.18	v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2002 -x2001 
3586.28/3598.18	v -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 
3586.28/3598.18	v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 
3586.28/3598.18	v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 
3586.28/3598.18	v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 
3586.28/3598.18	v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 
3586.28/3598.18	v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 
3586.28/3598.18	v -x1893 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 
3586.28/3598.18	v -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 
3586.28/3598.18	v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 
3586.28/3598.18	v -x1839 -x1838 -x1837 x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 -x1822 
3586.28/3598.18	v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 
3586.28/3598.18	v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 
3586.28/3598.18	v -x1785 -x1784 -x1783 -x1782 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 
3586.28/3598.18	v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 
3586.28/3598.18	v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 
3586.28/3598.18	v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 
3586.28/3598.18	v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 
3586.28/3598.18	v -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 
3586.28/3598.18	v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 
3586.28/3598.18	v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 
3586.28/3598.18	v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 
3586.28/3598.18	v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 
3586.28/3598.18	v -x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 
3586.28/3598.18	v -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 
3586.28/3598.18	v -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 
3586.28/3598.18	v -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 
3586.28/3598.18	v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
3586.28/3598.18	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 
3586.28/3598.18	v -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 -x1480 -x1479 -x1478 
3586.28/3598.18	v -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
3586.28/3598.18	v x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 
3586.28/3598.18	v -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 
3586.28/3598.18	v -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 
3586.28/3598.18	v -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 
3586.28/3598.18	v -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 
3586.28/3598.18	v -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 
3586.28/3598.18	v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1336 -x1335 -x1334 -x1333 
3586.28/3598.18	v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 
3586.28/3598.18	v -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 
3586.28/3598.18	v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 
3586.28/3598.18	v -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 
3586.28/3598.18	v -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 
3586.28/3598.18	v -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1225 
3586.28/3598.18	v -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 
3586.28/3598.18	v -x1206 -x1205 -x1204 -x1203 x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 
3586.28/3598.18	v -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 
3586.28/3598.18	v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 
3586.28/3598.18	v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 
3586.28/3598.18	v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 
3586.28/3598.18	v -x1116 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 
3586.28/3598.18	v -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 -x1079 
3586.28/3598.18	v -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 
3586.28/3598.18	v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 
3586.28/3598.18	v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 
3586.28/3598.18	v x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 
3586.28/3598.18	v -x1007 -x1006 -x1005 -x1004 -x1002 x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 
3586.28/3598.18	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 
3586.28/3598.18	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
3586.28/3598.18	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 
3586.28/3598.18	v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 
3586.28/3598.18	v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 
3586.28/3598.18	v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 
3586.28/3598.18	v -x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 
3586.28/3598.18	v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 
3586.28/3598.18	v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 
3586.28/3598.18	v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x780 -x779 -x778 -x777 -x776 
3586.28/3598.18	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 
3586.28/3598.18	v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 
3586.28/3598.18	v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 
3586.28/3598.18	v -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 
3586.28/3598.18	v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 
3586.28/3598.18	v -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 
3586.28/3598.18	v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 
3586.28/3598.18	v -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 
3586.28/3598.18	v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 
3586.28/3598.18	v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 
3586.28/3598.18	v -x565 -x564 -x563 -x562 -x561 -x560 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 
3586.28/3598.18	v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 
3586.28/3598.18	v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
3586.28/3598.18	v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 x490 x489 x488 x487 x486 x485 -x484 -x483 -x482 -x481 -x480 
3586.28/3598.18	v -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
3586.28/3598.18	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
3586.28/3598.18	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
3586.28/3598.18	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
3586.28/3598.18	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
3586.28/3598.18	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
3586.28/3598.18	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x336 -x335 -x334 -x333 -x332 
3586.28/3598.18	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 
3586.28/3598.18	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 
3586.28/3598.18	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
3586.28/3598.18	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
3586.28/3598.18	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 
3586.28/3598.18	v -x227 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 
3586.28/3598.18	v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 
3586.28/3598.18	v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 
3586.28/3598.18	v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 
3586.28/3598.18	v -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 
3586.28/3598.18	v -x121 -x120 -x119 -x118 -x117 -x116 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 
3586.28/3598.18	v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 
3586.28/3598.18	v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 
3586.28/3598.18	v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 
3586.28/3598.18	v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x10582 -x10581 -x10580 -x10579 
3586.28/3598.18	v -x10578 -x10577 -x10576 -x10575 -x10574 -x10573 -x10572 -x10571 -x10570 -x10569 -x10568 -x10567 -x10566 -x10565 -x10564 
3586.28/3598.18	v -x10563 -x10562 -x10561 x10560 -x10559 -x10558 -x10557 -x10556 -x10555 -x10554 -x10553 -x10552 -x10551 -x10550 -x10549 -x10548 
3586.28/3598.18	v -x10547 -x10546 -x10545 -x10544 -x10543 -x10542 -x10541 -x10540 -x10539 x10538 -x10537 -x10536 -x10535 -x10534 -x10533 -x10532 
3586.28/3598.18	v -x10531 -x10530 -x10529 -x10528 -x10527 -x10526 -x10525 -x10524 -x10523 -x10522 -x10521 -x10520 -x10519 -x10518 -x10517 x10516 
3586.28/3598.18	v -x10515 -x10514 -x10513 -x10512 -x10511 -x10510 -x10509 -x10508 -x10507 -x10506 -x10505 -x10504 -x10503 -x10502 -x10501 
3586.28/3598.18	v -x10500 -x10499 -x10498 -x10497 -x10496 -x10495 -x10494 -x10493 -x10492 -x10491 -x10490 -x10489 -x10488 -x10487 -x10486 -x10485 
3586.28/3598.18	v -x10484 -x10483 -x10482 -x10481 -x10480 -x10479 -x10478 -x10477 -x10476 -x10475 -x10474 -x10473 -x10471 -x10470 -x10469 -x10468 
3586.28/3598.18	v -x10467 -x10466 x10465 -x10464 -x10463 -x10462 -x10461 -x10460 -x10459 -x10458 -x10457 -x10456 -x10455 -x10454 -x10453 
3586.28/3598.18	v -x10452 -x10451 -x10450 -x10449 -x10448 -x10447 -x10446 -x10445 -x10444 -x10443 -x10442 -x10441 -x10440 -x10439 -x10438 -x10437 
3586.28/3598.18	v -x10436 -x10435 -x10434 -x10433 -x10432 -x10431 -x10430 -x10429 -x10428 x10427 -x10426 -x10425 -x10424 -x10423 -x10422 -x10421 
3586.28/3598.18	v -x10420 -x10419 -x10418 -x10417 -x10416 x10415 x10414 -x10413 x10412 x10411 -x10410 -x10409 -x10408 -x10407 -x10406 -x10405 
3586.28/3598.18	v -x10404 -x10403 -x10402 -x10401 -x10400 -x10399 -x10398 -x10397 -x10396 -x10395 -x10394 -x10393 -x10392 -x10391 -x10390 
3586.28/3598.18	v -x10389 -x10388 -x10387 -x10386 -x10385 -x10384 -x10383 -x10382 -x10381 -x10380 -x10379 -x10378 -x10377 -x10376 -x10375 -x10374 
3586.28/3598.18	v -x10373 -x10372 -x10371 -x10370 -x10369 -x10368 -x10367 -x10366 -x10365 -x10364 -x10363 -x10362 -x10360 -x10359 -x10358 -x10357 
3586.28/3598.18	v -x10356 -x10355 -x10354 -x10353 -x10352 -x10351 -x10350 x10349 -x10348 -x10347 -x10346 -x10345 -x10344 -x10343 -x10342 
3586.28/3598.18	v -x10341 -x10340 -x10339 -x10338 -x10337 -x10336 -x10335 -x10334 -x10333 -x10332 -x10331 -x10330 -x10329 -x10328 x10327 -x10326 
3586.28/3598.18	v -x10325 -x10324 -x10323 -x10322 -x10321 -x10320 -x10319 -x10318 -x10317 -x10316 -x10315 -x10314 -x10313 -x10312 -x10311 -x10310 
3586.28/3598.18	v -x10309 -x10308 -x10307 -x10306 -x10305 -x10304 -x10303 -x10302 -x10301 -x10300 -x10299 -x10298 -x10297 -x10296 -x10295 
3586.28/3598.18	v -x10294 -x10293 -x10292 -x10291 -x10290 -x10289 -x10288 -x10287 -x10286 -x10285 -x10284 -x10283 -x10282 -x10281 -x10280 -x10279 
3586.28/3598.18	v -x10278 -x10277 -x10276 -x10275 -x10274 -x10273 x10272 -x10271 -x10270 -x10269 -x10268 -x10267 -x10266 -x10265 -x10264 -x10263 
3586.28/3598.18	v -x10262 -x10261 -x10260 -x10259 -x10258 -x10257 -x10256 -x10255 -x10254 -x10253 -x10252 -x10251 -x10249 -x10248 -x10247 
3586.28/3598.18	v -x10246 -x10245 -x10244 -x10243 -x10242 -x10241 -x10240 -x10239 -x10238 -x10237 -x10236 -x10235 -x10234 -x10233 -x10232 -x10231 
3586.28/3598.18	v -x10230 -x10229 -x10228 -x10227 -x10226 -x10225 -x10224 -x10223 -x10222 -x10221 -x10220 -x10219 -x10218 -x10217 -x10216 -x10215 
3586.28/3598.18	v -x10214 -x10213 -x10212 -x10211 -x10210 -x10209 -x10208 -x10207 -x10206 -x10205 -x10204 -x10203 -x10202 -x10201 -x10200 
3586.28/3598.18	v -x10199 -x10198 -x10197 -x10196 -x10195 x10194 -x10193 -x10192 -x10191 -x10190 -x10189 -x10188 -x10187 -x10186 -x10185 -x10184 
3586.28/3598.18	v -x10183 -x10182 -x10181 -x10180 -x10179 -x10178 -x10177 -x10176 -x10175 -x10174 -x10173 -x10172 -x10171 -x10170 -x10169 -x10168 
3586.28/3598.18	v -x10167 -x10166 -x10165 -x10164 -x10163 -x10162 x10161 -x10160 -x10159 -x10158 -x10157 -x10156 -x10155 -x10154 -x10153 
3586.28/3598.18	v -x10152 -x10151 -x10150 -x10149 -x10148 -x10147 -x10146 -x10145 -x10144 -x10143 -x10142 -x10141 -x10140 -x10138 -x10137 -x10136 
3586.28/3598.18	v -x10135 -x10134 -x10133 -x10132 -x10131 -x10130 -x10129 -x10128 x10127 -x10126 -x10125 -x10124 -x10123 -x10122 -x10121 -x10120 
3586.28/3598.18	v -x10119 -x10118 -x10117 -x10116 -x10115 -x10114 -x10113 -x10112 -x10111 -x10110 -x10109 -x10108 -x10107 -x10106 -x10105 
3586.28/3598.18	v -x10104 -x10103 -x10102 -x10101 -x10100 -x10099 -x10098 -x10097 -x10096 -x10095 -x10094 -x10093 -x10092 -x10091 -x10090 -x10089 
3586.28/3598.18	v -x10088 -x10087 -x10086 -x10085 -x10084 -x10083 -x10082 -x10081 -x10080 -x10079 -x10078 -x10077 -x10076 -x10075 -x10074 -x10073 
3586.28/3598.18	v -x10072 -x10071 -x10070 -x10069 -x10068 -x10067 -x10066 -x10065 -x10064 -x10063 -x10062 -x10061 -x10060 -x10059 -x10058 
3586.28/3598.18	v -x10057 -x10056 -x10055 -x10054 -x10053 -x10052 -x10051 -x10050 -x10049 -x10048 -x10047 -x10046 -x10045 -x10044 -x10043 -x10042 
3586.28/3598.18	v -x10041 -x10040 -x10039 -x10038 -x10037 -x10036 -x10035 -x10034 -x10033 -x10032 -x10031 -x10030 -x10029 -x10027 -x10026 -x10025 
3586.28/3598.18	v -x10024 -x10023 -x10022 -x10021 -x10020 -x10019 -x10018 -x10017 -x10016 -x10015 -x10014 -x10013 -x10012 -x10011 -x10010 
3586.28/3598.18	v -x10009 -x10008 -x10007 -x10006 -x10005 -x10004 -x10003 -x10002 -x10001 -x10000 -x9999 -x9998 -x9997 -x9996 -x9995 -x9994 -x9993 
3586.28/3598.18	v -x9992 -x9991 -x9990 -x9989 -x9988 -x9987 -x9986 -x9985 -x9984 x9983 -x9982 -x9981 -x9980 -x9979 -x9978 -x9977 -x9976 -x9975 
3586.28/3598.18	v -x9974 -x9973 -x9972 -x9971 -x9970 -x9969 -x9968 -x9967 -x9966 -x9965 -x9964 -x9963 -x9962 -x9961 -x9960 -x9959 -x9958 
3586.28/3598.18	v -x9957 -x9956 -x9955 -x9954 -x9953 -x9952 -x9951 -x9950 -x9949 -x9948 -x9947 -x9946 -x9945 -x9944 -x9943 -x9942 -x9941 -x9940 
3586.28/3598.18	v -x9939 x9938 x9937 x9936 x9935 x9934 x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924 x9923 -x9922 -x9921 
3586.28/3598.18	v -x9920 -x9919 -x9918 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907 -x9906 x9905 -x9904 -x9903 -x9902 
3586.28/3598.18	v -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889 -x9888 -x9887 -x9886 -x9885 -x9884 
3586.28/3598.18	v -x9883 x9882 -x9881 -x9880 -x9879 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870 -x9869 -x9868 -x9867 -x9866 
3586.28/3598.18	v -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852 -x9851 x9850 -x9849 -x9848 
3586.28/3598.18	v -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 x9838 -x9837 -x9836 -x9835 -x9834 -x9833 -x9832 -x9831 -x9830 
3586.28/3598.18	v -x9829 -x9828 x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816 -x9815 -x9814 -x9813 -x9812 
3586.28/3598.18	v -x9811 -x9810 -x9809 -x9808 -x9807 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797 -x9796 -x9795 -x9794 -x9793 
3586.28/3598.18	v -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 x9783 -x9782 -x9781 -x9780 -x9779 -x9778 -x9777 -x9776 -x9775 
3586.28/3598.18	v -x9774 -x9773 x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761 -x9760 -x9759 -x9758 -x9757 
3586.28/3598.18	v -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743 -x9742 -x9741 -x9740 x9739 
3586.28/3598.18	v -x9738 -x9737 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9730 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 
3586.28/3598.18	v -x9720 -x9719 -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 
3586.28/3598.18	v -x9702 -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 
3586.28/3598.18	v -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 
3586.28/3598.18	v -x9666 -x9665 -x9664 -x9663 -x9662 -x9661 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654 -x9653 -x9652 -x9651 -x9650 x9649 
3586.28/3598.18	v -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636 x9635 -x9634 -x9633 -x9632 -x9631 
3586.28/3598.18	v -x9630 -x9629 -x9628 x9627 x9626 x9625 x9624 -x9623 -x9622 -x9621 -x9620 -x9619 -x9618 -x9617 x9616 -x9615 -x9614 -x9613 -x9612 
3586.28/3598.18	v -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 -x9600 -x9599 -x9598 -x9597 -x9596 -x9595 -x9594 
3586.28/3598.18	v -x9593 -x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9585 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577 -x9576 -x9575 
3586.28/3598.18	v -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559 -x9558 -x9557 
3586.28/3598.18	v -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541 -x9540 -x9539 
3586.28/3598.18	v -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523 -x9522 
3586.28/3598.18	v -x9521 -x9520 -x9519 -x9518 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 -x9504 
3586.28/3598.18	v -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487 -x9486 
3586.28/3598.18	v -x9485 x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9471 -x9470 -x9469 -x9468 -x9467 -x9466 
3586.28/3598.18	v -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451 -x9450 x9449 -x9448 
3586.28/3598.18	v -x9447 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 x9435 -x9434 x9433 -x9432 -x9431 -x9430 
3586.28/3598.18	v -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414 -x9413 -x9412 
3586.28/3598.18	v -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 x9398 -x9397 -x9396 -x9395 -x9394 
3586.28/3598.18	v -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 -x9378 -x9377 -x9376 
3586.28/3598.18	v -x9375 -x9374 -x9373 x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9360 -x9359 -x9358 -x9357 
3586.28/3598.18	v -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342 -x9341 -x9340 -x9339 
3586.28/3598.18	v -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324 -x9323 -x9322 -x9321 
3586.28/3598.18	v -x9320 -x9319 -x9318 -x9317 x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306 -x9305 -x9304 -x9303 
3586.28/3598.18	v -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286 -x9285 
3586.28/3598.18	v -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 x9272 -x9271 -x9270 -x9269 -x9268 -x9267 
3586.28/3598.18	v -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252 -x9251 -x9249 
3586.28/3598.18	v x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9234 -x9233 -x9232 -x9231 
3586.28/3598.18	v -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215 -x9214 -x9213 
3586.28/3598.18	v -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197 -x9196 -x9195 
3586.28/3598.18	v -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179 -x9178 -x9177 
3586.28/3598.18	v -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9163 -x9162 -x9161 -x9160 -x9159 
3586.28/3598.18	v -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142 -x9141 
3586.28/3598.18	v -x9140 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125 -x9124 -x9123 -x9122 
3586.28/3598.18	v -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107 -x9106 -x9105 -x9104 
3586.28/3598.18	v -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 x9094 -x9093 -x9092 -x9091 -x9090 -x9089 -x9088 -x9087 -x9086 
3586.28/3598.18	v -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 
3586.28/3598.18	v -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 -x9051 
3586.28/3598.18	v -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033 
3586.28/3598.18	v -x9032 -x9031 -x9030 -x9029 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9021 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 -x9014 
3586.28/3598.18	v -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 -x8996 
3586.28/3598.18	v -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 -x8979 -x8978 
3586.28/3598.18	v -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 x8961 -x8960 
3586.28/3598.18	v -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8950 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943 -x8942 
3586.28/3598.18	v -x8941 -x8940 x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 -x8924 
3586.28/3598.18	v -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 -x8906 
3586.28/3598.18	v x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8890 -x8889 -x8888 
3586.28/3598.18	v -x8887 -x8886 -x8885 -x8884 x8883 -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 
3586.28/3598.18	v -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 
3586.28/3598.18	v -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 
3586.28/3598.18	v -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 -x8816 
3586.28/3598.18	v -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 -x8808 -x8807 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798 -x8797 
3586.28/3598.18	v -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 
3586.28/3598.18	v -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 -x8762 -x8761 
3586.28/3598.18	v -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744 
3586.28/3598.18	v -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 -x8727 -x8726 
3586.28/3598.18	v -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710 -x8709 -x8708 
3586.28/3598.18	v -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8694 -x8693 -x8692 -x8691 -x8690 -x8689 
3586.28/3598.18	v -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673 -x8672 -x8671 
3586.28/3598.18	v -x8670 -x8669 -x8668 -x8667 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8654 -x8653 
3586.28/3598.18	v -x8652 -x8651 x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 x8639 -x8638 -x8637 -x8636 -x8635 
3586.28/3598.18	v -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8618 -x8617 
3586.28/3598.18	v -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 -x8601 -x8600 -x8599 
3586.28/3598.18	v -x8598 -x8597 -x8596 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8583 -x8582 -x8581 
3586.28/3598.18	v -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 -x8564 -x8563 
3586.28/3598.18	v -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 -x8546 -x8545 
3586.28/3598.18	v -x8544 -x8543 -x8542 -x8541 -x8540 x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527 
3586.28/3598.18	v -x8526 -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 
3586.28/3598.18	v -x8508 -x8507 x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 
3586.28/3598.18	v -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8474 x8472 
3586.28/3598.18	v -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 x8461 -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 
3586.28/3598.18	v -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436 
3586.28/3598.18	v -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 
3586.28/3598.18	v -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 
3586.28/3598.18	v -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 
3586.28/3598.18	v -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 
3586.28/3598.18	v -x8363 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 x8349 -x8348 -x8347 -x8346 -x8345 -x8344 
3586.28/3598.18	v -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 x8327 -x8326 
3586.28/3598.18	v -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311 -x8310 -x8309 
3586.28/3598.18	v -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291 
3586.28/3598.18	v -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8273 
3586.28/3598.18	v x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 
3586.28/3598.18	v -x8254 -x8253 -x8252 -x8251 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 
3586.28/3598.18	v -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 
3586.28/3598.18	v -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 x8205 -x8204 -x8203 -x8202 -x8201 -x8200 
3586.28/3598.18	v -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182 
3586.28/3598.18	v -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 
3586.28/3598.18	v -x8163 -x8162 x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 
3586.28/3598.18	v -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 x8127 
3586.28/3598.18	v -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 
3586.28/3598.18	v -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 x8094 -x8093 -x8092 -x8091 
3586.28/3598.18	v -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 
3586.28/3598.18	v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 
3586.28/3598.18	v -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 
3586.28/3598.18	v -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 -x8019 
3586.28/3598.18	v -x8018 -x8017 x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 x8005 -x8004 -x8003 -x8002 -x8001 
3586.28/3598.18	v -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 x7983 
3586.28/3598.18	v -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 
3586.28/3598.18	v -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 
3586.28/3598.18	v -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 
3586.28/3598.18	v -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 
3586.28/3598.18	v -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 x7894 -x7893 -x7892 
3586.28/3598.18	v -x7891 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 
3586.28/3598.18	v -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 
3586.28/3598.18	v -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 
3586.28/3598.18	v -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821 
3586.28/3598.18	v -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 x7805 -x7804 -x7803 -x7802 
3586.28/3598.18	v -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 
3586.28/3598.18	v x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 
3586.28/3598.18	v -x7765 -x7764 -x7763 -x7762 x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 
3586.28/3598.18	v -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 
3586.28/3598.18	v -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 x7717 -x7716 -x7715 -x7714 -x7713 -x7712 
3586.28/3598.18	v -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 x7694 -x7693 
3586.28/3598.18	v -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 
3586.28/3598.18	v -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 
3586.28/3598.18	v -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 
3586.28/3598.18	v -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 
3586.28/3598.18	v -x7620 -x7619 -x7618 x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 
3586.28/3598.18	v -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 
3586.28/3598.18	v -x7585 x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 
3586.28/3598.18	v -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 x7550 -x7549 -x7548 
3586.28/3598.18	v -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 
3586.28/3598.18	v -x7530 -x7529 x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 x7517 -x7516 -x7515 -x7514 -x7513 -x7512 
3586.28/3598.18	v -x7511 -x7510 -x7509 -x7508 -x7507 x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 x7495 -x7494 
3586.28/3598.18	v -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 
3586.28/3598.18	v -x7475 -x7474 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 
3586.28/3598.18	v -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 
3586.28/3598.18	v x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422 
3586.28/3598.18	v -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 -x7404 
3586.28/3598.18	v -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 
3586.28/3598.18	v -x7385 x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 x7373 -x7372 -x7371 -x7370 -x7369 -x7368 
3586.28/3598.18	v -x7367 -x7366 -x7365 -x7364 -x7363 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 
3586.28/3598.18	v -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 
3586.28/3598.18	v -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 x7317 -x7316 -x7315 -x7314 -x7313 
3586.28/3598.18	v -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 
3586.28/3598.18	v -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 
3586.28/3598.18	v -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 
3586.28/3598.18	v -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 x7240 x7239 
3586.28/3598.18	v -x7238 -x7237 x7236 x7235 x7234 x7233 x7232 x7231 x7230 x7229 -x7228 -x7227 -x7226 x7225 x7224 x7223 x7222 x7221 x7220 x7219 
3586.28/3598.18	v x7218 x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 
3586.28/3598.18	v -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 
3586.28/3598.18	v -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 
3586.28/3598.18	v -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 
3586.28/3598.18	v -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 
3586.28/3598.18	v -x7128 x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 
3586.28/3598.18	v -x7110 -x7109 -x7108 -x7107 -x7106 x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 x7094 -x7093 
3586.28/3598.18	v -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 
3586.28/3598.18	v -x7074 -x7073 x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 
3586.28/3598.18	v -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 x7039 
3586.28/3598.18	v -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7027 -x7026 -x7025 x7024 -x7023 -x7022 -x7021 -x7020 
3586.28/3598.18	v -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 
3586.28/3598.18	v -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 
3586.28/3598.18	v -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 
3586.28/3598.18	v -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 
3586.28/3598.18	v -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 
3586.28/3598.18	v -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 x6916 -x6915 -x6914 -x6913 -x6912 -x6911 
3586.28/3598.18	v -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 x6894 -x6893 
3586.28/3598.18	v -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 
3586.28/3598.18	v -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 x6861 -x6860 -x6859 -x6858 -x6857 
3586.28/3598.18	v -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 x6839 
3586.28/3598.18	v -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 
3586.28/3598.18	v -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6805 -x6804 -x6803 
3586.28/3598.18	v -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 
3586.28/3598.18	v -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 
3586.28/3598.18	v -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 
3586.28/3598.18	v -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 
3586.28/3598.18	v -x6730 -x6729 x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 
3586.28/3598.18	v -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 x6696 -x6694 
3586.28/3598.18	v x6693 x6692 x6691 x6690 x6689 x6688 x6687 x6686 x6685 x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 
3586.28/3598.18	v -x6674 -x6673 x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 x6661 -x6660 -x6659 -x6658 -x6657 
3586.28/3598.18	v -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 
3586.28/3598.18	v -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 
3586.28/3598.18	v -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 
3586.28/3598.18	v -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 
3586.28/3598.18	v -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 
3586.28/3598.18	v -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 
3586.28/3598.18	v -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 
3586.28/3598.18	v -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 
3586.28/3598.18	v -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 x6495 
3586.28/3598.18	v -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 
3586.28/3598.18	v -x6476 -x6475 -x6474 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 
3586.28/3598.18	v -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 
3586.28/3598.18	v -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 
3586.28/3598.18	v -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 x6406 -x6405 -x6404 
3586.28/3598.18	v -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 
3586.28/3598.18	v -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 
3586.28/3598.18	v -x6367 -x6366 -x6365 -x6364 -x6363 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 
3586.28/3598.18	v -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 
3586.28/3598.18	v -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 
3586.28/3598.18	v -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 
3586.28/3598.18	v x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 
3586.28/3598.18	v -x6277 -x6276 -x6275 -x6274 x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 x6262 -x6261 -x6260 
3586.28/3598.18	v -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 
3586.28/3598.18	v -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 
3586.28/3598.18	v -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 
3586.28/3598.18	v -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 
3586.28/3598.18	v -x6186 -x6185 -x6184 x6183 x6182 x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 x6173 -x6172 -x6171 -x6170 -x6169 
3586.28/3598.18	v -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 
3586.28/3598.18	v -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 
3586.28/3598.18	v -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 
3586.28/3598.18	v -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 
3586.28/3598.18	v x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 
3586.28/3598.18	v -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 
3586.28/3598.18	v -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 
3586.28/3598.18	v -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 x6027 -x6026 -x6025 -x6024 -x6023 
3586.28/3598.18	v -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 x6005 
3586.28/3598.18	v -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 
3586.28/3598.18	v -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 
3586.28/3598.18	v -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 
3586.28/3598.18	v -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 
3586.28/3598.18	v -x5932 -x5931 -x5930 -x5929 x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5916 -x5915 -x5914 
3586.28/3598.18	v -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 
3586.28/3598.18	v -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 x5883 -x5882 -x5881 -x5880 -x5879 -x5878 
3586.28/3598.18	v -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 
3586.28/3598.18	v -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 
3586.28/3598.18	v -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 
3586.28/3598.18	v -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5805 
3586.28/3598.18	v -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 
3586.28/3598.18	v -x5787 -x5786 -x5785 -x5784 x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 x5772 -x5771 -x5770 -x5769 
3586.28/3598.18	v -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 
3586.28/3598.18	v -x5751 x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 
3586.28/3598.18	v -x5732 -x5731 -x5730 -x5729 x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 
3586.28/3598.18	v -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 
3586.28/3598.18	v -x5697 -x5696 x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 
3586.28/3598.18	v -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 
3586.28/3598.18	v -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 
3586.28/3598.18	v -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 x5628 -x5627 -x5626 -x5625 
3586.28/3598.18	v -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 
3586.28/3598.18	v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 
3586.28/3598.18	v -x5588 -x5587 -x5586 -x5585 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 x5572 -x5571 -x5570 
3586.28/3598.18	v -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 
3586.28/3598.18	v -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 x5539 -x5538 -x5537 -x5536 -x5535 -x5534 
3586.28/3598.18	v -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 
3586.28/3598.18	v -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 
3586.28/3598.18	v -x5497 -x5496 x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 
3586.28/3598.18	v -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 
3586.28/3598.18	v -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 
3586.28/3598.18	v -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 
3586.28/3598.18	v -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 
3586.28/3598.18	v -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 
3586.28/3598.18	v -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 
3586.28/3598.18	v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 
3586.28/3598.18	v -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 x5339 -x5338 -x5337 -x5336 -x5335 
3586.28/3598.18	v -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 
3586.28/3598.18	v -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 
3586.28/3598.18	v -x5299 -x5298 -x5297 -x5296 x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 
3586.28/3598.18	v -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 
3586.28/3598.18	v -x5263 x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 x5250 -x5249 -x5248 -x5247 -x5246 -x5245 
3586.28/3598.18	v -x5244 -x5243 -x5242 -x5241 -x5240 x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 
3586.28/3598.18	v -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 
3586.28/3598.18	v -x5208 -x5207 x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 
3586.28/3598.18	v -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 x5173 
3586.28/3598.18	v -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 
3586.28/3598.18	v -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5139 -x5138 -x5137 -x5136 
3586.28/3598.18	v -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 
3586.28/3598.18	v -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 
3586.28/3598.18	v -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 
3586.28/3598.18	v -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 
3586.28/3598.18	v -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 x5051 -x5050 -x5049 -x5048 -x5047 -x5046 
3586.28/3598.18	v -x5045 -x5044 -x5043 -x5042 -x5041 x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5027 -x5026 
3586.28/3598.18	v -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 
3586.28/3598.18	v -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 
3586.28/3598.18	v -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 
3586.28/3598.18	v -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 
3586.28/3598.18	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 x4939 -x4938 -x4937 
3586.28/3598.18	v -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 
3586.28/3598.18	v -x4918 x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 
3586.28/3598.18	v -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 
3586.28/3598.18	v -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 
3586.28/3598.18	v -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 x4850 -x4849 -x4848 -x4847 -x4846 
3586.28/3598.18	v -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 
3586.28/3598.18	v -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 
3586.28/3598.18	v -x4809 -x4808 -x4807 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 
3586.28/3598.18	v -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 
3586.28/3598.18	v x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 
3586.28/3598.18	v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 
3586.28/3598.18	v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 
3586.28/3598.18	v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 
3586.28/3598.18	v -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 
3586.28/3598.18	v -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 
3586.28/3598.18	v -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 
3586.28/3598.18	v -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 
3586.28/3598.18	v -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 
3586.28/3598.18	v -x4610 -x4609 -x4608 -x4607 x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 x4595 -x4594 -x4593 
3586.28/3598.18	v -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 
3586.28/3598.18	v -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 
3586.28/3598.18	v -x4555 -x4554 -x4553 -x4552 -x4551 x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 
3586.28/3598.18	v -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 
3586.28/3598.18	v -x4519 -x4518 x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 x4506 -x4505 -x4504 -x4503 -x4502 
3586.28/3598.18	v -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 x4484 
3586.28/3598.18	v -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 x4476 -x4475 x4474 x4473 -x4471 x4470 x4469 x4468 -x4467 -x4466 -x4465 x4464 x4463 
3586.28/3598.18	v x4462 x4460 -x4459 x4458 x4457 x4456 x4455 -x4454 -x4453 -x4452 -x4451 x4449 -x4448 -x4447 x4446 -x4445 -x4444 -x4443 x4442 
3586.28/3598.18	v x4441 -x4440 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 x4432 -x4431 -x4430 -x4429 x4426 -x4425 -x4424 x4423 -x4422 -x4421 -x4420 
3586.28/3598.18	v x4419 -x4418 x4417 -x4415 x4414 -x4413 x4412 -x4411 -x4410 x4409 -x4408 x4407 -x4406 x4404 -x4403 -x4402 x4401 x4400 x4399 
3586.28/3598.18	v x4398 x4397 -x4396 -x4395 x4393 -x4392 -x4391 -x4390 x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4382 x4381 x4380 -x4379 x4378 
3586.28/3598.18	v x4377 -x4376 -x4375 -x4374 -x4373 -x4371 -x4370 x4369 x4368 -x4367 -x4366 x4365 -x4364 -x4363 x4362 -x4360 x4359 x4358 -x4357 
3586.28/3598.18	v x4356 x4355 -x4354 x4353 -x4352 -x4351 -x4349 -x4348 -x4347 -x4346 x4345 -x4344 -x4343 -x4342 x4341 -x4340 x4338 -x4337 x4336 
3586.28/3598.18	v x4335 x4334 -x4333 x4332 -x4331 x4330 -x4329 -x4327 x4326 x4325 -x4324 x4323 -x4322 x4321 -x4320 x4319 -x4318 -x4315 -x4314 
3586.28/3598.18	v -x4313 -x4312 -x4311 -x4310 -x4309 x4308 x4307 -x4306 x4304 x4303 -x4302 x4301 -x4300 x4299 -x4298 -x4297 -x4296 -x4295 x4293 
3586.28/3598.18	v x4292 -x4291 -x4290 -x4289 -x4288 -x4287 x4286 -x4285 x4284 -x4282 x4281 -x4280 x4279 -x4278 -x4277 x4276 -x4275 x4274 -x4273 
3586.28/3598.18	v x4271 -x4270 x4269 -x4268 -x4267 x4266 x4265 -x4264 x4263 -x4262 x4260 -x4259 -x4258 x4257 -x4256 x4255 -x4254 x4253 -x4252 
3586.28/3598.18	v -x4251 -x4249 x4248 x4247 -x4246 -x4245 x4244 x4243 -x4242 x4241 -x4240 -x4238 x4237 x4236 -x4235 -x4234 -x4233 -x4232 -x4231 
3586.28/3598.18	v -x4230 -x4229 -x4227 x4226 -x4225 x4224 -x4223 x4222 -x4221 -x4220 x4219 -x4218 -x4216 -x4215 -x4214 -x4213 -x4212 x4211 
3586.28/3598.18	v x4210 x4209 x4208 x4207 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 x4198 x4197 -x4196 -x4195 x4193 -x4192 -x4191 x4190 x4189 
3586.28/3598.18	v x4188 -x4187 x4186 x4185 -x4184 x4182 x4181 x4180 x4179 -x4178 -x4177 -x4176 -x4175 -x4174 x4173 x4171 -x4170 x4169 -x4168 x4167 
3586.47/3598.31	v x4166 x4165 x4164 -x4163 x4162 -x4160 x4159 x4158 x4157 -x4156 -x4155 x4154 -x4153 x4152 -x4151 x4149 -x4148 -x4147 -x4146 
3586.47/3598.31	v -x4145 x4144 x4143 x4142 x4141 x4140 -x4138 -x4137 -x4114 -x4003 x3892 -x3781 -x3670 -x3559 x3448 x3337 x3225 -x3114 -x3003 
3586.47/3598.31	v x2892 x2781 -x2670 x2559 x2448 -x2337 x2226 x2114 x2003 -x1892 x1781 -x1670 -x1559 -x1448 x1337 x1226 x1115 -x1003 x892 -x781 
3586.47/3598.31	v x670 -x559 x448 x337 x226 x115 -x4 x10472 x10361 x10250 -x10139 x10028 x9917 x9806 -x9695 x9584 -x9473 x9361 x9250 x9139 x9028 
3586.47/3598.31	v x8917 x8806 -x8695 x8584 x8473 -x8362 x8250 -x8139 -x8028 -x7917 x7806 -x7695 -x7584 -x7473 x7362 x7251 x7139 -x7028 x6917 
3586.47/3598.31	v -x6806 x6695 -x6584 x6473 x6362 x6251 -x6140 -x6028 x5917 -x5806 x5695 x5584 x5473 -x5362 -x5251 x5140 x5029 -x4917 -x4806 
3586.47/3598.31	v -x4695 x4584 x4483 x4472 -x4461 x4450 x4439 x4428 x4416 -x4405 x4394 x4383 x4372 x4361 -x4350 x4339 x4328 -x4317 -x4305 -x4294 
3586.47/3598.31	v x4283 -x4272 x4261 -x4250 x4239 x4228 -x4217 -x4206 -x4194 x4183 -x4172 -x4161 x4150 -x4139 -x3336 x2225 -x1114 x3 -x9472 
3586.47/3598.31	v x8361 x7250 x6139 x5028 -x4427 x4316 x4205 -x2 x1 

Verifier Data

OK	438304

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=28258, runsolver pid=28251

[startup+0.100641 s]*
/proc/loadavg: 0.10 0.10 0.09 6/241 28269
/proc/meminfo: memFree=129864152/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=37836 memory=26208 CPUtime=0.1 cores=5,7
/proc/28258/stat : 28258 (fscip) R 28251 28258 28195 0 -1 4194304 4462 0 0 0 9 1 0 0 20 0 1 0 4230050 38744064 6552 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 9459 6552 2347 3035 0 5855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37836 KiB
Current children cumulated memory: 26208 KiB

[startup+0.212512 s]*
/proc/loadavg: 0.10 0.10 0.09 6/239 28269
/proc/meminfo: memFree=129826668/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=43516 memory=31748 CPUtime=0.21 cores=5,7
/proc/28258/stat : 28258 (fscip) R 28251 28258 28195 0 -1 4194304 5857 0 0 0 19 2 0 0 20 0 1 0 4230050 44560384 7937 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 10879 7937 2347 3035 0 7275 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43516 KiB
Current children cumulated memory: 31748 KiB

[startup+0.313797 s]*
/proc/loadavg: 0.10 0.10 0.09 5/236 28277
/proc/meminfo: memFree=129790276/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=71476 memory=61228 CPUtime=0.31 cores=5,7
/proc/28258/stat : 28258 (fscip) R 28251 28258 28195 0 -1 4194304 13056 0 0 0 27 4 0 0 20 0 1 0 4230050 73191424 15307 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 17869 15307 2555 3035 0 14265 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71476 KiB
Current children cumulated memory: 61228 KiB

[startup+0.700307 s]
/proc/loadavg: 0.10 0.10 0.09 5/236 28277
/proc/meminfo: memFree=129718264/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=119276 memory=101952 CPUtime=0.68 cores=5,7
/proc/28258/stat : 28258 (fscip) R 28251 28258 28195 0 -1 4194304 22168 0 0 0 61 7 0 0 20 0 1 0 4230050 122138624 25488 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 29819 25488 2646 3035 0 26215 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119276 KiB
Current children cumulated memory: 101952 KiB

[startup+1.50031 s]
/proc/loadavg: 0.10 0.10 0.09 5/236 28277
/proc/meminfo: memFree=129671052/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=158460 memory=145504 CPUtime=1.48 cores=5,7
/proc/28258/stat : 28258 (fscip) R 28251 28258 28195 0 -1 4194304 40850 0 0 0 134 14 0 0 20 0 1 0 4230050 162263040 36376 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 39615 36376 2774 3035 0 36011 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158460 KiB
Current children cumulated memory: 145504 KiB

[startup+3.11264 s]
/proc/loadavg: 0.41 0.17 0.11 6/246 28320
/proc/meminfo: memFree=128973420/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=431576 memory=357152 CPUtime=3.07 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 84583 0 0 0 284 23 0 0 20 0 3 0 4230050 441933824 89288 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 107894 89288 2934 3035 0 101067 0
[pid=28258/tid=28320] ppid=28251 vsize=431576 memory=195408 CPUtime=0.2 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 12724 0 0 0 17 3 0 0 20 0 3 0 4230332 441933824 89288 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 431576 KiB
Current children cumulated memory: 357152 KiB

[startup+6.30033 s]
/proc/loadavg: 0.41 0.17 0.11 6/247 28321
/proc/meminfo: memFree=128035960/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=562648 memory=447924 CPUtime=6.25 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 113604 0 0 0 594 31 0 0 20 0 3 0 4230050 576151552 111981 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 140662 111981 2934 3035 0 124413 0
[pid=28258/tid=28320] ppid=28251 vsize=562648 memory=146768 CPUtime=3.37 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 41740 0 0 0 327 10 0 0 20 0 3 0 4230332 576151552 111981 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=562648 memory=0 CPUtime=0 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4230354 576151552 111981 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 562648 KiB
Current children cumulated memory: 447924 KiB

[startup+12.7004 s]
/proc/loadavg: 0.78 0.25 0.14 6/247 28323
/proc/meminfo: memFree=127727888/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=673296 memory=579412 CPUtime=12.64 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 173056 0 0 0 1228 36 0 0 20 0 3 0 4230050 689455104 144853 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 168324 144853 3014 3035 0 161163 0
[pid=28258/tid=28320] ppid=28251 vsize=673296 memory=146768 CPUtime=9.76 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 99482 0 0 0 960 16 0 0 20 0 3 0 4230332 689455104 144853 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=673296 memory=578952 CPUtime=0 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4230354 689455104 144853 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 673296 KiB
Current children cumulated memory: 579412 KiB

[startup+25.5004 s]
/proc/loadavg: 1.49 0.43 0.20 6/250 28383
/proc/meminfo: memFree=126002880/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=750504 memory=613092 CPUtime=25.41 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 225948 0 0 0 2500 41 0 0 20 0 3 0 4230050 768516096 153273 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 187626 153273 3014 3035 0 169941 0
[pid=28258/tid=28320] ppid=28251 vsize=750504 memory=146768 CPUtime=22.52 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 152363 0 0 0 2232 20 0 0 20 0 3 0 4230332 768516096 153273 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=750504 memory=610216 CPUtime=0 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4230354 768516096 153273 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 750504 KiB
Current children cumulated memory: 613092 KiB

[startup+51.1128 s]
/proc/loadavg: 2.35 0.72 0.30 6/252 28390
/proc/meminfo: memFree=123273520/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=750504 memory=636972 CPUtime=50.95 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 283458 0 0 0 5049 46 0 0 20 0 3 0 4230050 768516096 159243 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 187626 159243 3014 3035 0 176538 0
[pid=28258/tid=28320] ppid=28251 vsize=750504 memory=146768 CPUtime=48.06 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 209857 0 0 0 4781 25 0 0 20 0 3 0 4230332 768516096 159243 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=750504 memory=2188 CPUtime=0 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4230354 768516096 159243 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 750504 KiB
Current children cumulated memory: 636972 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.26 0.51 6/250 28445
/proc/meminfo: memFree=117648268/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=816040 memory=701552 CPUtime=101.99 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 364978 0 0 0 10145 54 0 0 20 0 3 0 4230050 835624960 175388 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 204010 175388 3030 3035 0 193577 0
[pid=28258/tid=28320] ppid=28251 vsize=816040 memory=146768 CPUtime=99.09 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 289756 0 0 0 9877 32 0 0 20 0 3 0 4230332 835624960 175388 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=816040 memory=695236 CPUtime=0 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4230354 835624960 175388 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 816040 KiB
Current children cumulated memory: 701552 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.79 0.74 6/250 28456
/proc/meminfo: memFree=117666300/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=816040 memory=712960 CPUtime=161.82 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 409454 0 0 0 16125 57 0 0 20 0 3 0 4230050 835624960 178240 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 204010 178240 3030 3035 0 195391 0
[pid=28258/tid=28320] ppid=28251 vsize=816040 memory=146768 CPUtime=158.91 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 332507 0 0 0 15856 35 0 0 20 0 3 0 4230332 835624960 178240 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=816040 memory=711564 CPUtime=0 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 4230354 835624960 178240 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 816040 KiB
Current children cumulated memory: 712960 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 2.25 0.96 6/251 28469
/proc/meminfo: memFree=111703144/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=816040 memory=721104 CPUtime=221.65 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 449518 0 0 0 22105 60 0 0 20 0 3 0 4230050 835624960 180276 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 204010 180276 3030 3035 0 195391 0
[pid=28258/tid=28320] ppid=28251 vsize=816040 memory=715336 CPUtime=218.74 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 372501 0 0 0 21836 38 0 0 20 0 3 0 4230332 835624960 180276 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=816040 memory=26092 CPUtime=0 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 4230354 835624960 180276 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 816040 KiB
Current children cumulated memory: 721104 KiB

[startup+282.3 s]
/proc/loadavg: 5.35 2.94 1.29 6/251 28479
/proc/meminfo: memFree=110386844/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=881576 memory=750356 CPUtime=281.48 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 498618 0 0 0 28084 64 0 0 20 0 3 0 4230050 902733824 187589 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 220394 187589 3030 3035 0 198990 0

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

/proc/loadavg: 4.36 4.28 4.10 6/249 30301
/proc/meminfo: memFree=119558888/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3450.99 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 910063 0 0 0 344989 110 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=878772 CPUtime=3447.95 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 829214 0 0 0 344713 82 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=878772 CPUtime=0.05 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 371 0 0 0 1 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3450.99 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.27 4.10 6/251 30481
/proc/meminfo: memFree=119516972/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3510.76 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 917806 0 0 0 350965 111 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=878772 CPUtime=3507.71 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 836931 0 0 0 350689 82 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=878772 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 377 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3510.76 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.24 4.10 6/251 30492
/proc/meminfo: memFree=119490908/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3570.52 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 924246 0 0 0 356940 112 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=1832 CPUtime=3567.47 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 843349 0 0 0 356664 83 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=5492 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 380 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3570.52 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

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

# cumulated CPU time of all completed processes:  user=3585.36 s, system=1.14651 s

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

[startup+3584 s]*
/proc/loadavg: 4.22 4.25 4.10 6/251 30492
/proc/meminfo: memFree=119489900/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3572.23 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 924258 0 0 0 357111 112 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=4852 CPUtime=3569.18 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 843361 0 0 0 356835 83 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=4642811665103613598 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 380 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.25 4.10 6/251 30493
/proc/meminfo: memFree=119487460/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3578.6 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 925828 0 0 0 357748 112 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=878772 CPUtime=3575.55 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 844929 0 0 0 357472 83 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=14600 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 380 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3578.6 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3593.6 s]
/proc/loadavg: 4.21 4.25 4.10 6/251 30493
/proc/meminfo: memFree=119486044/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3581.79 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 926247 0 0 0 358067 112 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=27520 CPUtime=3578.74 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 845348 0 0 0 357791 83 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=878772 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 380 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3581.79 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3596.8 s]
/proc/loadavg: 4.19 4.24 4.10 6/251 30493
/proc/meminfo: memFree=119485108/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3584.98 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 926607 0 0 0 358386 112 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=878772 CPUtime=3581.92 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 845705 0 0 0 358109 83 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=878772 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 383 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3584.98 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3597.6 s]
/proc/loadavg: 4.19 4.24 4.10 6/251 30495
/proc/meminfo: memFree=119484840/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3585.78 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 926607 0 0 0 358466 112 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=14600 CPUtime=3582.72 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 845705 0 0 0 358189 83 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=11516 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 383 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3598 s]*
/proc/loadavg: 4.19 4.24 4.10 7/251 30495
/proc/meminfo: memFree=119484716/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=947116 memory=878772 CPUtime=3586.19 cores=5,7
/proc/28258/stat : 28258 (fscip) S 28251 28258 28195 0 -1 1077936128 926609 0 0 0 358507 112 0 0 20 0 3 0 4230050 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 236779 219693 3030 3035 0 229053 0
[pid=28258/tid=28320] ppid=28251 vsize=947116 memory=-7161968623522766968 CPUtime=3583.13 cores=5,7
/proc/28258/task/28320/stat : 28320 (fscip) R 28251 28258 28195 0 -1 4194368 845884 0 0 0 358230 83 0 0 20 0 3 0 4230332 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
[pid=28258/tid=28321] ppid=28251 vsize=947116 memory=4642811665103613598 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 383 0 0 0 2 4 0 0 20 0 3 0 4230354 969846784 219693 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 947116 KiB
Current children cumulated memory: 878772 KiB

[startup+3598.2 s]
/proc/loadavg: 4.19 4.24 4.10 7/251 30495
/proc/meminfo: memFree=119484716/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=890328 memory=832632 CPUtime=3586.37 cores=5,7
/proc/28258/stat : 28258 (fscip) R 28251 28258 28195 0 -1 4194304 930055 0 0 0 358525 112 0 0 20 0 2 0 4230050 911695872 208158 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 222582 208158 3030 3035 0 214856 0
[pid=28258/tid=28321] ppid=28251 vsize=890328 memory=878772 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 383 0 0 0 2 4 0 0 20 0 2 0 4230354 911695872 208158 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 890328 KiB
Current children cumulated memory: 832632 KiB

[startup+3598.3 s]
/proc/loadavg: 4.19 4.24 4.10 7/251 30495
/proc/meminfo: memFree=119484716/131655788 swapFree=131071216/131071996
[pid=28258] ppid=28251 vsize=870076 memory=812380 CPUtime=3586.47 cores=5,7
/proc/28258/stat : 28258 (fscip) R 28251 28258 28195 0 -1 4194304 930120 0 0 0 358535 112 0 0 20 0 2 0 4230050 890957824 203095 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
/proc/28258/statm: 217519 203095 3030 3035 0 209793 0
[pid=28258/tid=28321] ppid=28251 vsize=870076 memory=878772 CPUtime=0.06 cores=5,7
/proc/28258/task/28321/stat : 28321 (fscip) S 28251 28258 28195 0 -1 1077936192 383 0 0 0 2 4 0 0 20 0 2 0 4230354 890957824 203095 134679101440 4194304 16623229 140724881267872 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 53030912 140724881269786 140724881269902 140724881269902 140724881276912 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 870076 KiB
Current children cumulated memory: 812380 KiB

Child status: 0

Real time (s): 3598.33
CPU time (s): 3586.51
CPU user time (s): 3585.36
CPU system time (s): 1.14651
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 947116
Max. memory (cumulated for all children) (KiB): 878772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.36
system time used= 1.14651
maximum resident set size= 878772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930413
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= 5070
involuntary context switches= 4826


# summary of solver processes directly reported to runsolver:
#   pid: 28258
#   total CPU time (s): 3586.51
#   total CPU user time (s): 3585.36
#   total CPU system time (s): 1.14651

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2507 second user time and 34.4147 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-31 00:29:54
IDJOB=4463915
IDBENCH=146712
IDSOLVER=3092
FILE ID=nodeC007/4463915-1722378594
RUNJOBID= nodeC007-1722378594-28208
SLURM_JOB_ID= 8249837
Free space on /tmp= 723748 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.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-4463915-1722378594/watcher-4463915-1722378594 -o /tmp/evaluation-result-4463915-1722378594/solver-4463915-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28208 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463915-1722378594.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 0695af47158b7a843c4563178a14696e
RANDOM SEED=1497379858

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129931044 kB
MemAvailable:   130143600 kB
Buffers:           75608 kB
Cached:           977436 kB
SwapCached:          100 kB
Active:           235600 kB
Inactive:        1070772 kB
Active(anon):       1396 kB
Inactive(anon):   273044 kB
Active(file):     234204 kB
Inactive(file):   797728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            123352 kB
Writeback:             0 kB
AnonPages:        253240 kB
Mapped:            97476 kB
Shmem:             21076 kB
KReclaimable:      41644 kB
Slab:             117144 kB
SReclaimable:      41644 kB
SUnreclaim:        75500 kB
KernelStack:        3776 kB
PageTables:         9544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     588176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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:      174920 kB
DirectMap2M:     7069696 kB
DirectMap1G:    128974848 kB

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