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