Trace number 4464003

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-30SAT605 3584 3601.54

General information on the benchmark

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

Verifier Data

OK	605

Watcher Data

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=29898, runsolver pid=29888

[startup+0.100486 s]*
/proc/loadavg: 0.48 0.17 0.12 7/260 29900
/proc/meminfo: memFree=129146936/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=64868 memory=51736 CPUtime=0.09 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 10821 0 0 0 8 1 0 0 20 0 1 0 4458968 66424832 12934 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 16217 12934 2347 3035 0 12613 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64868 KiB
Current children cumulated memory: 51736 KiB

[startup+0.206155 s]*
/proc/loadavg: 0.48 0.17 0.12 7/260 29900
/proc/meminfo: memFree=129046788/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=95236 memory=82224 CPUtime=0.2 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 18474 0 0 0 18 2 0 0 20 0 1 0 4458968 97521664 20556 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 23809 20556 2347 3035 0 20205 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95236 KiB
Current children cumulated memory: 82224 KiB

[startup+0.30608 s]*
/proc/loadavg: 0.48 0.17 0.12 7/260 29900
/proc/meminfo: memFree=128961344/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=123480 memory=111268 CPUtime=0.29 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 25721 0 0 0 26 3 0 0 20 0 1 0 4458968 126443520 27817 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 30870 27817 2347 3035 0 27266 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123480 KiB
Current children cumulated memory: 111268 KiB

[startup+0.700218 s]
/proc/loadavg: 0.48 0.17 0.12 7/260 29900
/proc/meminfo: memFree=128775884/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=236044 memory=223428 CPUtime=0.68 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 53259 0 0 0 61 7 0 0 20 0 1 0 4458968 241709056 55857 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 59011 55857 2347 3035 0 55407 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 236044 KiB
Current children cumulated memory: 223428 KiB

[startup+1.50022 s]
/proc/loadavg: 0.48 0.17 0.12 7/260 29900
/proc/meminfo: memFree=128333196/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=545456 memory=533656 CPUtime=1.48 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 128043 0 0 0 129 19 0 0 20 0 1 0 4458968 558546944 133414 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 136364 133414 2555 3035 0 132760 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 545456 KiB
Current children cumulated memory: 533656 KiB

[startup+3.10598 s]
/proc/loadavg: 0.48 0.17 0.12 7/260 29902
/proc/meminfo: memFree=126785068/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=841148 memory=827716 CPUtime=3.08 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 193867 0 0 0 279 29 0 0 20 0 1 0 4458968 861335552 206929 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 210287 206929 2614 3035 0 206683 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 841148 KiB
Current children cumulated memory: 827716 KiB

[startup+6.30021 s]
/proc/loadavg: 0.76 0.24 0.14 7/260 29902
/proc/meminfo: memFree=125880012/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=1226736 memory=1209808 CPUtime=6.26 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 226002 0 0 0 584 42 0 0 20 0 1 0 4458968 1256177664 302452 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 306684 302452 2678 3035 0 303080 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1226736 KiB
Current children cumulated memory: 1209808 KiB

[startup+12.7003 s]
/proc/loadavg: 1.02 0.30 0.16 7/262 29960
/proc/meminfo: memFree=125556244/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=1256888 memory=1238228 CPUtime=12.64 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 285874 0 0 0 1211 53 0 0 20 0 1 0 4458968 1287053312 309557 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 314222 309557 2710 3035 0 310618 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1256888 KiB
Current children cumulated memory: 1238228 KiB

[startup+25.5002 s]
/proc/loadavg: 1.68 0.48 0.22 7/263 29964
/proc/meminfo: memFree=120577872/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=3212896 memory=2872368 CPUtime=25.37 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 330492 0 0 0 2449 88 0 0 20 0 2 0 4458968 3290005504 718092 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 803224 718092 2774 3035 0 783268 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 3212896 KiB
Current children cumulated memory: 2872368 KiB

[startup+51.1065 s]
/proc/loadavg: 2.55 0.78 0.33 7/268 29972
/proc/meminfo: memFree=112235908/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=6113708 memory=5500952 CPUtime=50.71 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 755918 0 0 0 4896 175 0 0 20 0 3 0 4458968 6260436992 1375238 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1528427 1375238 2790 3035 0 1505941 0
[pid=29898/tid=29965] ppid=29888 vsize=6113708 memory=4911080 CPUtime=24.48 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 371674 0 0 0 2370 78 0 0 20 0 3 0 4461495 6260436992 1375238 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=6113708 memory=4024104 CPUtime=0 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4461689 6260436992 1375238 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 6113708 KiB
Current children cumulated memory: 5500952 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 7/268 29982
/proc/meminfo: memFree=110832756/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=6729196 memory=6107488 CPUtime=101.34 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 1025262 0 0 0 9924 210 0 0 20 0 3 0 4458968 6890696704 1526872 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1682299 1526872 2998 3035 0 1659523 0
[pid=29898/tid=29965] ppid=29888 vsize=6729196 memory=6107488 CPUtime=75.11 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 639608 0 0 0 7398 113 0 0 20 0 3 0 4461495 6890696704 1526872 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=6729196 memory=6107488 CPUtime=0 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4461689 6890696704 1526872 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 101.34 s
Current children cumulated vsize: 6729196 KiB
Current children cumulated memory: 6107488 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 1.80 0.75 7/268 29993
/proc/meminfo: memFree=110574432/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=6911684 memory=6169072 CPUtime=161.01 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 1221836 0 0 0 15873 228 0 0 20 0 3 0 4458968 7077564416 1542268 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1727921 1542268 2998 3035 0 1699006 0
[pid=29898/tid=29965] ppid=29888 vsize=6911684 memory=-5155626882038983813 CPUtime=134.78 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 836170 0 0 0 13347 131 0 0 20 0 3 0 4461495 7077564416 1542268 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=6911684 memory=6169072 CPUtime=0 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4461689 7077564416 1542268 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 161.01 s
Current children cumulated vsize: 6911684 KiB
Current children cumulated memory: 6169072 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.24 0.97 7/268 30051
/proc/meminfo: memFree=110709940/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=7002072 memory=6197900 CPUtime=220.69 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 1382775 0 0 0 21825 244 0 0 20 0 3 0 4458968 7170121728 1549475 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1750518 1549475 2998 3035 0 1721603 0
[pid=29898/tid=29965] ppid=29888 vsize=7002072 memory=12468 CPUtime=194.46 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 997097 0 0 0 19299 147 0 0 20 0 3 0 4461495 7170121728 1549475 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=7002072 memory=33064 CPUtime=0 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4461689 7170121728 1549475 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 220.69 s
Current children cumulated vsize: 7002072 KiB
Current children cumulated memory: 6197900 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 2.59 1.17 7/268 30062
/proc/meminfo: memFree=110682340/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=7063660 memory=6197904 CPUtime=280.39 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 1535935 0 0 0 27780 259 0 0 20 0 3 0 4458968 7233187840 1549476 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1765915 1549476 2998 3035 0 1737000 0
[pid=29898/tid=29965] ppid=29888 vsize=7063660 memory=6197904 CPUtime=254.15 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 1150252 0 0 0 25254 161 0 0 20 0 3 0 4461495 7233187840 1549476 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=7063660 memory=11592 CPUtime=0 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4461689 7233187840 1549476 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 280.39 s
Current children cumulated vsize: 7063660 KiB
Current children cumulated memory: 6197904 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.87 1.36 7/263 30072
/proc/meminfo: memFree=110657700/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=7125252 memory=6208168 CPUtime=340.08 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 1704778 0 0 0 33734 274 0 0 20 0 3 0 4458968 7296258048 1552042 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1781313 1552042 2998 3035 0 1752398 0

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

/proc/meminfo: memFree=107504404/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9537480 memory=7194936 CPUtime=3385.61 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8393073 0 0 0 337781 780 0 0 20 0 3 0 4458968 9766379520 1798734 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2384370 1798734 3030 3035 0 2358784 0
[pid=29898/tid=29965] ppid=29888 vsize=9537480 memory=7194936 CPUtime=3359.31 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8005369 0 0 0 335251 680 0 0 20 0 3 0 4461495 9766379520 1798734 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9537480 memory=11592 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 609 0 0 0 1 3 0 0 20 0 3 0 4461689 9766379520 1798734 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3385.61 s
Current children cumulated vsize: 9537480 KiB
Current children cumulated memory: 7194936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.04 7/263 31642
/proc/meminfo: memFree=107495820/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9537480 memory=7194936 CPUtime=3445.35 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8441465 0 0 0 343752 783 0 0 20 0 3 0 4458968 9766379520 1798734 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2384370 1798734 3030 3035 0 2358784 0
[pid=29898/tid=29965] ppid=29888 vsize=9537480 memory=7194936 CPUtime=3419.05 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8053752 0 0 0 341222 683 0 0 20 0 3 0 4461495 9766379520 1798734 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9537480 memory=11592 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 618 0 0 0 1 3 0 0 20 0 3 0 4461689 9766379520 1798734 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3445.35 s
Current children cumulated vsize: 9537480 KiB
Current children cumulated memory: 7194936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.04 7/265 31822
/proc/meminfo: memFree=107494872/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9599080 memory=7194940 CPUtime=3505.09 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8497623 0 0 0 349721 788 0 0 20 0 3 0 4458968 9829457920 1798735 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2399770 1798735 3030 3035 0 2374184 0
[pid=29898/tid=29965] ppid=29888 vsize=9599080 memory=11592 CPUtime=3478.78 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8109880 0 0 0 347191 687 0 0 20 0 3 0 4461495 9829457920 1798735 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9599080 memory=7194936 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 627 0 0 0 1 3 0 0 20 0 3 0 4461689 9829457920 1798735 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3505.09 s
Current children cumulated vsize: 9599080 KiB
Current children cumulated memory: 7194940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.04 7/265 31832
/proc/meminfo: memFree=107487120/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9599080 memory=7198016 CPUtime=3564.84 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8550621 0 0 0 355691 793 0 0 20 0 3 0 4458968 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2399770 1799504 3030 3035 0 2374184 0
[pid=29898/tid=29965] ppid=29888 vsize=9599080 memory=1900 CPUtime=3538.54 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8162841 0 0 0 353162 692 0 0 20 0 3 0 4461495 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9599080 memory=7198016 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 640 0 0 0 1 3 0 0 20 0 3 0 4461689 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3564.84 s
Current children cumulated vsize: 9599080 KiB
Current children cumulated memory: 7198016 KiB

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

# cumulated CPU time of all completed processes:  user=3575.87 s, system=8.13087 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.04 7/265 31834
/proc/meminfo: memFree=107487012/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9599080 memory=7198016 CPUtime=3566.54 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8550801 0 0 0 355861 793 0 0 20 0 3 0 4458968 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2399770 1799504 3030 3035 0 2374184 0
[pid=29898/tid=29965] ppid=29888 vsize=9599080 memory=11592 CPUtime=3540.24 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8163021 0 0 0 353332 692 0 0 20 0 3 0 4461495 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9599080 memory=12856 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 640 0 0 0 1 3 0 0 20 0 3 0 4461689 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3566.54 s
Current children cumulated vsize: 9599080 KiB
Current children cumulated memory: 7198016 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.12 4.04 7/265 31834
/proc/meminfo: memFree=107486996/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9599080 memory=7198016 CPUtime=3572.91 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8551598 0 0 0 356498 793 0 0 20 0 3 0 4458968 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2399770 1799504 3030 3035 0 2374184 0
[pid=29898/tid=29965] ppid=29888 vsize=9599080 memory=12856 CPUtime=3546.6 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8163818 0 0 0 353968 692 0 0 20 0 3 0 4461495 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9599080 memory=2268 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 640 0 0 0 1 3 0 0 20 0 3 0 4461689 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 9599080 KiB
Current children cumulated memory: 7198016 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.04 7/265 31836
/proc/meminfo: memFree=107486860/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9599080 memory=7198016 CPUtime=3579.28 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8553707 0 0 0 357135 793 0 0 20 0 3 0 4458968 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2399770 1799504 3030 3035 0 2374184 0
[pid=29898/tid=29965] ppid=29888 vsize=9599080 memory=11592 CPUtime=3552.97 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8165927 0 0 0 354605 692 0 0 20 0 3 0 4461495 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9599080 memory=7198016 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 640 0 0 0 1 3 0 0 20 0 3 0 4461689 9829457920 1799504 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3579.28 s
Current children cumulated vsize: 9599080 KiB
Current children cumulated memory: 7198016 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.12 4.04 7/265 31836
/proc/meminfo: memFree=107719244/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=9500988 memory=7118356 CPUtime=3582.47 cores=0,2
/proc/29898/stat : 29898 (fscip) S 29888 29898 29584 0 -1 1077936128 8732272 0 0 0 357446 801 0 0 20 0 3 0 4458968 9729011712 1779589 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 2375247 1779589 3030 3035 0 2349661 0
[pid=29898/tid=29965] ppid=29888 vsize=9500988 memory=-7596564888052392827 CPUtime=3556.17 cores=0,2
/proc/29898/task/29965/stat : 29965 (fscip) R 29888 29898 29584 0 -1 4194368 8344567 0 0 0 354917 700 0 0 20 0 3 0 4461495 9729011712 1779589 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
[pid=29898/tid=29968] ppid=29888 vsize=9500988 memory=4211593100294516386 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 640 0 0 0 1 3 0 0 20 0 3 0 4461689 9729011712 1779589 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3582.47 s
Current children cumulated vsize: 9500988 KiB
Current children cumulated memory: 7118356 KiB

[startup+3600.8 s]
/proc/loadavg: 4.10 4.12 4.04 7/265 31836
/proc/meminfo: memFree=107719244/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=5665252 memory=5287724 CPUtime=3583.26 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 8824016 0 0 0 357521 805 0 0 20 0 2 0 4458968 5801218048 1321931 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1416313 1321931 3030 3035 0 1391554 0
[pid=29898/tid=29968] ppid=29888 vsize=5665252 memory=7198016 CPUtime=0.04 cores=0,2
/proc/29898/task/29968/stat : 29968 (fscip) S 29888 29898 29584 0 -1 1077936192 640 0 0 0 1 3 0 0 20 0 2 0 4461689 5801218048 1321931 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
Current children cumulated CPU time: 3583.26 s
Current children cumulated vsize: 5665252 KiB
Current children cumulated memory: 5287724 KiB

[startup+3601.2 s]
/proc/loadavg: 4.10 4.12 4.04 7/259 31836
/proc/meminfo: memFree=112815464/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=5659804 memory=5282588 CPUtime=3583.65 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 8824613 0 0 0 357560 805 0 0 20 0 1 0 4458968 5795639296 1320647 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1414951 1320647 3030 3035 0 1390192 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 5659804 KiB
Current children cumulated memory: 5282588 KiB

[startup+3601.4 s]
/proc/loadavg: 4.10 4.12 4.04 7/259 31836
/proc/meminfo: memFree=112815464/131524600 swapFree=131071996/131071996
[pid=29898] ppid=29888 vsize=5474788 memory=5097888 CPUtime=3583.85 cores=0,2
/proc/29898/stat : 29898 (fscip) R 29888 29898 29584 0 -1 4194304 8827086 0 0 0 357579 806 0 0 20 0 1 0 4458968 5606182912 1274472 134679101440 4194304 16623229 140732390659504 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 36732928 140732390663190 140732390663306 140732390663306 140732390670320 0
/proc/29898/statm: 1368697 1274472 3030 3035 0 1343938 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 5474788 KiB
Current children cumulated memory: 5097888 KiB

[startup+3601.5 s]*
/proc/loadavg: 4.10 4.12 4.04 5/257 31850
/proc/meminfo: memFree=120295800/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3601.54
CPU time (s): 3584
CPU user time (s): 3575.87
CPU system time (s): 8.13087
CPU usage (%): 99.5129
Max. virtual memory (cumulated for all children) (KiB): 9599080
Max. memory (cumulated for all children) (KiB): 7213552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.87
system time used= 8.13087
maximum resident set size= 7213552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8828329
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= 4035
involuntary context switches= 29107


# summary of solver processes directly reported to runsolver:
#   pid: 29898
#   total CPU time (s): 3584
#   total CPU user time (s): 3575.87
#   total CPU system time (s): 8.13087

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4199 second user time and 20.3778 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-31 00:29:57
IDJOB=4464003
IDBENCH=147554
IDSOLVER=3092
FILE ID=nodeC023/4464003-1722378596
RUNJOBID= nodeC023-1722378594-29594
SLURM_JOB_ID= 8249846
Free space on /tmp= 890004 MiB

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

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

MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2
RANDOM SEED=1367756045

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129275164 kB
MemAvailable:   129719512 kB
Buffers:           90560 kB
Cached:          1188872 kB
SwapCached:            0 kB
Active:           259160 kB
Inactive:        1517640 kB
Active(anon):       1512 kB
Inactive(anon):   517152 kB
Active(file):     257648 kB
Inactive(file):  1000488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            163332 kB
Writeback:            36 kB
AnonPages:        497252 kB
Mapped:           100580 kB
Shmem:             21336 kB
KReclaimable:      51716 kB
Slab:             131472 kB
SReclaimable:      51716 kB
SUnreclaim:        79756 kB
KernelStack:        3900 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     692580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      164564 kB
DirectMap2M:    10094592 kB
DirectMap1G:    125829120 kB

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