Trace number 4432719

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-07OPT12 328.511 329.35

General information on the benchmark

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

Verifier Data

OK	12

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432719-1721051913/watcher-4432719-1721051913 -o /tmp/evaluation-result-4432719-1721051913/solver-4432719-1721051913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760 pbscip -f HOME/instance-4432719-1721051913.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=832335, runsolver pid=832332
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.11 4.07 4.01 5/260 832336
/proc/meminfo: memFree=122592308/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=103416 memory=63264 CPUtime=0.1 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 12646 0 0 0 9 1 0 0 20 0 1 0 157356689 105897984 15816 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 25854 15816 3629 3540 0 14111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 103416 KiB
Current children cumulated memory: 63264 KiB

[startup+0.20576 s]*
/proc/loadavg: 4.11 4.07 4.01 7/260 832336
/proc/meminfo: memFree=122574388/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=123544 memory=83864 CPUtime=0.2 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 19696 0 0 0 18 2 0 0 20 0 1 0 157356689 126509056 20966 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 30886 20966 3740 3540 0 19143 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123544 KiB
Current children cumulated memory: 83864 KiB

[startup+0.305802 s]*
/proc/loadavg: 4.11 4.07 4.01 5/260 832336
/proc/meminfo: memFree=122568156/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=128008 memory=86888 CPUtime=0.3 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 20420 0 0 0 28 2 0 0 20 0 1 0 157356689 131080192 21722 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 32002 21722 3772 3540 0 20259 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 128008 KiB
Current children cumulated memory: 86888 KiB

[startup+0.70022 s]
/proc/loadavg: 4.11 4.07 4.01 5/260 832336
/proc/meminfo: memFree=122565736/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=130188 memory=89080 CPUtime=0.68 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 20930 0 0 0 66 2 0 0 20 0 1 0 157356689 133312512 22270 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 32547 22270 3804 3540 0 20804 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130188 KiB
Current children cumulated memory: 89080 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.07 4.01 5/260 832338
/proc/meminfo: memFree=122564756/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=131084 memory=89872 CPUtime=1.48 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 21124 0 0 0 146 2 0 0 20 0 1 0 157356689 134230016 22468 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 32771 22468 3804 3540 0 21028 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131084 KiB
Current children cumulated memory: 89872 KiB

[startup+3.10565 s]
/proc/loadavg: 4.10 4.06 4.01 5/260 832338
/proc/meminfo: memFree=122490972/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=248584 memory=171500 CPUtime=3.09 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 43070 0 0 0 304 5 0 0 20 0 1 0 157356689 254550016 42875 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 62146 42875 3948 3540 0 50403 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 248584 KiB
Current children cumulated memory: 171500 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.06 4.01 5/260 832338
/proc/meminfo: memFree=122494000/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=260464 memory=182808 CPUtime=6.27 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 45931 0 0 0 622 5 0 0 20 0 1 0 157356689 266715136 45702 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 65116 45702 3964 3540 0 53373 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 260464 KiB
Current children cumulated memory: 182808 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.06 4.01 5/260 832339
/proc/meminfo: memFree=122487784/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=261872 memory=184392 CPUtime=12.66 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 46351 0 0 0 1260 6 0 0 20 0 1 0 157356689 268156928 46098 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 65468 46098 3964 3540 0 53725 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 261872 KiB
Current children cumulated memory: 184392 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.06 4.01 5/260 832341
/proc/meminfo: memFree=122394072/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=345768 memory=265220 CPUtime=25.43 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 56957 0 0 0 2533 10 0 0 20 0 1 0 157356689 354066432 66305 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 86442 66305 3996 3540 0 74699 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 345768 KiB
Current children cumulated memory: 265220 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.07 4.01 5/260 832346
/proc/meminfo: memFree=122371036/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=366360 memory=286140 CPUtime=50.97 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 63481 0 0 0 5086 11 0 0 20 0 1 0 157356689 375152640 71535 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 91590 71535 3996 3540 0 79847 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 366360 KiB
Current children cumulated memory: 286140 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.07 4.01 5/260 832357
/proc/meminfo: memFree=122319892/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=367268 memory=286932 CPUtime=102.03 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 63624 0 0 0 10191 12 0 0 20 0 1 0 157356689 376082432 71733 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 91817 71733 3996 3540 0 80074 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 367268 KiB
Current children cumulated memory: 286932 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.09 4.02 5/257 832380
/proc/meminfo: memFree=122262512/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=417220 memory=338220 CPUtime=161.88 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 82580 0 0 0 16173 15 0 0 20 0 1 0 157356689 427233280 84555 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 104305 84555 4022 3540 0 92562 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 417220 KiB
Current children cumulated memory: 338220 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/257 832393
/proc/meminfo: memFree=122185788/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384768 CPUtime=221.73 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95240 0 0 0 22155 18 0 0 20 0 1 0 157356689 478773248 96192 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96192 4022 3540 0 105145 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384768 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/257 832405
/proc/meminfo: memFree=122144760/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384768 CPUtime=281.57 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95240 0 0 0 28139 18 0 0 20 0 1 0 157356689 478773248 96192 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96192 4022 3540 0 105145 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384768 KiB

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

# cumulated CPU time of all completed processes:  user=328.301 s, system=0.210456 s

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

[startup+307.2 s]
/proc/loadavg: 4.15 4.11 4.03 5/255 832409
/proc/meminfo: memFree=122142496/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384768 CPUtime=306.41 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95240 0 0 0 30622 19 0 0 20 0 1 0 157356689 478773248 96192 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96192 4022 3540 0 105145 0
Current children cumulated CPU time: 306.41 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384768 KiB

[startup+320 s]*
/proc/loadavg: 4.19 4.12 4.03 5/255 832411
/proc/meminfo: memFree=122140632/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384980 CPUtime=319.18 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95296 0 0 0 31899 19 0 0 20 0 1 0 157356689 478773248 96245 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96245 4022 3540 0 105145 0
Current children cumulated CPU time: 319.18 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384980 KiB

[startup+323.2 s]
/proc/loadavg: 4.18 4.11 4.03 5/255 832413
/proc/meminfo: memFree=122139028/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384980 CPUtime=322.37 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95305 0 0 0 32218 19 0 0 20 0 1 0 157356689 478773248 96245 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96245 4022 3540 0 105145 0
Current children cumulated CPU time: 322.37 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384980 KiB

[startup+326.4 s]
/proc/loadavg: 4.18 4.11 4.03 5/255 832413
/proc/meminfo: memFree=122139028/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384980 CPUtime=325.56 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95305 0 0 0 32537 19 0 0 20 0 1 0 157356689 478773248 96245 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96245 4022 3540 0 105145 0
Current children cumulated CPU time: 325.56 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384980 KiB

[startup+328 s]*
/proc/loadavg: 4.16 4.11 4.03 5/255 832413
/proc/meminfo: memFree=122139028/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384980 CPUtime=327.16 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95305 0 0 0 32697 19 0 0 20 0 1 0 157356689 478773248 96245 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96245 4022 3540 0 105145 0
Current children cumulated CPU time: 327.16 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384980 KiB

[startup+328.8 s]
/proc/loadavg: 4.16 4.11 4.03 5/255 832413
/proc/meminfo: memFree=122139028/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=467552 memory=384980 CPUtime=327.95 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95305 0 0 0 32776 19 0 0 20 0 1 0 157356689 478773248 96245 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 116888 96245 4022 3540 0 105145 0
Current children cumulated CPU time: 327.95 s
Current children cumulated vsize: 467552 KiB
Current children cumulated memory: 384980 KiB

[startup+329.2 s]
/proc/loadavg: 4.16 4.11 4.03 5/255 832413
/proc/meminfo: memFree=122138888/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=435340 memory=353376 CPUtime=328.35 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95305 0 0 0 32816 19 0 0 20 0 1 0 157356689 445788160 88344 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 108835 88344 4157 3540 0 97092 0
Current children cumulated CPU time: 328.35 s
Current children cumulated vsize: 435340 KiB
Current children cumulated memory: 353376 KiB

[startup+329.3 s]
/proc/loadavg: 4.16 4.11 4.03 5/255 832413
/proc/meminfo: memFree=122138888/131524600 swapFree=131071996/131071996
[pid=832335] ppid=832332 vsize=435340 memory=353376 CPUtime=328.45 cores=4,6
/proc/832335/stat : 832335 (pbscip) R 832332 832335 812346 0 -1 4194304 95305 0 0 0 32826 19 0 0 20 0 1 0 157356689 445788160 88344 134679101440 4194304 18693293 140728217359168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41598976 140728217367556 140728217367655 140728217367655 140728217374670 0
/proc/832335/statm: 108835 88344 4157 3540 0 97092 0
Current children cumulated CPU time: 328.45 s
Current children cumulated vsize: 435340 KiB
Current children cumulated memory: 353376 KiB

Child status: 0

Real time (s): 329.35
CPU time (s): 328.511
CPU user time (s): 328.301
CPU system time (s): 0.210456
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 471756
Max. memory (cumulated for all children) (KiB): 388500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 328.301
system time used= 0.210456
maximum resident set size= 388500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95311
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= 7
involuntary context switches= 218


# summary of solver processes directly reported to runsolver:
#   pid: 832335
#   total CPU time (s): 328.511
#   total CPU user time (s): 328.301
#   total CPU system time (s): 0.210456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.63009 second user time and 1.52867 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-15 15:58:46
IDJOB=4432719
IDBENCH=146662
IDSOLVER=3059
FILE ID=nodeC025/4432719-1721051913
RUNJOBID= nodeC025-1721051059-830872
SLURM_JOB_ID= 7505483
Free space on /tmp= 889960 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.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-4432719-1721051913/watcher-4432719-1721051913 -o /tmp/evaluation-result-4432719-1721051913/solver-4432719-1721051913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760  pbscip -f HOME/instance-4432719-1721051913.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 3dc780a187102f53f7868f024506933f
RANDOM SEED=159880589

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122641220 kB
MemAvailable:   126180352 kB
Buffers:          375056 kB
Cached:          3961920 kB
SwapCached:            0 kB
Active:           701228 kB
Inactive:        7497228 kB
Active(anon):       1536 kB
Inactive(anon):  3897668 kB
Active(file):     699692 kB
Inactive(file):  3599560 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19508 kB
Writeback:             0 kB
AnonPages:       3861544 kB
Mapped:           137900 kB
Shmem:             37720 kB
KReclaimable:     159052 kB
Slab:             271764 kB
SReclaimable:     159052 kB
SUnreclaim:       112712 kB
KernelStack:        4240 kB
PageTables:        17300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4831272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1462272 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:      240340 kB
DirectMap2M:    32038912 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 889940 MiB
End job on nodeC025 at 2024-07-15 16:04:15