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