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