Trace number 4434662

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-02SAT428 3586.67 3603.91

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM9792288b3bfa4387008e61c6fa17d472
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 benchmark245
Best CPU time to get the best result obtained on this benchmark3558.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495293
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495293
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	428

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: 63931 MiB (58912 MiB free)
  memory of node 1: 64510 MiB (61688 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434662-1721088102/watcher-4434662-1721088102 -o /tmp/evaluation-result-4434662-1721088102/solver-4434662-1721088102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843445 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434662-1721088102.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
solver pid=845525, runsolver pid=845522
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=123365480/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=64980 memory=52676 CPUtime=0.1 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 11112 0 0 0 9 1 0 0 20 0 1 0 160977601 66539520 13169 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 16245 13169 2318 3032 0 12645 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64980 KiB
Current children cumulated memory: 52676 KiB

[startup+0.205886 s]*
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=123241264/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=96248 memory=83956 CPUtime=0.2 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 18918 0 0 0 18 2 0 0 20 0 1 0 160977601 98557952 20989 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 24062 20989 2318 3032 0 20462 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96248 KiB
Current children cumulated memory: 83956 KiB

[startup+0.305834 s]*
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=123129516/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=123592 memory=111416 CPUtime=0.3 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 25762 0 0 0 27 3 0 0 20 0 1 0 160977601 126558208 27854 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 30898 27854 2318 3032 0 27298 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123592 KiB
Current children cumulated memory: 111416 KiB

[startup+0.700243 s]
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=122887056/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=237180 memory=224632 CPUtime=0.69 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 53555 0 0 0 61 8 0 0 20 0 1 0 160977601 242872320 56158 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 59295 56158 2318 3032 0 55695 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 237180 KiB
Current children cumulated memory: 224632 KiB

[startup+1.50024 s]
/proc/loadavg: 4.14 4.10 4.04 5/258 845526
/proc/meminfo: memFree=122310116/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=544416 memory=532480 CPUtime=1.48 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 128791 0 0 0 128 20 0 0 20 0 1 0 160977601 557481984 133120 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 136104 133120 2558 3032 0 132504 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 544416 KiB
Current children cumulated memory: 532480 KiB

[startup+3.10566 s]
/proc/loadavg: 4.14 4.10 4.04 5/258 845526
/proc/meminfo: memFree=120294852/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=841132 memory=827540 CPUtime=3.08 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 194326 0 0 0 277 31 0 0 20 0 1 0 160977601 861319168 206885 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 210283 206885 2606 3032 0 206683 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 841132 KiB
Current children cumulated memory: 827540 KiB

[startup+6.30027 s]
/proc/loadavg: 4.13 4.10 4.04 5/258 845526
/proc/meminfo: memFree=118991468/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=1226720 memory=1204764 CPUtime=6.27 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 226280 0 0 0 582 45 0 0 20 0 1 0 160977601 1256161280 301191 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 306680 301191 2654 3032 0 303080 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1226720 KiB
Current children cumulated memory: 1204764 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.09 4.04 5/258 845528
/proc/meminfo: memFree=118661420/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=1256872 memory=1233380 CPUtime=12.64 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 286680 0 0 0 1210 54 0 0 20 0 1 0 160977601 1287036928 308345 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 314218 308345 2734 3032 0 310618 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1256872 KiB
Current children cumulated memory: 1233380 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.04 5/259 845530
/proc/meminfo: memFree=112368984/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=3217360 memory=2873416 CPUtime=25.38 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 332286 0 0 0 2447 91 0 0 20 0 2 0 160977601 3294576640 718354 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 804340 718354 2766 3032 0 784388 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3217360 KiB
Current children cumulated memory: 2873416 KiB

[startup+51.1059 s]
/proc/loadavg: 4.13 4.10 4.04 5/266 845542
/proc/meminfo: memFree=101238612/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=6244764 memory=5625280 CPUtime=50.89 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 813056 0 0 0 4905 184 0 0 20 0 3 0 160977601 6394638336 1406320 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1561191 1406320 2782 3032 0 1538154 0
[pid=845525/tid=845531] ppid=845522 vsize=6244764 memory=4906948 CPUtime=24.61 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 428265 0 0 0 2377 84 0 0 20 0 3 0 160980127 6394638336 1406320 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=6244764 memory=41300 CPUtime=0 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 160980327 6394638336 1406320 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 6244764 KiB
Current children cumulated memory: 5625280 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/266 845552
/proc/meminfo: memFree=99150356/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=6729180 memory=6102632 CPUtime=101.84 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 1033473 0 0 0 9969 215 0 0 20 0 3 0 160977601 6890680320 1525658 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1682295 1525658 2974 3032 0 1659581 0
[pid=845525/tid=845531] ppid=845522 vsize=6729180 memory=41300 CPUtime=75.56 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 647193 0 0 0 7441 115 0 0 20 0 3 0 160980127 6890680320 1525658 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=6729180 memory=6102632 CPUtime=0 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 160980327 6890680320 1525658 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 6729180 KiB
Current children cumulated memory: 6102632 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/266 845563
/proc/meminfo: memFree=98898720/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=6909096 memory=6161628 CPUtime=161.55 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 1210263 0 0 0 15918 237 0 0 20 0 3 0 160977601 7074914304 1540407 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1727274 1540407 2974 3032 0 1698422 0
[pid=845525/tid=845531] ppid=845522 vsize=6909096 memory=6161628 CPUtime=135.27 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 823970 0 0 0 13390 137 0 0 20 0 3 0 160980127 7074914304 1540407 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=6909096 memory=6161628 CPUtime=0 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 160980327 7074914304 1540407 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 6909096 KiB
Current children cumulated memory: 6161628 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.04 5/264 845573
/proc/meminfo: memFree=98806068/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=6973248 memory=6180172 CPUtime=221.24 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 1395091 0 0 0 21868 256 0 0 20 0 3 0 160977601 7140605952 1545043 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1743312 1545043 2974 3032 0 1718437 0
[pid=845525/tid=845531] ppid=845522 vsize=6973248 memory=6161628 CPUtime=194.96 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 1008786 0 0 0 19340 156 0 0 20 0 3 0 160980127 7140605952 1545043 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=6973248 memory=12508 CPUtime=0 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 160980327 7140605952 1545043 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 221.24 s
Current children cumulated vsize: 6973248 KiB
Current children cumulated memory: 6180172 KiB

[startup+282.3 s]
/proc/loadavg: 4.44 4.18 4.08 5/264 845583
/proc/meminfo: memFree=98765612/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=7063636 memory=6208988 CPUtime=280.94 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 1560969 0 0 0 27820 274 0 0 20 0 3 0 160977601 7233163264 1552247 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1765909 1552247 2974 3032 0 1741034 0
[pid=845525/tid=845531] ppid=845522 vsize=7063636 memory=6180172 CPUtime=254.66 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 1174652 0 0 0 25293 173 0 0 20 0 3 0 160980127 7233163264 1552247 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=7063636 memory=6180172 CPUtime=0 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 160980327 7233163264 1552247 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 280.94 s
Current children cumulated vsize: 7063636 KiB
Current children cumulated memory: 6208988 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.16 4.08 5/262 845594
/proc/meminfo: memFree=98743136/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=7125224 memory=6209004 CPUtime=340.64 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 1739544 0 0 0 33772 292 0 0 20 0 3 0 160977601 7296229376 1552251 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1781306 1552251 2974 3032 0 1756431 0

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

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 847319
/proc/meminfo: memFree=95560784/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3386.07 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 9679546 0 0 0 337558 1049 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3359.73 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9290273 0 0 0 335030 943 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=6929844 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 654 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3386.07 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 847330
/proc/meminfo: memFree=95560312/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3445.77 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 9801582 0 0 0 343511 1066 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3419.42 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9412297 0 0 0 340983 959 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=6929844 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 666 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3445.77 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 847342
/proc/meminfo: memFree=95560112/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3505.47 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 9935992 0 0 0 349462 1085 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=41300 CPUtime=3479.12 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9546655 0 0 0 346934 978 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=6929844 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 675 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3505.47 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 847366
/proc/meminfo: memFree=95558516/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3565.16 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 10083597 0 0 0 355419 1097 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3538.81 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9694218 0 0 0 352891 990 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=6929844 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 681 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3565.16 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

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

# cumulated CPU time of all completed processes:  user=3575.33 s, system=11.3422 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 5/267 847366
/proc/meminfo: memFree=95558520/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3566.86 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 10084970 0 0 0 355589 1097 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=-5155634780447454526 CPUtime=3540.5 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9695589 0 0 0 353060 990 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=3690735290348419795 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 684 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3566.86 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 847367
/proc/meminfo: memFree=95558436/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3579.58 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 10095278 0 0 0 356858 1100 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=12508 CPUtime=3553.22 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9705893 0 0 0 354329 993 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=6154848841744541537 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 687 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3579.58 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

[startup+3600 s]*
/proc/loadavg: 4.12 4.10 4.09 5/267 847369
/proc/meminfo: memFree=95558296/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3582.77 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 10102039 0 0 0 357176 1101 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=-5155634780447454526 CPUtime=3556.41 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9712862 0 0 0 354647 994 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=5680 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 687 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3582.77 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

[startup+3601.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 847369
/proc/meminfo: memFree=95558332/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=9324452 memory=6929844 CPUtime=3584.36 cores=5,7
/proc/845525/stat : 845525 (fscip) S 845522 845525 843431 0 -1 1077936128 10289353 0 0 0 357325 1111 0 0 20 0 3 0 160977601 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 2331113 1732461 2974 3032 0 2303969 0
[pid=845525/tid=845531] ppid=845522 vsize=9324452 memory=6154848841744541537 CPUtime=3558.01 cores=5,7
/proc/845525/task/845531/stat : 845531 (fscip) R 845522 845525 843431 0 -1 4194368 9899934 0 0 0 354797 1004 0 0 20 0 3 0 160980127 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
[pid=845525/tid=845535] ppid=845522 vsize=9324452 memory=6154848841744541537 CPUtime=0.05 cores=5,7
/proc/845525/task/845535/stat : 845535 (fscip) S 845522 845525 843431 0 -1 1077936192 687 0 0 0 1 4 0 0 20 0 3 0 160980327 9548238848 1732461 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
Current children cumulated CPU time: 3584.36 s
Current children cumulated vsize: 9324452 KiB
Current children cumulated memory: 6929844 KiB

[startup+3603.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 847370
/proc/meminfo: memFree=102025048/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=5648848 memory=5261080 CPUtime=3585.95 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 10444460 0 0 0 357475 1120 0 0 20 0 1 0 160977601 5784420352 1315270 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1412212 1315270 2974 3032 0 1388580 0
Current children cumulated CPU time: 3585.95 s
Current children cumulated vsize: 5648848 KiB
Current children cumulated memory: 5261080 KiB

[startup+3603.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 847370
/proc/meminfo: memFree=102025048/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=5611532 memory=5224392 CPUtime=3586.35 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 10470312 0 0 0 357513 1122 0 0 20 0 1 0 160977601 5746208768 1306098 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1402883 1306098 2974 3032 0 1379251 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 5611532 KiB
Current children cumulated memory: 5224392 KiB

[startup+3603.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 847370
/proc/meminfo: memFree=102025048/131524600 swapFree=131071996/131071996
[pid=845525] ppid=845522 vsize=5368236 memory=4981096 CPUtime=3586.55 cores=5,7
/proc/845525/stat : 845525 (fscip) R 845522 845525 843431 0 -1 4194304 10470313 0 0 0 357532 1123 0 0 20 0 1 0 160977601 5497073664 1245274 134679101440 4194304 16613245 140725750376272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 43053056 140725750383637 140725750383753 140725750383753 140725750390768 0
/proc/845525/statm: 1342059 1245274 2974 3032 0 1318427 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 5368236 KiB
Current children cumulated memory: 4981096 KiB

[startup+3603.9 s]*
/proc/loadavg: 4.11 4.09 4.09 4/255 847384
/proc/meminfo: memFree=122061408/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3603.91
CPU time (s): 3586.67
CPU user time (s): 3575.33
CPU system time (s): 11.3422
CPU usage (%): 99.5216
Max. virtual memory (cumulated for all children) (KiB): 9324452
Max. memory (cumulated for all children) (KiB): 6929844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.33
system time used= 11.3422
maximum resident set size= 6929844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10472482
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= 3774
involuntary context switches= 3095


# summary of solver processes directly reported to runsolver:
#   pid: 845525
#   total CPU time (s): 3586.67
#   total CPU user time (s): 3575.33
#   total CPU system time (s): 11.3422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48335 second user time and 20.9383 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-16 02:01:55
IDJOB=4434662
IDBENCH=147558
IDSOLVER=3064
FILE ID=nodeC029/4434662-1721088102
RUNJOBID= nodeC029-1721084514-843445
SLURM_JOB_ID= 7505574
Free space on /tmp= 889920 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.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-4434662-1721088102/watcher-4434662-1721088102 -o /tmp/evaluation-result-4434662-1721088102/solver-4434662-1721088102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843445 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434662-1721088102.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=581747899

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123522028 kB
MemAvailable:   129619900 kB
Buffers:          380688 kB
Cached:          6480444 kB
SwapCached:            0 kB
Active:           686012 kB
Inactive:        6563032 kB
Active(anon):       1400 kB
Inactive(anon):   424236 kB
Active(file):     684612 kB
Inactive(file):  6138796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            180240 kB
Writeback:             0 kB
AnonPages:        388040 kB
Mapped:           131116 kB
Shmem:             37720 kB
KReclaimable:     228220 kB
Slab:             349052 kB
SReclaimable:     228220 kB
SUnreclaim:       120832 kB
KernelStack:        4112 kB
PageTables:         9788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     817092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60512 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889892 MiB
End job on nodeC029 at 2024-07-16 03:01:59