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