Trace number 4463995

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-30SAT420 3591.5 3601.87

General information on the benchmark

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

Verifier Data

OK	420

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100095 s]*
/proc/loadavg: 0.43 0.16 0.11 5/256 28273
/proc/meminfo: memFree=128988920/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=43844 memory=32528 CPUtime=0.1 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 6009 0 0 0 8 2 0 0 20 0 1 0 4230040 44896256 8132 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 10961 8132 2347 3035 0 7357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43844 KiB
Current children cumulated memory: 32528 KiB

[startup+0.213817 s]*
/proc/loadavg: 0.43 0.16 0.11 5/256 28273
/proc/meminfo: memFree=128974304/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=56304 memory=44628 CPUtime=0.22 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 9062 0 0 0 19 3 0 0 20 0 1 0 4230040 57655296 11157 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 14076 11157 2347 3035 0 10472 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56304 KiB
Current children cumulated memory: 44628 KiB

[startup+0.31391 s]*
/proc/loadavg: 0.43 0.16 0.11 6/256 28273
/proc/meminfo: memFree=128962376/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=69468 memory=57072 CPUtime=0.31 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 12146 0 0 0 27 4 0 0 20 0 1 0 4230040 71135232 14268 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 17367 14268 2347 3035 0 13763 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69468 KiB
Current children cumulated memory: 57072 KiB

[startup+0.700319 s]
/proc/loadavg: 0.43 0.16 0.11 6/256 28273
/proc/meminfo: memFree=128939676/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=116792 memory=104404 CPUtime=0.69 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 24025 0 0 0 62 7 0 0 20 0 1 0 4230040 119595008 26101 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 29198 26101 2347 3035 0 25594 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116792 KiB
Current children cumulated memory: 104404 KiB

[startup+1.5003 s]
/proc/loadavg: 0.43 0.16 0.11 5/256 28273
/proc/meminfo: memFree=128799848/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=267240 memory=252800 CPUtime=1.49 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 59054 0 0 0 134 15 0 0 20 0 1 0 4230040 273653760 63200 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 66810 63200 2347 3035 0 63206 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 267240 KiB
Current children cumulated memory: 252800 KiB

[startup+3.11315 s]
/proc/loadavg: 0.43 0.16 0.11 5/256 28275
/proc/meminfo: memFree=127815220/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=828832 memory=815324 CPUtime=3.1 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 191256 0 0 0 273 37 0 0 20 0 1 0 4230040 848723968 203831 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 207208 203831 2614 3035 0 203604 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 828832 KiB
Current children cumulated memory: 815324 KiB

[startup+6.30031 s]
/proc/loadavg: 0.72 0.22 0.13 5/256 28275
/proc/meminfo: memFree=127738364/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=983420 memory=957232 CPUtime=6.27 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 208880 0 0 0 587 40 0 0 20 0 1 0 4230040 1007022080 239308 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 245855 239308 2614 3035 0 242251 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 983420 KiB
Current children cumulated memory: 957232 KiB

[startup+12.7002 s]
/proc/loadavg: 0.98 0.28 0.15 5/256 28276
/proc/meminfo: memFree=127382736/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=1256888 memory=1237960 CPUtime=12.65 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 286178 0 0 0 1203 62 0 0 20 0 1 0 4230040 1287053312 309490 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 314222 309490 2726 3035 0 310618 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1256888 KiB
Current children cumulated memory: 1237960 KiB

[startup+25.5004 s]
/proc/loadavg: 1.65 0.47 0.22 5/257 28279
/proc/meminfo: memFree=125567660/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=3435500 memory=3095816 CPUtime=25.4 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 380689 0 0 0 2435 105 0 0 20 0 2 0 4230040 3517952000 773954 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 858875 773954 2774 3035 0 838919 0
[pid=28272/tid=28279] ppid=28269 vsize=3435500 memory=2682816 CPUtime=0 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) S 28269 28272 27997 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 4232512 3517952000 773954 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3435500 KiB
Current children cumulated memory: 3095816 KiB

[startup+51.1139 s]
/proc/loadavg: 2.45 0.75 0.32 5/260 28343
/proc/meminfo: memFree=122665752/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=6574832 memory=5967464 CPUtime=50.92 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 792847 0 0 0 4876 216 0 0 20 0 3 0 4230040 6732627968 1491866 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1643708 1491866 2838 3035 0 1627899 0
[pid=28272/tid=28279] ppid=28269 vsize=6574832 memory=11536 CPUtime=25.25 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 409559 0 0 0 2416 109 0 0 20 0 3 0 4232512 6732627968 1492378 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=6574832 memory=4024884 CPUtime=0 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4232759 6732627968 1492378 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 6574832 KiB
Current children cumulated memory: 5967464 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.27 0.52 5/260 28354
/proc/meminfo: memFree=122215516/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=6729196 memory=6107120 CPUtime=101.98 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 955320 0 0 0 9963 235 0 0 20 0 3 0 4230040 6890696704 1526780 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1682299 1526780 2998 3035 0 1659385 0
[pid=28272/tid=28279] ppid=28269 vsize=6729196 memory=11536 CPUtime=76.31 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 570571 0 0 0 7503 128 0 0 20 0 3 0 4232512 6890696704 1526780 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=6729196 memory=6107120 CPUtime=0 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4232759 6890696704 1526780 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 6729196 KiB
Current children cumulated memory: 6107120 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 1.82 0.76 5/260 28366
/proc/meminfo: memFree=121949660/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=7002068 memory=6191372 CPUtime=161.79 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 1213124 0 0 0 15922 257 0 0 20 0 3 0 4230040 7170117632 1547843 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1750517 1547843 2998 3035 0 1718899 0
[pid=28272/tid=28279] ppid=28269 vsize=7002068 memory=6181060 CPUtime=136.11 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 828363 0 0 0 13461 150 0 0 20 0 3 0 4232512 7170117632 1547843 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=7002068 memory=6181060 CPUtime=0 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4232759 7170117632 1547843 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 7002068 KiB
Current children cumulated memory: 6191372 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.23 0.97 5/260 28376
/proc/meminfo: memFree=121926848/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=7063656 memory=6201660 CPUtime=221.59 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 1363702 0 0 0 21889 270 0 0 20 0 3 0 4230040 7233183744 1550415 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1765914 1550415 2998 3035 0 1736862 0
[pid=28272/tid=28279] ppid=28269 vsize=7063656 memory=6201660 CPUtime=195.91 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 978929 0 0 0 19429 162 0 0 20 0 3 0 4232512 7233183744 1550415 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=7063656 memory=6201660 CPUtime=0 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4232759 7233183744 1550415 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 7063656 KiB
Current children cumulated memory: 6201660 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.59 1.17 5/258 28387
/proc/meminfo: memFree=121909444/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=7125244 memory=6211932 CPUtime=281.39 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 1512678 0 0 0 27857 282 0 0 20 0 3 0 4230040 7296249856 1552983 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1781311 1552983 2998 3035 0 1752259 0
[pid=28272/tid=28279] ppid=28269 vsize=7125244 memory=6201660 CPUtime=255.71 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 1127898 0 0 0 25396 175 0 0 20 0 3 0 4232512 7296249856 1552983 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=7125244 memory=6211932 CPUtime=0 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4232759 7296249856 1552983 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 7125244 KiB
Current children cumulated memory: 6211932 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 2.88 1.36 5/253 28398
/proc/meminfo: memFree=121899780/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=7248428 memory=6212104 CPUtime=341.19 cores=5,7

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

/proc/28272/statm: 2394690 1780363 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=7121452 CPUtime=3306.84 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8384534 0 0 0 329978 706 0 0 20 0 3 0 4232512 9808650240 1780363 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=7121452 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 513 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780363 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/253 29924
/proc/meminfo: memFree=120778628/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=9578760 memory=7121452 CPUtime=3392.46 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 8890803 0 0 0 338420 826 0 0 20 0 3 0 4230040 9808650240 1780363 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 2394690 1780363 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=7121452 CPUtime=3366.69 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8504293 0 0 0 335956 713 0 0 20 0 3 0 4232512 9808650240 1780363 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=12856 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 525 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780363 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/253 29934
/proc/meminfo: memFree=120774956/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=9578760 memory=7121460 CPUtime=3452.3 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 8972977 0 0 0 344398 832 0 0 20 0 3 0 4230040 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 2394690 1780365 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=7121452 CPUtime=3426.54 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8586420 0 0 0 341935 719 0 0 20 0 3 0 4232512 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=7121460 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 530 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 30114
/proc/meminfo: memFree=120771312/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=9578760 memory=7121460 CPUtime=3512.15 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 9016446 0 0 0 350379 836 0 0 20 0 3 0 4230040 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 2394690 1780365 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=16320 CPUtime=3486.39 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8629877 0 0 0 347916 723 0 0 20 0 3 0 4232512 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=7121460 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 542 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768764/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=9578760 memory=7121460 CPUtime=3572 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 9083254 0 0 0 356358 842 0 0 20 0 3 0 4230040 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 2394690 1780365 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=11536 CPUtime=3546.24 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8696679 0 0 0 353895 729 0 0 20 0 3 0 4232512 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=7121460 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 548 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121460 KiB

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

# cumulated CPU time of all completed processes:  user=3582.79 s, system=8.71439 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768792/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=9578760 memory=7121460 CPUtime=3573.71 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 9083924 0 0 0 356529 842 0 0 20 0 3 0 4230040 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 2394690 1780365 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=-7522256593712405882 CPUtime=3547.94 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8697349 0 0 0 354065 729 0 0 20 0 3 0 4232512 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=-4050210904893801877 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 548 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121460 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 30125
/proc/meminfo: memFree=120768748/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=9578760 memory=7121460 CPUtime=3580.08 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 9087043 0 0 0 357166 842 0 0 20 0 3 0 4230040 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 2394690 1780365 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=16320 CPUtime=3554.31 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8700468 0 0 0 354702 729 0 0 20 0 3 0 4232512 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=11536 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 548 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3580.08 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121460 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.14 4.09 5/254 30126
/proc/meminfo: memFree=120767264/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=9578760 memory=7121460 CPUtime=3586.46 cores=5,7
/proc/28272/stat : 28272 (fscip) S 28269 28272 27997 0 -1 1077936128 9089407 0 0 0 357804 842 0 0 20 0 3 0 4230040 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 2394690 1780365 3014 3035 0 2368549 0
[pid=28272/tid=28279] ppid=28269 vsize=9578760 memory=7121460 CPUtime=3560.7 cores=5,7
/proc/28272/task/28279/stat : 28279 (fscip) R 28269 28272 27997 0 -1 4194368 8702829 0 0 0 355341 729 0 0 20 0 3 0 4232512 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
[pid=28272/tid=28280] ppid=28269 vsize=9578760 memory=-7522256593712405882 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 551 0 0 0 2 3 0 0 20 0 3 0 4232759 9808650240 1780365 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 9578760 KiB
Current children cumulated memory: 7121460 KiB

[startup+3600.01 s]*
/proc/loadavg: 4.15 4.14 4.09 5/248 30265
/proc/meminfo: memFree=123319344/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=5911012 memory=5532152 CPUtime=3589.66 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 9257494 0 0 0 358113 853 0 0 20 0 2 0 4230040 6052876288 1383038 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1477753 1383038 3014 3035 0 1451612 0
[pid=28272/tid=28280] ppid=28269 vsize=5911012 memory=-6000919502754704492 CPUtime=0.05 cores=5,7
/proc/28272/task/28280/stat : 28280 (fscip) S 28269 28272 27997 0 -1 1077936192 555 0 0 0 2 3 0 0 20 0 2 0 4232759 6052876288 1383038 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
Current children cumulated CPU time: 3589.66 s
Current children cumulated vsize: 5911012 KiB
Current children cumulated memory: 5532152 KiB

[startup+3600.8 s]
/proc/loadavg: 4.15 4.14 4.09 5/248 30265
/proc/meminfo: memFree=123319344/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=5911012 memory=5532152 CPUtime=3590.44 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 9322104 0 0 0 358183 861 0 0 20 0 1 0 4230040 6052876288 1383038 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1477753 1383038 3014 3035 0 1451612 0
Current children cumulated CPU time: 3590.44 s
Current children cumulated vsize: 5911012 KiB
Current children cumulated memory: 5532152 KiB

[startup+3601.6 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 30267
/proc/meminfo: memFree=123246600/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=5815304 memory=5437072 CPUtime=3591.22 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 9325537 0 0 0 358261 861 0 0 20 0 1 0 4230040 5954871296 1359268 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1453826 1359268 3014 3035 0 1427685 0
Current children cumulated CPU time: 3591.22 s
Current children cumulated vsize: 5815304 KiB
Current children cumulated memory: 5437072 KiB

[startup+3601.8 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 30267
/proc/meminfo: memFree=123246600/131655788 swapFree=131071728/131071996
[pid=28272] ppid=28269 vsize=5570668 memory=4710428 CPUtime=3591.42 cores=5,7
/proc/28272/stat : 28272 (fscip) R 28269 28272 27997 0 -1 4194304 9326770 0 0 0 358278 864 0 0 20 0 1 0 4230040 5704364032 1177607 134679101440 4194304 16623229 140730878648928 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27475968 140730878657558 140730878657674 140730878657674 140730878664688 0
/proc/28272/statm: 1392667 1177607 3014 3035 0 1366526 0
Current children cumulated CPU time: 3591.42 s
Current children cumulated vsize: 5570668 KiB
Current children cumulated memory: 4710428 KiB

Child status: 0

Real time (s): 3601.87
CPU time (s): 3591.5
CPU user time (s): 3582.79
CPU system time (s): 8.71439
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 9578760
Max. memory (cumulated for all children) (KiB): 7121460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.79
system time used= 8.71439
maximum resident set size= 7121460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9326850
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= 4174
involuntary context switches= 4849


# summary of solver processes directly reported to runsolver:
#   pid: 28272
#   total CPU time (s): 3591.5
#   total CPU user time (s): 3582.79
#   total CPU system time (s): 8.71439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8873 second user time and 35.7862 second system time

The end

Launcher Data

Begin job on nodeC011 at 2024-07-31 00:29:57
IDJOB=4463995
IDBENCH=147551
IDSOLVER=3092
FILE ID=nodeC011/4463995-1722378596
RUNJOBID= nodeC011-1722378594-28010
SLURM_JOB_ID= 8249841
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.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-4463995-1722378596/watcher-4463995-1722378596 -o /tmp/evaluation-result-4463995-1722378596/solver-4463995-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28010 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463995-1722378596.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129010624 kB
MemAvailable:   129985700 kB
Buffers:           83104 kB
Cached:          1736664 kB
SwapCached:           12 kB
Active:           250164 kB
Inactive:        1965144 kB
Active(anon):       1892 kB
Inactive(anon):   423112 kB
Active(file):     248272 kB
Inactive(file):  1542032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            129900 kB
Writeback:             0 kB
AnonPages:        393604 kB
Mapped:           127304 kB
Shmem:             29468 kB
KReclaimable:      49944 kB
Slab:             125764 kB
SReclaimable:      49944 kB
SUnreclaim:        75820 kB
KernelStack:        4080 kB
PageTables:        10088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     782516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      156488 kB
DirectMap2M:     9185280 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC011 at 2024-07-31 01:29:59