Trace number 4464002

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-30SAT282 3590.35 3601.26

General information on the benchmark

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

Verifier Data

OK	282

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62470 MiB free)
  memory of node 1: 64510 MiB (63773 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100093 s]*
/proc/loadavg: 0.48 0.17 0.12 5/260 29900
/proc/meminfo: memFree=129148616/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=68312 memory=56016 CPUtime=0.09 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 11930 0 0 0 8 1 0 0 20 0 1 0 4458968 69951488 14004 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 17078 14004 2347 3035 0 13474 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68312 KiB
Current children cumulated memory: 56016 KiB

[startup+0.205981 s]*
/proc/loadavg: 0.48 0.17 0.12 5/260 29900
/proc/meminfo: memFree=129048804/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=103168 memory=90892 CPUtime=0.2 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 20623 0 0 0 17 3 0 0 20 0 1 0 4458968 105644032 22723 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 25792 22723 2347 3035 0 22188 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103168 KiB
Current children cumulated memory: 90892 KiB

[startup+0.305905 s]*
/proc/loadavg: 0.48 0.17 0.12 5/260 29900
/proc/meminfo: memFree=128962352/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=132528 memory=120116 CPUtime=0.3 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 27951 0 0 0 25 5 0 0 20 0 1 0 4458968 135708672 30029 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 33132 30029 2347 3035 0 29528 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132528 KiB
Current children cumulated memory: 120116 KiB

[startup+0.70025 s]
/proc/loadavg: 0.48 0.17 0.12 5/260 29900
/proc/meminfo: memFree=128776892/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=251732 memory=239532 CPUtime=0.69 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 57256 0 0 0 60 9 0 0 20 0 1 0 4458968 257773568 59883 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 62933 59883 2347 3035 0 59329 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 251732 KiB
Current children cumulated memory: 239532 KiB

[startup+1.50025 s]
/proc/loadavg: 0.48 0.17 0.12 5/260 29900
/proc/meminfo: memFree=128333196/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=604368 memory=584932 CPUtime=1.49 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 139342 0 0 0 129 20 0 0 20 0 1 0 4458968 618872832 146233 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 151092 146233 2555 3035 0 147488 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 604368 KiB
Current children cumulated memory: 584932 KiB

[startup+3.10579 s]
/proc/loadavg: 0.48 0.17 0.12 5/260 29902
/proc/meminfo: memFree=126785068/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=841148 memory=827688 CPUtime=3.09 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 194345 0 0 0 280 29 0 0 20 0 1 0 4458968 861335552 206922 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 210287 206922 2614 3035 0 206683 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 841148 KiB
Current children cumulated memory: 827688 KiB

[startup+6.30025 s]
/proc/loadavg: 0.76 0.24 0.14 5/260 29902
/proc/meminfo: memFree=125882060/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=1257472 memory=1235288 CPUtime=6.28 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 227260 0 0 0 585 43 0 0 20 0 1 0 4458968 1287651328 308822 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 314368 308822 2710 3035 0 310764 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1257472 KiB
Current children cumulated memory: 1235288 KiB

[startup+12.7003 s]
/proc/loadavg: 1.02 0.30 0.16 5/262 29960
/proc/meminfo: memFree=125556244/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=1256888 memory=1232980 CPUtime=12.65 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 286596 0 0 0 1212 53 0 0 20 0 1 0 4458968 1287053312 308245 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 314222 308245 2726 3035 0 310618 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1256888 KiB
Current children cumulated memory: 1232980 KiB

[startup+25.5003 s]
/proc/loadavg: 1.68 0.48 0.22 5/263 29964
/proc/meminfo: memFree=120578544/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=3204104 memory=2890756 CPUtime=25.42 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 405275 0 0 0 2439 103 0 0 20 0 2 0 4458968 3281002496 722689 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 801026 722689 2774 3035 0 789062 0
[pid=29891/tid=29964] ppid=29886 vsize=3204104 memory=11592 CPUtime=0.14 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 20058 0 0 0 11 3 0 0 20 0 2 0 4461393 3281002496 722689 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3204104 KiB
Current children cumulated memory: 2890756 KiB

[startup+51.106 s]
/proc/loadavg: 2.55 0.78 0.33 5/268 29972
/proc/meminfo: memFree=112235908/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=6532588 memory=5936768 CPUtime=50.95 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 982148 0 0 0 4889 206 0 0 20 0 3 0 4458968 6689370112 1484192 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 1633147 1484192 2838 3035 0 1617441 0
[pid=29891/tid=29964] ppid=29886 vsize=6532588 memory=5102736 CPUtime=25.67 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 596919 0 0 0 2461 106 0 0 20 0 3 0 4461393 6689370112 1484192 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=6532588 memory=5722632 CPUtime=0 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4461591 6689370112 1484192 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6532588 KiB
Current children cumulated memory: 5936768 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 5/268 29982
/proc/meminfo: memFree=110832756/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=6729196 memory=6100600 CPUtime=101.98 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 1163942 0 0 0 9972 226 0 0 20 0 3 0 4458968 6890696704 1525150 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 1682299 1525150 2998 3035 0 1659359 0
[pid=29891/tid=29964] ppid=29886 vsize=6729196 memory=6100600 CPUtime=76.7 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 777299 0 0 0 7544 126 0 0 20 0 3 0 4461393 6890696704 1525150 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=6729196 memory=6100600 CPUtime=0 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4461591 6890696704 1525150 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 6729196 KiB
Current children cumulated memory: 6100600 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.80 0.75 5/268 29993
/proc/meminfo: memFree=110574432/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=7002068 memory=6190948 CPUtime=161.79 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 1446698 0 0 0 15926 253 0 0 20 0 3 0 4458968 7170117632 1547737 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 1750517 1547737 2998 3035 0 1721438 0
[pid=29891/tid=29964] ppid=29886 vsize=7002068 memory=6159580 CPUtime=136.51 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 1060039 0 0 0 13498 153 0 0 20 0 3 0 4461393 7170117632 1547737 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=7002068 memory=6159580 CPUtime=0 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4461591 7170117632 1547737 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 7002068 KiB
Current children cumulated memory: 6190948 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.24 0.97 5/268 30051
/proc/meminfo: memFree=110709940/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=7063656 memory=6191680 CPUtime=221.62 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 1613786 0 0 0 21893 269 0 0 20 0 3 0 4458968 7233183744 1547920 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 1765914 1547920 2998 3035 0 1736835 0
[pid=29891/tid=29964] ppid=29886 vsize=7063656 memory=6191168 CPUtime=196.33 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 1227118 0 0 0 19465 168 0 0 20 0 3 0 4461393 7233183744 1547920 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=7063656 memory=6191680 CPUtime=0 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4461591 7233183744 1547920 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 7063656 KiB
Current children cumulated memory: 6191680 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 2.59 1.17 5/268 30062
/proc/meminfo: memFree=110682340/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=7125244 memory=6201944 CPUtime=281.44 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 1755200 0 0 0 27859 285 0 0 20 0 3 0 4458968 7296249856 1550486 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 1781311 1550486 2998 3035 0 1752232 0
[pid=29891/tid=29964] ppid=29886 vsize=7125244 memory=11592 CPUtime=256.16 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 1368520 0 0 0 25431 185 0 0 20 0 3 0 4461393 7296249856 1550486 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=7125244 memory=6201944 CPUtime=0 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 4461591 7296249856 1550486 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 7125244 KiB
Current children cumulated memory: 6201944 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.87 1.36 5/263 30072
/proc/meminfo: memFree=110657700/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=7186836 memory=6202032 CPUtime=341.27 cores=1,3

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

[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=7185360 CPUtime=0.03 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 587 0 0 0 1 2 0 0 20 0 3 0 4461591 10005954560 1796340 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7185360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/263 31629
/proc/meminfo: memFree=107504404/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3392.01 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 10850598 0 0 0 338203 998 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=7192428 CPUtime=3366.68 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 10462249 0 0 0 335773 895 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=7195156 CPUtime=0.03 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 596 0 0 0 1 2 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.04 5/263 31642
/proc/meminfo: memFree=107495820/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3451.81 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11015654 0 0 0 344173 1008 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3426.48 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 10627253 0 0 0 341744 904 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=7195156 CPUtime=0.03 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 609 0 0 0 1 2 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3451.81 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/265 31822
/proc/meminfo: memFree=107494872/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3511.63 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11140188 0 0 0 350143 1020 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3486.29 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 10751778 0 0 0 347713 916 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=11592 CPUtime=0.04 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 618 0 0 0 1 3 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/265 31832
/proc/meminfo: memFree=107487120/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3571.44 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11309850 0 0 0 356110 1034 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=12468 CPUtime=3546.11 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 10921431 0 0 0 353681 930 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=2160 CPUtime=0.04 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 627 0 0 0 1 3 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

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

# cumulated CPU time of all completed processes:  user=3579.72 s, system=10.634 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.04 5/265 31834
/proc/meminfo: memFree=107487012/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3573.14 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11312224 0 0 0 356280 1034 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=11320 CPUtime=3547.8 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 10923805 0 0 0 353850 930 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=11380 CPUtime=0.04 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 627 0 0 0 1 3 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.12 4.04 5/265 31834
/proc/meminfo: memFree=107486996/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3579.51 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11320157 0 0 0 356916 1035 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3554.18 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 10931738 0 0 0 354487 931 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=140027544337249 CPUtime=0.04 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 627 0 0 0 1 3 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3579.51 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.04 5/265 31836
/proc/meminfo: memFree=107486860/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3585.9 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11326685 0 0 0 357553 1037 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3560.57 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 10938263 0 0 0 355124 933 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=52432 CPUtime=0.04 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 630 0 0 0 1 3 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.12 4.04 5/265 31836
/proc/meminfo: memFree=107486828/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9771440 memory=7195156 CPUtime=3587.49 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11471757 0 0 0 357705 1044 0 0 20 0 3 0 4458968 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2442860 1798789 3014 3035 0 2416900 0
[pid=29891/tid=29964] ppid=29886 vsize=9771440 memory=11592 CPUtime=3562.15 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 11083315 0 0 0 355275 940 0 0 20 0 3 0 4461393 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9771440 memory=7195156 CPUtime=0.04 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 633 0 0 0 1 3 0 0 20 0 3 0 4461591 10005954560 1798789 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3587.49 s
Current children cumulated vsize: 9771440 KiB
Current children cumulated memory: 7195156 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.12 4.04 5/265 31836
/proc/meminfo: memFree=107719244/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=9673352 memory=7117548 CPUtime=3589.1 cores=1,3
/proc/29891/stat : 29891 (fscip) S 29886 29891 29584 0 -1 1077936128 11528954 0 0 0 357861 1049 0 0 20 0 3 0 4458968 9905512448 1779387 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 2418338 1779387 3014 3035 0 2392378 0
[pid=29891/tid=29964] ppid=29886 vsize=9673352 memory=-7596564888052392827 CPUtime=3563.76 cores=1,3
/proc/29891/task/29964/stat : 29964 (fscip) R 29886 29891 29584 0 -1 4194368 11140511 0 0 0 355431 945 0 0 20 0 3 0 4461393 9905512448 1779387 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
[pid=29891/tid=29967] ppid=29886 vsize=9673352 memory=4211593100294516386 CPUtime=0.04 cores=1,3
/proc/29891/task/29967/stat : 29967 (fscip) S 29886 29891 29584 0 -1 1077936192 634 0 0 0 1 3 0 0 20 0 3 0 4461591 9905512448 1779387 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 9673352 KiB
Current children cumulated memory: 7117548 KiB

[startup+3600.8 s]
/proc/loadavg: 4.10 4.12 4.04 5/265 31836
/proc/meminfo: memFree=107719244/131524600 swapFree=131071996/131071996
[pid=29891] ppid=29886 vsize=5951544 memory=5556364 CPUtime=3589.89 cores=1,3
/proc/29891/stat : 29891 (fscip) R 29886 29891 29584 0 -1 4194304 11610905 0 0 0 357935 1054 0 0 20 0 1 0 4458968 6094381056 1389091 134679101440 4194304 16623229 140723936789664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24317952 140723936797718 140723936797834 140723936797834 140723936804848 0
/proc/29891/statm: 1487886 1389091 3014 3035 0 1461926 0
Current children cumulated CPU time: 3589.89 s
Current children cumulated vsize: 5951544 KiB
Current children cumulated memory: 5556364 KiB

[startup+3601.2 s]*
/proc/loadavg: 4.10 4.12 4.04 5/259 31836
/proc/meminfo: memFree=115228336/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3601.26
CPU time (s): 3590.35
CPU user time (s): 3579.72
CPU system time (s): 10.634
CPU usage (%): 99.6971
Max. virtual memory (cumulated for all children) (KiB): 9771440
Max. memory (cumulated for all children) (KiB): 7195156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.72
system time used= 10.634
maximum resident set size= 7195156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11615604
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= 3955
involuntary context switches= 1306


# summary of solver processes directly reported to runsolver:
#   pid: 29891
#   total CPU time (s): 3590.35
#   total CPU user time (s): 3579.72
#   total CPU system time (s): 10.634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4448 second user time and 15.7709 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-31 00:29:57
IDJOB=4464002
IDBENCH=147555
IDSOLVER=3092
FILE ID=nodeC023/4464002-1722378596
RUNJOBID= nodeC023-1722378594-29596
SLURM_JOB_ID= 8249846
Free space on /tmp= 890008 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129275164 kB
MemAvailable:   129719512 kB
Buffers:           90560 kB
Cached:          1188872 kB
SwapCached:            0 kB
Active:           259160 kB
Inactive:        1517640 kB
Active(anon):       1512 kB
Inactive(anon):   517152 kB
Active(file):     257648 kB
Inactive(file):  1000488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            163008 kB
Writeback:            36 kB
AnonPages:        497252 kB
Mapped:           100580 kB
Shmem:             21336 kB
KReclaimable:      51716 kB
Slab:             131472 kB
SReclaimable:      51716 kB
SUnreclaim:        79756 kB
KernelStack:        3900 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     692580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:      164564 kB
DirectMap2M:    10094592 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889924 MiB
End job on nodeC023 at 2024-07-31 01:29:58