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