Trace number 4432655

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-07SAT612 3586.25 3599.36

General information on the benchmark

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

Verifier Data

OK	612

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (56769 MiB free)
  memory of node 1: 64510 MiB (53795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432655-1721088306/watcher-4432655-1721088306 -o /tmp/evaluation-result-4432655-1721088306/solver-4432655-1721088306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721084720-824562 --watchdog 3760 pbscip -f HOME/instance-4432655-1721088306.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100084 s]*
/proc/loadavg: 4.57 4.21 4.13 5/244 826495
/proc/meminfo: memFree=113196644/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=74724 memory=34444 CPUtime=0.09 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 5676 0 0 0 8 1 0 0 20 0 1 0 160989446 76517376 8611 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 18681 8611 3254 3540 0 6938 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74724 KiB
Current children cumulated memory: 34444 KiB

[startup+0.209827 s]*
/proc/loadavg: 4.57 4.21 4.13 5/244 826495
/proc/meminfo: memFree=113185672/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=86980 memory=46616 CPUtime=0.21 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 8691 0 0 0 19 2 0 0 20 0 1 0 160989446 89067520 11654 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 21745 11654 3254 3540 0 10002 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 86980 KiB
Current children cumulated memory: 46616 KiB

[startup+0.309635 s]*
/proc/loadavg: 4.57 4.21 4.13 5/244 826495
/proc/meminfo: memFree=113173736/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=99092 memory=58188 CPUtime=0.31 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 11594 0 0 0 28 3 0 0 20 0 1 0 160989446 101470208 14547 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 24773 14547 3254 3540 0 13030 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 99092 KiB
Current children cumulated memory: 58188 KiB

[startup+0.700337 s]
/proc/loadavg: 4.57 4.21 4.13 5/244 826495
/proc/meminfo: memFree=113148380/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=148572 memory=107424 CPUtime=0.69 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 23918 0 0 0 63 6 0 0 20 0 1 0 160989446 152137728 26856 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 37143 26856 3254 3540 0 25400 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148572 KiB
Current children cumulated memory: 107424 KiB

[startup+1.5003 s]
/proc/loadavg: 4.57 4.21 4.13 5/234 826505
/proc/meminfo: memFree=122041612/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=303520 memory=262608 CPUtime=1.49 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 60142 0 0 0 136 13 0 0 20 0 1 0 160989446 310804480 65652 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 75880 65652 3254 3540 0 64137 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 303520 KiB
Current children cumulated memory: 262608 KiB

[startup+3.11232 s]
/proc/loadavg: 4.52 4.21 4.13 4/231 826574
/proc/meminfo: memFree=125525480/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=865488 memory=823748 CPUtime=3.09 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 191930 0 0 0 277 32 0 0 20 0 1 0 160989446 886259712 205937 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 216372 205937 3606 3540 0 204629 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 865488 KiB
Current children cumulated memory: 823748 KiB

[startup+6.3003 s]
/proc/loadavg: 4.52 4.21 4.13 5/244 826634
/proc/meminfo: memFree=123272360/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=1016240 memory=929916 CPUtime=6.27 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 205787 0 0 0 592 35 0 0 20 0 1 0 160989446 1040629760 232479 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 254060 232479 3606 3540 0 242317 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1016240 KiB
Current children cumulated memory: 929916 KiB

[startup+12.7003 s]
/proc/loadavg: 4.48 4.20 4.13 5/244 826636
/proc/meminfo: memFree=121811824/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=1289496 memory=1242772 CPUtime=12.64 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 285354 0 0 0 1209 55 0 0 20 0 1 0 160989446 1320443904 310693 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 322374 310693 3717 3540 0 310631 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1289496 KiB
Current children cumulated memory: 1242772 KiB

[startup+25.5004 s]
/proc/loadavg: 4.45 4.21 4.13 5/244 826637
/proc/meminfo: memFree=116845796/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=3097236 memory=2803540 CPUtime=25.41 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 311768 0 0 0 2452 89 0 0 20 0 1 0 160989446 3171569664 700885 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 774309 700885 3797 3540 0 762566 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3097236 KiB
Current children cumulated memory: 2803540 KiB

[startup+51.1134 s]
/proc/loadavg: 4.29 4.19 4.13 5/241 826643
/proc/meminfo: memFree=112595744/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=3731756 memory=3426392 CPUtime=50.93 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 413392 0 0 0 4981 112 0 0 20 0 1 0 160989446 3821318144 856598 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 932939 856598 3957 3540 0 921196 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3731756 KiB
Current children cumulated memory: 3426392 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/241 826651
/proc/meminfo: memFree=112595360/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=3731756 memory=3426436 CPUtime=101.9 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 413499 0 0 0 10078 112 0 0 20 0 1 0 160989446 3821318144 856609 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 932939 856609 3957 3540 0 921196 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 3731756 KiB
Current children cumulated memory: 3426436 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/241 826662
/proc/meminfo: memFree=112287588/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=3890196 memory=3500644 CPUtime=161.66 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 419329 0 0 0 16051 115 0 0 20 0 1 0 160989446 3983560704 875161 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 972549 875161 3957 3540 0 960806 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 3890196 KiB
Current children cumulated memory: 3500644 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/241 826672
/proc/meminfo: memFree=112195472/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=3983148 memory=3532020 CPUtime=221.42 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 420559 0 0 0 22025 117 0 0 20 0 1 0 160989446 4078743552 883005 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 995787 883005 3957 3540 0 984044 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 3983148 KiB
Current children cumulated memory: 3532020 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/242 826684
/proc/meminfo: memFree=112153860/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=4055000 memory=3532032 CPUtime=281.17 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 420867 0 0 0 28000 117 0 0 20 0 1 0 160989446 4152320000 883008 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1013750 883008 3957 3540 0 1002007 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 4055000 KiB
Current children cumulated memory: 3532032 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/244 826698
/proc/meminfo: memFree=112119668/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=4116588 memory=3545092 CPUtime=340.94 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 421761 0 0 0 33976 118 0 0 20 0 1 0 160989446 4215386112 886273 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1029147 886273 3957 3540 0 1017404 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 4116588 KiB
Current children cumulated memory: 3545092 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/244 826708
/proc/meminfo: memFree=112110908/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=4116588 memory=3545212 CPUtime=400.72 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 421875 0 0 0 39953 119 0 0 20 0 1 0 160989446 4215386112 886303 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1029147 886303 3957 3540 0 1017404 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 4116588 KiB
Current children cumulated memory: 3545212 KiB

[startup+462.3 s]
/proc/loadavg: 4.74 4.29 4.16 5/244 826719
/proc/meminfo: memFree=112108496/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=4178180 memory=3545216 CPUtime=460.48 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 422256 0 0 0 45929 119 0 0 20 0 1 0 160989446 4278456320 886304 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1044545 886304 3957 3540 0 1032802 0

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

/proc/loadavg: 4.06 4.14 4.13 5/244 828380
/proc/meminfo: memFree=109055564/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6299276 memory=4358472 CPUtime=3210.64 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 600741 0 0 0 320895 169 0 0 20 0 1 0 160989446 6450458624 1089618 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1574819 1089618 3982 3540 0 1563076 0
Current children cumulated CPU time: 3210.64 s
Current children cumulated vsize: 6299276 KiB
Current children cumulated memory: 4358472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/244 828392
/proc/meminfo: memFree=109055412/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6299276 memory=4358472 CPUtime=3270.4 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 601216 0 0 0 326870 170 0 0 20 0 1 0 160989446 6450458624 1089618 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1574819 1089618 3982 3540 0 1563076 0
Current children cumulated CPU time: 3270.4 s
Current children cumulated vsize: 6299276 KiB
Current children cumulated memory: 4358472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/245 828417
/proc/meminfo: memFree=109054424/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6360876 memory=4358476 CPUtime=3330.16 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 601808 0 0 0 332846 170 0 0 20 0 1 0 160989446 6513537024 1089619 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1590219 1089619 3982 3540 0 1578476 0
Current children cumulated CPU time: 3330.16 s
Current children cumulated vsize: 6360876 KiB
Current children cumulated memory: 4358476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/244 828427
/proc/meminfo: memFree=109051344/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6422476 memory=4360320 CPUtime=3389.93 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 602571 0 0 0 338822 171 0 0 20 0 1 0 160989446 6576615424 1090080 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1605619 1090080 3982 3540 0 1593876 0
Current children cumulated CPU time: 3389.93 s
Current children cumulated vsize: 6422476 KiB
Current children cumulated memory: 4360320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/244 828438
/proc/meminfo: memFree=109051008/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3449.69 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 603601 0 0 0 344798 171 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3449.69 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/243 828448
/proc/meminfo: memFree=109050708/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3509.46 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 604376 0 0 0 350775 171 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3509.46 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/243 828459
/proc/meminfo: memFree=109048420/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3569.24 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605016 0 0 0 356753 171 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3569.24 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

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

# cumulated CPU time of all completed processes:  user=3584.5 s, system=1.74647 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.12 4.12 5/243 828459
/proc/meminfo: memFree=109048224/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3570.94 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605054 0 0 0 356923 171 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3570.94 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.12 5/243 828459
/proc/meminfo: memFree=109048280/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3577.31 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605110 0 0 0 357560 171 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3577.31 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.12 5/243 828460
/proc/meminfo: memFree=109048000/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3580.5 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605161 0 0 0 357879 171 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3580.5 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.13 4.12 5/243 828460
/proc/meminfo: memFree=109048108/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3583.69 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605285 0 0 0 358198 171 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3598.4 s]
/proc/loadavg: 4.17 4.13 4.12 5/243 828460
/proc/meminfo: memFree=109047952/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3585.29 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605575 0 0 0 358357 172 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3598.8 s]
/proc/loadavg: 4.17 4.13 4.12 5/243 828460
/proc/meminfo: memFree=109047952/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6484076 memory=4360448 CPUtime=3585.69 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605583 0 0 0 358397 172 0 0 20 0 1 0 160989446 6639693824 1090112 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1621019 1090112 3982 3540 0 1609276 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 6484076 KiB
Current children cumulated memory: 4360448 KiB

[startup+3599.2 s]
/proc/loadavg: 4.15 4.13 4.12 5/243 828460
/proc/meminfo: memFree=109047904/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6255404 memory=4152536 CPUtime=3586.08 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605622 0 0 0 358436 172 0 0 20 0 1 0 160989446 6405533696 1038134 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1563851 1038134 3982 3540 0 1552108 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 6255404 KiB
Current children cumulated memory: 4152536 KiB

[startup+3599.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/243 828460
/proc/meminfo: memFree=109047904/131655788 swapFree=131071996/131071996
[pid=826494] ppid=826491 vsize=6136768 memory=4033900 CPUtime=3586.19 cores=4,6
/proc/826494/stat : 826494 (pbscip) R 826491 826494 824551 0 -1 4194304 605622 0 0 0 358446 173 0 0 20 0 1 0 160989446 6284050432 1008475 134679101440 4194304 18693293 140723604949824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31797248 140723604956164 140723604956263 140723604956263 140723604963278 0
/proc/826494/statm: 1534192 1008475 3982 3540 0 1522449 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 6136768 KiB
Current children cumulated memory: 4033900 KiB

Child status: 0

Real time (s): 3599.36
CPU time (s): 3586.25
CPU user time (s): 3584.5
CPU system time (s): 1.74647
CPU usage (%): 99.6359
Max. virtual memory (cumulated for all children) (KiB): 6484076
Max. memory (cumulated for all children) (KiB): 4360448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.5
system time used= 1.74647
maximum resident set size= 4360448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605689
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= 107
involuntary context switches= 1105


# summary of solver processes directly reported to runsolver:
#   pid: 826494
#   total CPU time (s): 3586.25
#   total CPU user time (s): 3584.5
#   total CPU system time (s): 1.74647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6651 second user time and 36.1939 second system time

The end

Launcher Data

Begin job on nodeC006 at 2024-07-16 02:05:19
IDJOB=4432655
IDBENCH=147555
IDSOLVER=3059
FILE ID=nodeC006/4432655-1721088306
RUNJOBID= nodeC006-1721084720-824562
SLURM_JOB_ID= 7505576
Free space on /tmp= 723656 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432655-1721088306/watcher-4432655-1721088306 -o /tmp/evaluation-result-4432655-1721088306/solver-4432655-1721088306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721084720-824562 --watchdog 3760  pbscip -f HOME/instance-4432655-1721088306.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1684853893

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        113218936 kB
MemAvailable:   116866668 kB
Buffers:          389072 kB
Cached:          4056556 kB
SwapCached:            0 kB
Active:           706712 kB
Inactive:       17082896 kB
Active(anon):       1460 kB
Inactive(anon): 13380364 kB
Active(file):     705252 kB
Inactive(file):  3702532 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             35884 kB
Writeback:             4 kB
AnonPages:      13337784 kB
Mapped:           137928 kB
Shmem:             37704 kB
KReclaimable:     159956 kB
Slab:             263812 kB
SReclaimable:     159956 kB
SUnreclaim:       103856 kB
KernelStack:        3920 kB
PageTables:        35908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   20054772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7512064 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723636 MiB
End job on nodeC006 at 2024-07-16 03:05:19