Trace number 4463999

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-30SAT556 3591.38 3602.1

General information on the benchmark

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

Verifier Data

OK	556

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463999-1722378596/watcher-4463999-1722378596 -o /tmp/evaluation-result-4463999-1722378596/solver-4463999-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28309 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463999-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
Current StackSize limit: 8192 KiB

solver pid=28518, runsolver pid=28515

[startup+0.100343 s]*
/proc/loadavg: 0.40 0.15 0.11 5/241 28534
/proc/meminfo: memFree=129828424/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=47248 memory=35864 CPUtime=0.09 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 6865 0 0 0 8 1 0 0 20 0 1 0 4230416 48381952 8966 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 11812 8966 2347 3035 0 8208 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 35864 KiB

[startup+0.209547 s]*
/proc/loadavg: 0.40 0.15 0.11 4/239 28548
/proc/meminfo: memFree=129814560/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=59600 memory=48048 CPUtime=0.2 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 9876 0 0 0 18 2 0 0 20 0 1 0 4230416 61030400 12012 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 14900 12012 2347 3035 0 11296 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59600 KiB
Current children cumulated memory: 48048 KiB

[startup+0.310394 s]*
/proc/loadavg: 0.40 0.15 0.11 5/239 28552
/proc/meminfo: memFree=129769440/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=72936 memory=60832 CPUtime=0.31 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 13073 0 0 0 28 3 0 0 20 0 1 0 4230416 74686464 15208 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 18234 15208 2347 3035 0 14630 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 72936 KiB
Current children cumulated memory: 60832 KiB

[startup+0.70032 s]
/proc/loadavg: 0.40 0.15 0.11 5/239 28553
/proc/meminfo: memFree=129659448/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=114480 memory=102032 CPUtime=0.69 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 23433 0 0 0 63 6 0 0 20 0 1 0 4230416 117227520 25508 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 28620 25508 2347 3035 0 25016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114480 KiB
Current children cumulated memory: 102032 KiB

[startup+1.50036 s]
/proc/loadavg: 0.40 0.15 0.11 6/245 28563
/proc/meminfo: memFree=129350016/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=240544 memory=228184 CPUtime=1.48 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 54404 0 0 0 134 14 0 0 20 0 1 0 4230416 246317056 57046 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 60136 57046 2347 3035 0 56532 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 240544 KiB
Current children cumulated memory: 228184 KiB

[startup+3.11295 s]
/proc/loadavg: 0.40 0.15 0.11 5/245 28563
/proc/meminfo: memFree=127467100/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=805468 memory=792640 CPUtime=3.08 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 186146 0 0 0 273 35 0 0 20 0 1 0 4230416 824799232 198160 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 201367 198160 2555 3035 0 197763 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 805468 KiB
Current children cumulated memory: 792640 KiB

[startup+6.30035 s]
/proc/loadavg: 0.69 0.21 0.13 5/248 28624
/proc/meminfo: memFree=127227964/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=892828 memory=877628 CPUtime=6.26 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 202786 0 0 0 587 39 0 0 20 0 1 0 4230416 914255872 219407 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 223207 219407 2614 3035 0 219603 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 892828 KiB
Current children cumulated memory: 877628 KiB

[startup+12.7003 s]
/proc/loadavg: 0.95 0.28 0.15 5/248 28624
/proc/meminfo: memFree=126126432/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=1256888 memory=1235924 CPUtime=12.64 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 287208 0 0 0 1201 63 0 0 20 0 1 0 4230416 1287053312 308981 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 314222 308981 2710 3035 0 310618 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1256888 KiB
Current children cumulated memory: 1235924 KiB

[startup+25.5004 s]
/proc/loadavg: 1.70 0.47 0.22 5/250 28629
/proc/meminfo: memFree=121687968/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=3096852 memory=2804900 CPUtime=25.4 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 306955 0 0 0 2443 97 0 0 20 0 1 0 4230416 3171176448 701225 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 774213 701225 2774 3035 0 770609 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3096852 KiB
Current children cumulated memory: 2804900 KiB

[startup+51.1131 s]
/proc/loadavg: 2.48 0.76 0.32 5/254 28638
/proc/meminfo: memFree=113400256/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=6113708 memory=5498580 CPUtime=50.92 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 753970 0 0 0 4886 206 0 0 20 0 3 0 4230416 6260436992 1374645 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1528427 1374645 2790 3035 0 1505941 0
[pid=28518/tid=28630] ppid=28515 vsize=6113708 memory=4908708 CPUtime=24.15 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 370067 0 0 0 2319 96 0 0 20 0 3 0 4232986 6260436992 1374645 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=6113708 memory=7451879860792158316 CPUtime=0 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4233252 6260436992 1374645 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 6113708 KiB
Current children cumulated memory: 5498580 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.29 0.53 5/254 28646
/proc/meminfo: memFree=111157564/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=6866672 memory=6163476 CPUtime=101.97 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 1153941 0 0 0 9948 249 0 0 20 0 3 0 4230416 7031472128 1540869 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1716668 1540869 2998 3035 0 1697079 0
[pid=28518/tid=28630] ppid=28515 vsize=6866672 memory=6153036 CPUtime=75.19 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 768613 0 0 0 7380 139 0 0 20 0 3 0 4232986 7031472128 1540869 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=6866672 memory=6153036 CPUtime=0 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4233252 7031472128 1540869 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 6866672 KiB
Current children cumulated memory: 6163476 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.82 0.76 5/254 28657
/proc/meminfo: memFree=110981084/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=6957060 memory=6192792 CPUtime=161.77 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 1304290 0 0 0 15913 264 0 0 20 0 3 0 4230416 7124029440 1548198 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1739265 1548198 2998 3035 0 1719676 0
[pid=28518/tid=28630] ppid=28515 vsize=6957060 memory=12688 CPUtime=135 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 918950 0 0 0 13346 154 0 0 20 0 3 0 4232986 7124029440 1548198 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=6957060 memory=6192792 CPUtime=0 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4233252 7124029440 1548198 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 6957060 KiB
Current children cumulated memory: 6192792 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.23 0.97 5/252 28667
/proc/meminfo: memFree=110897512/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=7018648 memory=6192812 CPUtime=221.59 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 1463555 0 0 0 21878 281 0 0 20 0 3 0 4230416 7187095552 1548203 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1754662 1548203 2998 3035 0 1735073 0
[pid=28518/tid=28630] ppid=28515 vsize=7018648 memory=6192792 CPUtime=194.81 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 1078203 0 0 0 19310 171 0 0 20 0 3 0 4232986 7187095552 1548203 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=7018648 memory=6192812 CPUtime=0 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4233252 7187095552 1548203 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 7018648 KiB
Current children cumulated memory: 6192812 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.59 1.17 5/252 28724
/proc/meminfo: memFree=111215424/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=7080240 memory=6192816 CPUtime=281.39 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 1612888 0 0 0 27841 298 0 0 20 0 3 0 4230416 7250165760 1548204 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1770060 1548204 2998 3035 0 1750471 0
[pid=28518/tid=28630] ppid=28515 vsize=7080240 memory=6192816 CPUtime=254.62 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 1227524 0 0 0 25274 188 0 0 20 0 3 0 4232986 7250165760 1548204 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=7080240 memory=11768 CPUtime=0 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 4233252 7250165760 1548204 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 7080240 KiB
Current children cumulated memory: 6192816 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.86 1.36 5/246 28735
/proc/meminfo: memFree=111180548/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=7203424 memory=6192824 CPUtime=341.2 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 1872003 0 0 0 33800 320 0 0 20 0 3 0 4230416 7376306176 1548206 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1800856 1548206 2998 3035 0 1781267 0

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

[pid=28518] ppid=28515 vsize=9476092 memory=7154276 CPUtime=3332.34 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 7945861 0 0 0 332454 780 0 0 20 0 3 0 4230416 9703518208 1788569 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788569 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=7154276 CPUtime=3305.49 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7559001 0 0 0 329885 664 0 0 20 0 3 0 4232986 9703518208 1788569 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=11648 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 553 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788569 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7154276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/248 30297
/proc/meminfo: memFree=107418572/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3392.18 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 8008248 0 0 0 338433 785 0 0 20 0 3 0 4230416 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788803 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3365.32 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7621376 0 0 0 335864 668 0 0 20 0 3 0 4232986 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=11648 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 565 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7155212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.06 5/248 30307
/proc/meminfo: memFree=107402560/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3452.02 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 8041257 0 0 0 344414 788 0 0 20 0 3 0 4230416 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788803 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3425.16 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7654373 0 0 0 341844 672 0 0 20 0 3 0 4232986 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=11648 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 577 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7155212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.18 4.08 5/250 30487
/proc/meminfo: memFree=107387028/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3511.85 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 8103809 0 0 0 350391 794 0 0 20 0 3 0 4230416 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788803 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3484.98 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7716894 0 0 0 347821 677 0 0 20 0 3 0 4232986 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=7155212 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 585 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7155212 KiB

[startup+3582.3 s]
/proc/loadavg: 5.20 4.44 4.18 5/250 30498
/proc/meminfo: memFree=107366376/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3571.65 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 8144667 0 0 0 356368 797 0 0 20 0 3 0 4230416 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788803 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3544.78 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7757720 0 0 0 353798 680 0 0 20 0 3 0 4232986 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=12800 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 595 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7155212 KiB

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

# cumulated CPU time of all completed processes:  user=3583.11 s, system=8.26611 s

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

[startup+3584 s]*
/proc/loadavg: 5.20 4.44 4.18 5/250 30498
/proc/meminfo: memFree=107366436/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3573.36 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 8144735 0 0 0 356539 797 0 0 20 0 3 0 4230416 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788803 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=-7161968623522766456 CPUtime=3546.49 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7757788 0 0 0 353969 680 0 0 20 0 3 0 4232986 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=4880 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 595 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7155212 KiB

[startup+3590.4 s]
/proc/loadavg: 5.27 4.47 4.19 5/250 30500
/proc/meminfo: memFree=107364620/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3579.72 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 8145878 0 0 0 357175 797 0 0 20 0 3 0 4230416 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788803 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=-7306083811598623103 CPUtime=3552.86 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7758931 0 0 0 354605 681 0 0 20 0 3 0 4232986 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=7155212 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 595 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3579.72 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7155212 KiB

[startup+3596.8 s]
/proc/loadavg: 5.53 4.55 4.22 5/250 30501
/proc/meminfo: memFree=107363180/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3586.11 cores=1,3
/proc/28518/stat : 28518 (fscip) S 28515 28518 28297 0 -1 1077936128 8147971 0 0 0 357813 798 0 0 20 0 3 0 4230416 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 2369023 1788803 3014 3035 0 2347034 0
[pid=28518/tid=28630] ppid=28515 vsize=9476092 memory=7155212 CPUtime=3559.24 cores=1,3
/proc/28518/task/28630/stat : 28630 (fscip) R 28515 28518 28297 0 -1 4194368 7761021 0 0 0 355243 681 0 0 20 0 3 0 4232986 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
[pid=28518/tid=28633] ppid=28515 vsize=9476092 memory=7155212 CPUtime=0.06 cores=1,3
/proc/28518/task/28633/stat : 28633 (fscip) S 28515 28518 28297 0 -1 1077936192 598 0 0 0 1 5 0 0 20 0 3 0 4233252 9703518208 1788803 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 9476092 KiB
Current children cumulated memory: 7155212 KiB

[startup+3600 s]*
/proc/loadavg: 5.53 4.55 4.22 5/248 30501
/proc/meminfo: memFree=109030376/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=5997076 memory=5567988 CPUtime=3589.29 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 8284542 0 0 0 358123 806 0 0 20 0 1 0 4230416 6141005824 1391997 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1499269 1391997 3014 3035 0 1460929 0
Current children cumulated CPU time: 3589.29 s
Current children cumulated vsize: 5997076 KiB
Current children cumulated memory: 5567988 KiB

[startup+3600.8 s]
/proc/loadavg: 5.53 4.55 4.22 5/248 30501
/proc/meminfo: memFree=109030376/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=5997076 memory=5567988 CPUtime=3590.08 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 8345264 0 0 0 358194 814 0 0 20 0 1 0 4230416 6141005824 1391997 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1499269 1391997 3014 3035 0 1460929 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 5997076 KiB
Current children cumulated memory: 5567988 KiB

[startup+3601.6 s]
/proc/loadavg: 5.73 4.61 4.24 5/244 30501
/proc/meminfo: memFree=112638964/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=5991628 memory=5562852 CPUtime=3590.86 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 8346371 0 0 0 358272 814 0 0 20 0 1 0 4230416 6135427072 1390713 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1497907 1390713 3014 3035 0 1459567 0
Current children cumulated CPU time: 3590.86 s
Current children cumulated vsize: 5991628 KiB
Current children cumulated memory: 5562852 KiB

[startup+3602 s]*
/proc/loadavg: 5.73 4.61 4.24 5/244 30501
/proc/meminfo: memFree=112928668/131655788 swapFree=131071472/131071996
[pid=28518] ppid=28515 vsize=5697456 memory=5269308 CPUtime=3591.27 cores=1,3
/proc/28518/stat : 28518 (fscip) R 28515 28518 28297 0 -1 4194304 8349281 0 0 0 358310 817 0 0 20 0 1 0 4230416 5834194944 1317327 134679101440 4194304 16623229 140723673624032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53792768 140723673629722 140723673629838 140723673629838 140723673636848 0
/proc/28518/statm: 1424364 1317327 3014 3035 0 1386024 0
Current children cumulated CPU time: 3591.27 s
Current children cumulated vsize: 5697456 KiB
Current children cumulated memory: 5269308 KiB

Child status: 0

Real time (s): 3602.1
CPU time (s): 3591.38
CPU user time (s): 3583.11
CPU system time (s): 8.26611
CPU usage (%): 99.7023
Max. virtual memory (cumulated for all children) (KiB): 9476092
Max. memory (cumulated for all children) (KiB): 7155212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.11
system time used= 8.26611
maximum resident set size= 7155212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8349845
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= 4205
involuntary context switches= 1195


# summary of solver processes directly reported to runsolver:
#   pid: 28518
#   total CPU time (s): 3591.38
#   total CPU user time (s): 3583.11
#   total CPU system time (s): 8.26611

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9741 second user time and 33.0119 second system time

The end

Launcher Data

Begin job on nodeC008 at 2024-07-31 00:29:57
IDJOB=4463999
IDBENCH=147563
IDSOLVER=3092
FILE ID=nodeC008/4463999-1722378596
RUNJOBID= nodeC008-1722378594-28309
SLURM_JOB_ID= 8249838
Free space on /tmp= 723704 MiB

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

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129898660 kB
MemAvailable:   130127264 kB
Buffers:           77228 kB
Cached:           990864 kB
SwapCached:           72 kB
Active:           251380 kB
Inactive:        1085352 kB
Active(anon):       1424 kB
Inactive(anon):   288348 kB
Active(file):     249956 kB
Inactive(file):   797004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            163296 kB
Writeback:             0 kB
AnonPages:        268604 kB
Mapped:            88084 kB
Shmem:             21104 kB
KReclaimable:      42704 kB
Slab:             117332 kB
SReclaimable:      42704 kB
SUnreclaim:        74628 kB
KernelStack:        3664 kB
PageTables:         9128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     657652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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:      146248 kB
DirectMap2M:    10244096 kB
DirectMap1G:    125829120 kB

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