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

OK	357

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63019 MiB free)
  memory of node 1: 64465 MiB (63928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489517-1751358421/watcher-4489517-1751358421 -o /tmp/evaluation-result-4489517-1751358421/solver-4489517-1751358421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751358421-46417 --watchdog 3760 pbsolver -f HOME/instance-4489517-1751358421.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
solver pid=46466, runsolver pid=46458
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129864692/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=58964 memory=48768 CPUtime=0.09 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 10230 0 0 0 8 1 0 0 20 0 1 0 51519686 60379136 12192 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 14741 12192 2176 2575 0 11648 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58964 KiB
Current children cumulated memory: 48768 KiB

[startup+0.205489 s]*
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129723572/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=91264 memory=77568 CPUtime=0.19 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 17438 0 0 0 16 3 0 0 20 0 1 0 51519686 93454336 19392 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 22816 19392 2176 2575 0 19723 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91264 KiB
Current children cumulated memory: 77568 KiB

[startup+0.305415 s]*
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129618740/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=117188 memory=106368 CPUtime=0.28 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 24637 0 0 0 24 4 0 0 20 0 1 0 51519686 120000512 26592 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 29297 26592 2176 2575 0 26204 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117188 KiB
Current children cumulated memory: 106368 KiB

[startup+0.700167 s]
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129382496/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=228720 memory=217456 CPUtime=0.67 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 51898 0 0 0 58 9 0 0 20 0 1 0 51519686 234209280 54364 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 57180 54364 2176 2575 0 54087 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 228720 KiB
Current children cumulated memory: 217456 KiB

[startup+1.50018 s]
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=128843968/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=530912 memory=520092 CPUtime=1.48 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 126369 0 0 0 127 21 0 0 20 0 1 0 51519686 543653888 130023 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 133517 130023 2368 2575 0 130424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 530912 KiB
Current children cumulated memory: 520092 KiB

[startup+3.10489 s]
/proc/loadavg: 3.48 3.96 4.04 5/264 46475
/proc/meminfo: memFree=126759840/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=840028 memory=827564 CPUtime=3.07 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 195572 0 0 0 275 32 0 0 20 0 1 0 51519686 860188672 206891 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 210007 206891 2400 2575 0 206914 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 840028 KiB
Current children cumulated memory: 827564 KiB

[startup+6.30018 s]
/proc/loadavg: 3.48 3.96 4.04 5/264 46475
/proc/meminfo: memFree=125534252/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=1225880 memory=1206056 CPUtime=6.26 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 226277 0 0 0 581 45 0 0 20 0 1 0 51519686 1255301120 301514 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 306470 301514 2464 2575 0 303377 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1225880 KiB
Current children cumulated memory: 1206056 KiB

[startup+12.7002 s]
/proc/loadavg: 3.63 3.98 4.05 5/264 46475
/proc/meminfo: memFree=124307268/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=1255488 memory=1234232 CPUtime=12.64 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 286471 0 0 0 1207 57 0 0 20 0 1 0 51519686 1285619712 308558 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 313872 308558 2528 2575 0 310779 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1255488 KiB
Current children cumulated memory: 1234232 KiB

[startup+25.5002 s]
/proc/loadavg: 3.69 3.98 4.05 5/264 46475
/proc/meminfo: memFree=117637148/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=3543292 memory=3267028 CPUtime=25.39 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 398900 0 0 0 2432 107 0 0 20 0 1 0 51519686 3628331008 816757 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 885823 816757 2624 2575 0 882730 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3543292 KiB
Current children cumulated memory: 3267028 KiB

[startup+51.1057 s]
/proc/loadavg: 3.80 3.98 4.04 5/264 46475
/proc/meminfo: memFree=116356872/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=3697764 memory=3411044 CPUtime=50.91 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 413195 0 0 0 4980 111 0 0 20 0 1 0 51519686 3786510336 852761 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 924441 852761 2688 2575 0 921348 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3697764 KiB
Current children cumulated memory: 3411044 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.02 4.05 5/263 46477
/proc/meminfo: memFree=116353496/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=3697764 memory=3411044 CPUtime=101.85 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 413231 0 0 0 10074 111 0 0 20 0 1 0 51519686 3786510336 852761 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 924441 852761 2688 2575 0 921348 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 3697764 KiB
Current children cumulated memory: 3411044 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.03 4.05 5/263 46479
/proc/meminfo: memFree=115999120/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=3887432 memory=3506832 CPUtime=161.57 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 422592 0 0 0 16043 114 0 0 20 0 1 0 51519686 3980730368 876708 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 971858 876708 2688 2575 0 968765 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 3887432 KiB
Current children cumulated memory: 3506832 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.04 4.05 5/263 46484
/proc/meminfo: memFree=115907860/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=3972708 memory=3524916 CPUtime=221.27 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 424428 0 0 0 22012 115 0 0 20 0 1 0 51519686 4068052992 881229 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 993177 881229 2688 2575 0 990084 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 3972708 KiB
Current children cumulated memory: 3524916 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.04 4.05 5/265 46492
/proc/meminfo: memFree=115847100/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=4063096 memory=3553852 CPUtime=280.97 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 425141 0 0 0 27982 115 0 0 20 0 1 0 51519686 4160610304 888463 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1015774 888463 2688 2575 0 1012681 0
Current children cumulated CPU time: 280.97 s
Current children cumulated vsize: 4063096 KiB
Current children cumulated memory: 3553852 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.06 4.06 5/266 46495
/proc/meminfo: memFree=115843604/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=4124684 memory=3553852 CPUtime=340.68 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 425145 0 0 0 33953 115 0 0 20 0 1 0 51519686 4223676416 888463 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1031171 888463 2688 2575 0 1028078 0
Current children cumulated CPU time: 340.68 s
Current children cumulated vsize: 4124684 KiB
Current children cumulated memory: 3553852 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.06 4.06 5/266 46497
/proc/meminfo: memFree=115831864/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=4124684 memory=3553852 CPUtime=400.38 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 425183 0 0 0 39923 115 0 0 20 0 1 0 51519686 4223676416 888463 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1031171 888463 2688 2575 0 1028078 0
Current children cumulated CPU time: 400.38 s
Current children cumulated vsize: 4124684 KiB
Current children cumulated memory: 3553852 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.06 4.06 5/266 46499
/proc/meminfo: memFree=115803668/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=4186276 memory=3553852 CPUtime=460.08 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 425301 0 0 0 45893 115 0 0 20 0 1 0 51519686 4286746624 888463 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1046569 888463 2688 2575 0 1043476 0
Current children cumulated CPU time: 460.08 s

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

Current children cumulated memory: 4244928 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 46635
/proc/meminfo: memFree=112997540/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6291044 memory=4244928 CPUtime=3148.11 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559521 0 0 0 314672 139 0 0 20 0 1 0 51519686 6442029056 1061232 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1572761 1061232 2688 2575 0 1569668 0
Current children cumulated CPU time: 3148.11 s
Current children cumulated vsize: 6291044 KiB
Current children cumulated memory: 4244928 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 46652
/proc/meminfo: memFree=112991304/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6291044 memory=4244928 CPUtime=3207.81 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559610 0 0 0 320642 139 0 0 20 0 1 0 51519686 6442029056 1061232 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1572761 1061232 2688 2575 0 1569668 0
Current children cumulated CPU time: 3207.81 s
Current children cumulated vsize: 6291044 KiB
Current children cumulated memory: 4244928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 46660
/proc/meminfo: memFree=112998144/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6291044 memory=4244928 CPUtime=3267.54 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559610 0 0 0 326615 139 0 0 20 0 1 0 51519686 6442029056 1061232 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1572761 1061232 2688 2575 0 1569668 0
Current children cumulated CPU time: 3267.54 s
Current children cumulated vsize: 6291044 KiB
Current children cumulated memory: 4244928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 46662
/proc/meminfo: memFree=112994608/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6291044 memory=4244928 CPUtime=3327.23 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559612 0 0 0 332584 139 0 0 20 0 1 0 51519686 6442029056 1061232 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1572761 1061232 2688 2575 0 1569668 0
Current children cumulated CPU time: 3327.23 s
Current children cumulated vsize: 6291044 KiB
Current children cumulated memory: 4244928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 46664
/proc/meminfo: memFree=112979580/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6291044 memory=4244928 CPUtime=3386.93 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559645 0 0 0 338554 139 0 0 20 0 1 0 51519686 6442029056 1061232 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1572761 1061232 2688 2575 0 1569668 0
Current children cumulated CPU time: 3386.93 s
Current children cumulated vsize: 6291044 KiB
Current children cumulated memory: 4244928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 46666
/proc/meminfo: memFree=112974212/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3446.63 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559854 0 0 0 344524 139 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3446.63 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 46669
/proc/meminfo: memFree=112975496/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3506.33 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559862 0 0 0 350494 139 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3506.33 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112974748/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3566.04 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559943 0 0 0 356464 140 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3566.04 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

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

# cumulated CPU time of all completed processes:  user=3581.4 s, system=1.4916 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112974772/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3567.74 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559943 0 0 0 356634 140 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3567.74 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112972616/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3574.1 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559943 0 0 0 357270 140 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112972640/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3577.29 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559943 0 0 0 357589 140 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3577.29 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112971860/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3580.47 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 559943 0 0 0 357907 140 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3580.47 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 46671
/proc/meminfo: memFree=112971648/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3582.07 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 560059 0 0 0 358067 140 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3582.07 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3598.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 46671
/proc/meminfo: memFree=112971648/131250000 swapFree=33007332/33010684
[pid=46466] ppid=46458 vsize=6352644 memory=4245440 CPUtime=3582.47 cores=4,6
/proc/46466/stat : 46466 (pbsolver) R 46458 46466 46405 0 -1 4194304 560059 0 0 0 358107 140 0 0 20 0 1 0 51519686 6505107456 1061360 18446744073709551615 4198400 14743177 140731164070560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 38232064 140731164072330 140731164072426 140731164072426 140731164078028 0
/proc/46466/statm: 1588161 1061360 2688 2575 0 1585068 0
Current children cumulated CPU time: 3582.47 s
Current children cumulated vsize: 6352644 KiB
Current children cumulated memory: 4245440 KiB

[startup+3599.2 s]*
/proc/loadavg: 4.11 4.09 4.09 4/260 46679
/proc/meminfo: memFree=123500796/131250000 swapFree=33007332/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.22
CPU time (s): 3582.89
CPU user time (s): 3581.4
CPU system time (s): 1.4916
CPU usage (%): 99.5464
Max. virtual memory (cumulated for all children) (KiB): 6352644
Max. memory (cumulated for all children) (KiB): 4245440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.4
system time used= 1.4916
maximum resident set size= 4245440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560076
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= 1174


# summary of solver processes directly reported to runsolver:
#   pid: 46466
#   total CPU time (s): 3582.89
#   total CPU user time (s): 3581.4
#   total CPU system time (s): 1.4916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04912 second user time and 16.7406 second system time

The end

Begin job on nodeC019 at 2025-07-01 10:27:02
IDJOB=4489517
IDBENCH=147555
IDSOLVER=3366
FILE ID=nodeC019/4489517-1751358421
RUNJOBID= nodeC019-1751358421-46417
SLURM_JOB_ID= 9598152
Free space on /tmp= 432980 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489517-1751358421/watcher-4489517-1751358421 -o /tmp/evaluation-result-4489517-1751358421/solver-4489517-1751358421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751358421-46417 --watchdog 3760  pbsolver -f HOME/instance-4489517-1751358421.opb -t 3600 -m 31000

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1576659709

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130011640 kB
MemAvailable:   129746544 kB
Buffers:             904 kB
Cached:           542088 kB
SwapCached:          440 kB
Active:           200476 kB
Inactive:         408528 kB
Active(anon):      53272 kB
Inactive(anon):    27852 kB
Active(file):     147204 kB
Inactive(file):   380676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            127164 kB
Writeback:             0 kB
AnonPages:         68648 kB
Mapped:           103008 kB
Shmem:             15112 kB
KReclaimable:      92528 kB
Slab:             179260 kB
SReclaimable:      92528 kB
SUnreclaim:        86732 kB
KernelStack:        4048 kB
PageTables:         2836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     328816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432920 MiB
End job on nodeC019 at 2025-07-01 11:27:01