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