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