Trace number 4489470

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
SCIP 2024-07-07SAT484 3589.12 3599.05

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
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 benchmark245
Best CPU time to get the best result obtained on this benchmark3587.61
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 495457
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 495457
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	484

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: 63708 MiB (60459 MiB free)
  memory of node 1: 64465 MiB (61433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489470-1751358241/watcher-4489470-1751358241 -o /tmp/evaluation-result-4489470-1751358241/solver-4489470-1751358241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751358241-48210 --watchdog 3760 pbscip -f HOME/instance-4489470-1751358241.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=48256, runsolver pid=48250

[startup+0.100061 s]*
/proc/loadavg: 2.53 3.72 3.96 5/265 48269
/proc/meminfo: memFree=124723704/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=72936 memory=45184 CPUtime=0.06 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 8378 0 0 0 5 1 0 0 20 0 1 0 51498671 74686464 11296 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 18234 11296 3232 3530 0 9685 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 72936 KiB
Current children cumulated memory: 45184 KiB

[startup+0.205653 s]*
/proc/loadavg: 2.53 3.72 3.96 6/265 48269
/proc/meminfo: memFree=124627692/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=103160 memory=74880 CPUtime=0.16 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 15797 0 0 0 14 2 0 0 20 0 1 0 51498671 105635840 18720 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 25790 18720 3232 3530 0 17241 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 103160 KiB
Current children cumulated memory: 74880 KiB

[startup+0.30565 s]*
/proc/loadavg: 2.53 3.72 3.96 5/265 48269
/proc/meminfo: memFree=124541004/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=131060 memory=102784 CPUtime=0.26 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 22788 0 0 0 23 3 0 0 20 0 1 0 51498671 134205440 25696 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 32765 25696 3232 3530 0 24216 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 131060 KiB
Current children cumulated memory: 102784 KiB

[startup+0.700174 s]
/proc/loadavg: 2.53 3.72 3.96 5/264 48269
/proc/meminfo: memFree=124372164/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=240164 memory=211836 CPUtime=0.63 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 49540 0 0 0 57 6 0 0 20 0 1 0 51498671 245927936 52959 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 60041 52959 3232 3530 0 51492 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 240164 KiB
Current children cumulated memory: 211836 KiB

[startup+1.50019 s]
/proc/loadavg: 2.53 3.72 3.96 5/265 48270
/proc/meminfo: memFree=123929900/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=532448 memory=504572 CPUtime=1.43 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 122469 0 0 0 125 18 0 0 20 0 1 0 51498671 545226752 126143 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 133112 126143 3520 3530 0 124563 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 532448 KiB
Current children cumulated memory: 504572 KiB

[startup+3.10548 s]
/proc/loadavg: 2.65 3.73 3.96 5/265 48270
/proc/meminfo: memFree=122238264/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=861072 memory=831508 CPUtime=3.02 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 194479 0 0 0 272 30 0 0 20 0 1 0 51498671 881737728 207877 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 215268 207877 3552 3530 0 206719 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 861072 KiB
Current children cumulated memory: 831508 KiB

[startup+6.30017 s]
/proc/loadavg: 2.65 3.73 3.96 5/265 48270
/proc/meminfo: memFree=121625284/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=1218384 memory=1180396 CPUtime=6.2 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 224978 0 0 0 578 42 0 0 20 0 1 0 51498671 1247625216 295099 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 304596 295099 3648 3530 0 296047 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1218384 KiB
Current children cumulated memory: 1180396 KiB

[startup+12.7002 s]
/proc/loadavg: 2.86 3.74 3.96 5/265 48270
/proc/meminfo: memFree=120549764/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=1276348 memory=1236780 CPUtime=12.59 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 284420 0 0 0 1206 53 0 0 20 0 1 0 51498671 1306980352 309195 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 319087 309195 3712 3530 0 310538 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1276348 KiB
Current children cumulated memory: 1236780 KiB

[startup+25.5002 s]
/proc/loadavg: 3.11 3.76 3.97 5/265 48270
/proc/meminfo: memFree=115656012/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=3551352 memory=3261988 CPUtime=25.35 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 390941 0 0 0 2432 103 0 0 20 0 1 0 51498671 3636584448 815497 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 887838 815497 3808 3530 0 879289 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 3551352 KiB
Current children cumulated memory: 3261988 KiB

[startup+51.1057 s]
/proc/loadavg: 3.42 3.78 3.97 5/265 48271
/proc/meminfo: memFree=114286156/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=3719116 memory=3419204 CPUtime=50.89 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 410830 0 0 0 4979 110 0 0 20 0 1 0 51498671 3808374784 854801 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 929779 854801 3904 3530 0 921230 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 3719116 KiB
Current children cumulated memory: 3419204 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.84 3.98 5/267 48279
/proc/meminfo: memFree=114191112/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=3898652 memory=3515876 CPUtime=101.94 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 417498 0 0 0 10081 113 0 0 20 0 1 0 51498671 3992219648 878969 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 974663 878969 3904 3530 0 966114 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 3898652 KiB
Current children cumulated memory: 3515876 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.88 4.00 5/267 48281
/proc/meminfo: memFree=114052944/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=3970504 memory=3528640 CPUtime=161.79 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 418768 0 0 0 16065 114 0 0 20 0 1 0 51498671 4065796096 882160 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 992626 882160 3904 3530 0 984077 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3970504 KiB
Current children cumulated memory: 3528640 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.92 4.00 5/267 48285
/proc/meminfo: memFree=113951872/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=4042360 memory=3538916 CPUtime=221.62 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 419416 0 0 0 22048 114 0 0 20 0 1 0 51498671 4139376640 884729 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1010590 884729 3904 3530 0 1002041 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 4042360 KiB
Current children cumulated memory: 3538916 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.97 4.01 5/266 48287
/proc/meminfo: memFree=113930588/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=4165540 memory=3549184 CPUtime=281.45 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 420088 0 0 0 28030 115 0 0 20 0 1 0 51498671 4265512960 887296 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1041385 887296 3904 3530 0 1032836 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 4165540 KiB
Current children cumulated memory: 3549184 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.01 4.01 5/265 48290
/proc/meminfo: memFree=113898752/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=4237552 memory=3549440 CPUtime=341.29 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 420132 0 0 0 34014 115 0 0 20 0 1 0 51498671 4339253248 887360 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1059388 887360 3904 3530 0 1050839 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 4237552 KiB
Current children cumulated memory: 3549440 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.02 4.01 5/265 48293
/proc/meminfo: memFree=113906576/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=4309412 memory=3559704 CPUtime=401.14 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 420805 0 0 0 39998 116 0 0 20 0 1 0 51498671 4412837888 889926 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1077353 889926 3904 3530 0 1068804 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 4309412 KiB
Current children cumulated memory: 3559704 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.04 4.02 5/265 48295
/proc/meminfo: memFree=113904240/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=4381268 memory=3569948 CPUtime=460.98 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 421330 0 0 0 45982 116 0 0 20 0 1 0 51498671 4486418432 892487 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1095317 892487 3904 3530 0 1086768 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 4507892 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/264 48444
/proc/meminfo: memFree=111090852/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6606396 memory=4507892 CPUtime=3153.6 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 632044 0 0 0 315204 156 0 0 20 0 1 0 51498671 6764949504 1126973 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1651599 1126973 3936 3530 0 1643050 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 6606396 KiB
Current children cumulated memory: 4507892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/265 48449
/proc/meminfo: memFree=111082508/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6606396 memory=4507892 CPUtime=3213.44 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 632046 0 0 0 321188 156 0 0 20 0 1 0 51498671 6764949504 1126973 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1651599 1126973 3936 3530 0 1643050 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 6606396 KiB
Current children cumulated memory: 4507892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/264 48452
/proc/meminfo: memFree=110966324/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6767736 memory=4669268 CPUtime=3273.27 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 675437 0 0 0 327163 164 0 0 20 0 1 0 51498671 6930161664 1167317 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1691934 1167317 3936 3530 0 1683385 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 6767736 KiB
Current children cumulated memory: 4669268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.52 4.18 4.11 5/265 48455
/proc/meminfo: memFree=110881604/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6807040 memory=4708016 CPUtime=3333.07 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682234 0 0 0 333142 165 0 0 20 0 1 0 51498671 6970408960 1177004 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1701760 1177004 3936 3530 0 1693211 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 6807040 KiB
Current children cumulated memory: 4708016 KiB

[startup+3402.3 s]
/proc/loadavg: 4.87 4.37 4.18 5/265 48457
/proc/meminfo: memFree=110877428/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6807040 memory=4708016 CPUtime=3392.91 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682235 0 0 0 339126 165 0 0 20 0 1 0 51498671 6970408960 1177004 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1701760 1177004 3936 3530 0 1693211 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 6807040 KiB
Current children cumulated memory: 4708016 KiB

[startup+3462.3 s]
/proc/loadavg: 4.42 4.34 4.18 5/266 48472
/proc/meminfo: memFree=110873288/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6807040 memory=4708016 CPUtime=3452.75 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682235 0 0 0 345110 165 0 0 20 0 1 0 51498671 6970408960 1177004 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1701760 1177004 3936 3530 0 1693211 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 6807040 KiB
Current children cumulated memory: 4708016 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.31 4.18 5/266 48474
/proc/meminfo: memFree=110877772/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6807040 memory=4708016 CPUtime=3512.58 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682363 0 0 0 351093 165 0 0 20 0 1 0 51498671 6970408960 1177004 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1701760 1177004 3936 3530 0 1693211 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 6807040 KiB
Current children cumulated memory: 4708016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.26 4.17 5/266 48476
/proc/meminfo: memFree=110854756/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6807040 memory=4708144 CPUtime=3572.4 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682429 0 0 0 357075 165 0 0 20 0 1 0 51498671 6970408960 1177036 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1701760 1177036 3936 3530 0 1693211 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 6807040 KiB
Current children cumulated memory: 4708144 KiB

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

# cumulated CPU time of all completed processes:  user=3587.34 s, system=1.77913 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.26 4.17 5/266 48476
/proc/meminfo: memFree=110854868/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6868640 memory=4708144 CPUtime=3574.1 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682430 0 0 0 357245 165 0 0 20 0 1 0 51498671 7033487360 1177036 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1717160 1177036 3936 3530 0 1708611 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 6868640 KiB
Current children cumulated memory: 4708144 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.26 4.17 5/266 48476
/proc/meminfo: memFree=110854644/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6868640 memory=4708144 CPUtime=3580.48 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682430 0 0 0 357883 165 0 0 20 0 1 0 51498671 7033487360 1177036 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1717160 1177036 3936 3530 0 1708611 0
Current children cumulated CPU time: 3580.48 s
Current children cumulated vsize: 6868640 KiB
Current children cumulated memory: 4708144 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.25 4.17 5/266 48477
/proc/meminfo: memFree=110854724/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6868640 memory=4708144 CPUtime=3583.67 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682430 0 0 0 358202 165 0 0 20 0 1 0 51498671 7033487360 1177036 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1717160 1177036 3936 3530 0 1708611 0
Current children cumulated CPU time: 3583.67 s
Current children cumulated vsize: 6868640 KiB
Current children cumulated memory: 4708144 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.25 4.17 5/266 48477
/proc/meminfo: memFree=110854548/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6868640 memory=4708144 CPUtime=3586.86 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682430 0 0 0 358521 165 0 0 20 0 1 0 51498671 7033487360 1177036 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1717160 1177036 3936 3530 0 1708611 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 6868640 KiB
Current children cumulated memory: 4708144 KiB

[startup+3598.4 s]
/proc/loadavg: 4.18 4.26 4.18 4/262 48485
/proc/meminfo: memFree=111205864/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6868640 memory=4708144 CPUtime=3588.46 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682524 0 0 0 358680 166 0 0 20 0 1 0 51498671 7033487360 1177036 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1717160 1177036 3936 3530 0 1708611 0
Current children cumulated CPU time: 3588.46 s
Current children cumulated vsize: 6868640 KiB
Current children cumulated memory: 4708144 KiB

[startup+3598.8 s]
/proc/loadavg: 4.18 4.26 4.18 4/262 48485
/proc/meminfo: memFree=111205864/131249992 swapFree=33010160/33010684
[pid=48256] ppid=48250 vsize=6711940 memory=4552136 CPUtime=3588.86 cores=4,6
/proc/48256/stat : 48256 (pbscip) R 48250 48256 48199 0 -1 4194304 682530 0 0 0 358720 166 0 0 20 0 1 0 51498671 6873026560 1138034 18446744073709551615 4235264 18693293 140736078154800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27074560 140736078162313 140736078162412 140736078162412 140736078168014 0
/proc/48256/statm: 1677985 1138034 3936 3530 0 1669436 0
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 6711940 KiB
Current children cumulated memory: 4552136 KiB

[startup+3599 s]*
/proc/loadavg: 4.18 4.26 4.18 7/264 48489
/proc/meminfo: memFree=114268592/131249992 swapFree=33010160/33010684
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): 3599.05
CPU time (s): 3589.12
CPU user time (s): 3587.34
CPU system time (s): 1.77913
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 6868640
Max. memory (cumulated for all children) (KiB): 4708144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.34
system time used= 1.77913
maximum resident set size= 4708144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682545
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= 158
involuntary context switches= 3009


# summary of solver processes directly reported to runsolver:
#   pid: 48256
#   total CPU time (s): 3589.12
#   total CPU user time (s): 3587.34
#   total CPU system time (s): 1.77913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50302 second user time and 17.7657 second system time

The end

Launcher Data

Begin job on nodeC035 at 2025-07-01 10:24:01
IDJOB=4489470
IDBENCH=147551
IDSOLVER=3365
FILE ID=nodeC035/4489470-1751358241
RUNJOBID= nodeC035-1751358241-48210
SLURM_JOB_ID= 9598151
Free space on /tmp= 433004 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489470-1751358241/watcher-4489470-1751358241 -o /tmp/evaluation-result-4489470-1751358241/solver-4489470-1751358241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751358241-48210 --watchdog 3760  pbscip -f HOME/instance-4489470-1751358241.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=489708940

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3601.543
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3678.080
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.717
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.728
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.755
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.756
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.635
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3598.852
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124820096 kB
MemAvailable:   129740608 kB
Buffers:            1840 kB
Cached:          5673312 kB
SwapCached:            8 kB
Active:           356960 kB
Inactive:        5383004 kB
Active(anon):      71244 kB
Inactive(anon):    11616 kB
Active(file):     285716 kB
Inactive(file):  5371388 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            123776 kB
Writeback:             4 kB
AnonPages:         68248 kB
Mapped:           102772 kB
Shmem:             18048 kB
KReclaimable:     205292 kB
Slab:             294512 kB
SReclaimable:     205292 kB
SUnreclaim:        89220 kB
KernelStack:        4004 kB
PageTables:         2476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432940 MiB
End job on nodeC035 at 2025-07-01 11:24:01