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