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

OK	494

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63172 MiB free)
  memory of node 1: 64465 MiB (63776 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489747-1751361303/watcher-4489747-1751361303 -o /tmp/evaluation-result-4489747-1751361303/solver-4489747-1751361303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751361303-47842 --watchdog 3760 pbsolver -f HOME/instance-4489747-1751361303.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47897, runsolver pid=47882
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129911808/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=44384 memory=34432 CPUtime=0.1 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 6665 0 0 0 9 1 0 0 20 0 1 0 51809494 45449216 8608 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 11096 8608 2176 2575 0 8003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44384 KiB
Current children cumulated memory: 34432 KiB

[startup+0.213894 s]*
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129872244/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=58964 memory=48768 CPUtime=0.21 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 10230 0 0 0 18 3 0 0 20 0 1 0 51809494 60379136 12192 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 14741 12192 2176 2575 0 11648 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 58964 KiB
Current children cumulated memory: 48768 KiB

[startup+0.313815 s]*
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129806596/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=71276 memory=60544 CPUtime=0.31 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 13171 0 0 0 27 4 0 0 20 0 1 0 51809494 72986624 15136 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 17819 15136 2176 2575 0 14726 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71276 KiB
Current children cumulated memory: 60544 KiB

[startup+0.700358 s]
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129713612/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=115132 memory=104320 CPUtime=0.68 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 24119 0 0 0 61 7 0 0 20 0 1 0 51809494 117895168 26080 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 28783 26080 2176 2575 0 25690 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115132 KiB
Current children cumulated memory: 104320 KiB

[startup+1.50036 s]
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129455820/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=249808 memory=238980 CPUtime=1.48 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 57280 0 0 0 132 16 0 0 20 0 1 0 51809494 255803392 59745 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 62452 59745 2176 2575 0 59359 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 249808 KiB
Current children cumulated memory: 238980 KiB

[startup+3.11302 s]
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=127087288/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=807388 memory=796064 CPUtime=3.09 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 185135 0 0 0 269 40 0 0 20 0 1 0 51809494 826765312 199016 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 201847 199016 2368 2575 0 198754 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 807388 KiB
Current children cumulated memory: 796064 KiB

[startup+6.3003 s]
/proc/loadavg: 2.82 3.77 4.00 5/250 47898
/proc/meminfo: memFree=126671656/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=894844 memory=881872 CPUtime=6.27 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 200945 0 0 0 584 43 0 0 20 0 1 0 51809494 916320256 220468 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 223711 220468 2400 2575 0 220618 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 894844 KiB
Current children cumulated memory: 881872 KiB

[startup+12.7004 s]
/proc/loadavg: 2.91 3.78 4.00 5/250 47898
/proc/meminfo: memFree=124308008/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=1255488 memory=1234632 CPUtime=12.64 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 283980 0 0 0 1200 64 0 0 20 0 1 0 51809494 1285619712 308658 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 313872 308658 2528 2575 0 310779 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1255488 KiB
Current children cumulated memory: 1234632 KiB

[startup+25.5004 s]
/proc/loadavg: 3.23 3.80 4.01 5/250 47898
/proc/meminfo: memFree=119052620/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=3025456 memory=2755516 CPUtime=25.39 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 303362 0 0 0 2442 97 0 0 20 0 1 0 51809494 3098066944 688879 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 756364 688879 2592 2575 0 753271 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3025456 KiB
Current children cumulated memory: 2755516 KiB

[startup+51.1134 s]
/proc/loadavg: 3.56 3.84 4.01 5/250 47898
/proc/meminfo: memFree=115790444/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=3698512 memory=3411356 CPUtime=50.9 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 412919 0 0 0 4972 118 0 0 20 0 1 0 51809494 3787276288 852839 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 924628 852839 2688 2575 0 921535 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 3698512 KiB
Current children cumulated memory: 3411356 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.86 4.00 5/250 47900
/proc/meminfo: memFree=115680268/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=3698512 memory=3411356 CPUtime=101.8 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 412940 0 0 0 10062 118 0 0 20 0 1 0 51809494 3787276288 852839 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 924628 852839 2688 2575 0 921535 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 3698512 KiB
Current children cumulated memory: 3411356 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.92 4.01 5/250 47902
/proc/meminfo: memFree=115495224/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=3888848 memory=3514180 CPUtime=161.47 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 421827 0 0 0 16026 121 0 0 20 0 1 0 51809494 3982180352 878545 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 972212 878545 2688 2575 0 969119 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 3888848 KiB
Current children cumulated memory: 3514180 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.97 4.02 5/250 47904
/proc/meminfo: memFree=115400480/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=3982392 memory=3549972 CPUtime=221.15 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 423439 0 0 0 21993 122 0 0 20 0 1 0 51809494 4077969408 887493 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 995598 887493 2688 2575 0 992505 0
Current children cumulated CPU time: 221.15 s
Current children cumulated vsize: 3982392 KiB
Current children cumulated memory: 3549972 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.00 4.02 5/250 47906
/proc/meminfo: memFree=115402660/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=4054244 memory=3550100 CPUtime=280.84 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 423556 0 0 0 27961 123 0 0 20 0 1 0 51809494 4151545856 887525 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1013561 887525 2688 2575 0 1010468 0
Current children cumulated CPU time: 280.84 s
Current children cumulated vsize: 4054244 KiB
Current children cumulated memory: 3550100 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.01 4.02 5/251 47921
/proc/meminfo: memFree=115394112/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=4115832 memory=3560304 CPUtime=340.54 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 424085 0 0 0 33931 123 0 0 20 0 1 0 51809494 4214611968 890076 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1028958 890076 2688 2575 0 1025865 0
Current children cumulated CPU time: 340.54 s
Current children cumulated vsize: 4115832 KiB
Current children cumulated memory: 3560304 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.03 4.02 5/251 47923
/proc/meminfo: memFree=115375552/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=4115832 memory=3560304 CPUtime=400.23 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 424085 0 0 0 39900 123 0 0 20 0 1 0 51809494 4214611968 890076 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1028958 890076 2688 2575 0 1025865 0
Current children cumulated CPU time: 400.23 s
Current children cumulated vsize: 4115832 KiB
Current children cumulated memory: 3560304 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.05 4.03 5/251 47928
/proc/meminfo: memFree=115381192/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=4182552 memory=3560304 CPUtime=459.93 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 424137 0 0 0 45870 123 0 0 20 0 1 0 51809494 4282933248 890076 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1045638 890076 2688 2575 0 1042545 0

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

/proc/loadavg: 4.12 4.11 4.12 5/250 48068
/proc/meminfo: memFree=112624540/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6195332 memory=4277000 CPUtime=3146.11 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 566522 0 0 0 314460 151 0 0 20 0 1 0 51809494 6344019968 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1548833 1069250 2688 2575 0 1545740 0
Current children cumulated CPU time: 3146.11 s
Current children cumulated vsize: 6195332 KiB
Current children cumulated memory: 4277000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/250 48070
/proc/meminfo: memFree=112624364/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6256932 memory=4277000 CPUtime=3205.71 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 566609 0 0 0 320420 151 0 0 20 0 1 0 51809494 6407098368 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1564233 1069250 2688 2575 0 1561140 0
Current children cumulated CPU time: 3205.71 s
Current children cumulated vsize: 6256932 KiB
Current children cumulated memory: 4277000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/250 48072
/proc/meminfo: memFree=112623640/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6318532 memory=4277000 CPUtime=3265.3 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567000 0 0 0 326379 151 0 0 20 0 1 0 51809494 6470176768 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1579633 1069250 2688 2575 0 1576540 0
Current children cumulated CPU time: 3265.3 s
Current children cumulated vsize: 6318532 KiB
Current children cumulated memory: 4277000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 48074
/proc/meminfo: memFree=112623152/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6318532 memory=4277000 CPUtime=3324.9 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567507 0 0 0 332339 151 0 0 20 0 1 0 51809494 6470176768 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1579633 1069250 2688 2575 0 1576540 0
Current children cumulated CPU time: 3324.9 s
Current children cumulated vsize: 6318532 KiB
Current children cumulated memory: 4277000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/250 48076
/proc/meminfo: memFree=112618952/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6318532 memory=4277000 CPUtime=3384.52 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567600 0 0 0 338301 151 0 0 20 0 1 0 51809494 6470176768 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1579633 1069250 2688 2575 0 1576540 0
Current children cumulated CPU time: 3384.52 s
Current children cumulated vsize: 6318532 KiB
Current children cumulated memory: 4277000 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/250 48080
/proc/meminfo: memFree=112589868/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6318532 memory=4277000 CPUtime=3444.2 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567624 0 0 0 344269 151 0 0 20 0 1 0 51809494 6470176768 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1579633 1069250 2688 2575 0 1576540 0
Current children cumulated CPU time: 3444.2 s
Current children cumulated vsize: 6318532 KiB
Current children cumulated memory: 4277000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/250 48087
/proc/meminfo: memFree=112572060/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3503.86 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567735 0 0 0 350235 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3503.86 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/250 48089
/proc/meminfo: memFree=112574584/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3563.5 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567740 0 0 0 356199 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3563.5 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

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

# cumulated CPU time of all completed processes:  user=3578.8 s, system=1.61127 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.09 4.09 5/250 48089
/proc/meminfo: memFree=112570120/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3565.2 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567740 0 0 0 356369 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3565.2 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112570120/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3571.55 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567740 0 0 0 357004 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112569912/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3574.74 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567740 0 0 0 357323 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3574.74 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112569604/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3577.92 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 567740 0 0 0 357641 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3577.92 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112569352/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3579.51 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 568787 0 0 0 357800 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3579.51 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

[startup+3598.8 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112569352/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6380132 memory=4277000 CPUtime=3579.91 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 568787 0 0 0 357840 151 0 0 20 0 1 0 51809494 6533255168 1069250 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1595033 1069250 2688 2575 0 1591940 0
Current children cumulated CPU time: 3579.91 s
Current children cumulated vsize: 6380132 KiB
Current children cumulated memory: 4277000 KiB

[startup+3599.2 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=117132844/131382120 swapFree=33010160/33010684
[pid=47897] ppid=47882 vsize=6010548 memory=3926800 CPUtime=3580.31 cores=5,7
/proc/47897/stat : 47897 (pbsolver) R 47882 47897 47829 0 -1 4194304 568797 0 0 0 357878 153 0 0 20 0 1 0 51809494 6154801152 981700 18446744073709551615 4198400 14743177 140735948151968 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 25042944 140735948159370 140735948159466 140735948159466 140735948165068 0
/proc/47897/statm: 1502637 981700 2688 2575 0 1499544 0
Current children cumulated CPU time: 3580.31 s
Current children cumulated vsize: 6010548 KiB
Current children cumulated memory: 3926800 KiB

Child status: 0

Real time (s): 3599.3
CPU time (s): 3580.41
CPU user time (s): 3578.8
CPU system time (s): 1.61127
CPU usage (%): 99.4754
Max. virtual memory (cumulated for all children) (KiB): 6380132
Max. memory (cumulated for all children) (KiB): 4277000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.8
system time used= 1.61127
maximum resident set size= 4277000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568811
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= 19418


# summary of solver processes directly reported to runsolver:
#   pid: 47897
#   total CPU time (s): 3580.41
#   total CPU user time (s): 3578.8
#   total CPU system time (s): 1.61127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5668 second user time and 35.4247 second system time

The end

Begin job on nodeC008 at 2025-07-01 11:15:04
IDJOB=4489747
IDBENCH=147562
IDSOLVER=3366
FILE ID=nodeC008/4489747-1751361303
RUNJOBID= nodeC008-1751361303-47842
SLURM_JOB_ID= 9598169
Free space on /tmp= 432996 MiB

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=1266241851

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130012612 kB
MemAvailable:   129891568 kB
Buffers:            2144 kB
Cached:           688688 kB
SwapCached:           16 kB
Active:           289808 kB
Inactive:         471116 kB
Active(anon):      51384 kB
Inactive(anon):    36636 kB
Active(file):     238424 kB
Inactive(file):   434480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            127260 kB
Writeback:             0 kB
AnonPages:         73148 kB
Mapped:           103156 kB
Shmem:             17920 kB
KReclaimable:      91356 kB
Slab:             173992 kB
SReclaimable:      91356 kB
SUnreclaim:        82636 kB
KernelStack:        3824 kB
PageTables:         2744 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432936 MiB
End job on nodeC008 at 2025-07-01 12:15:03