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