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