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