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