Trace number 4464000

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-30SAT353 3592.98 3602.16

General information on the benchmark

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

Solver Data

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

Verifier Data

OK	353

Watcher Data

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=28316, runsolver pid=28313
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 0.10 0.10 0.09 5/245 28319
/proc/meminfo: memFree=129167540/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=43844 memory=32476 CPUtime=0.1 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 6007 0 0 0 9 1 0 0 20 0 1 0 4230312 44896256 8119 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 10961 8119 2347 3035 0 7357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43844 KiB
Current children cumulated memory: 32476 KiB

[startup+0.209306 s]*
/proc/loadavg: 0.10 0.10 0.09 5/246 28320
/proc/meminfo: memFree=129056040/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=56100 memory=44388 CPUtime=0.2 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 9024 0 0 0 18 2 0 0 20 0 1 0 4230312 57446400 11097 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 14025 11097 2347 3035 0 10421 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56100 KiB
Current children cumulated memory: 44388 KiB

[startup+0.309217 s]*
/proc/loadavg: 0.10 0.10 0.09 5/246 28320
/proc/meminfo: memFree=128991640/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=68312 memory=56016 CPUtime=0.3 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 11929 0 0 0 27 3 0 0 20 0 1 0 4230312 69951488 14004 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 17078 14004 2347 3035 0 13474 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68312 KiB
Current children cumulated memory: 56016 KiB

[startup+0.700315 s]
/proc/loadavg: 0.41 0.17 0.11 5/247 28321
/proc/meminfo: memFree=128916572/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=120268 memory=108100 CPUtime=0.69 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 24911 0 0 0 62 7 0 0 20 0 1 0 4230312 123154432 27025 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 30067 27025 2347 3035 0 26463 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120268 KiB
Current children cumulated memory: 108100 KiB

[startup+1.50033 s]
/proc/loadavg: 0.41 0.17 0.11 5/247 28321
/proc/meminfo: memFree=128765164/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=270716 memory=258532 CPUtime=1.48 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 59990 0 0 0 135 13 0 0 20 0 1 0 4230312 277213184 64633 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 67679 64633 2347 3035 0 64075 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 270716 KiB
Current children cumulated memory: 258532 KiB

[startup+3.11248 s]
/proc/loadavg: 0.41 0.17 0.11 5/247 28321
/proc/meminfo: memFree=128046040/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=829896 memory=816316 CPUtime=3.09 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 190498 0 0 0 273 36 0 0 20 0 1 0 4230312 849813504 204079 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 207474 204079 2614 3035 0 203870 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 829896 KiB
Current children cumulated memory: 816316 KiB

[startup+6.30029 s]
/proc/loadavg: 0.78 0.25 0.14 5/247 28323
/proc/meminfo: memFree=127840776/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=983420 memory=942708 CPUtime=6.28 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 207335 0 0 0 588 40 0 0 20 0 1 0 4230312 1007022080 235677 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 245855 235677 2614 3035 0 242251 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 983420 KiB
Current children cumulated memory: 942708 KiB

[startup+12.7003 s]
/proc/loadavg: 1.04 0.31 0.16 5/247 28323
/proc/meminfo: memFree=127462536/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=1256888 memory=1233684 CPUtime=12.66 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 285102 0 0 0 1204 62 0 0 20 0 1 0 4230312 1287053312 308421 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 314222 308421 2710 3035 0 310618 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1256888 KiB
Current children cumulated memory: 1233684 KiB

[startup+25.5003 s]
/proc/loadavg: 1.49 0.43 0.20 5/250 28385
/proc/meminfo: memFree=125755740/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=3315872 memory=2971432 CPUtime=25.43 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 352530 0 0 0 2442 101 0 0 20 0 2 0 4230312 3395452928 742858 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 828968 742858 2774 3035 0 809012 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3315872 KiB
Current children cumulated memory: 2971432 KiB

[startup+51.1129 s]
/proc/loadavg: 2.56 0.79 0.33 5/252 28390
/proc/meminfo: memFree=122957652/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=6113708 memory=5496340 CPUtime=50.95 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 787550 0 0 0 4891 204 0 0 20 0 3 0 4230312 6260436992 1374085 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1528427 1374085 2790 3035 0 1505941 0
[pid=28316/tid=28386] ppid=28313 vsize=6113708 memory=5496052 CPUtime=24.92 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 406193 0 0 0 2395 97 0 0 20 0 3 0 4232817 6260436992 1374085 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=6113708 memory=5496052 CPUtime=0 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4233058 6260436992 1374085 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6113708 KiB
Current children cumulated memory: 5496340 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.31 0.53 5/250 28445
/proc/meminfo: memFree=117641300/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=6729196 memory=6101428 CPUtime=102 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 1044906 0 0 0 9959 241 0 0 20 0 3 0 4230312 6890696704 1525357 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1682299 1525357 2998 3035 0 1659527 0
[pid=28316/tid=28386] ppid=28313 vsize=6729196 memory=6101428 CPUtime=75.97 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 662079 0 0 0 7463 134 0 0 20 0 3 0 4232817 6890696704 1525357 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=6729196 memory=6101428 CPUtime=0 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4233058 6890696704 1525357 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 6729196 KiB
Current children cumulated memory: 6101428 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 1.83 0.76 5/250 28456
/proc/meminfo: memFree=117324908/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=6957060 memory=6195020 CPUtime=161.8 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 1336558 0 0 0 15914 266 0 0 20 0 3 0 4230312 7124029440 1548755 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1739265 1548755 2998 3035 0 1719681 0
[pid=28316/tid=28386] ppid=28313 vsize=6957060 memory=6163644 CPUtime=135.75 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 953722 0 0 0 13417 158 0 0 20 0 3 0 4232817 7124029440 1548755 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=6957060 memory=6163644 CPUtime=0 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4233058 7124029440 1548755 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 6957060 KiB
Current children cumulated memory: 6195020 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 2.32 1.00 5/251 28469
/proc/meminfo: memFree=111703196/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=7018648 memory=6195024 CPUtime=221.6 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 1496039 0 0 0 21878 282 0 0 20 0 3 0 4230312 7187095552 1548756 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1754662 1548756 2998 3035 0 1735078 0
[pid=28316/tid=28386] ppid=28313 vsize=7018648 memory=6195024 CPUtime=195.56 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 1113191 0 0 0 19382 174 0 0 20 0 3 0 4232817 7187095552 1548756 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=7018648 memory=-7450198999674479487 CPUtime=0 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4233058 7187095552 1548756 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 7018648 KiB
Current children cumulated memory: 6195024 KiB

[startup+282.3 s]
/proc/loadavg: 5.40 2.99 1.31 5/251 28479
/proc/meminfo: memFree=109617828/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=7090500 memory=6195032 CPUtime=281.38 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 1645273 0 0 0 27841 297 0 0 20 0 3 0 4230312 7260672000 1548758 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1772625 1548758 2998 3035 0 1753041 0
[pid=28316/tid=28386] ppid=28313 vsize=7090500 memory=6195024 CPUtime=255.34 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 1262419 0 0 0 25345 189 0 0 20 0 3 0 4232817 7260672000 1548758 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=7090500 memory=11516 CPUtime=0 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 4233058 7260672000 1548758 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 7090500 KiB
Current children cumulated memory: 6195032 KiB

[startup+342.3 s]
/proc/loadavg: 4.56 3.20 1.49 5/246 28680
/proc/meminfo: memFree=122135264/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=7162356 memory=6205300 CPUtime=341.2 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 1801891 0 0 0 33810 310 0 0 20 0 3 0 4230312 7334252544 1551325 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1790589 1551325 2998 3035 0 1771005 0

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

Current children cumulated memory: 7109376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.60 4.30 4.10 5/249 30291
/proc/meminfo: memFree=119576596/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9626120 memory=7109404 CPUtime=3393.59 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10022527 0 0 0 338461 898 0 0 20 0 3 0 4230312 9857146880 1777351 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2406530 1777351 3014 3035 0 2381538 0
[pid=28316/tid=28386] ppid=28313 vsize=9626120 memory=7109376 CPUtime=3367.47 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 9638066 0 0 0 335962 785 0 0 20 0 3 0 4232817 9857146880 1777351 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=9626120 memory=7109404 CPUtime=0.05 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 549 0 0 0 1 4 0 0 20 0 3 0 4233058 9857146880 1777351 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 9626120 KiB
Current children cumulated memory: 7109404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.27 4.10 5/249 30301
/proc/meminfo: memFree=119557780/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9687720 memory=7109408 CPUtime=3453.45 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10182856 0 0 0 344436 909 0 0 20 0 3 0 4230312 9920225280 1777352 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2421930 1777352 3014 3035 0 2396938 0
[pid=28316/tid=28386] ppid=28313 vsize=9687720 memory=7109376 CPUtime=3427.33 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 9798383 0 0 0 341936 797 0 0 20 0 3 0 4232817 9920225280 1777352 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=9687720 memory=7109408 CPUtime=0.05 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 561 0 0 0 1 4 0 0 20 0 3 0 4233058 9920225280 1777352 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 9687720 KiB
Current children cumulated memory: 7109408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.27 4.10 5/251 30481
/proc/meminfo: memFree=119516324/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9749320 memory=7115204 CPUtime=3513.3 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10280829 0 0 0 350413 917 0 0 20 0 3 0 4230312 9983303680 1778801 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2437330 1778801 3014 3035 0 2412338 0
[pid=28316/tid=28386] ppid=28313 vsize=9749320 memory=5492 CPUtime=3487.19 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 9896350 0 0 0 347914 805 0 0 20 0 3 0 4232817 9983303680 1778801 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=9749320 memory=7115204 CPUtime=0.05 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 567 0 0 0 1 4 0 0 20 0 3 0 4233058 9983303680 1778801 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 9749320 KiB
Current children cumulated memory: 7115204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.25 4.10 5/251 30492
/proc/meminfo: memFree=119489956/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9810920 memory=7115660 CPUtime=3573.16 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10414441 0 0 0 356388 928 0 0 20 0 3 0 4230312 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2452730 1778915 3014 3035 0 2427738 0
[pid=28316/tid=28386] ppid=28313 vsize=9810920 memory=11516 CPUtime=3547.05 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 10029913 0 0 0 353889 816 0 0 20 0 3 0 4232817 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=9810920 memory=14600 CPUtime=0.05 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 579 0 0 0 1 4 0 0 20 0 3 0 4233058 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 9810920 KiB
Current children cumulated memory: 7115660 KiB

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

# cumulated CPU time of all completed processes:  user=3583.33 s, system=9.65389 s

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

[startup+3584 s]*
/proc/loadavg: 4.22 4.25 4.10 5/251 30492
/proc/meminfo: memFree=119489912/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9810920 memory=7115660 CPUtime=3574.87 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10415275 0 0 0 356559 928 0 0 20 0 3 0 4230312 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2452730 1778915 3014 3035 0 2427738 0
[pid=28316/tid=28386] ppid=28313 vsize=9810920 memory=2188 CPUtime=3548.76 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 10030747 0 0 0 354060 816 0 0 20 0 3 0 4232817 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=9810920 memory=7115660 CPUtime=0.05 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 579 0 0 0 1 4 0 0 20 0 3 0 4233058 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3574.87 s
Current children cumulated vsize: 9810920 KiB
Current children cumulated memory: 7115660 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.25 4.10 5/251 30493
/proc/meminfo: memFree=119486044/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9810920 memory=7115660 CPUtime=3581.24 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10484987 0 0 0 357192 932 0 0 20 0 3 0 4230312 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2452730 1778915 3014 3035 0 2427738 0
[pid=28316/tid=28386] ppid=28313 vsize=9810920 memory=7115660 CPUtime=3555.13 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 10100459 0 0 0 354693 820 0 0 20 0 3 0 4232817 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=9810920 memory=0 CPUtime=0.05 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 579 0 0 0 1 4 0 0 20 0 3 0 4233058 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3581.24 s
Current children cumulated vsize: 9810920 KiB
Current children cumulated memory: 7115660 KiB

[startup+3596.8 s]
/proc/loadavg: 4.19 4.24 4.10 5/242 30523
/proc/meminfo: memFree=122190952/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9810920 memory=7115660 CPUtime=3587.63 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10486472 0 0 0 357830 933 0 0 20 0 3 0 4230312 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2452730 1778915 3014 3035 0 2427738 0
[pid=28316/tid=28386] ppid=28313 vsize=9810920 memory=14600 CPUtime=3561.51 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 10101944 0 0 0 355331 820 0 0 20 0 3 0 4232817 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
[pid=28316/tid=28387] ppid=28313 vsize=9810920 memory=7115660 CPUtime=0.05 cores=4,6
/proc/28316/task/28387/stat : 28387 (fscip) S 28313 28316 28195 0 -1 1077936192 579 0 0 0 1 4 0 0 20 0 3 0 4233058 10046382080 1778915 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 9810920 KiB
Current children cumulated memory: 7115660 KiB

[startup+3600 s]*
/proc/loadavg: 4.17 4.24 4.10 5/250 30591
/proc/meminfo: memFree=122229972/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=9727048 memory=6988896 CPUtime=3590.84 cores=4,6
/proc/28316/stat : 28316 (fscip) S 28313 28316 28195 0 -1 1077936128 10649070 0 0 0 358143 941 0 0 20 0 2 0 4230312 9960497152 1747224 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 2431762 1747224 3014 3035 0 2390419 0
[pid=28316/tid=28386] ppid=28313 vsize=9727048 memory=-5155630180624788357 CPUtime=3564.71 cores=4,6
/proc/28316/task/28386/stat : 28386 (fscip) R 28313 28316 28195 0 -1 4194368 10264529 0 0 0 355643 828 0 0 20 0 2 0 4232817 9960497152 1747224 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
Current children cumulated CPU time: 3590.84 s
Current children cumulated vsize: 9727048 KiB
Current children cumulated memory: 6988896 KiB

[startup+3600.8 s]
/proc/loadavg: 4.17 4.24 4.10 5/250 30591
/proc/meminfo: memFree=122229972/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=5517796 memory=5089668 CPUtime=3591.62 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 10725998 0 0 0 358210 952 0 0 20 0 1 0 4230312 5650223104 1272417 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1379449 1272417 3014 3035 0 1341463 0
Current children cumulated CPU time: 3591.62 s
Current children cumulated vsize: 5517796 KiB
Current children cumulated memory: 5089668 KiB

[startup+3601.6 s]
/proc/loadavg: 4.17 4.24 4.10 5/249 30591
/proc/meminfo: memFree=124130360/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=5517796 memory=5089668 CPUtime=3592.41 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 10726954 0 0 0 358289 952 0 0 20 0 1 0 4230312 5650223104 1272417 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1379449 1272417 3014 3035 0 1341463 0
Current children cumulated CPU time: 3592.41 s
Current children cumulated vsize: 5517796 KiB
Current children cumulated memory: 5089668 KiB

[startup+3602 s]*
/proc/loadavg: 4.16 4.23 4.10 5/249 30591
/proc/meminfo: memFree=124361528/131655788 swapFree=131071216/131071996
[pid=28316] ppid=28313 vsize=5276156 memory=4848656 CPUtime=3592.82 cores=4,6
/proc/28316/stat : 28316 (fscip) R 28313 28316 28195 0 -1 4194304 10729456 0 0 0 358327 955 0 0 20 0 1 0 4230312 5402783744 1212164 134679101440 4194304 16623229 140720766720160 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53178368 140720766723098 140720766723214 140720766723214 140720766730224 0
/proc/28316/statm: 1319039 1212164 3014 3035 0 1281053 0
Current children cumulated CPU time: 3592.82 s
Current children cumulated vsize: 5276156 KiB
Current children cumulated memory: 4848656 KiB

[startup+3602.11 s]*
/proc/loadavg: 4.16 4.23 4.10 5/249 30591
/proc/meminfo: memFree=128059764/131655788 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3602.16
CPU time (s): 3592.98
CPU user time (s): 3583.33
CPU system time (s): 9.65389
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 9810920
Max. memory (cumulated for all children) (KiB): 7115660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.33
system time used= 9.65389
maximum resident set size= 7115660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10730738
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= 4176
involuntary context switches= 1391


# summary of solver processes directly reported to runsolver:
#   pid: 28316
#   total CPU time (s): 3592.98
#   total CPU user time (s): 3583.33
#   total CPU system time (s): 9.65389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8274 second user time and 36.5219 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-31 00:29:57
IDJOB=4464000
IDBENCH=147564
IDSOLVER=3092
FILE ID=nodeC007/4464000-1722378596
RUNJOBID= nodeC007-1722378594-28206
SLURM_JOB_ID= 8249837
Free space on /tmp= 723680 MiB

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

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129310672 kB
MemAvailable:   129535540 kB
Buffers:           75636 kB
Cached:           989464 kB
SwapCached:          100 kB
Active:           240844 kB
Inactive:        1683832 kB
Active(anon):       1492 kB
Inactive(anon):   879168 kB
Active(file):     239352 kB
Inactive(file):   804664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            135012 kB
Writeback:             0 kB
AnonPages:        859384 kB
Mapped:           121600 kB
Shmem:             21076 kB
KReclaimable:      42100 kB
Slab:             117632 kB
SReclaimable:      42100 kB
SUnreclaim:        75532 kB
KernelStack:        3904 kB
PageTables:        10584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1116828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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:      174920 kB
DirectMap2M:     7069696 kB
DirectMap1G:    128974848 kB

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