Trace number 4434671

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-02SAT605 3586.95 3603.43

General information on the benchmark

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

Verifier Data

OK	605

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=845495, runsolver pid=845492

[startup+0.100263 s]*
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=123458524/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=61768 memory=49240 CPUtime=0.09 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 10210 0 0 0 8 1 0 0 20 0 1 0 160977593 63250432 12310 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 15442 12310 2318 3032 0 11842 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61768 KiB
Current children cumulated memory: 49240 KiB

[startup+0.205655 s]*
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=123332720/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=94192 memory=81840 CPUtime=0.19 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 18394 0 0 0 17 2 0 0 20 0 1 0 160977593 96452608 20460 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 23548 20460 2318 3032 0 19948 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94192 KiB
Current children cumulated memory: 81840 KiB

[startup+0.305572 s]*
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=123217268/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=122304 memory=110092 CPUtime=0.29 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 25428 0 0 0 26 3 0 0 20 0 1 0 160977593 125239296 27523 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 30576 27523 2318 3032 0 26976 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 122304 KiB
Current children cumulated memory: 110092 KiB

[startup+0.700227 s]
/proc/loadavg: 4.07 4.08 4.03 5/258 845526
/proc/meminfo: memFree=122978840/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=236024 memory=223308 CPUtime=0.69 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 53258 0 0 0 62 7 0 0 20 0 1 0 160977593 241688576 55827 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 59006 55827 2318 3032 0 55406 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 236024 KiB
Current children cumulated memory: 223308 KiB

[startup+1.50027 s]
/proc/loadavg: 4.14 4.10 4.04 5/258 845526
/proc/meminfo: memFree=122404196/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=546464 memory=534588 CPUtime=1.48 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 129335 0 0 0 129 19 0 0 20 0 1 0 160977593 559579136 133647 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 136616 133647 2558 3032 0 133016 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 546464 KiB
Current children cumulated memory: 534588 KiB

[startup+3.10553 s]
/proc/loadavg: 4.14 4.10 4.04 5/258 845526
/proc/meminfo: memFree=120302220/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=841132 memory=827772 CPUtime=3.08 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 194913 0 0 0 278 30 0 0 20 0 1 0 160977593 861319168 206943 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 210283 206943 2606 3032 0 206683 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 841132 KiB
Current children cumulated memory: 827772 KiB

[startup+6.30029 s]
/proc/loadavg: 4.13 4.10 4.04 5/258 845526
/proc/meminfo: memFree=119366640/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=1226720 memory=1209548 CPUtime=6.27 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 226860 0 0 0 583 44 0 0 20 0 1 0 160977593 1256161280 302387 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 306680 302387 2654 3032 0 303080 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1226720 KiB
Current children cumulated memory: 1209548 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=845495] ppid=845492 vsize=1256872 memory=1237932 CPUtime=12.64 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 288771 0 0 0 1210 54 0 0 20 0 1 0 160977593 1287036928 309483 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 314218 309483 2686 3032 0 310618 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1256872 KiB
Current children cumulated memory: 1237932 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.04 5/259 845530
/proc/meminfo: memFree=112447436/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=3327064 memory=2986468 CPUtime=25.39 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 360437 0 0 0 2446 93 0 0 20 0 2 0 160977593 3406913536 746617 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 831766 746617 2766 3032 0 811814 0
[pid=845495/tid=845530] ppid=845492 vsize=3327064 memory=2681096 CPUtime=0 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) S 845492 845495 843431 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 160980089 3406913536 746617 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3327064 KiB
Current children cumulated memory: 2986468 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.10 4.04 5/266 845542
/proc/meminfo: memFree=101280948/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=6375836 memory=5770192 CPUtime=50.87 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 849962 0 0 0 4898 189 0 0 20 0 3 0 160977593 6528856064 1442548 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 1593959 1442548 2782 3032 0 1573359 0
[pid=845495/tid=845530] ppid=845492 vsize=6375836 memory=11588 CPUtime=24.9 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 463951 0 0 0 2399 91 0 0 20 0 3 0 160980089 6528856064 1442548 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=6375836 memory=3870064 CPUtime=0 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 160980287 6528856064 1442548 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 6375836 KiB
Current children cumulated memory: 5770192 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/266 845552
/proc/meminfo: memFree=99150348/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=6729180 memory=6106108 CPUtime=101.84 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 1045396 0 0 0 9969 215 0 0 20 0 3 0 160977593 6890680320 1526527 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 1682295 1526527 2974 3032 0 1659574 0
[pid=845495/tid=845530] ppid=845492 vsize=6729180 memory=6720662168695815789 CPUtime=75.87 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 659143 0 0 0 7469 118 0 0 20 0 3 0 160980089 6890680320 1526527 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=6729180 memory=6106108 CPUtime=0 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 160980287 6890680320 1526527 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 6729180 KiB
Current children cumulated memory: 6106108 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=845495] ppid=845492 vsize=6911664 memory=6167656 CPUtime=161.55 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 1225200 0 0 0 15917 238 0 0 20 0 3 0 160977593 7077543936 1541914 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 1727916 1541914 2974 3032 0 1699056 0
[pid=845495/tid=845530] ppid=845492 vsize=6911664 memory=6167656 CPUtime=135.59 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 838937 0 0 0 13418 141 0 0 20 0 3 0 160980089 7077543936 1541914 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=6911664 memory=11588 CPUtime=0 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 160980287 7077543936 1541914 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 6911664 KiB
Current children cumulated memory: 6167656 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=845495] ppid=845492 vsize=7002052 memory=6196500 CPUtime=221.25 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 1393998 0 0 0 21869 256 0 0 20 0 3 0 160977593 7170101248 1549125 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 1750513 1549125 2974 3032 0 1721653 0
[pid=845495/tid=845530] ppid=845492 vsize=7002052 memory=524 CPUtime=195.29 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 1007727 0 0 0 19370 159 0 0 20 0 3 0 160980089 7170101248 1549125 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=7002052 memory=41300 CPUtime=0 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 160980287 7170101248 1549125 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 7002052 KiB
Current children cumulated memory: 6196500 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=845495] ppid=845492 vsize=7063640 memory=6197516 CPUtime=280.96 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 1553451 0 0 0 27822 274 0 0 20 0 3 0 160977593 7233167360 1549379 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 1765910 1549379 2974 3032 0 1737050 0
[pid=845495/tid=845530] ppid=845492 vsize=7063640 memory=6196504 CPUtime=255 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 1167172 0 0 0 25323 177 0 0 20 0 3 0 160980089 7233167360 1549379 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=7063640 memory=6720662168695815789 CPUtime=0 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 160980287 7233167360 1549379 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 280.96 s
Current children cumulated vsize: 7063640 KiB
Current children cumulated memory: 6197516 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=845495] ppid=845492 vsize=7125232 memory=6210252 CPUtime=340.68 cores=1,3

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

[pid=845495/tid=845530] ppid=845492 vsize=9599060 memory=11588 CPUtime=3301.03 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6572626 0 0 0 329482 621 0 0 20 0 3 0 160980089 9829437440 1785943 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9599060 memory=11588 CPUtime=0.05 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 484 0 0 0 2 3 0 0 20 0 3 0 160980287 9829437440 1785943 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3327.07 s
Current children cumulated vsize: 9599060 KiB
Current children cumulated memory: 7143772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 847319
/proc/meminfo: memFree=95560792/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=9599060 memory=7143772 CPUtime=3386.79 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 6968783 0 0 0 337956 723 0 0 20 0 3 0 160977593 9829437440 1785943 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2399765 1785943 2990 3032 0 2364840 0
[pid=845495/tid=845530] ppid=845492 vsize=9599060 memory=7143772 CPUtime=3360.75 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6580986 0 0 0 335453 622 0 0 20 0 3 0 160980089 9829437440 1785943 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9599060 memory=7143772 CPUtime=0.05 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 494 0 0 0 2 3 0 0 20 0 3 0 160980287 9829437440 1785943 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3386.79 s
Current children cumulated vsize: 9599060 KiB
Current children cumulated memory: 7143772 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 847330
/proc/meminfo: memFree=95560328/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3446.5 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 6977921 0 0 0 343926 724 0 0 20 0 3 0 160977593 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2415165 1785944 2990 3032 0 2380240 0
[pid=845495/tid=845530] ppid=845492 vsize=9660660 memory=7143772 CPUtime=3420.44 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6590094 0 0 0 341422 622 0 0 20 0 3 0 160980089 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9660660 memory=7143776 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 505 0 0 0 2 4 0 0 20 0 3 0 160980287 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3446.5 s
Current children cumulated vsize: 9660660 KiB
Current children cumulated memory: 7143776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 847342
/proc/meminfo: memFree=95560136/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3506.21 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 6999639 0 0 0 349896 725 0 0 20 0 3 0 160977593 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2415165 1785944 2990 3032 0 2380240 0
[pid=845495/tid=845530] ppid=845492 vsize=9660660 memory=11588 CPUtime=3480.17 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6611801 0 0 0 347393 624 0 0 20 0 3 0 160980089 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9660660 memory=7143776 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 509 0 0 0 2 4 0 0 20 0 3 0 160980287 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3506.21 s
Current children cumulated vsize: 9660660 KiB
Current children cumulated memory: 7143776 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=845495] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3565.93 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 7007707 0 0 0 355867 726 0 0 20 0 3 0 160977593 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2415165 1785944 2990 3032 0 2380240 0
[pid=845495/tid=845530] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3539.87 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6619859 0 0 0 353363 624 0 0 20 0 3 0 160980089 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9660660 memory=11588 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 519 0 0 0 2 4 0 0 20 0 3 0 160980287 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3565.93 s
Current children cumulated vsize: 9660660 KiB
Current children cumulated memory: 7143776 KiB

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

# cumulated CPU time of all completed processes:  user=3579.58 s, system=7.37088 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=95558448/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3567.62 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 7007787 0 0 0 356036 726 0 0 20 0 3 0 160977593 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2415165 1785944 2990 3032 0 2380240 0
[pid=845495/tid=845530] ppid=845492 vsize=9660660 memory=-5155634780447454526 CPUtime=3541.57 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6619939 0 0 0 353533 624 0 0 20 0 3 0 160980089 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9660660 memory=4756 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 519 0 0 0 2 4 0 0 20 0 3 0 160980287 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3567.62 s
Current children cumulated vsize: 9660660 KiB
Current children cumulated memory: 7143776 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 847367
/proc/meminfo: memFree=95558404/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3580.35 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 7008999 0 0 0 357309 726 0 0 20 0 3 0 160977593 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2415165 1785944 2990 3032 0 2380240 0
[pid=845495/tid=845530] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3554.29 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6621151 0 0 0 354805 624 0 0 20 0 3 0 160980089 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9660660 memory=7143776 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 519 0 0 0 2 4 0 0 20 0 3 0 160980287 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3580.35 s
Current children cumulated vsize: 9660660 KiB
Current children cumulated memory: 7143776 KiB

[startup+3600 s]*
/proc/loadavg: 4.12 4.10 4.09 5/267 847369
/proc/meminfo: memFree=95558288/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3583.54 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 7009579 0 0 0 357628 726 0 0 20 0 3 0 160977593 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2415165 1785944 2990 3032 0 2380240 0
[pid=845495/tid=845530] ppid=845492 vsize=9660660 memory=-5155634780447454526 CPUtime=3557.48 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6621731 0 0 0 355124 624 0 0 20 0 3 0 160980089 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9660660 memory=40252 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 519 0 0 0 2 4 0 0 20 0 3 0 160980287 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3583.54 s
Current children cumulated vsize: 9660660 KiB
Current children cumulated memory: 7143776 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=845495] ppid=845492 vsize=9660660 memory=7143776 CPUtime=3585.13 cores=1,3
/proc/845495/stat : 845495 (fscip) S 845492 845495 843431 0 -1 1077936128 7016258 0 0 0 357787 726 0 0 20 0 3 0 160977593 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 2415165 1785944 2990 3032 0 2380240 0
[pid=845495/tid=845530] ppid=845492 vsize=9660660 memory=5536 CPUtime=3559.08 cores=1,3
/proc/845495/task/845530/stat : 845530 (fscip) R 845492 845495 843431 0 -1 4194368 6628394 0 0 0 355283 625 0 0 20 0 3 0 160980089 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
[pid=845495/tid=845534] ppid=845492 vsize=9660660 memory=7143776 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 519 0 0 0 2 4 0 0 20 0 3 0 160980287 9892515840 1785944 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3585.13 s
Current children cumulated vsize: 9660660 KiB
Current children cumulated memory: 7143776 KiB

[startup+3602.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 847369
/proc/meminfo: memFree=95632084/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=5927380 memory=5547732 CPUtime=3585.93 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 7091893 0 0 0 357861 732 0 0 20 0 2 0 160977593 6069637120 1386933 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 1481845 1386933 2990 3032 0 1455406 0
[pid=845495/tid=845534] ppid=845492 vsize=5927380 memory=7143776 CPUtime=0.06 cores=1,3
/proc/845495/task/845534/stat : 845534 (fscip) S 845492 845495 843431 0 -1 1077936192 519 0 0 0 2 4 0 0 20 0 2 0 160980287 6069637120 1386933 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 5927380 KiB
Current children cumulated memory: 5547732 KiB

[startup+3603.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 847369
/proc/meminfo: memFree=102025396/131524600 swapFree=131071996/131071996
[pid=845495] ppid=845492 vsize=5849276 memory=5470256 CPUtime=3586.72 cores=1,3
/proc/845495/stat : 845495 (fscip) R 845492 845495 843431 0 -1 4194304 7095473 0 0 0 357940 732 0 0 20 0 1 0 160977593 5989658624 1367564 134679101440 4194304 16613245 140723835003776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 52375552 140723835012117 140723835012233 140723835012233 140723835019248 0
/proc/845495/statm: 1462319 1367564 2990 3032 0 1435880 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 5849276 KiB
Current children cumulated memory: 5470256 KiB

[startup+3603.4 s]*
/proc/loadavg: 4.11 4.09 4.09 5/259 847370
/proc/meminfo: memFree=104878668/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.43
CPU time (s): 3586.95
CPU user time (s): 3579.58
CPU system time (s): 7.37088
CPU usage (%): 99.5427
Max. virtual memory (cumulated for all children) (KiB): 9660660
Max. memory (cumulated for all children) (KiB): 7143776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.58
system time used= 7.37088
maximum resident set size= 7143776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7096666
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= 4050
involuntary context switches= 1319


# summary of solver processes directly reported to runsolver:
#   pid: 845495
#   total CPU time (s): 3586.95
#   total CPU user time (s): 3579.58
#   total CPU system time (s): 7.37088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0895 second user time and 14.324 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-16 02:01:55
IDJOB=4434671
IDBENCH=147554
IDSOLVER=3064
FILE ID=nodeC029/4434671-1721088102
RUNJOBID= nodeC029-1721084514-843444
SLURM_JOB_ID= 7505574
Free space on /tmp= 890012 MiB

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

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

MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2
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		: 3655.894
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		: 3672.858
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		: 3644.834
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		: 3641.562
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		: 3606.800
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		: 3404.752
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		: 3657.874
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		: 3661.876
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:        123602688 kB
MemAvailable:   129670280 kB
Buffers:          380688 kB
Cached:          6450932 kB
SwapCached:            0 kB
Active:           684672 kB
Inactive:        6483824 kB
Active(anon):       1416 kB
Inactive(anon):   373532 kB
Active(file):     683256 kB
Inactive(file):  6110292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            150728 kB
Writeback:             0 kB
AnonPages:        336988 kB
Mapped:           103732 kB
Shmem:             37720 kB
KReclaimable:     227384 kB
Slab:             348040 kB
SReclaimable:     227384 kB
SUnreclaim:       120656 kB
KernelStack:        3920 kB
PageTables:         9880 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:    223232 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:58