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