Trace number 4464001

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-30SAT412 3581.88 3601.18

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	412

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10009 s]*
/proc/loadavg: 0.45 0.20 0.12 6/268 30766
/proc/meminfo: memFree=121850552/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=59516 memory=47792 CPUtime=0.09 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 9874 0 0 0 9 0 0 0 20 0 1 0 4457959 60944384 11948 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 14879 11948 2347 3035 0 11275 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59516 KiB
Current children cumulated memory: 47792 KiB

[startup+0.205721 s]*
/proc/loadavg: 0.45 0.20 0.12 5/268 30766
/proc/meminfo: memFree=121788636/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=87788 memory=75628 CPUtime=0.2 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 16773 0 0 0 18 2 0 0 20 0 1 0 4457959 89894912 18907 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 21947 18907 2347 3035 0 18343 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87788 KiB
Current children cumulated memory: 75628 KiB

[startup+0.305697 s]*
/proc/loadavg: 0.45 0.20 0.12 5/268 30766
/proc/meminfo: memFree=121760300/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=115636 memory=103348 CPUtime=0.3 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 23725 0 0 0 27 3 0 0 20 0 1 0 4457959 118411264 25837 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 28909 25837 2347 3035 0 25305 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115636 KiB
Current children cumulated memory: 103348 KiB

[startup+0.700227 s]
/proc/loadavg: 0.45 0.20 0.12 6/268 30766
/proc/meminfo: memFree=121710148/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=210984 memory=198480 CPUtime=0.69 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 47039 0 0 0 62 7 0 0 20 0 1 0 4457959 216047616 49620 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 52746 49620 2347 3035 0 49142 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 210984 KiB
Current children cumulated memory: 198480 KiB

[startup+1.50022 s]
/proc/loadavg: 0.45 0.20 0.12 6/268 30766
/proc/meminfo: memFree=121451080/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=482532 memory=469912 CPUtime=1.48 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 114699 0 0 0 133 15 0 0 20 0 1 0 4457959 494112768 117478 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 120633 117478 2555 3035 0 117029 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 482532 KiB
Current children cumulated memory: 469912 KiB

[startup+3.10567 s]
/proc/loadavg: 0.45 0.20 0.12 5/261 30822
/proc/meminfo: memFree=120990912/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=841148 memory=827632 CPUtime=3.08 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 194328 0 0 0 281 27 0 0 20 0 1 0 4457959 861335552 206908 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 210287 206908 2614 3035 0 206683 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 841148 KiB
Current children cumulated memory: 827632 KiB

[startup+6.30022 s]
/proc/loadavg: 0.65 0.24 0.13 6/269 31017
/proc/meminfo: memFree=120636532/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=1187472 memory=1167600 CPUtime=6.27 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 221975 0 0 0 587 40 0 0 20 0 1 0 4457959 1215971328 291388 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 296868 291388 2678 3035 0 293264 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1187472 KiB
Current children cumulated memory: 1167600 KiB

[startup+12.7002 s]
/proc/loadavg: 0.92 0.31 0.15 5/267 31111
/proc/meminfo: memFree=120194540/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=1256888 memory=1238564 CPUtime=12.64 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 287995 0 0 0 1211 53 0 0 20 0 1 0 4457959 1287053312 309641 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 314222 309641 2710 3035 0 310618 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1256888 KiB
Current children cumulated memory: 1238564 KiB

[startup+25.5002 s]
/proc/loadavg: 1.67 0.50 0.22 5/264 31115
/proc/meminfo: memFree=118113136/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=3269640 memory=2980420 CPUtime=25.38 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 427323 0 0 0 2434 104 0 0 20 0 2 0 4457959 3348111360 745105 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 817410 745105 2774 3035 0 810363 0
[pid=30765/tid=31115] ppid=30762 vsize=3269640 memory=2681628 CPUtime=0.39 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 41700 0 0 0 34 5 0 0 20 0 2 0 4460362 3348111360 745105 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3269640 KiB
Current children cumulated memory: 2980420 KiB

[startup+51.1062 s]
/proc/loadavg: 2.47 0.79 0.32 5/265 31119
/proc/meminfo: memFree=115255400/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=6532588 memory=5941100 CPUtime=50.74 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 989410 0 0 0 4871 203 0 0 20 0 3 0 4457959 6689370112 1485275 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1633147 1485275 2838 3035 0 1617441 0
[pid=30765/tid=31115] ppid=30762 vsize=6532588 memory=4023520 CPUtime=25.75 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 603772 0 0 0 2471 104 0 0 20 0 3 0 4460362 6689370112 1485275 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=6532588 memory=0 CPUtime=0 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4460558 6689370112 1485275 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 6532588 KiB
Current children cumulated memory: 5941100 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.30 0.52 5/267 31132
/proc/meminfo: memFree=114808008/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=6729196 memory=6105584 CPUtime=101.42 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 1172424 0 0 0 9919 223 0 0 20 0 3 0 4457959 6890696704 1526396 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1682299 1526396 2998 3035 0 1659523 0
[pid=30765/tid=31115] ppid=30762 vsize=6729196 memory=11400 CPUtime=76.43 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 785380 0 0 0 7519 124 0 0 20 0 3 0 4460362 6890696704 1526396 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=6729196 memory=14436 CPUtime=0 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4460558 6890696704 1526396 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 101.42 s
Current children cumulated vsize: 6729196 KiB
Current children cumulated memory: 6105584 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.82 0.75 5/268 31144
/proc/meminfo: memFree=114637616/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=6909116 memory=6170680 CPUtime=160.82 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 1351886 0 0 0 15840 242 0 0 20 0 3 0 4457959 7074934784 1542670 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1727279 1542670 2998 3035 0 1698364 0
[pid=30765/tid=31115] ppid=30762 vsize=6909116 memory=6170680 CPUtime=135.83 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 964827 0 0 0 13440 143 0 0 20 0 3 0 4460362 7074934784 1542670 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=6909116 memory=11400 CPUtime=0 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4460558 7074934784 1542670 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 160.82 s
Current children cumulated vsize: 6909116 KiB
Current children cumulated memory: 6170680 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.25 0.97 5/266 31154
/proc/meminfo: memFree=114522528/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=7063656 memory=6202056 CPUtime=220.23 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 1613692 0 0 0 21760 263 0 0 20 0 3 0 4457959 7233183744 1550514 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1765914 1550514 2998 3035 0 1739565 0
[pid=30765/tid=31115] ppid=30762 vsize=7063656 memory=11400 CPUtime=195.24 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 1226621 0 0 0 19360 164 0 0 20 0 3 0 4460362 7233183744 1550514 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=7063656 memory=6202056 CPUtime=0 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4460558 7233183744 1550514 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 220.23 s
Current children cumulated vsize: 7063656 KiB
Current children cumulated memory: 6202056 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 2.60 1.17 5/266 31165
/proc/meminfo: memFree=114460740/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=7125244 memory=6202060 CPUtime=279.64 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 1768738 0 0 0 27688 276 0 0 20 0 3 0 4457959 7296249856 1550515 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1781311 1550515 2998 3035 0 1754962 0
[pid=30765/tid=31115] ppid=30762 vsize=7125244 memory=6202056 CPUtime=254.65 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 1381655 0 0 0 25288 177 0 0 20 0 3 0 4460362 7296249856 1550515 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=7125244 memory=6202056 CPUtime=0 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 4460558 7296249856 1550515 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 279.64 s
Current children cumulated vsize: 7125244 KiB
Current children cumulated memory: 6202060 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 2.88 1.36 5/263 31175
/proc/meminfo: memFree=114387520/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=7186832 memory=6212324 CPUtime=339.07 cores=0,2

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

/proc/30765/statm: 2455154 1750402 2998 3035 0 2432617 0
[pid=30765/tid=31115] ppid=30762 vsize=9820616 memory=7001608 CPUtime=3358.64 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9265021 0 0 0 335080 784 0 0 20 0 3 0 4460362 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9820616 memory=7001608 CPUtime=0.03 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) R 30762 30765 30590 0 -1 1077936192 586 0 0 0 1 2 0 0 20 0 3 0 4460558 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3383.69 s
Current children cumulated vsize: 9820616 KiB
Current children cumulated memory: 7001608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.56 4.24 4.08 5/265 32696
/proc/meminfo: memFree=112130484/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=9820616 memory=7001608 CPUtime=3443.47 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 9726406 0 0 0 343456 891 0 0 20 0 3 0 4457959 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 2455154 1750402 2998 3035 0 2432617 0
[pid=30765/tid=31115] ppid=30762 vsize=9820616 memory=7001608 CPUtime=3418.44 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9337572 0 0 0 341055 789 0 0 20 0 3 0 4460362 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9820616 memory=7001608 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 598 0 0 0 1 3 0 0 20 0 3 0 4460558 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3443.47 s
Current children cumulated vsize: 9820616 KiB
Current children cumulated memory: 7001608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.21 4.08 5/267 32876
/proc/meminfo: memFree=112103384/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=9820616 memory=7001608 CPUtime=3503.26 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 9819835 0 0 0 349429 897 0 0 20 0 3 0 4457959 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 2455154 1750402 2998 3035 0 2432617 0
[pid=30765/tid=31115] ppid=30762 vsize=9820616 memory=7001608 CPUtime=3478.22 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9430960 0 0 0 347027 795 0 0 20 0 3 0 4460362 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9820616 memory=7001608 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 604 0 0 0 1 3 0 0 20 0 3 0 4460558 10056310784 1750402 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3503.26 s
Current children cumulated vsize: 9820616 KiB
Current children cumulated memory: 7001608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.20 4.09 5/267 32886
/proc/meminfo: memFree=112043760/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=9854976 memory=7039588 CPUtime=3563.05 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 9954870 0 0 0 355395 910 0 0 20 0 3 0 4457959 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 2463744 1759897 3014 3035 0 2440875 0
[pid=30765/tid=31115] ppid=30762 vsize=9854976 memory=11400 CPUtime=3538.01 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9565946 0 0 0 352993 808 0 0 20 0 3 0 4460362 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9854976 memory=7039588 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 616 0 0 0 1 3 0 0 20 0 3 0 4460558 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3563.05 s
Current children cumulated vsize: 9854976 KiB
Current children cumulated memory: 7039588 KiB

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

# cumulated CPU time of all completed processes:  user=3572.56 s, system=9.31835 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.20 4.09 5/267 32887
/proc/meminfo: memFree=112043760/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=9854976 memory=7039588 CPUtime=3564.76 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 9954975 0 0 0 355565 911 0 0 20 0 3 0 4457959 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 2463744 1759897 3014 3035 0 2440875 0
[pid=30765/tid=31115] ppid=30762 vsize=9854976 memory=33 CPUtime=3539.71 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9566051 0 0 0 353163 808 0 0 20 0 3 0 4460362 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9854976 memory=-4050210904893341838 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 616 0 0 0 1 3 0 0 20 0 3 0 4460558 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3564.76 s
Current children cumulated vsize: 9854976 KiB
Current children cumulated memory: 7039588 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.20 4.09 5/267 32887
/proc/meminfo: memFree=112043592/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=9854976 memory=7039588 CPUtime=3571.13 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 9956224 0 0 0 356202 911 0 0 20 0 3 0 4457959 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 2463744 1759897 3014 3035 0 2440875 0
[pid=30765/tid=31115] ppid=30762 vsize=9854976 memory=11400 CPUtime=3546.08 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9567300 0 0 0 353800 808 0 0 20 0 3 0 4460362 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9854976 memory=7039588 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 616 0 0 0 1 3 0 0 20 0 3 0 4460558 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 9854976 KiB
Current children cumulated memory: 7039588 KiB

[startup+3596.8 s]
/proc/loadavg: 4.22 4.21 4.09 5/257 32903
/proc/meminfo: memFree=114982012/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=9854976 memory=7039588 CPUtime=3577.51 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 9958819 0 0 0 356839 912 0 0 20 0 3 0 4457959 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 2463744 1759897 3014 3035 0 2440875 0
[pid=30765/tid=31115] ppid=30762 vsize=9854976 memory=7039588 CPUtime=3552.46 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9569895 0 0 0 354437 809 0 0 20 0 3 0 4460362 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9854976 memory=7039588 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 616 0 0 0 1 3 0 0 20 0 3 0 4460558 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3577.51 s
Current children cumulated vsize: 9854976 KiB
Current children cumulated memory: 7039588 KiB

[startup+3598.4 s]
/proc/loadavg: 4.22 4.21 4.09 5/266 33081
/proc/meminfo: memFree=114905008/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=9854976 memory=7039588 CPUtime=3579.11 cores=0,2
/proc/30765/stat : 30765 (fscip) S 30762 30765 30590 0 -1 1077936128 10076470 0 0 0 356993 918 0 0 20 0 3 0 4457959 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 2463744 1759897 3014 3035 0 2440875 0
[pid=30765/tid=31115] ppid=30762 vsize=9854976 memory=7039588 CPUtime=3554.06 cores=0,2
/proc/30765/task/31115/stat : 31115 (fscip) R 30762 30765 30590 0 -1 4194368 9687521 0 0 0 354591 815 0 0 20 0 3 0 4460362 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
[pid=30765/tid=31116] ppid=30762 vsize=9854976 memory=14436 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 619 0 0 0 1 3 0 0 20 0 3 0 4460558 10091495424 1759897 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3579.11 s
Current children cumulated vsize: 9854976 KiB
Current children cumulated memory: 7039588 KiB

[startup+3600 s]*
/proc/loadavg: 4.22 4.21 4.09 5/265 33129
/proc/meminfo: memFree=116743744/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=5427256 memory=5060536 CPUtime=3580.7 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 10149137 0 0 0 357148 922 0 0 20 0 2 0 4457959 5557510144 1265134 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1356814 1265134 3014 3035 0 1335133 0
[pid=30765/tid=31116] ppid=30762 vsize=5427256 memory=-5155632405484759941 CPUtime=0.04 cores=0,2
/proc/30765/task/31116/stat : 31116 (fscip) S 30762 30765 30590 0 -1 1077936192 619 0 0 0 1 3 0 0 20 0 2 0 4460558 5557510144 1265134 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
Current children cumulated CPU time: 3580.7 s
Current children cumulated vsize: 5427256 KiB
Current children cumulated memory: 5060536 KiB

[startup+3600.8 s]
/proc/loadavg: 4.22 4.21 4.09 5/265 33129
/proc/meminfo: memFree=116743744/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=5427256 memory=5060536 CPUtime=3581.49 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 10193441 0 0 0 357224 925 0 0 20 0 1 0 4457959 5557510144 1265134 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1356814 1265134 3014 3035 0 1335133 0
Current children cumulated CPU time: 3581.49 s
Current children cumulated vsize: 5427256 KiB
Current children cumulated memory: 5060536 KiB

[startup+3601 s]*
/proc/loadavg: 4.20 4.20 4.09 5/264 33129
/proc/meminfo: memFree=116853988/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=5302352 memory=4936260 CPUtime=3581.69 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 10195521 0 0 0 357243 926 0 0 20 0 1 0 4457959 5429608448 1234065 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1325588 1234065 3014 3035 0 1303907 0
Current children cumulated CPU time: 3581.69 s
Current children cumulated vsize: 5302352 KiB
Current children cumulated memory: 4936260 KiB

[startup+3601.12 s]
/proc/loadavg: 4.20 4.20 4.09 5/264 33129
/proc/meminfo: memFree=116853988/131524600 swapFree=131071216/131071996
[pid=30765] ppid=30762 vsize=5151168 memory=4785076 CPUtime=3581.8 cores=0,2
/proc/30765/stat : 30765 (fscip) R 30762 30765 30590 0 -1 4194304 10195521 0 0 0 357254 926 0 0 20 0 1 0 4457959 5274796032 1196269 134679101440 4194304 16623229 140736366465648 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25595904 140736366474262 140736366474378 140736366474378 140736366481392 0
/proc/30765/statm: 1287792 1196269 3014 3035 0 1266111 0
Current children cumulated CPU time: 3581.8 s
Current children cumulated vsize: 5151168 KiB
Current children cumulated memory: 4785076 KiB

Child status: 0

Real time (s): 3601.18
CPU time (s): 3581.88
CPU user time (s): 3572.56
CPU system time (s): 9.31835
CPU usage (%): 99.4638
Max. virtual memory (cumulated for all children) (KiB): 9986048
Max. memory (cumulated for all children) (KiB): 7113164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.56
system time used= 9.31835
maximum resident set size= 7113452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10196818
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= 4057
involuntary context switches= 30094


# summary of solver processes directly reported to runsolver:
#   pid: 30765
#   total CPU time (s): 3581.88
#   total CPU user time (s): 3572.56
#   total CPU system time (s): 9.31835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.31998 second user time and 14.9607 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-31 00:29:57
IDJOB=4464001
IDBENCH=147553
IDSOLVER=3092
FILE ID=nodeC021/4464001-1722378596
RUNJOBID= nodeC021-1722378594-30600
SLURM_JOB_ID= 8249844
Free space on /tmp= 889980 MiB

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

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

MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e
RANDOM SEED=1367756045

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121869348 kB
MemAvailable:   128970588 kB
Buffers:           92580 kB
Cached:          7802228 kB
SwapCached:           56 kB
Active:           262772 kB
Inactive:        8819976 kB
Active(anon):       1528 kB
Inactive(anon):  1207932 kB
Active(file):     261244 kB
Inactive(file):  7612044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            132428 kB
Writeback:            36 kB
AnonPages:       1185628 kB
Mapped:           123316 kB
Shmem:             21208 kB
KReclaimable:     135196 kB
Slab:             226476 kB
SReclaimable:     135196 kB
SUnreclaim:        91280 kB
KernelStack:        4308 kB
PageTables:        11192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1252616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8640 kB
HardwareCorrupted:     0 kB
AnonHugePages:    372736 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:      226004 kB
DirectMap2M:    15276032 kB
DirectMap1G:    120586240 kB

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