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